blob: 9c50f3d9ae5bd1e5de47c8409af25d50b7d9b1a1 (
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
|
let
netstring = tag: suffix: s:
"${tag}${toString (builtins.stringLength s)}:${s}${suffix}";
unit = "u,";
n1 = b: if b then "n1:1," else "n1:0,";
n = i: n: netstring "n" ",";
i = i: n: netstring "i" ",";
n3 = n 3;
n6 = n 6;
n7 = n 7;
i3 = i 3;
i6 = i 6;
i7 = i 7;
text = netstring "t" ",";
binary = netstring "b" ",";
tag = key: val: netstring "<" "|" key + val;
concatStrings = builtins.concatStringsSep "";
record = lokv: netstring "{" "}"
(concatStrings (map (kv: tag kv.key kv.val) lokv));
list = l: netstring "[" "]" (concatStrings l);
in {
inherit
unit
n1
n3
n6
n7
i3
i6
i7
text
binary
tag
record
list
;
}
|