HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulecomonad-5.0.10Haskell2010

Control.Comonad.Identity

  • 1 type
  • Packagecomonad-5.0.10
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceIdentity.hs

module Control.Comonad

newtypenewtype Identity a
#

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

Examples
Example1 expression
fmap (+1) (Identity 0)Identity 1
Example1 expression
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

Constructors

Instances45Monad, Functor, MonadFix, Applicative, Foldable, Traversable, …

module Control.Comonad.Trans.Identity