generics-mrsop-gdiff-0.0.2: Reimplementation of the gdiff algorithm for generics-mrsop

Safe HaskellNone
LanguageHaskell2010

Generics.MRSOP.STDiff.Merge

Synopsis

Documentation

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