Module

Data.Functor.App

#App

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

Constructors

Instances

#hoistApp

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

#hoistLiftApp

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

#hoistLowerApp

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

Modules