Module

Data.Identity1

Package: purescript-functor1
Repository: garyb/purescript-functor1

#Identity1 Source

data Identity1 :: forall k. (k -> Type) -> Typedata Identity1 f

Constructors

Identity1 (forall r. (forall a. f a -> r) -> r)

Instances

#mkIdentity1 Source

mkIdentity1 :: forall f a. f a -> Identity1 f

Modules: Data.Foldable1; Data.Functor1; Data.Identity1; Data.Traversable1