Agda.Utils.Maybe

Collection operations.

unionMaybeWith

unzipMaybe

filterMaybe

Conditionals and loops.

forMaybe

caseMaybe

Monads and Maybe.

maybeM

fromMaybeM

caseMaybeM

ifJustM

whenJust

whenNothing

whenJustM

whenNothingM

allJustM

allJustsOrNothings