category-extras-0.53.0: Various modules and constructs inspired by category theory Source code Contents Index

Control.Functor.Combinators.Lift Portability non-portable (functional-dependencies) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

transform a pair of functors with a bifunctor deriving a new functor. this subsumes functor product and functor coproduct

Documentation

newtype Lift p f g a Source

Constructors Lift runLift :: p (f a) (g a) Instances MonadIdeal m => Monad (Ideal m) Functor f => Copointed (Coideal f) Functor f => Pointed (Ideal f) ComonadCoideal w => Comonad (Coideal w) Bifunctor p Hask Hask Hask => HFunctor (Ap p) (Faithful f, Faithful g) => Faithful (f :*: g) (Copointed f, Copointed g) => Copointed (f :+: g) (Pointed f, Pointed g) => Pointed (f :*: g) (Bifunctor p Hask Hask Hask, Functor f, Functor g) => Functor (Lift p f g) (Bifunctor p Hask Hask Hask, ExpFunctor f, ExpFunctor g) => ExpFunctor (Lift p f g) (Bifunctor p Hask Hask Hask, ContraFunctor f, ContraFunctor g) => ContraFunctor (Lift p f g)

type :*: f g = Lift (,) f g Source

runProductF :: (f :*: g) a -> (f a, g a) Source

type :+: f g = Lift Either f g Source

runCoproductF :: (f :+: g) a -> Either (f a) (g a) Source

type Ap p = Lift p Identity Source

runAp :: Bifunctor p Hask Hask Hask => Ap p f a -> p a (f a) Source

mkAp :: Bifunctor p Hask Hask Hask => p a (f a) -> Ap p f a Source

Produced by Haddock version 2.3.0