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