Toggle navigation
KiCS2
Module Data.Functor.Identity
Imports
Datatypes
Curry Homepage
KiCS2 Libraries
About CurryDoc
Exported names:
Datatypes:
Identity
Constructors:
Identity
Fields:
runIdentity
Imported modules:
Prelude
Module
Data.Functor.Identity
Summary of exported operations:
Exported datatypes:
Identity
Constructor:
Identity
:: a -> Identity a
Fields:
runIdentity
:: a
Exported operations: