twilight-stm-1.2: STM library with safe irrevocable I/O and inconsistency repair
Control.Concurrent.STM.Monadish
Description
Parametrized monad, by Oleg Kiselyov http://okmij.org/ftp/Computation/monads.html#param-monad
Synopsis
class Monadish m whereSource
A parameterized monad
monad
Methods
gret :: a -> m p p aSource
gbind :: m p q a -> (a -> m q r b) -> m p r bSource
Instances
newtype MW m p q a Source
Inject regular monads to be monadish things too
Constructors
Fields