Idris2Doc : Control.Monad.Identity

Control.Monad.Identity

Definitions

recordIdentity : Type->Type
  The identity monad. This monad provides no abilities other than pure
computation.

Totality: total
Visibility: public export
Constructor: 
Id : a->Identitya

Projection: 
.runIdentity : Identitya->a

Hints:
Absa=>Abs (Identitya)
ApplicativeIdentity
Bitsa=>Bits (Identitya)
Eqa=>Eq (Identitya)
Fractionala=>Fractional (Identitya)
FromStringa=>FromString (Identitya)
FunctorIdentity
Integrala=>Integral (Identitya)
MonadIdentity
Monoida=>Monoid (Identitya)
Nega=>Neg (Identitya)
Numa=>Num (Identitya)
Orda=>Ord (Identitya)
Semigroupa=>Semigroup (Identitya)
Showa=>Show (Identitya)
.runIdentity : Identitya->a
Totality: total
Visibility: public export
runIdentity : Identitya->a
Totality: total
Visibility: public export