Copyright | (c) Sirui Lu 2021-2024 |
---|---|
License | BSD-3-Clause (see the LICENSE file) |
Maintainer | siruilu@cs.washington.edu |
Stability | Experimental |
Portability | GHC only |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Synopsis
- class Mergeable a => SimpleMergeable a where
- class Mergeable1 u => SimpleMergeable1 u where
- liftMrgIte :: (SymBool -> a -> a -> a) -> SymBool -> u a -> u a -> u a
- mrgIte1 :: (SimpleMergeable1 u, SimpleMergeable a) => SymBool -> u a -> u a -> u a
- class Mergeable2 u => SimpleMergeable2 u where
- liftMrgIte2 :: (SymBool -> a -> a -> a) -> (SymBool -> b -> b -> b) -> SymBool -> u a b -> u a b -> u a b
- mrgIte2 :: (SimpleMergeable2 u, SimpleMergeable a, SimpleMergeable b) => SymBool -> u a b -> u a b -> u a b
- class (SimpleMergeable1 u, TryMerge u) => UnionMergeable1 (u :: Type -> Type) where
- mrgIfWithStrategy :: MergingStrategy a -> SymBool -> u a -> u a -> u a
- mrgIfPropagatedStrategy :: SymBool -> u a -> u a -> u a
- mrgIf :: (UnionMergeable1 u, Mergeable a) => SymBool -> u a -> u a -> u a
- mergeWithStrategy :: UnionMergeable1 m => MergingStrategy a -> m a -> m a
- merge :: (UnionMergeable1 m, Mergeable a) => m a -> m a
Simple mergeable types
class Mergeable a => SimpleMergeable a where Source #
This class indicates that a type has a simple root merge strategy.
Note: This type class can be derived for algebraic data types.
You may need the DerivingVia
and DerivingStrategies
extensions.
data X = ... deriving Generic deriving (Mergeable, SimpleMergeable) via (Default X)
mrgIte :: SymBool -> a -> a -> a Source #
Performs if-then-else with the simple root merge strategy.
>>>
mrgIte "a" "b" "c" :: SymInteger
(ite a b c)
Instances
class Mergeable1 u => SimpleMergeable1 u where Source #
Lifting of the SimpleMergeable
class to unary type constructors.
liftMrgIte :: (SymBool -> a -> a -> a) -> SymBool -> u a -> u a -> u a Source #
Lift mrgIte
through the type constructor.
>>>
liftMrgIte mrgIte "a" (Identity "b") (Identity "c") :: Identity SymInteger
Identity (ite a b c)
Instances
mrgIte1 :: (SimpleMergeable1 u, SimpleMergeable a) => SymBool -> u a -> u a -> u a Source #
Lift the standard mrgIte
function through the type constructor.
>>>
mrgIte1 "a" (Identity "b") (Identity "c") :: Identity SymInteger
Identity (ite a b c)
class Mergeable2 u => SimpleMergeable2 u where Source #
Lifting of the SimpleMergeable
class to binary type constructors.
liftMrgIte2 :: (SymBool -> a -> a -> a) -> (SymBool -> b -> b -> b) -> SymBool -> u a b -> u a b -> u a b Source #
Lift mrgIte
through the type constructor.
>>>
liftMrgIte2 mrgIte mrgIte "a" ("b", "c") ("d", "e") :: (SymInteger, SymBool)
((ite a b d),(ite a c e))
Instances
mrgIte2 :: (SimpleMergeable2 u, SimpleMergeable a, SimpleMergeable b) => SymBool -> u a b -> u a b -> u a b Source #
Lift the standard mrgIte
function through the type constructor.
>>>
mrgIte2 "a" ("b", "c") ("d", "e") :: (SymInteger, SymBool)
((ite a b d),(ite a c e))
class (SimpleMergeable1 u, TryMerge u) => UnionMergeable1 (u :: Type -> Type) where Source #
Special case of the Mergeable1
and SimpleMergeable1
class for type
constructors that are SimpleMergeable
when applied to any Mergeable
types.
This type class is used to generalize the mrgIf
function to other
containers, for example, monad transformer transformed Unions.
mrgIfWithStrategy :: MergingStrategy a -> SymBool -> u a -> u a -> u a Source #
Symbolic if
control flow with the result merged with some merge strategy.
>>>
mrgIfWithStrategy rootStrategy "a" (mrgSingle "b") (return "c") :: UnionM SymInteger
{(ite a b c)}
Note: Be careful to call this directly in your code. The supplied merge strategy should be consistent with the type's root merge strategy, or some internal invariants would be broken and the program can crash.
This function is to be called when the Mergeable
constraint can not be resolved,
e.g., the merge strategy for the contained type is given with Mergeable1
.
In other cases, mrgIf
is usually a better alternative.
mrgIfPropagatedStrategy :: SymBool -> u a -> u a -> u a Source #
Instances
mrgIf :: (UnionMergeable1 u, Mergeable a) => SymBool -> u a -> u a -> u a Source #
Symbolic if
control flow with the result merged with the type's root merge strategy.
Equivalent to
.mrgIfWithStrategy
rootStrategy
>>>
mrgIf "a" (return "b") (return "c") :: UnionM SymInteger
{(ite a b c)}
mergeWithStrategy :: UnionMergeable1 m => MergingStrategy a -> m a -> m a Source #
merge :: (UnionMergeable1 m, Mergeable a) => m a -> m a Source #
Try to merge the container with the root strategy.