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'