Grisette.Core.BuiltinUnionWrappers

Builtin constructor wrappers for some common data types

mrgTrue :: Mergeable Bool => UnionM Bool

mrgFalse :: Mergeable Bool => UnionM Bool

mrgUnit :: Mergeable () => UnionM ()

mrgTuple2 :: forall (a :: Type) (b :: Type). Mergeable (a, b) => a -> b -> UnionM (a, b)

mrgTuple3 :: forall (a :: Type) (b :: Type) (c :: Type). Mergeable (a, b, c) => a -> b -> c -> UnionM (a, b, c)

mrgJust :: forall (a :: Type). Mergeable (Maybe a) => a -> UnionM (Maybe a)

mrgNothing :: forall (a :: Type). Mergeable (Maybe a) => UnionM (Maybe a)

mrgLeft :: forall (a :: Type) (b :: Type). Mergeable (Either a b) => a -> UnionM (Either a b)

mrgRight :: forall (a :: Type) (b :: Type). Mergeable (Either a b) => b -> UnionM (Either a b)

mrgInL :: forall {k :: Type} (f :: k -> Type) (g :: k -> Type) (a :: k). Mergeable (Sum f g a) => f a -> UnionM (Sum f g a)

mrgInR :: forall {k :: Type} (f :: k -> Type) (g :: k -> Type) (a :: k). Mergeable (Sum f g a) => g a -> UnionM (Sum f g a)

mrgAssertionViolation :: Mergeable VerificationConditions => UnionM VerificationConditions

mrgAssumptionViolation :: Mergeable VerificationConditions => UnionM VerificationConditions