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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
/*
This file is part of GNU Taler
(C) 2018-2019 GNUnet e.V.
GNU Taler is free software; you can redistribute it and/or modify it under the
terms of the GNU General Public License as published by the Free Software
Foundation; either version 3, or (at your option) any later version.
GNU Taler is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with
GNU Taler; see the file COPYING. If not, see <http://www.gnu.org/licenses/>
*/
/**
* Type-safe codecs for converting from/to JSON.
*/
import test from "ava";
import {
stringCodec,
objectCodec,
unionCodec,
Codec,
stringConstCodec,
} from "./codec";
interface MyObj {
foo: string;
}
interface AltOne {
type: "one";
foo: string;
}
interface AltTwo {
type: "two";
bar: string;
}
type MyUnion = AltOne | AltTwo;
test("basic codec", t => {
const myObjCodec = objectCodec<MyObj>()
.property("foo", stringCodec)
.build<MyObj>("MyObj");
const res = myObjCodec.decode({ foo: "hello" });
t.assert(res.foo === "hello");
t.throws(() => {
const res2 = myObjCodec.decode({ foo: 123 });
});
});
test("union", t => {
const altOneCodec: Codec<AltOne> = objectCodec<AltOne>()
.property("type", stringConstCodec("one"))
.property("foo", stringCodec)
.build("AltOne");
const altTwoCodec: Codec<AltTwo> = objectCodec<AltTwo>()
.property("type", stringConstCodec("two"))
.property("bar", stringCodec)
.build("AltTwo");
const myUnionCodec: Codec<MyUnion> = unionCodec<MyUnion>()
.discriminateOn("type")
.alternative("one", altOneCodec)
.alternative("two", altTwoCodec)
.build<MyUnion>("MyUnion");
const res = myUnionCodec.decode({ type: "one", foo: "bla" });
t.is(res.type, "one");
if (res.type == "one") {
t.is(res.foo, "bla");
}
});
|