Module DA.Optional.Total

Functions

fromSome
: ActionFail m => Optional a -> m a
fromSomeNote
: ActionFail m => Text -> Optional a -> m a