Agda.Utils.Maybe

Collection operations.

unionMaybeWith

unzipMaybe

filterMaybe

Conditionals and loops.

forMaybe

caseMaybe

Monads and Maybe.

maybeM

fromMaybeM

caseMaybeM

ifJustM

whenJust

whenJustM