Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Utils.Maybe
Documentation
fromMaybeM
::
Monad
m => m a -> m (
Maybe
a) -> m a
Source
module
Data.Maybe
Produced by
Haddock
version 2.4.2