Safe Haskell	Safe
Language	Haskell2010

Colonnade.Internal.Ap

Synopsis

Documentation

data Ap f a where Source #

The free Applicative for a Functor f.

Constructors

Pure :: a -> Ap f a
Ap :: f a -> Ap f (a -> b) -> Ap f b

Instances

Functor (Ap f) Source #
Methods fmap :: (a -> b) -> Ap f a -> Ap f b # (<$) :: a -> Ap f b -> Ap f a #
Applicative (Ap f) Source #
Methods pure :: a -> Ap f a # (<>) :: Ap f (a -> b) -> Ap f a -> Ap f b # (>) :: Ap f a -> Ap f b -> Ap f b # (<*) :: Ap f a -> Ap f b -> Ap f a #

runAp :: Applicative g => (forall x. f x -> g x) -> Ap f a -> g a Source #

runAp_ :: Monoid m => (forall a. f a -> m) -> Ap f b -> m Source #

liftAp :: f a -> Ap f a Source #

hoistAp :: (forall a. f a -> g a) -> Ap f b -> Ap g b Source #