unisonweb/unison

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

Open

#1.658 aberto em 17 de ago. de 2020

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
help wanted

Métricas do repositório

Stars
 (6.624 stars)
Métricas de merge de PR
 (Mesclagem média 10d 2h) (5 fundiu PRs em 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.

Guia do colaborador