Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class (PFunctor p r t, QFunctor p s t) => Bifunctor p r s t | p r -> s t, p s -> r t, p t -> r s whereSource
Bifunctor Either Hask Hask Hask | |
Bifunctor (,) Hask Hask Hask | |
Bifunctor Coreader Hask Hask Hask | |
Functor f => Bifunctor (CoreaderT f) Hask Hask Hask | |
Bifunctor (IxState i) Hask Hask Hask | |
ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask | |
Bifunctor (Const2 t) Hask Hask Hask | |
Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask | |
Monad m => Bifunctor (IxStateT m i) Hask Hask Hask | |
(Functor f, Bifunctor p Hask Hask Hask) => Bifunctor (Of f p) Hask Hask Hask | |
(Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask | |
(Bifunctor p c d Hask, Bifunctor f a b c, Bifunctor g a b d) => Bifunctor (Comp p f g) a b Hask |
class PPointed f => PApplicative f whereSource
ContraFunctor h => PApplicative (PHyper h) | |
FunctorPlus f => PApplicative (PCofree f) | |
Functor f => PApplicative (PFree f) | |
Monoid t => PApplicative (Const2 t) |
class PApplicative f => PMonad f whereSource