Agda.Utils.Maybe.Strict

toStrict

toLazy

listToMaybe

maybeToList

catMaybes

mapMaybe

Collection operations.

unionMaybeWith

unzipMaybe

filterMaybe

Conditionals and loops.

forMaybe

caseMaybe

Monads and Maybe.

maybeM

fromMaybeM

caseMaybeM

ifJustM

whenJust

whenJustM