|
Control.Monad.Parameterized | Portability | portable | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
Documentation |
|
|
| Methods | bimap :: r a b -> s c d -> t (p a c) (p b d) | Source |
|
| | Instances | Bifunctor Either Hask Hask Hask | Bifunctor Either Hask Hask Hask | Bifunctor (,) Hask Hask Hask | Bifunctor (,) Hask Hask Hask | Bifunctor Coreader Hask Hask Hask | Bifunctor Coreader Hask Hask Hask | Functor f => Bifunctor (CoreaderT f) Hask Hask Hask | Functor f => Bifunctor (CoreaderT f) Hask Hask Hask | Bifunctor (IxState i) Hask Hask Hask | Bifunctor (IxState i) Hask Hask Hask | ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask | ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask | Bifunctor (Const2 t) Hask Hask Hask | Bifunctor (Const2 t) Hask Hask Hask | Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask | Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask | Monad m => Bifunctor (IxStateT m i) 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) => Bifunctor (Of f p) 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 | (Bifunctor p c d Hask, Bifunctor f a b c, Bifunctor g a b d) => Bifunctor (Comp p f g) a b Hask | (Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask | (Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask |
|
|
|
|
| Methods | | | Instances | |
|
|
|
| Methods | pap :: f (a -> b) c -> f a c -> f b c | Source |
|
| | Instances | |
|
|
|
| Methods | pbind :: (a -> f b c) -> f a c -> f b c | Source |
| | pjoin :: f (f a b) b -> f a b | Source |
|
| | Instances | |
|
|
|
|
|
|
|
|
papPMonad :: PMonad f => f (a -> b) c -> f a c -> f b c | Source |
|
|
Produced by Haddock version 2.4.2 |