Agda.Utils.Maybe

Conversion.

boolToMaybe

Collection operations.

unionMaybeWith

unzipMaybe

filterMaybe

Conditionals and loops.

forMaybe

caseMaybe

ifJust

Monads and Maybe.

maybeM

fromMaybeM

caseMaybeM

ifJustM

whenJust

whenNothing

whenJustM

whenNothingM

allJustM