grisette-0.5.0.0: Symbolic evaluation as a library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Lib.Data.Maybe

Documentation

mrgNothing :: forall (a :: Type) m. (Mergeable (Maybe a), Applicative m, TryMerge m) => m (Maybe a) Source #

mrgJust :: forall (a :: Type) m. (Mergeable (Maybe a), Applicative m, TryMerge m) => a -> m (Maybe a) Source #