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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
|
(.using
[library
[lux {"-" type macro}
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
["%" format (.only format)]]]
[macro
["[0]" template]]]]
[\\library
["[0]" /]]
["[0]" / "_"
["[1][0]" location]
["[1][0]" symbol]])
(documentation: /.result'
(format "Evaluates a computation that depends on Lux's compiler state."
\n "Also returns a (potentially modified) compiler state.")
[(result' lux action)])
(documentation: /.result
"Evaluates a computation that depends on Lux's compiler state."
[(result lux action)])
(documentation: /.either
"Pick whichever computation succeeds."
[(either left right)])
(documentation: /.assertion
"Fails with the given message if the test is #0."
[(assertion message test)])
(documentation: /.failure
"Fails with the given error message."
[(failure error)])
(documentation: /.module
"Looks-up a module with the given name."
[(module name)])
(documentation: /.current_module_name
"The name of the module currently being compiled, if any.")
(documentation: /.current_module
"The module currently being compiled, if any.")
(documentation: /.normal
(format "If given a name without a module prefix, gives it the current module's name as prefix."
\n "Otherwise, returns the name as-is.")
[(normal name)])
(documentation: /.macro
"Looks-up a macro known by the given name."
[(macro full_name)])
(documentation: /.seed
(format "The current value of a number tracked by the compiler."
\n "Also increases the value, so it's different next time it is seen."
\n "This number can be used for generating data 'randomly' during compilation."))
(documentation: /.module_exists?
""
[(module_exists? module)])
(documentation: /.var_type
"Looks-up the type of a local variable somewhere in the environment."
[(var_type name)])
(documentation: /.definition
"Looks-up a definition's whole data in the available modules (including the current one)."
[(definition name)])
(documentation: /.export
(format "Looks-up a definition in the available modules (including the current one)."
\n "The look-up only succeeds if the definition has been exported.")
[(export name)])
(documentation: /.definition_type
"Looks-up a definition's type in the available modules (including the current one)."
[(definition_type name)])
(documentation: /.type
"Looks-up the type of either a local variable or a definition."
[(type name)])
(documentation: /.type_definition
"Finds the value of a type definition (such as Int, Any or Lux)."
[(type_definition name)])
(documentation: /.globals
"The entire list of globals in a module (including the non-exported/private ones)."
[(globals module)])
(documentation: /.definitions
"The entire list of definitions in a module (including the non-exported/private ones)."
[(definitions module)])
(documentation: /.exports
"All the exported definitions in a module."
[(exports module_name)])
(documentation: /.modules
"All the available modules (including the current one).")
(documentation: /.tags_of
"All the tags associated with a type definition."
[(tags_of type_name)])
(documentation: /.location
"The location of the current expression being analyzed.")
(documentation: /.expected_type
"The expected type of the current expression being analyzed.")
(documentation: /.imported_modules
"All the modules imported by a specified module."
[(imported_modules module_name)])
(documentation: /.imported_by?
""
[(imported_by? import module)])
(documentation: /.imported?
"Checks if the given module has been imported by the current module."
[(imported? import)])
(documentation: /.tag
"Given a tag, finds out what is its index, its related tag-list and its associated type."
[(tag tag_name)])
(documentation: /.slot
"Given a slot, finds out what is its index, its related slot-list and its associated type."
[(slot slot_name)])
(documentation: /.tag_lists
"All the tag-lists defined in a module, with their associated types."
[(tag_lists module)])
(documentation: /.locals
"All the local variables currently in scope, separated in different scopes.")
(documentation: /.de_aliased
"Given an aliased definition's name, returns the original definition being referenced."
[(de_aliased def_name)])
(documentation: /.compiler_state
"Obtains the current state of the compiler.")
(documentation: /.type_context
"The current type-checking context.")
(documentation: /.eval
""
[(eval type code)])
(.def: .public documentation
(.List $.Module)
($.module /._
"Functions for extracting information from the state of the compiler."
[..result'
..result
..either
..assertion
..failure
..module
..current_module_name
..current_module
..normal
..macro
..seed
..module_exists?
..var_type
..definition
..export
..definition_type
..type
..type_definition
..globals
..definitions
..exports
..modules
..tags_of
..location
..expected_type
..imported_modules
..imported_by?
..imported?
..tag
..slot
..tag_lists
..locals
..de_aliased
..compiler_state
..type_context
..eval
($.default /.functor)
($.default /.apply)
($.default /.monad)
($.default /.lifted)
($.default /.try)]
[/location.documentation
/symbol.documentation]))
|
