generics-mrsop-gdiff-0.0.2: Reimplementation of the gdiff algorithm for generics-mrsop
Generics.MRSOP.STDiff.Merge
merge :: forall ki codes ix. (EqHO ki, IsNat ix) => Almu ki codes ix ix -> Almu ki codes ix ix -> Maybe (Almu ki codes ix ix) Source #
Merges two patches in the stdiff style. Satisfies the following postcondition:
if merge p q == Just pq && merge q p == Just qp then apply pq . q == apply qp . p