Module

Data.Functor.App

Package
functors
Repository
purescript/purescript-functors

#App Source

newtype App :: forall k. (k -> Type) -> k -> Typenewtype App f a

Constructors

Instances

#hoistApp Source

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

#hoistLiftApp Source

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

#hoistLowerApp Source

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