Safe Haskell | Safe-Infered |
---|
Agda.Utils.Maybe
Documentation
fromMaybeM :: Monad m => m a -> m (Maybe a) -> m aSource
unzipMaybe :: Maybe (a, b) -> (Maybe a, Maybe b)Source
module Data.Maybe
Agda-2.3.2.1: A dependently typed functional programming language and proof assistant
Safe Haskell | Safe-Infered |
---|
Agda.Utils.Maybe
fromMaybeM :: Monad m => m a -> m (Maybe a) -> m aSource
unzipMaybe :: Maybe (a, b) -> (Maybe a, Maybe b)Source
module Data.Maybe