colonnade-0.3: Generic types and functions for columnar encoding and decoding

Safe HaskellSafe
LanguageHaskell2010

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

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

retractAp :: Applicative f => Ap f a -> f a Source