unisonweb/unison

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

Open

#1,658 opened on Aug 17, 2020

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
help wanted

Repository metrics

Stars
 (6,624 stars)
PR merge metrics
 (Avg merge 12d 19h) (6 merged PRs in 30d)

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.

Contributor guide