Control.Monad.Constrained

Monads

class Monad m k

return

(>>=)

(=<<)

(>>)

(<<)

Kleisli arrows

(>=>)

(<=<)

data Kleisli m k a b

Monoid-Monads

class MonadZero m k

mzero

class MonadPlus m k

mplus

class MonadFail m k

Utility

mapM

mapM_

forM

forM_

sequence

sequence_

guard

when

unless

forever

void

filterM