| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Monad.Parameterized | Portability | portable | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
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 where |
| Methods | bimap :: r a b -> s c d -> t (p a c) (p b d) |
| | Instances | |
|
|
class PFunctor f Hask Hask => PPointed f where |
| Methods | | | Instances | |
|
|
class PPointed f => PApplicative f where |
| Methods | pap :: f (a -> b) c -> f a c -> f b c |
| | Instances | |
|
|
class PApplicative f => PMonad f where |
| Methods | pbind :: (a -> f b c) -> f a c -> f b c | | pjoin :: f (f a b) b -> f a b |
| | Instances | |
|
|
(>>*=) :: PMonad f => f a c -> (a -> f b c) -> f b c |
|
(=*<<) :: PMonad f => (a -> f b c) -> f a c -> f b c |
|
(>>*) :: PMonad f => f a c -> f b c -> f b c |
|
papPMonad :: PMonad f => f (a -> b) c -> f a c -> f b c |
|
Produced by Haddock version 2.1.0 |