Module
Data.Functor.App
- Package
- functors
- Repository
- purescript/purescript-functors
#App Source
newtype App :: forall k. (k -> Type) -> k -> Type
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)
#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)