Hoogle Search

Within LTS Haskell 24.57 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. inMany :: (Foldable f, Default EqPP fields fields) => f fields -> fields -> Field SqlBool

    opaleye 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.

  2. sqlElemAny :: forall (n :: Nullability) a . Field_ n a -> Field (SqlArray_ n a) -> Field SqlBool

    opaleye Opaleye.Operators

    Whether the element (needle) exists in the array (haystack). This is implemented using = any.

  3. 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.

  4. LintErrorManyInfinite :: LintErrorMessage

    opt-env-conf OptEnvConf.Lint

    No documentation available.

  5. ParserMany :: forall a1 . !Parser a1 -> Parser [a1]

    opt-env-conf OptEnvConf.Parser

    No documentation available.

  6. 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.

  7. newtype ManyReader (m :: Type -> Type) r a

    parameterized 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.

  8. ManyReader :: ReaderT r m a -> ManyReader (m :: Type -> Type) r a

    parameterized Parameterized.Control.Monad.Trans.Reader

    No documentation available.

  9. runManyReader :: ManyReader (m :: Type -> Type) r a -> ReaderT r m a

    parameterized Parameterized.Control.Monad.Trans.Reader

    No documentation available.

  10. newtype ManyState (m :: Type -> Type) s a

    parameterized Parameterized.Control.Monad.Trans.State.Strict

    Given a ManyState that modifies Many a, and another ManyState that modifes Many b make a State that accepts Many (AppendUnique a b) with the compile time constraint that all the types in (AppendUnique a b) are distinct.

Page 236 of many | Previous | Next