Agda.Utils.Monad

(==<<)

whenM

unlessM

guardM

ifM

ifNotM

and2M

andM

allM

or2M

orM

anyM

altM1

orEitherM

mapM'

forM'

mapMaybeM

forMaybeM

dropWhileM

partitionM

finally

tryMaybe

bracket_

localState

readM

when

unless

class MonadPlus m

(<$>)

(<*>)

(<$)