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 AppVect f xs

type family FunType (xs :: [*]) (y :: *) :: * where ...

liftAP

liftAM

Useful functions

guard

ensure

(<**>)

(<$>)

(=<<)

(<=<)

(>=>)

foldM

traverse_

sequenceA

sequenceA_

mapAccumL

replicateM

void

forever

for_

Syntax

ifThenElse

fail

(>>)

return