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

Grisette.Lib.Data.Either

Documentation

mrgLeft :: forall (a :: Type) (b :: Type) m. (Mergeable (Either a b), Applicative m, TryMerge m) => a -> m (Either a b) Source #

mrgRight :: forall (a :: Type) (b :: Type) m. (Mergeable (Either a b), Applicative m, TryMerge m) => b -> m (Either a b) Source #