Module

Data.Functor.App

Package
purescript-functors
Repository
purescript/purescript-functors

#App Source

newtype App f a

Constructors

Instances

#hoistApp Source

hoistApp :: forall g f. (f ~> g) -> (App f) ~> (App g)

#hoistLiftApp Source

hoistLiftApp :: forall a g f. f (g a) -> f (App g a)

#hoistLowerApp Source

hoistLowerApp :: forall a g f. f (App g a) -> f (g a)