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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
(.require
[library
[lux (.except char symbol)
["$" documentation]
[data
[text (.only \n)
["%" \\format (.only format)]]
[collection
["[0]" list]]]]]
["[0]" /
["[1][0]" local]
["[1][0]" syntax]
["[1][0]" template]]
[\\library
["[0]" /]])
(.def .public documentation
(.List $.Module)
($.module /._
""
[($.definition /.single_expansion
(format "Given code that requires applying a macro, does it once and returns the result."
\n "Otherwise, returns the code as-is.")
[(single_expansion syntax)])
($.definition /.expansion
(format "Given code that requires applying a macro, expands repeatedly until no more direct macro-calls are left."
\n "Otherwise, returns the code as-is.")
[(expansion syntax)])
($.definition /.full_expansion
"Expands all macro-calls everywhere recursively, until only primitive/base code remains."
[(full_expansion syntax)])
($.definition /.symbol
(format "Generates a unique name as a Code node (ready to be used in code templates)."
\n "A prefix can be given (or just be empty text) to better identify the code for debugging purposes.")
[(symbol prefix)])
($.definition /.wrong_syntax_error
"A generic error message for macro syntax failures.")
($.definition /.with_symbols
"Creates new symbols and offers them to the body expression."
[(def synchronized
(syntax (_ [lock any
body any])
(with_symbols [g!lock g!body g!_]
(in (list (` (let [(, g!lock) (, lock)
(, g!_) ("jvm monitorenter" (, g!lock))
(, g!body) (, body)
(, g!_) ("jvm monitorexit" (, g!lock))]
(, g!body))))))))])
($.definition /.one_expansion
"Works just like expand, except that it ensures that the output is a single Code token."
[(one_expansion token)])
($.definition /.log_single_expansion!
(format "Performs a macro-expansion and logs the resulting code."
\n "You can either use the resulting code, or omit them."
\n "By omitting them, this macro produces nothing (just like the lux.comment macro).")
[(log_single_expansion!
(def (foo bar baz)
(-> Int Int Int)
(int.+ bar baz)))
(log_single_expansion! "omit"
(def (foo bar baz)
(-> Int Int Int)
(int.+ bar baz)))])
($.definition /.log_expansion!
(format "Performs a macro-expansion and logs the resulting code."
\n "You can either use the resulting code, or omit them."
\n "By omitting them, this macro produces nothing (just like the lux.comment macro).")
[(log_expansion!
(def (foo bar baz)
(-> Int Int Int)
(int.+ bar baz)))
(log_expansion! "omit"
(def (foo bar baz)
(-> Int Int Int)
(int.+ bar baz)))])
($.definition /.log_full_expansion!
(format "Performs a macro-expansion and logs the resulting code."
\n "You can either use the resulting code, or omit them."
\n "By omitting them, this macro produces nothing (just like the lux.comment macro).")
[(log_full_expansion!
(def (foo bar baz)
(-> Int Int Int)
(int.+ bar baz)))
(log_full_expansion! "omit"
(def (foo bar baz)
(-> Int Int Int)
(int.+ bar baz)))])]
[/local.documentation
/syntax.documentation
/template.documentation]))
|
