blob: b123fe8521cd22bb7eaf6f6fe3253b11f1bfa417 (
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
|
(.module:
lux
(lux (data [text]
(text format
["l" lexer "l/" Monad<Lexer>])
(coll [list "L/" Functor<List>]))))
(type: #export Signal Text)
(do-template [<name> <code>]
[(def: #export <name> Signal <code>)]
[cons-signal "\u0005"]
[nil-signal "\u0006"]
[stop-signal "\u0007"]
)
(do-template [<name> <code>]
[(def: #export <name> Signal <code>)]
[ident-separator "."]
)
(def: #export (encode-list encode-elem types)
(All [a] (-> (-> a Text) (List a) Text))
(format (|> (L/map encode-elem types)
(text.join-with cons-signal))
nil-signal))
(def: #export (decode-list decode-elem)
(All [a] (-> (l.Lexer a) (l.Lexer (List a))))
(l.alt (<| (l.after (l.text nil-signal))
(l/wrap []))
(<| (l.seq decode-elem)
(l.after (l.text cons-signal))
(decode-list decode-elem))))
|
