Module

Data.Functor.App

Package: purescript-functors
Repository: purescript/purescript-functors

#App Source

newtype App f a

Constructors

App (f a)

Instances

Newtype (App f a) _
(Eq1 f, Eq a) => Eq (App f a)
(Eq1 f) => Eq1 (App f)
(Ord1 f, Ord a) => Ord (App f a)
(Ord1 f) => Ord1 (App f)
(Show (f a)) => Show (App f a)
(Apply f, Semigroup a) => Semigroup (App f a)
(Applicative f, Monoid a) => Monoid (App f a)
(MonadZero f) => MonadZero (App f)
(Functor f) => Functor (App f)
(Apply f) => Apply (App f)
(Applicative f) => Applicative (App f)
(Bind f) => Bind (App f)
(Monad f) => Monad (App f)
(Alt f) => Alt (App f)
(Plus f) => Plus (App f)
(Alternative f) => Alternative (App f)
(MonadPlus f) => MonadPlus (App f)
(Lazy (f a)) => Lazy (App f a)
(Extend f) => Extend (App f)
(Comonad f) => Comonad (App f)

#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)

Modules: Data.Functor.App; Data.Functor.Clown; Data.Functor.Compose; Data.Functor.Coproduct; Data.Functor.Coproduct.Inject; Data.Functor.Coproduct.Nested; Data.Functor.Costar; Data.Functor.Flip; Data.Functor.Joker; Data.Functor.Product; Data.Functor.Product.Nested; Data.Functor.Product2