aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/documentation/lux.lux7
-rw-r--r--stdlib/source/documentation/lux/control/parser/code.lux13
-rw-r--r--stdlib/source/documentation/lux/meta.lux8
-rw-r--r--stdlib/source/documentation/lux/target.lux14
-rw-r--r--stdlib/source/documentation/lux/target/js.lux101
-rw-r--r--stdlib/source/documentation/lux/target/jvm.lux47
-rw-r--r--stdlib/source/documentation/lux/target/lua.lux100
-rw-r--r--stdlib/source/documentation/lux/target/python.lux119
-rw-r--r--stdlib/source/documentation/lux/target/ruby.lux117
-rw-r--r--stdlib/source/documentation/lux/tool.lux28
-rw-r--r--stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux88
-rw-r--r--stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux35
-rw-r--r--stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux64
-rw-r--r--stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux91
-rw-r--r--stdlib/source/documentation/lux/tool/compiler/phase.lux33
-rw-r--r--stdlib/source/library/lux/target/js.lux2
-rw-r--r--stdlib/source/library/lux/target/lua.lux2
-rw-r--r--stdlib/source/library/lux/target/python.lux4
-rw-r--r--stdlib/source/library/lux/target/ruby.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/generation.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux4
21 files changed, 869 insertions, 14 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 94ccb3b38..88102d67a 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -35,7 +35,7 @@
["#." target]
["#." test]
["#." time]
- ... ["#." tool] ... TODO: Documentation for this
+ ["#." tool] ... TODO: Documentation for this
["#." type]
["#." world]
... ["#." target "_"
@@ -1031,7 +1031,9 @@
($.default /.Source)
($.default /.Module_State)
($.default /.Type_Context)
- ($.default /.Macro')]
+ ($.default /.Macro')
+ ($.default /.Label)
+ ($.default /.macro)]
[/abstract.documentation
/control.documentation
/data.documentation
@@ -1048,6 +1050,7 @@
/target.documentation
/test.documentation
/time.documentation
+ /tool.documentation
/type.documentation
/world.documentation]))
diff --git a/stdlib/source/documentation/lux/control/parser/code.lux b/stdlib/source/documentation/lux/control/parser/code.lux
index 4c14304a0..ccd84d82c 100644
--- a/stdlib/source/documentation/lux/control/parser/code.lux
+++ b/stdlib/source/documentation/lux/control/parser/code.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" [nat int rev local]}
+ [lux {"-" [nat int rev local not]}
["$" documentation {"+" [documentation:]}]
[data
[text {"+" [\n]}
@@ -71,6 +71,13 @@
"Runs parser against the given list of inputs."
[(local inputs parser)])
+(documentation: /.not
+ "Yields the next Code token if the parser fails."
+ [(not expected_to_fail)])
+
+(documentation: /.next
+ "Yields the next Code token without consuming it from the input stream.")
+
(.def: .public documentation
(.List $.Module)
($.module /._
@@ -109,5 +116,7 @@
..end!
..end?
..result
- ..local]
+ ..local
+ ..not
+ ..next]
[]))
diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux
index 16f7562a6..7bd9894fd 100644
--- a/stdlib/source/documentation/lux/meta.lux
+++ b/stdlib/source/documentation/lux/meta.lux
@@ -128,6 +128,10 @@
"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)])
@@ -182,6 +186,7 @@
..imported_by?
..imported?
..tag
+ ..slot
..tag_lists
..locals
..de_aliased
@@ -191,6 +196,7 @@
($.default /.functor)
($.default /.apply)
($.default /.monad)
- ($.default /.lifted)]
+ ($.default /.lifted)
+ ($.default /.try)]
[/annotation.documentation
/location.documentation]))
diff --git a/stdlib/source/documentation/lux/target.lux b/stdlib/source/documentation/lux/target.lux
index d063b6894..831881f2f 100644
--- a/stdlib/source/documentation/lux/target.lux
+++ b/stdlib/source/documentation/lux/target.lux
@@ -8,7 +8,13 @@
[collection
["." list]]]]]
[\\library
- ["." /]])
+ ["." /]]
+ ["." / "_"
+ ["#." js]
+ ["#." jvm]
+ ["#." lua]
+ ["#." python]
+ ["#." ruby]])
(documentation: /.Target
(format "The name/ID of a platform targetted by a Lux compiler."
@@ -29,4 +35,8 @@
($.default /.php)
($.default /.r)
($.default /.scheme)]
- []))
+ [/js.documentation
+ /jvm.documentation
+ /lua.documentation
+ /python.documentation
+ /ruby.documentation]))
diff --git a/stdlib/source/documentation/lux/target/js.lux b/stdlib/source/documentation/lux/target/js.lux
new file mode 100644
index 000000000..fe87d7e40
--- /dev/null
+++ b/stdlib/source/documentation/lux/target/js.lux
@@ -0,0 +1,101 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Code)
+ ($.default /.code)
+ ($.default /.Expression)
+ ($.default /.Computation)
+ ($.default /.Location)
+ ($.default /.Statement)
+ ($.default /.Var)
+ ($.default /.Access)
+ ($.default /.Literal)
+ ($.default /.Loop)
+ ($.default /.Label)
+ ($.default /.null)
+ ($.default /.undefined)
+ ($.default /.boolean)
+ ($.default /.number)
+ ($.default /.string)
+ ($.default /.array)
+ ($.default /.var)
+ ($.default /.at)
+ ($.default /.the)
+ ($.default /.apply/*)
+ ($.default /.do)
+ ($.default /.object)
+ ($.default /.,)
+ ($.default /.then)
+ ($.default /.function!)
+ ($.default /.function)
+ ($.default /.closure)
+ ($.default /.=)
+ ($.default /.<)
+ ($.default /.<=)
+ ($.default /.>)
+ ($.default /.>=)
+ ($.default /.+)
+ ($.default /.-)
+ ($.default /.*)
+ ($.default /./)
+ ($.default /.%)
+ ($.default /.left_shift)
+ ($.default /.arithmetic_right_shift)
+ ($.default /.logic_right_shift)
+ ($.default /.or)
+ ($.default /.and)
+ ($.default /.bit_xor)
+ ($.default /.bit_or)
+ ($.default /.bit_and)
+ ($.default /.not)
+ ($.default /.bit_not)
+ ($.default /.opposite)
+ ($.default /.to_i32)
+ ($.default /.i32)
+ ($.default /.int)
+ ($.default /.?)
+ ($.default /.type_of)
+ ($.default /.new)
+ ($.default /.statement)
+ ($.default /.use_strict)
+ ($.default /.declare)
+ ($.default /.define)
+ ($.default /.set)
+ ($.default /.throw)
+ ($.default /.return)
+ ($.default /.delete)
+ ($.default /.if)
+ ($.default /.when)
+ ($.default /.while)
+ ($.default /.do_while)
+ ($.default /.try)
+ ($.default /.for)
+ ($.default /.label)
+ ($.default /.with_label)
+ ($.default /.break)
+ ($.default /.break_at)
+ ($.default /.continue)
+ ($.default /.continue_at)
+ ($.default /.++)
+ ($.default /.--)
+ ($.default /.comment)
+ ($.default /.switch)
+ ($.default /.cond)
+ ($.default /.apply/1)
+ ($.default /.not_a_number?)
+ ($.default /.apply/2)
+ ($.default /.apply/3)]
+ []))
diff --git a/stdlib/source/documentation/lux/target/jvm.lux b/stdlib/source/documentation/lux/target/jvm.lux
new file mode 100644
index 000000000..85833ce7a
--- /dev/null
+++ b/stdlib/source/documentation/lux/target/jvm.lux
@@ -0,0 +1,47 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Literal)
+ ($.default /.Constant)
+ ($.default /.Int_Arithmetic)
+ ($.default /.Long_Arithmetic)
+ ($.default /.Float_Arithmetic)
+ ($.default /.Double_Arithmetic)
+ ($.default /.Arithmetic)
+ ($.default /.Int_Bitwise)
+ ($.default /.Long_Bitwise)
+ ($.default /.Bitwise)
+ ($.default /.Conversion)
+ ($.default /.Array)
+ ($.default /.Object)
+ ($.default /.Register)
+ ($.default /.Local_Int)
+ ($.default /.Local_Long)
+ ($.default /.Local_Float)
+ ($.default /.Local_Double)
+ ($.default /.Local_Object)
+ ($.default /.Local)
+ ($.default /.Stack)
+ ($.default /.Comparison)
+ ($.default /.Label)
+ ($.default /.Branching)
+ ($.default /.Exception)
+ ($.default /.Concurrency)
+ ($.default /.Return)
+ ($.default /.Control)
+ ($.default /.Instruction)
+ ($.default /.Bytecode)]
+ []))
diff --git a/stdlib/source/documentation/lux/target/lua.lux b/stdlib/source/documentation/lux/target/lua.lux
new file mode 100644
index 000000000..32870785f
--- /dev/null
+++ b/stdlib/source/documentation/lux/target/lua.lux
@@ -0,0 +1,100 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Code)
+ ($.default /.equivalence)
+ ($.default /.hash)
+ ($.default /.manual)
+ ($.default /.code)
+ ($.default /.Expression)
+ ($.default /.Computation)
+ ($.default /.Location)
+ ($.default /.Statement)
+ ($.default /.Literal)
+ ($.default /.Var)
+ ($.default /.Access)
+ ($.default /.Label)
+ ($.default /.nil)
+ ($.default /.bool)
+ ($.default /.int)
+ ($.default /.float)
+ ($.default /.string)
+ ($.default /.multi)
+ ($.default /.array)
+ ($.default /.table)
+ ($.default /.item)
+ ($.default /.the)
+ ($.default /.length)
+ ($.default /.apply/*)
+ ($.default /.do)
+ ($.default /.=)
+ ($.default /.<)
+ ($.default /.<=)
+ ($.default /.>)
+ ($.default /.>=)
+ ($.default /.+)
+ ($.default /.-)
+ ($.default /.*)
+ ($.default /.^)
+ ($.default /./)
+ ($.default /.//)
+ ($.default /.%)
+ ($.default /.concat)
+ ($.default /.or)
+ ($.default /.and)
+ ($.default /.bit_or)
+ ($.default /.bit_and)
+ ($.default /.bit_xor)
+ ($.default /.bit_shl)
+ ($.default /.bit_shr)
+ ($.default /.not)
+ ($.default /.opposite)
+ ($.default /.var)
+ ($.default /.label)
+ ($.default /.statement)
+ ($.default /.then)
+ ($.default /.local)
+ ($.default /.set)
+ ($.default /.let)
+ ($.default /.local/1)
+ ($.default /.if)
+ ($.default /.when)
+ ($.default /.while)
+ ($.default /.repeat)
+ ($.default /.for_in)
+ ($.default /.for_step)
+ ($.default /.return)
+ ($.default /.closure)
+ ($.default /.function)
+ ($.default /.local_function)
+ ($.default /.break)
+ ($.default /.set_label)
+ ($.default /.go_to)
+ ($.default /.cond)
+ ($.default /.apply/1)
+ ($.default /.apply/2)
+ ($.default /.apply/3)
+ ($.default /.apply/4)
+ ($.default /.apply/5)
+ ($.default /.error/1)
+ ($.default /.print/1)
+ ($.default /.require/1)
+ ($.default /.type/1)
+ ($.default /.ipairs/1)
+ ($.default /.print/2)
+ ($.default /.error/2)
+ ($.default /.print/3)]
+ []))
diff --git a/stdlib/source/documentation/lux/target/python.lux b/stdlib/source/documentation/lux/target/python.lux
new file mode 100644
index 000000000..2bb90ca9d
--- /dev/null
+++ b/stdlib/source/documentation/lux/target/python.lux
@@ -0,0 +1,119 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Code)
+ ($.default /.equivalence)
+ ($.default /.hash)
+ ($.default /.manual)
+ ($.default /.code)
+ ($.default /.Expression)
+ ($.default /.Computation)
+ ($.default /.Location)
+ ($.default /.Var)
+ ($.default /.Statement)
+ ($.default /.Literal)
+ ($.default /.Access)
+ ($.default /.Loop)
+ ($.default /.Label)
+ ($.default /.SVar)
+ ($.default /.Single)
+ ($.default /.PVar)
+ ($.default /.Poly)
+ ($.default /.KVar)
+ ($.default /.Keyword)
+ ($.default /.var)
+ ($.default /.poly)
+ ($.default /.keyword)
+ ($.default /.none)
+ ($.default /.bool)
+ ($.default /.int)
+ ($.default /.long)
+ ($.default /.float)
+ ($.default /.string)
+ ($.default /.unicode)
+ ($.default /.tuple)
+ ($.default /.list)
+ ($.default /.slice)
+ ($.default /.slice_from)
+ ($.default /.dict)
+ ($.default /.apply/*)
+ ($.default /.apply_poly)
+ ($.default /.apply_keyword)
+ ($.default /.the)
+ ($.default /.do)
+ ($.default /.do_poly)
+ ($.default /.do_keyword)
+ ($.default /.item)
+ ($.default /.?)
+ ($.default /.is)
+ ($.default /.=)
+ ($.default /.<)
+ ($.default /.<=)
+ ($.default /.>)
+ ($.default /.>=)
+ ($.default /.+)
+ ($.default /.-)
+ ($.default /.*)
+ ($.default /./)
+ ($.default /.//)
+ ($.default /.%)
+ ($.default /.**)
+ ($.default /.bit_or)
+ ($.default /.bit_and)
+ ($.default /.bit_xor)
+ ($.default /.bit_shl)
+ ($.default /.bit_shr)
+ ($.default /.or)
+ ($.default /.and)
+ ($.default /.not)
+ ($.default /.opposite)
+ ($.default /.lambda)
+ ($.default /.set)
+ ($.default /.delete)
+ ($.default /.if)
+ ($.default /.when)
+ ($.default /.then)
+ ($.default /.break)
+ ($.default /.continue)
+ ($.default /.while)
+ ($.default /.for_in)
+ ($.default /.statement)
+ ($.default /.pass)
+ ($.default /.Except)
+ ($.default /.try)
+ ($.default /.raise)
+ ($.default /.return)
+ ($.default /.print)
+ ($.default /.exec)
+ ($.default /.def)
+ ($.default /.import)
+ ($.default /.comment)
+ ($.default /.cond)
+ ($.default /.apply/1)
+ ($.default /.apply/2)
+ ($.default /.apply/3)
+ ($.default /.str/1)
+ ($.default /.ord/1)
+ ($.default /.float/1)
+ ($.default /.int/1)
+ ($.default /.len/1)
+ ($.default /.chr/1)
+ ($.default /.unichr/1)
+ ($.default /.unicode/1)
+ ($.default /.repr/1)
+ ($.default /.__import__/1)
+ ($.default /.Exception/1)]
+ []))
diff --git a/stdlib/source/documentation/lux/target/ruby.lux b/stdlib/source/documentation/lux/target/ruby.lux
new file mode 100644
index 000000000..f5fe5ae22
--- /dev/null
+++ b/stdlib/source/documentation/lux/target/ruby.lux
@@ -0,0 +1,117 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Code)
+ ($.default /.code_equivalence)
+ ($.default /.code_hash)
+ ($.default /.manual)
+ ($.default /.code)
+ ($.default /.Expression)
+ ($.default /.Computation)
+ ($.default /.Location)
+ ($.default /.Var)
+ ($.default /.LVar)
+ ($.default /.Statement)
+ ($.default /.Literal)
+ ($.default /.Access)
+ ($.default /.GVar)
+ ($.default /.IVar)
+ ($.default /.SVar)
+ ($.default /.LVar*)
+ ($.default /.LVar**)
+ ($.default /.global)
+ ($.default /.instance)
+ ($.default /.static)
+ ($.default /.local)
+ ($.default /.variadic)
+ ($.default /.splat)
+ ($.default /.variadic_kv)
+ ($.default /.double_splat)
+ ($.default /.latest_error)
+ ($.default /.last_string_read)
+ ($.default /.last_line_number_read)
+ ($.default /.last_string_matched)
+ ($.default /.last_regexp_match)
+ ($.default /.case_insensitivity_flag)
+ ($.default /.input_record_separator)
+ ($.default /.output_record_separator)
+ ($.default /.script_name)
+ ($.default /.process_id)
+ ($.default /.exit_status)
+ ($.default /.command_line_arguments)
+ ($.default /.nil)
+ ($.default /.bool)
+ ($.default /.int)
+ ($.default /.string)
+ ($.default /.symbol)
+ ($.default /.float)
+ ($.default /.array_range)
+ ($.default /.array)
+ ($.default /.hash)
+ ($.default /.apply/*)
+ ($.default /.apply_lambda/*)
+ ($.default /.the)
+ ($.default /.item)
+ ($.default /.?)
+ ($.default /.statement)
+ ($.default /.then)
+ ($.default /.set)
+ ($.default /.if)
+ ($.default /.when)
+ ($.default /.while)
+ ($.default /.for_in)
+ ($.default /.Rescue)
+ ($.default /.begin)
+ ($.default /.catch)
+ ($.default /.return)
+ ($.default /.raise)
+ ($.default /.next)
+ ($.default /.redo)
+ ($.default /.break)
+ ($.default /.function)
+ ($.default /.lambda)
+ ($.default /.=)
+ ($.default /.<)
+ ($.default /.<=)
+ ($.default /.>)
+ ($.default /.>=)
+ ($.default /.+)
+ ($.default /.-)
+ ($.default /.*)
+ ($.default /./)
+ ($.default /.%)
+ ($.default /.pow)
+ ($.default /.or)
+ ($.default /.and)
+ ($.default /.bit_or)
+ ($.default /.bit_and)
+ ($.default /.bit_xor)
+ ($.default /.bit_shl)
+ ($.default /.bit_shr)
+ ($.default /.not)
+ ($.default /.opposite)
+ ($.default /.comment)
+ ($.default /.do)
+ ($.default /.cond)
+ ($.default /.apply/1)
+ ($.default /.apply/2)
+ ($.default /.apply/3)
+ ($.default /.print/1)
+ ($.default /.require/1)
+ ($.default /.print/2)
+ ($.default /.print/3)
+ ($.default /.throw/1)]
+ []))
diff --git a/stdlib/source/documentation/lux/tool.lux b/stdlib/source/documentation/lux/tool.lux
new file mode 100644
index 000000000..1cd0a11a1
--- /dev/null
+++ b/stdlib/source/documentation/lux/tool.lux
@@ -0,0 +1,28 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ ["." / "_"
+ [compiler
+ ["#." phase]
+ [language
+ [lux
+ ["#." analysis]
+ ["#." directive]
+ ["#." generation]
+ ["#." synthesis]]]]])
+
+(.def: .public documentation
+ (.List $.Module)
+ (list.together
+ (list /phase.documentation
+ /analysis.documentation
+ /directive.documentation
+ /generation.documentation
+ /synthesis.documentation
+ )))
diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux
new file mode 100644
index 000000000..b31cd23f9
--- /dev/null
+++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux
@@ -0,0 +1,88 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Primitive)
+ ($.default /.Tag)
+ ($.default /.Variant)
+ ($.default /.tag)
+ ($.default /.choice)
+ ($.default /.Tuple)
+ ($.default /.Composite)
+ ($.default /.Pattern)
+ ($.default /.Branch')
+ ($.default /.Match')
+ ($.default /.Environment)
+ ($.default /.Analysis)
+ ($.default /.Branch)
+ ($.default /.Match)
+ ($.default /.composite_equivalence)
+ ($.default /.composite_hash)
+ ($.default /.equivalence)
+ ($.default /.control/case)
+ ($.default /.unit)
+ ($.default /.bit)
+ ($.default /.nat)
+ ($.default /.int)
+ ($.default /.rev)
+ ($.default /.frac)
+ ($.default /.text)
+ ($.default /.Abstraction)
+ ($.default /.Application)
+ ($.default /.no_op)
+ ($.default /.apply)
+ ($.default /.application)
+ ($.default /.variable)
+ ($.default /.constant)
+ ($.default /.variable/local)
+ ($.default /.variable/foreign)
+ ($.default /.pattern/variant)
+ ($.default /.pattern/tuple)
+ ($.default /.variant)
+ ($.default /.tuple)
+ ($.default /.pattern/unit)
+ ($.default /.pattern/bit)
+ ($.default /.pattern/nat)
+ ($.default /.pattern/int)
+ ($.default /.pattern/rev)
+ ($.default /.pattern/frac)
+ ($.default /.pattern/text)
+ ($.default /.pattern/bind)
+ ($.default /.%analysis)
+ ($.default /.State+)
+ ($.default /.Operation)
+ ($.default /.Phase)
+ ($.default /.Handler)
+ ($.default /.Bundle)
+ ($.default /.with_source_code)
+ ($.default /.with_scope)
+ ($.default /.without_scopes)
+ ($.default /.with_current_module)
+ ($.default /.with_location)
+ ($.default /.failure)
+ ($.default /.except)
+ ($.default /.assertion)
+ ($.default /.failure')
+ ($.default /.except')
+ ($.default /.with_stack)
+ ($.default /.install)
+ ($.default /.set_source_code)
+ ($.default /.set_current_module)
+ ($.default /.set_location)
+ ($.default /.location)
+ ($.default /.source)
+ ($.default /.info)
+ ($.default /.state)]
+ []))
diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux
new file mode 100644
index 000000000..e7aafa507
--- /dev/null
+++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux
@@ -0,0 +1,35 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Component)
+ ($.default /.State)
+ ($.default /.Import)
+ ($.default /.Requirements)
+ ($.default /.no_requirements)
+ ($.default /.merge_requirements)
+ ($.default /.State+)
+ ($.default /.Operation)
+ ($.default /.Phase)
+ ($.default /.Handler)
+ ($.default /.Bundle)
+ ($.default /.analysis)
+ ($.default /.synthesis)
+ ($.default /.generation)
+ ($.default /.lifted_analysis)
+ ($.default /.lifted_synthesis)
+ ($.default /.lifted_generation)
+ ($.default /.set_current_module)]
+ []))
diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux
new file mode 100644
index 000000000..7f7b2173c
--- /dev/null
+++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux
@@ -0,0 +1,64 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Context)
+ ($.default /.Buffer)
+ ($.default /.cannot_interpret)
+ ($.default /.cannot_overwrite_output)
+ ($.default /.no_buffer_for_saving_code)
+ ($.default /.Host)
+ ($.default /.State)
+ ($.default /.State+)
+ ($.default /.Operation)
+ ($.default /.Phase)
+ ($.default /.Handler)
+ ($.default /.Bundle)
+ ($.default /.Extender)
+ ($.default /.state)
+ ($.default /.empty_buffer)
+ ($.default /.with_anchor)
+ ($.default /.set_anchor)
+ ($.default /.anchor)
+ ($.default /.no_anchor)
+ ($.default /.with_buffer)
+ ($.default /.set_buffer)
+ ($.default /.buffer)
+ ($.default /.no_active_buffer)
+ ($.default /.get_registry)
+ ($.default /.set_registry)
+ ($.default /.next)
+ ($.default /.identifier)
+ ($.default /.enter_module)
+ ($.default /.module)
+ ($.default /.evaluate!)
+ ($.default /.execute!)
+ ($.default /.define!)
+ ($.default /.save!)
+ ($.default /.learn)
+ ($.default /.learn_custom)
+ ($.default /.learn_analyser)
+ ($.default /.learn_synthesizer)
+ ($.default /.learn_generator)
+ ($.default /.learn_directive)
+ ($.default /.unknown_definition)
+ ($.default /.remember)
+ ($.default /.no_context)
+ ($.default /.module_id)
+ ($.default /.context)
+ ($.default /.with_context)
+ ($.default /.with_new_context)
+ ($.default /.log!)]
+ []))
diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux
new file mode 100644
index 000000000..d9163f261
--- /dev/null
+++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux
@@ -0,0 +1,91 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Resolver)
+ ($.default /.State)
+ ($.default /.fresh_resolver)
+ ($.default /.init)
+ ($.default /.Primitive)
+ ($.default /.Side)
+ ($.default /.Member)
+ ($.default /.Access)
+ ($.default /.Fork)
+ ($.default /.Path')
+ ($.default /.Abstraction')
+ ($.default /.Apply')
+ ($.default /.Branch)
+ ($.default /.Scope)
+ ($.default /.Loop)
+ ($.default /.Function)
+ ($.default /.Control)
+ ($.default /.Synthesis)
+ ($.default /.State+)
+ ($.default /.Operation)
+ ($.default /.Phase)
+ ($.default /.Handler)
+ ($.default /.Bundle)
+ ($.default /.Path)
+ ($.default /.path/pop)
+ ($.default /.path/side)
+ ($.default /.path/member)
+ ($.default /.side/left)
+ ($.default /.side/right)
+ ($.default /.member/left)
+ ($.default /.member/right)
+ ($.default /.path/bind)
+ ($.default /.path/then)
+ ($.default /.path/alt)
+ ($.default /.path/seq)
+ ($.default /.Abstraction)
+ ($.default /.Apply)
+ ($.default /.unit)
+ ($.default /.with_locals)
+ ($.default /.locals)
+ ($.default /.with_currying?)
+ ($.default /.currying?)
+ ($.default /.with_new_local)
+ ($.default /.bit)
+ ($.default /.i64)
+ ($.default /.f64)
+ ($.default /.text)
+ ($.default /.variant)
+ ($.default /.tuple)
+ ($.default /.variable)
+ ($.default /.constant)
+ ($.default /.variable/local)
+ ($.default /.variable/foreign)
+ ($.default /.branch/case)
+ ($.default /.branch/let)
+ ($.default /.branch/if)
+ ($.default /.branch/get)
+ ($.default /.loop/recur)
+ ($.default /.loop/scope)
+ ($.default /.function/abstraction)
+ ($.default /.function/apply)
+ ($.default /.%path')
+ ($.default /.%synthesis)
+ ($.default /.%path)
+ ($.default /.primitive_equivalence)
+ ($.default /.access_equivalence)
+ ($.default /.path'_equivalence)
+ ($.default /.equivalence)
+ ($.default /.path_equivalence)
+ ($.default /.hash)
+ ($.default /.!bind_top)
+ ($.default /.!multi_pop)
+ ($.default /.simple_left_side)
+ ($.default /.simple_right_side)]
+ []))
diff --git a/stdlib/source/documentation/lux/tool/compiler/phase.lux b/stdlib/source/documentation/lux/tool/compiler/phase.lux
new file mode 100644
index 000000000..143ccb42f
--- /dev/null
+++ b/stdlib/source/documentation/lux/tool/compiler/phase.lux
@@ -0,0 +1,33 @@
+(.module:
+ [library
+ [lux {"-" [char]}
+ ["$" documentation {"+" [documentation:]}]
+ [data
+ [text {"+" [\n]}
+ ["%" format {"+" [format]}]]
+ [collection
+ ["." list]]]]]
+ [\\library
+ ["." /]])
+
+(.def: .public documentation
+ (.List $.Module)
+ ($.module /._
+ ""
+ [($.default /.Operation)
+ ($.default /.monad)
+ ($.default /.Phase)
+ ($.default /.Wrapper)
+ ($.default /.result')
+ ($.default /.result)
+ ($.default /.get_state)
+ ($.default /.set_state)
+ ($.default /.sub)
+ ($.default /.failure)
+ ($.default /.except)
+ ($.default /.lifted)
+ ($.default /.assertion)
+ ($.default /.identity)
+ ($.default /.composite)
+ ($.default /.timed)]
+ []))
diff --git a/stdlib/source/library/lux/target/js.lux b/stdlib/source/library/lux/target/js.lux
index fc1257fdc..2882fe5db 100644
--- a/stdlib/source/library/lux/target/js.lux
+++ b/stdlib/source/library/lux/target/js.lux
@@ -50,7 +50,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.identifier [<type> "'"])]
- (abstract: .public <brand> {} Any)
+ (abstract: <brand> {} Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+))))))]
[Var [Location' Computation' Expression' Code]]
diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux
index 540b8e7a0..d0c43b23d 100644
--- a/stdlib/source/library/lux/target/lua.lux
+++ b/stdlib/source/library/lux/target/lua.lux
@@ -73,7 +73,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.identifier [<type> "'"])]
- (abstract: .public <brand> {} Any)
+ (abstract: <brand> {} Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+))))))]
[Literal [Computation' Expression' Code]]
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 21aa9291f..db46ffe6b 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -74,7 +74,7 @@
(template [<type> <super>]
[(with_expansions [<brand> (template.identifier [<type> "'"])]
- (`` (abstract: .public (<brand> brand) {} Any))
+ (`` (abstract: (<brand> brand) {} Any))
(`` (type: .public (<type> brand)
(<super> (<brand> brand)))))]
@@ -87,7 +87,7 @@
(template [<type> <super>]
[(with_expansions [<brand> (template.identifier [<type> "'"])]
- (`` (abstract: .public <brand> {} Any))
+ (`` (abstract: <brand> {} Any))
(`` (type: .public <type> (<super> <brand>))))]
[Literal Computation]
diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux
index 22ca238d8..57aa8e41a 100644
--- a/stdlib/source/library/lux/target/ruby.lux
+++ b/stdlib/source/library/lux/target/ruby.lux
@@ -75,7 +75,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.identifier [<type> "'"])]
- (abstract: .public <brand> {} Any)
+ (abstract: <brand> {} Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+))))))]
[Literal [Computation' Expression' Code]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index 3646a0e9f..f5eb64da7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -102,7 +102,9 @@
#context #.None
#log row.empty])
-(def: .public empty_buffer Buffer row.empty)
+(def: .public empty_buffer
+ Buffer
+ row.empty)
(template [<tag>
<with_declaration> <with_type> <with_value>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
index df124fba8..3d1067415 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
@@ -198,7 +198,9 @@
(type: .public Apply
(Apply' Synthesis))
-(def: .public unit Text "")
+(def: .public unit
+ Text
+ "")
(template [<with> <query> <tag> <type>]
[(def: .public (<with> value)