Module

Data.Functor.Compose

Package
functors
Repository
purescript/purescript-functors

#Compose Source

newtype Compose :: forall k1 k2. (k2 -> Type) -> (k1 -> k2) -> k1 -> Typenewtype Compose f g a

Compose f g is the composition of the two functors f and g.

Constructors

Instances

#bihoistCompose Source

bihoistCompose :: forall f g h i. Functor f => (f ~> h) -> (g ~> i) -> (Compose f g) ~> (Compose h i)