category-extras-0.44.1: Various modules and constructs inspired by category theory.Source codeContentsIndex
Control.Monad.Parameterized.Class
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
The notation >>*= was selected to indicate the kind of the parameter in this case a simple type as opposed to >>*->*= for higher order monads.
Synopsis
class Bifunctor f => PMonad f where
preturn :: a -> f a c
pbind :: (a -> f b c) -> f a c -> f b c
pjoin :: f (f a b) b -> f a b
(>>*=) :: PMonad f => f a c -> (a -> f b c) -> f b c
(=*<<) :: PMonad f => (a -> f b c) -> f a c -> f b c
Documentation
class Bifunctor f => PMonad f whereSource

Minimum definition:

1. preturn & pbind 2. preturn & pjoin

Methods
preturn :: a -> f a cSource
pbind :: (a -> f b c) -> f a c -> f b cSource
pjoin :: f (f a b) b -> f a bSource
show/hide Instances
(>>*=) :: PMonad f => f a c -> (a -> f b c) -> f b cSource
(=*<<) :: PMonad f => (a -> f b c) -> f a c -> f b cSource
Produced by Haddock version 2.1.0