| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ProjectM36.TransactionGraph.Merge
Documentation
data MergePreference Source #
Constructors
| PreferFirst | |
| PreferSecond | |
| PreferNeither |
unionMergeMaps :: (Ord k, Eq a) => MergePreference -> Map k a -> Map k a -> Either MergeError (Map k a) Source #
unionMergeRelation :: MergePreference -> Relation -> Relation -> Either MergeError Relation Source #
unionMergeRelVars :: MergePreference -> RelationVariables -> RelationVariables -> Either MergeError RelationVariables Source #
unionMergeAtomFunctions :: MergePreference -> AtomFunctions -> AtomFunctions -> Either MergeError AtomFunctions Source #