Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
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 #