blob: 863cd26e216f3ac1f0870f7e07e4986e6ca675d2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
type address = Hash.hash
type t =
{ name: string;
relations: address }
module Field = struct
let name = "name"
let relations = "relations"
end
module Error = struct
open Condition
let malformed_multigroup () =
condition "multigroup-malformed"
"A multigroup representation did not conform to what was expected" empty
let malformed_hash length =
condition "multigroup-malformed-hash" "A multigroup relation root was not a valid hash"
("length" |=| Value.Integer length)
end
let make ~name ~relations = {name; relations}
let name multigroup = multigroup.name
let relations multigroup = multigroup.relations
module Body = struct
type nonrec t = t
let tag = 'm'
let malformed = Error.malformed_multigroup
let equal left right =
left.name = right.name && Hash.hash_equals left.relations right.relations
let fields multigroup =
[ Field.name, Object.Field.string multigroup.name;
Field.relations, Object.Field.address multigroup.relations ]
let of_fields data =
let open Utilities.Result in
let* name = Object.Field.require_string Field.name data in
let* relations =
Object.Field.require_address ~malformed:Error.malformed_hash Field.relations data
in
Ok {name; relations}
end
include (Object.Codec.Make (Body) : Object.S with type t := t)
|
