Control.Super.Monad.Constrained.Functions

Control.Monad replacements

Basic supermonad functions

mapM

mapM_

forM

forM_

sequence

sequence_

(=<<)

(>=>)

(<=<)

forever

void

voidM

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

Functions based on applicatives

liftA3

liftA2

liftA

voidA

(<**>)

mapA

mapA_

forA

forA_

filterA

sequenceA

sequenceA_

traverse

zipWithA

zipWithA_

mapAndUnzipA

replicateA

replicateA_

whenA

unlessA