blob: b525754f2faa8173c3534991d02565ef0ba2c7ac (
plain)
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
|
(.module:
[library
[lux "*"
[abstract
[codec {"+" [Codec]}]]
[control
["[0]" try {"+" [Try]}]]
[data
["[0]" text]]]]
["[0]" / "_"
["[1][0]" nat]
["[1][0]" int]
["[1][0]" rev]
["[1][0]" frac]])
(def: separator
",")
(def: (separator_prefixed? number)
(-> Text Bit)
(case ("lux text index" 0 ..separator number)
{.#Some 0}
#1
_
#0))
(def: without_separators
(-> Text Text)
(text.replaced ..separator ""))
(template [<macro> <nat> <int> <rev> <frac> <error>]
[(macro: .public (<macro> tokens state)
(case tokens
{.#Item [meta {.#Text repr'}] {.#End}}
(if (..separator_prefixed? repr')
{try.#Failure <error>}
(let [repr (..without_separators repr')]
(case (\ <nat> decoded repr)
{try.#Success value}
{try.#Success [state (list [meta {.#Nat value}])]}
(^multi {try.#Failure _}
[(\ <int> decoded repr)
{try.#Success value}])
{try.#Success [state (list [meta {.#Int value}])]}
(^multi {try.#Failure _}
[(\ <rev> decoded repr)
{try.#Success value}])
{try.#Success [state (list [meta {.#Rev value}])]}
(^multi {try.#Failure _}
[(\ <frac> decoded repr)
{try.#Success value}])
{try.#Success [state (list [meta {.#Frac value}])]}
_
{try.#Failure <error>})))
_
{try.#Failure <error>}))]
[bin /nat.binary /int.binary /rev.binary /frac.binary "Invalid binary syntax."]
[oct /nat.octal /int.octal /rev.octal /frac.octal "Invalid octal syntax."]
[hex /nat.hex /int.hex /rev.hex /frac.hex "Invalid hexadecimal syntax."]
)
|