aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux.lux4
-rw-r--r--stdlib/source/documentation/lux/control/concatenative.lux8
-rw-r--r--stdlib/source/documentation/lux/extension.lux4
-rw-r--r--stdlib/source/documentation/lux/type/poly.lux45
4 files changed, 9 insertions, 52 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index e9c09dfee..e81beecb2 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -861,8 +861,8 @@
[(def: js
"JavaScript")
- (for {"JVM" (do jvm stuff)
- js (do js stuff)}
+ (for ["JVM" (do jvm stuff)
+ js (do js stuff)]
(do default stuff))])
(documentation: /.``
diff --git a/stdlib/source/documentation/lux/control/concatenative.lux b/stdlib/source/documentation/lux/control/concatenative.lux
index ef19810e2..745cca04f 100644
--- a/stdlib/source/documentation/lux/control/concatenative.lux
+++ b/stdlib/source/documentation/lux/control/concatenative.lux
@@ -27,10 +27,10 @@
(=> [t] []))]
[(All (_ a b c)
(=> [a b c] [b c a]))]
- [(All (_ ___a ___z)
- (=> {then (=> ___a ___z)
- else (=> ___a ___z)}
- ___a [Bit then else] ___z))])
+ [(All (_ ,,,0 ,,,1)
+ (=> [then (=> ,,,0 ,,,1)
+ else (=> ,,,0 ,,,1)]
+ ,,,0 [Bit then else] ,,,1))])
(documentation: /.||>
"A self-contained sequence of concatenative instructions."
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
index c9216cb0c..5d0e64f51 100644
--- a/stdlib/source/documentation/lux/extension.lux
+++ b/stdlib/source/documentation/lux/extension.lux
@@ -38,10 +38,10 @@
(documentation: /.generation:
""
[(generation: ("my generation" self phase archive [pass_through <synthesis>.any])
- (for {@.jvm
+ (for [@.jvm
(\ phase.monad each (|>> #jvm.Embedded
row.row)
- (phase archive pass_through))}
+ (phase archive pass_through))]
(phase archive pass_through)))])
(documentation: /.directive:
diff --git a/stdlib/source/documentation/lux/type/poly.lux b/stdlib/source/documentation/lux/type/poly.lux
index 8708d3f90..f3d1ef3af 100644
--- a/stdlib/source/documentation/lux/type/poly.lux
+++ b/stdlib/source/documentation/lux/type/poly.lux
@@ -17,48 +17,6 @@
[\\library
["[0]" /]])
-(documentation: /.derived:
- ""
- [(type: Variant
- (.Variant
- (#Bit Bit)
- (#Text Text)
- (#Frac Frac)))
-
- (type: Recursive
- (Rec Recursive
- (.Variant
- (#Number Frac)
- (#Addition Frac Recursive))))
-
- (type: Record
- (.Record
- [#bit Bit
- #frac Frac
- #text Text
- #maybe (Maybe Frac)
- #list (List Frac)
- #dictionary (Dictionary Text Frac)
- #variant Variant
- #tuple [Bit Text Frac]
- #recursive Recursive
- #date Date
- #grams (Qty Gram)]))
-
- (derived: equivalence
- ($equivalence.equivalence
- Record))
-
- (: (Equivalence Record)
- equivalence)
-
- (derived: codec
- ($codec.codec
- Record))
-
- (: (Codec Json Record)
- codec)])
-
(documentation: /.code
""
[(code env type)])
@@ -67,7 +25,6 @@
(.List $.Module)
($.module /._
""
- [..derived:
- ..code
+ [..code
($.default /.poly:)]
[]))