Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Utils.Maybe
Documentation
fromMaybeM :: Monad m => m a -> m (Maybe a) -> m aSource
module Data.Maybe
Produced by Haddock version 2.4.2