Control.Monad.Identity

Definitions

record Identity : Type -> Type

  The identity monad. This monad provides no abilities other than pure
  computation.

Totality: total
Visibility: public export
Constructor: 

Id : a -> Identity a

Projection: 

.runIdentity : Identity a -> a

Hints:

Abs a => Abs (Identity a)

Applicative Identity

Bits a => Bits (Identity a)

Eq a => Eq (Identity a)

Foldable Identity

Fractional a => Fractional (Identity a)

FromString a => FromString (Identity a)

Functor Identity

Integral a => Integral (Identity a)

Monad Identity

Monoid a => Monoid (Identity a)

Neg a => Neg (Identity a)

Num a => Num (Identity a)

Ord a => Ord (Identity a)

Semigroup a => Semigroup (Identity a)

Show a => Show (Identity a)

Traversable Identity

.runIdentity : Identity a -> a

Totality: total
Visibility: public export

runIdentity : Identity a -> a

Totality: total
Visibility: public export