aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/meta/target/jvm
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation/lux/meta/target/jvm')
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type.lux95
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux19
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/box.lux29
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/category.lux39
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux63
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux35
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux85
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux53
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux75
9 files changed, 253 insertions, 240 deletions
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type.lux b/stdlib/source/documentation/lux/meta/target/jvm/type.lux
index 4b0705c7e..88d11d15b 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type.lux
@@ -1,12 +1,12 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
["%" \\format (.only format)]]
[collection
- ["[0]" list]]]]]
+ ["[0]" list (.use "[1]#[0]" monoid)]]]]]
[\\library
["[0]" /]]
["[0]" /
@@ -19,46 +19,51 @@
["[1][0]" reflection]
["[1][0]" signature]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.Type)
- ($.definition /.Argument)
- ($.definition /.Typed)
- ($.definition /.Constraint)
- ($.definition /.signature)
- ($.definition /.descriptor)
- ($.definition /.reflection)
- ($.definition /.void)
- ($.definition /.boolean)
- ($.definition /.byte)
- ($.definition /.short)
- ($.definition /.int)
- ($.definition /.long)
- ($.definition /.float)
- ($.definition /.double)
- ($.definition /.char)
- ($.definition /.array)
- ($.definition /.class)
- ($.definition /.declaration)
- ($.definition /.as_class)
- ($.definition /.wildcard)
- ($.definition /.var)
- ($.definition /.lower)
- ($.definition /.upper)
- ($.definition /.method)
- ($.definition /.equivalence)
- ($.definition /.hash)
- ($.definition /.primitive?)
- ($.definition /.void?)
- ($.definition /.class?)
- ($.definition /.format)]
- [/alias.documentation
- /box.documentation
- /category.documentation
- /descriptor.documentation
- /lux.documentation
- /parser.documentation
- /reflection.documentation
- /signature.documentation]))
+(def .public documentation
+ (List $.Documentation)
+ (list.partial ($.module /._
+ "")
+
+ ($.definition /.Type)
+ ($.definition /.Argument)
+ ($.definition /.Typed)
+ ($.definition /.Constraint)
+ ($.definition /.signature)
+ ($.definition /.descriptor)
+ ($.definition /.reflection)
+ ($.definition /.void)
+ ($.definition /.boolean)
+ ($.definition /.byte)
+ ($.definition /.short)
+ ($.definition /.int)
+ ($.definition /.long)
+ ($.definition /.float)
+ ($.definition /.double)
+ ($.definition /.char)
+ ($.definition /.array)
+ ($.definition /.class)
+ ($.definition /.declaration)
+ ($.definition /.as_class)
+ ($.definition /.wildcard)
+ ($.definition /.var)
+ ($.definition /.lower)
+ ($.definition /.upper)
+ ($.definition /.method)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.primitive?)
+ ($.definition /.void?)
+ ($.definition /.class?)
+ ($.definition /.format)
+
+ (all list#composite
+ /alias.documentation
+ /box.documentation
+ /category.documentation
+ /descriptor.documentation
+ /lux.documentation
+ /parser.documentation
+ /reflection.documentation
+ /signature.documentation
+ )
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux
index a95f2515a..7d9ea965e 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,11 +10,12 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.Aliasing)
- ($.definition /.fresh)
- ($.definition /.method)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.Aliasing)
+ ($.definition /.fresh)
+ ($.definition /.method)
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/box.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/box.lux
index 55bb96b15..bd38778f6 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/box.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/box.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,16 +10,17 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.boolean)
- ($.definition /.byte)
- ($.definition /.short)
- ($.definition /.int)
- ($.definition /.long)
- ($.definition /.float)
- ($.definition /.double)
- ($.definition /.char)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.boolean)
+ ($.definition /.byte)
+ ($.definition /.short)
+ ($.definition /.int)
+ ($.definition /.long)
+ ($.definition /.float)
+ ($.definition /.double)
+ ($.definition /.char)
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/category.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/category.lux
index 670dd0b25..91bdb26ad 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/category.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/category.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,21 +10,22 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.Method)
- ($.definition /.Return')
- ($.definition /.Value')
- ($.definition /.Return)
- ($.definition /.Value)
- ($.definition /.Void)
- ($.definition /.Object)
- ($.definition /.Parameter)
- ($.definition /.Primitive)
- ($.definition /.Var)
- ($.definition /.Class)
- ($.definition /.Array)
- ($.definition /.Declaration)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.Method)
+ ($.definition /.Return')
+ ($.definition /.Value')
+ ($.definition /.Return)
+ ($.definition /.Value)
+ ($.definition /.Void)
+ ($.definition /.Object)
+ ($.definition /.Parameter)
+ ($.definition /.Primitive)
+ ($.definition /.Var)
+ ($.definition /.Class)
+ ($.definition /.Array)
+ ($.definition /.Declaration)
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux
index 7df3c49e6..750c40b5f 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,33 +10,34 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.Descriptor)
- ($.definition /.descriptor)
- ($.definition /.void)
- ($.definition /.boolean)
- ($.definition /.byte)
- ($.definition /.short)
- ($.definition /.int)
- ($.definition /.long)
- ($.definition /.float)
- ($.definition /.double)
- ($.definition /.char)
- ($.definition /.class_prefix)
- ($.definition /.class_suffix)
- ($.definition /.class)
- ($.definition /.declaration)
- ($.definition /.as_class)
- ($.definition /.var)
- ($.definition /.wildcard)
- ($.definition /.lower)
- ($.definition /.upper)
- ($.definition /.array_prefix)
- ($.definition /.array)
- ($.definition /.method)
- ($.definition /.equivalence)
- ($.definition /.class_name)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.Descriptor)
+ ($.definition /.descriptor)
+ ($.definition /.void)
+ ($.definition /.boolean)
+ ($.definition /.byte)
+ ($.definition /.short)
+ ($.definition /.int)
+ ($.definition /.long)
+ ($.definition /.float)
+ ($.definition /.double)
+ ($.definition /.char)
+ ($.definition /.class_prefix)
+ ($.definition /.class_suffix)
+ ($.definition /.class)
+ ($.definition /.declaration)
+ ($.definition /.as_class)
+ ($.definition /.var)
+ ($.definition /.wildcard)
+ ($.definition /.lower)
+ ($.definition /.upper)
+ ($.definition /.array_prefix)
+ ($.definition /.array)
+ ($.definition /.method)
+ ($.definition /.equivalence)
+ ($.definition /.class_name)
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux
index 12f08046b..4d50fc0f2 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,19 +10,20 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.Lower)
- ($.definition /.Upper)
- ($.definition /.Mapping)
- ($.definition /.fresh)
- ($.definition /.unknown_var)
- ($.definition /.class)
- ($.definition /.type)
- ($.definition /.boxed_type)
- ($.definition /.return)
- ($.definition /.boxed_return)
- ($.definition /.check)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.Lower)
+ ($.definition /.Upper)
+ ($.definition /.Mapping)
+ ($.definition /.fresh)
+ ($.definition /.unknown_var)
+ ($.definition /.class)
+ ($.definition /.type)
+ ($.definition /.boxed_type)
+ ($.definition /.return)
+ ($.definition /.boxed_return)
+ ($.definition /.check)
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux
index e647e1a81..d80d68c2b 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,44 +10,45 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.void)
- ($.definition /.boolean)
- ($.definition /.byte)
- ($.definition /.short)
- ($.definition /.int)
- ($.definition /.long)
- ($.definition /.float)
- ($.definition /.double)
- ($.definition /.char)
- ($.definition /.wildcard)
- ($.definition /.primitive)
- ($.definition /.class_name)
- ($.definition /.var_name)
- ($.definition /.var')
- ($.definition /.var)
- ($.definition /.var?)
- ($.definition /.name)
- ($.definition /.parameter)
- ($.definition /.array')
- ($.definition /.class)
- ($.definition /.lower?)
- ($.definition /.upper?)
- ($.definition /.read_class)
- ($.definition /.value)
- ($.definition /.array)
- ($.definition /.object)
- ($.definition /.return)
- ($.definition /.method)
- ($.definition /.array?)
- ($.definition /.class?)
- ($.definition /.primitive?)
- ($.definition /.wildcard?)
- ($.definition /.parameter?)
- ($.definition /.object?)
- ($.definition /.declaration')
- ($.definition /.declaration)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.void)
+ ($.definition /.boolean)
+ ($.definition /.byte)
+ ($.definition /.short)
+ ($.definition /.int)
+ ($.definition /.long)
+ ($.definition /.float)
+ ($.definition /.double)
+ ($.definition /.char)
+ ($.definition /.wildcard)
+ ($.definition /.primitive)
+ ($.definition /.class_name)
+ ($.definition /.var_name)
+ ($.definition /.var')
+ ($.definition /.var)
+ ($.definition /.var?)
+ ($.definition /.name)
+ ($.definition /.parameter)
+ ($.definition /.array')
+ ($.definition /.class)
+ ($.definition /.lower?)
+ ($.definition /.upper?)
+ ($.definition /.read_class)
+ ($.definition /.value)
+ ($.definition /.array)
+ ($.definition /.object)
+ ($.definition /.return)
+ ($.definition /.method)
+ ($.definition /.array?)
+ ($.definition /.class?)
+ ($.definition /.primitive?)
+ ($.definition /.wildcard?)
+ ($.definition /.parameter?)
+ ($.definition /.object?)
+ ($.definition /.declaration')
+ ($.definition /.declaration)
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux
index 4ffeb078b..9439e0b2b 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,28 +10,29 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.Reflection)
- ($.definition /.reflection)
- ($.definition /.equivalence)
- ($.definition /.void)
- ($.definition /.boolean)
- ($.definition /.byte)
- ($.definition /.short)
- ($.definition /.int)
- ($.definition /.long)
- ($.definition /.float)
- ($.definition /.double)
- ($.definition /.char)
- ($.definition /.class)
- ($.definition /.declaration)
- ($.definition /.as_class)
- ($.definition /.array)
- ($.definition /.var)
- ($.definition /.wildcard)
- ($.definition /.lower)
- ($.definition /.upper)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.Reflection)
+ ($.definition /.reflection)
+ ($.definition /.equivalence)
+ ($.definition /.void)
+ ($.definition /.boolean)
+ ($.definition /.byte)
+ ($.definition /.short)
+ ($.definition /.int)
+ ($.definition /.long)
+ ($.definition /.float)
+ ($.definition /.double)
+ ($.definition /.char)
+ ($.definition /.class)
+ ($.definition /.declaration)
+ ($.definition /.as_class)
+ ($.definition /.array)
+ ($.definition /.var)
+ ($.definition /.wildcard)
+ ($.definition /.lower)
+ ($.definition /.upper)
+ ))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux
index f7454baf0..fea7063e4 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except char)
+ [lux (.except)
["$" documentation]
[data
[text (.only \n)
@@ -10,39 +10,40 @@
[\\library
["[0]" /]])
-(.def .public documentation
- (.List $.Module)
- ($.module /._
- ""
- [($.definition /.Signature)
- ($.definition /.signature)
- ($.definition /.void)
- ($.definition /.boolean)
- ($.definition /.byte)
- ($.definition /.short)
- ($.definition /.int)
- ($.definition /.long)
- ($.definition /.float)
- ($.definition /.double)
- ($.definition /.char)
- ($.definition /.array)
- ($.definition /.wildcard)
- ($.definition /.var_prefix)
- ($.definition /.var)
- ($.definition /.var_name)
- ($.definition /.lower_prefix)
- ($.definition /.upper_prefix)
- ($.definition /.lower)
- ($.definition /.upper)
- ($.definition /.parameters_start)
- ($.definition /.parameters_end)
- ($.definition /.class)
- ($.definition /.declaration)
- ($.definition /.as_class)
- ($.definition /.arguments_start)
- ($.definition /.arguments_end)
- ($.definition /.exception_prefix)
- ($.definition /.method)
- ($.definition /.equivalence)
- ($.definition /.hash)]
- []))
+(def .public documentation
+ (List $.Documentation)
+ (list ($.module /._
+ "")
+
+ ($.definition /.Signature)
+ ($.definition /.signature)
+ ($.definition /.void)
+ ($.definition /.boolean)
+ ($.definition /.byte)
+ ($.definition /.short)
+ ($.definition /.int)
+ ($.definition /.long)
+ ($.definition /.float)
+ ($.definition /.double)
+ ($.definition /.char)
+ ($.definition /.array)
+ ($.definition /.wildcard)
+ ($.definition /.var_prefix)
+ ($.definition /.var)
+ ($.definition /.var_name)
+ ($.definition /.lower_prefix)
+ ($.definition /.upper_prefix)
+ ($.definition /.lower)
+ ($.definition /.upper)
+ ($.definition /.parameters_start)
+ ($.definition /.parameters_end)
+ ($.definition /.class)
+ ($.definition /.declaration)
+ ($.definition /.as_class)
+ ($.definition /.arguments_start)
+ ($.definition /.arguments_end)
+ ($.definition /.exception_prefix)
+ ($.definition /.method)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ))