Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Unison.Merge.Diff
Documentation
diffSynhashedDefns :: TwoWay (Updated (DefnsF2 (Map Name) Synhashed Referent TypeReference)) -> (TwoWay (DefnsF3 (Map Name) DiffOp Synhashed Referent TypeReference), TwoWay (DefnsF (Map Name) (Updated Referent) (Updated TypeReference))) Source #
diffSynhashedDefns defns
, given the output of synhashDefns
, computes the two two-way diffs (each consisting of
the "core" diffs, i.e. addsdeleteupdates, alongside the propagated updates, i.e. updates that have the same synhash
but different Unison hashes).