| Safe Haskell | Safe-Inferred |
|---|
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.2: A dependently typed functional programming language and proof assistant
| Safe Haskell | Safe-Inferred |
|---|
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