category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Parameterized.Class

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

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

(>>*=) :: PMonad f => f a c -> (a -> f b c) -> f b cSource

(=*<<) :: PMonad f => (a -> f b c) -> f a c -> f b cSource