Control.Monad.Constrained

Basic Classes

class Functor f

class Applicative f

class Monad f

class Alternative f

class Traversable t

class MonadFail f

Unconstrained applicative stuff

ap

Useful functions

guard

ensure

(<**>)

(<$>)

(=<<)

(<=<)

(>=>)

foldM

traverse_

sequenceA

sequenceA_

mapAccumL

replicateM

void

forever

for_

join

Syntax

ifThenElse

(>>)

return