Compute a Diff that may later be used to bring two versions of a data structure into agreement; that is:
Compute a Diff that may later be used to bring two versions of a data structure into agreement; that is:
Diffable.diff(a, b).patch(a) == b
diff
respects equality such that
Diffable.diff(a, b).patch(a') == b
when a == a'
.
Behavior is undefined whenever a != a'
.
The identity collection CC[T].
A type class that tells how to compute a Diff between two versions of a collection
CC[T]
.