IdrisDoc: Control.Monad.Identity

Control.Monad.Identity

Id : (runIdentity : a) -> Identity a
record Identity a
a
 
Id : (runIdentity : a) -> Identity a
runIdentity : (rec : Identity a) -> a