Control.Monad.Constrained

Basic Classes

class Functor f

class Applicative f

class Monad f

class Alternative f

class Traversable t

class MonadFail f

Horrible type-level stuff

data Ap f a

lowerP

lowerM

liftAp

Useful functions

guard

ensure

(<**>)

(<$>)

(=<<)

(<=<)

(>=>)

foldM

traverse_

sequenceA

sequenceA_

mapAccumL

replicateM

void

forever

for_

join

Syntax

ifThenElse

(>>)

return