Control.Monad.Constrained

Basic Classes

class Functor f

class Applicative f

class Monad f

class Alternative f

class Traversable t

Horrible type-level stuff

data Free f a

lowerP

lowerM

Useful functions

guard

ensure

(<**>)

(<$>)

(=<<)

(<=<)

(>=>)

foldM

traverse_

sequenceA

sequenceA_

mapAccumL

replicateM

void

forever

for_

Syntax

ifThenElse

fail

(>>)

return