Control.Monad.Parameterized.Class

The notation >>*= was selected to indicate the kind of the parameter in this case a simple type as opposed to >>*->*= for higher order monads.

Documentation

class Bifunctor f => PMonad f where

Minimum definition:

1. preturn & pbind 2. preturn & pjoin

Methods

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

Instances

ContravariantFunctor h => PMonad (HyperB h)

Functor f => PMonad (BiffB Either Identity f)

FunctorPlus f => PMonad (BiffB (,) Identity f)

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

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