unisonweb/unison

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

Open

#1,658 opened on 2020年8月17日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
help wanted

Repository metrics

Stars
 (6,624 stars)
PR merge metrics
 (平均マージ 10d 2h) (30d で 5 merged PRs)

説明

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.

コントリビューターガイド