Control.Concurrent.STM.Monadish

Parametrized monad, by Oleg Kiselyov http://okmij.org/ftp/Computation/monads.html#param-monad

Documentation

class Monadish m where

A parameterized monad

Methods

gret :: a -> m p p a

gbind :: m p q a -> (a -> m q r b) -> m p r b

Instances

Monad m => Monadish (MW m)

Monadish (STM r)

newtype MW m p q a

Inject regular monads to be monadish things too

Constructors

MW

Fields

unMW :: m a

Instances

Monad m => Monadish (MW m)