| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Merge.Diff
Synopsis
- diffSynhashedDefns :: (Eq term, Eq typ) => TwoWay (Updated (DefnsF2 (Map Name) Synhashed term typ)) -> (TwoWay (DefnsF3 (Map Name) DiffOp Synhashed term typ), TwoWay (DefnsF (Map Name) (Updated term) (Updated typ)))
- diffSynhashedDefns1 :: (Eq term, Eq typ) => Updated (DefnsF2 (Map Name) Synhashed term typ) -> (DefnsF3 (Map Name) DiffOp Synhashed term typ, DefnsF (Map Name) (Updated term) (Updated typ))
Documentation
diffSynhashedDefns :: (Eq term, Eq typ) => TwoWay (Updated (DefnsF2 (Map Name) Synhashed term typ)) -> (TwoWay (DefnsF3 (Map Name) DiffOp Synhashed term typ), TwoWay (DefnsF (Map Name) (Updated term) (Updated typ))) 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).