Control.Supermonad.Constrained.Functions

Control.Monad replacements

Basic supermonad functions

mapM

mapM_

forM

forM_

sequence

sequence_

(=<<)

(>=>)

(<=<)

forever

void

void'

Generalizations of list functions

join

filterM

mapAndUnzipM

zipWithM

zipWithM_

foldM

foldM_

replicateM

replicateM_

Conditional execution of monadic expressions

when

unless

Monadic lifting operators

liftM

liftM'

liftM2

liftM3

ap

Strict monadic functions

(<$!>)

Additional generalized supermonad functions

(<$>)

Addition due to RebindableSyntax

ifThenElse