Agda.Utils.Monad

(==<<)

when_

unless_

whenM

unlessM

ifM

ifNotM

and2M

andM

allM

or2M

orM

anyM

altM1

mapM'

forM'

type Cont r a

thread

zipWithM'

mapMaybeM

forMaybeM

dropWhileM

finally

bracket_

localState

readM

when

unless

class MonadPlus m

(<$>)

(<*>)

(<$)

modify'