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
|
$vartype = Variant<a: Optional<String>, b: Optional<String>>;
$handle_a = ($x) -> { return CAST(($x || "1") AS Uint32); };
$handle_b = ($x) -> { return CAST(($x || "2") AS Uint32); };
$var_a = Variant("5", "a", $vartype);
$var_b = Variant("6", "b", $vartype);
SELECT
Visit(Just($var_a), $handle_a AS a, $handle_b AS b),
Visit(Just($var_b), $handle_a AS a, $handle_b AS b),
VisitOrDefault(Just($var_b), Just(777u), $handle_a AS a),
VariantItem(Just($var_b))
;
$vartype_t = Variant<Optional<String>, Optional<String>>;
$var_1 = Variant("7", "0", $vartype_t);
$var_2 = Variant("8", "1", $vartype_t);
SELECT
Visit(Just($var_1), $handle_a, $handle_b),
Visit(Just($var_2), $handle_a, $handle_b),
VisitOrDefault(Just($var_2), $handle_a, Just(777u)),
VariantItem(Just($var_b))
;
|
