Idris2Doc
: Control.Monad.Identity
Index
Default
Alternative
Black & White
Control.Monad.Identity
record
Identity
:
Type
->
Type
Totality
: total
Constructor
:
Id
: a ->
Identity
a
Projection
:
.runIdentity
:
Identity
a -> a