Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

  1. newtype Identity a

    base Data.Functor.Identity

    Identity functor and monad. (a non-strict monad)

    Examples

    >>> fmap (+1) (Identity 0)
Identity 1

    >>> Identity [1, 2, 3] <> Identity [4, 5, 6]
Identity [1,2,3,4,5,6]

    >>> do
x <- Identity 10
y <- Identity (x + 5)
pure (x + y)
Identity 25

  2. Identity :: a -> Identity a

    base Data.Functor.Identity

    No documentation available.

  3. Ident :: String -> Lexeme

    base Text.Read

    Haskell identifier, e.g. foo, Baz

  4. Ident :: String -> Lexeme

    base Text.Read.Lex

    Haskell identifier, e.g. foo, Baz

  5. newtype Identity a

    containers Data.Map.Internal

    No documentation available.

  6. Identity :: a -> Identity a

    containers Data.Map.Internal

    No documentation available.

  7. module Control.Monad.Trans.Identity

    The identity monad transformer. This is useful for functions parameterized by a monad transformer.

  8. newtype IdentityT (f :: k -> Type) (a :: k)

    transformers Control.Monad.Trans.Identity

    The trivial monad transformer, which maps a monad to an equivalent monad.

  9. IdentityT :: f a -> IdentityT (f :: k -> Type) (a :: k)

    transformers Control.Monad.Trans.Identity

    No documentation available.

  10. module Control.Monad.Identity

    • Computation type: Simple function application.
    • Binding strategy: The bound function is applied to the input value. Identity x >>= f == f x
    • Useful for: Monads can be derived from monad transformers applied to the Identity monad.
    • Zero and plus: None.
    • Example type: Identity a
    The Identity monad is a monad that does not embody any computational strategy. It simply applies the bound function to its input without any modification. Computationally, there is no reason to use the Identity monad instead of the much simpler act of simply applying functions to their arguments. The purpose of the Identity monad is its fundamental role in the theory of monad transformers. Any monad transformer applied to the Identity monad yields a non-transformer version of that monad.

Page 177 of many | Previous | Next