|
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 |
|
|
Constructors | | 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) | (Applicative f, Applicative g) => Applicative (f :*: g) | (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) |
|
|
|
|
|
runProductF :: (f :*: g) a -> (f a, g a) | Source |
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |