unisonweb/unison
Auf GitHub ansehenswitch `Patch` to use `Map` instead of `Relation`
Open
#1.658 geöffnet am 17. Aug. 2020
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.