Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
opaleye Opaleye.Internal.Manipulation No documentation available.
makeWndwAny :: forall a (n :: Nullability) b . WndwOp -> WindowFunction a (Field_ n b)opaleye Opaleye.Internal.Window No documentation available.
ifThenElseMany :: Default IfPP fields fields => Field SqlBool -> fields -> fields -> fieldsopaleye Opaleye.Operators Polymorphic if/then/else.
inMany :: (Foldable f, Default EqPP fields fields) => f fields -> fields -> Field SqlBoolopaleye Opaleye.Operators inMany is a generalization of in_ to values with multiple fields. It is designed to be used in prefix form. inMany validUsers user checks whether user is a valid user. inMany validUsers is a function which checks whether a user is a valid user.
sqlElemAny :: forall (n :: Nullability) a . Field_ n a -> Field (SqlArray_ n a) -> Field SqlBoolopaleye Opaleye.Operators Whether the element (needle) exists in the array (haystack). This is implemented using = any.
many :: Alternative f => f a -> f [a]opt-env-conf OptEnvConf Zero or more.
Examples
>>> many (putStr "la") lalalalalalalalala... * goes on forever *
>>> many Nothing Just []
>>> take 5 <$> many (Just 1) * hangs forever *
Note that this function can be used with Parsers based on Applicatives. In that case many parser will attempt to parse parser zero or more times until it fails.LintErrorManyInfinite :: LintErrorMessageopt-env-conf OptEnvConf.Lint No documentation available.
ParserMany :: forall a1 . !Parser a1 -> Parser [a1]opt-env-conf OptEnvConf.Parser No documentation available.
many :: Alternative f => f a -> f [a]opt-env-conf OptEnvConf.Parser Zero or more.
Examples
>>> many (putStr "la") lalalalalalalalala... * goes on forever *
>>> many Nothing Just []
>>> take 5 <$> many (Just 1) * hangs forever *
Note that this function can be used with Parsers based on Applicatives. In that case many parser will attempt to parse parser zero or more times until it fails.newtype
ManyReader (m :: Type -> Type) r aparameterized Parameterized.Control.Monad.Trans.Reader Given a Reader that accepts Many a, and another Reader that accepts Many b make a reader that accepts Many (AppendUnique a b) with the compile time constraint that all the types in (AppendUnique a b) are distinct.