Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

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

    transformers Control.Monad.Trans.Identity

    No documentation available.

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

  3. data Identical (a :: k) (b :: k1) (s :: k) (t :: k1)

    lens Control.Lens.Combinators

    Provides witness that (s ~ a, b ~ t) holds.

  4. newtype Identity a

    lens Control.Lens.Combinators

    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

  5. Identity :: a -> Identity a

    lens Control.Lens.Combinators

    No documentation available.

  6. data Identical (a :: k) (b :: k1) (s :: k) (t :: k1)

    lens Control.Lens.Equality

    Provides witness that (s ~ a, b ~ t) holds.

  7. newtype Identity a

    lens Control.Lens.Setter

    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

  8. Identity :: a -> Identity a

    lens Control.Lens.Setter

    No documentation available.

  9. newtype Identity a

    conduit Conduit

    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

  10. Identity :: a -> Identity a

    conduit Conduit

    No documentation available.

Page 178 of many | Previous | Next