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.

Exact lookup

1. class (Traversable f, Applicative f) => Identical (f :: Type -> Type)

   lens-family-core	Lens.Family.Clone

   No documentation available.

2. data Identity a

   lens-family-core	Lens.Family.State.Lazy

   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
   

3. data Identity a

   lens-family-core	Lens.Family.State.Strict

   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
   

4. class (Traversable f, Applicative f) => Identical (f :: Type -> Type)

   lens-family-core	Lens.Family.Stock

   No documentation available.

5. class (Traversable f, Applicative f) => Identical (f :: Type -> Type)

   lens-family-core	Lens.Family.Unchecked

   No documentation available.

6. module Control.Monad.Identity

   • Computation type: Simple function application.
   • Binding strategy: The bound function is applied to the input value. Identity x >>= f == Identity (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.

7. Identical :: ComparisonResult

   mpi-hs	Control.Distributed.MPI

   No documentation available.

8. data IdentifierQuotation

   relational-query	Database.Relational.Arrow

   Configuration for quotation of identifiers of SQL.

9. data IdentifierQuotation

   relational-query	Database.Relational.Config

   Configuration for quotation of identifiers of SQL.

10. IdeographicDescriptionCharacters :: Block

    unicode-data	Unicode.Char.General.Blocks

    U+2FF0..U+2FFF: Ideographic Description Characters.

Page 200 of many | Previous | Next