Compiled: Wed Dec 05 00:09:47 PST 2012 from source file: ./frege/data/wrapper/Identity.fr
inherited from Applicative.*>
inherited from Applicative.<*
inherited from F.Foldable.fold
inherited from F.Foldable.fold1
inherited from F.Foldable.foldMap1
inherited from F.Foldable.foldl
inherited from F.Foldable.foldl1
inherited from F.Foldable.foldr
inherited from F.Foldable.foldr1
inherited from Monad.>>
inherited from Monad.join
inherited from Monoid.Monoid.mconcat
inherited from Monoid.Monoid.mtimes
inherited from Monoid.Semigroup.sconcat
inherited from Monoid.Semigroup.stimes
The identity functor and monad.
This trivial type constructor serves two purposes:
* It can be used with functions parameterized by a Functor or Monad.
* It can be used as a base monad to which a series of monad transformers may be applied to construct a composite monad. Most monad transformer modules include the special case of applying the transformer to Identity. For example, State s is an abbreviation for StateT s Identity.
Identity functor and monad.
access field run