unisonweb/unison

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

Open

#1 658 ouverte le 17 août 2020

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Haskell (304 forks)batch import
help wanted

Métriques du dépôt

Stars
 (6 624 stars)
Métriques de merge PR
 (Merge moyen 10j 2h) (5 PRs mergées en 30 j)

Description

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.

Guide contributeur