unisonweb/unison

switch `Patch` to use `Map` instead of `Relation`

Open

#1.658 geöffnet am 17. Aug. 2020

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (304 Forks)batch import
help wanted

Repository-Metriken

Stars
 (6.624 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 10T 2h) (5 gemergte PRs in 30 T)

Beschreibung

We don't need the reverse index that Relation provides hanging out in memory.

We don't want to risk changing the existing V1 serialization format, so for simplicity, when constructing this PR, convert to/from a Relation using Relation.toMultimap/.fromMultimap before calling the serialization functions.

Contributor Guide