aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux.lux24
-rw-r--r--stdlib/source/documentation/lux/control/security/policy.lux4
-rw-r--r--stdlib/source/documentation/lux/data/format/binary.lux2
-rw-r--r--stdlib/source/documentation/lux/data/format/json.lux2
-rw-r--r--stdlib/source/documentation/lux/data/format/xml.lux2
-rw-r--r--stdlib/source/documentation/lux/data/identity.lux2
-rw-r--r--stdlib/source/documentation/lux/data/text/format.lux2
-rw-r--r--stdlib/source/documentation/lux/ffi.js.lux2
-rw-r--r--stdlib/source/documentation/lux/ffi.jvm.lux2
-rw-r--r--stdlib/source/documentation/lux/ffi.lua.lux2
-rw-r--r--stdlib/source/documentation/lux/ffi.old.lux2
-rw-r--r--stdlib/source/documentation/lux/ffi.py.lux2
-rw-r--r--stdlib/source/documentation/lux/ffi.rb.lux2
-rw-r--r--stdlib/source/documentation/lux/meta.lux2
-rw-r--r--stdlib/source/documentation/lux/meta/symbol.lux2
-rw-r--r--stdlib/source/documentation/lux/type.lux2
-rw-r--r--stdlib/source/documentation/lux/type/quotient.lux2
-rw-r--r--stdlib/source/documentation/lux/type/refinement.lux2
18 files changed, 30 insertions, 30 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 0106fc515..72fa36c45 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -301,8 +301,8 @@
(documentation /.type
"Takes a type expression and returns its representation as data-structure."
- [(type (All (_ a)
- (Maybe (List a))))])
+ [(type_literal (All (_ a)
+ (Maybe (List a))))])
(documentation /.is
"The type-annotation macro."
@@ -320,8 +320,8 @@
(Rec Int_List
(Or Any
[Int Int_List]))]
- ["Can also be used with type: and labelled-type definitions."
- (type: Type
+ ["Can also be used with type and labelled-type definitions."
+ (type Type
(Rec @
(Variant
{#Primitive Text (List @)}
@@ -369,7 +369,7 @@
... (documentation /.^or
... (format "Or-patterns."
... \n "It's a special macro meant to be used with 'case'.")
- ... [(type: Weekday
+ ... [(type Weekday
... (Variant
... {#Monday}
... {#Tuesday}
@@ -472,8 +472,8 @@
(documentation /.Variant
(format "Syntax for defining labelled/tagged sum/union types."
- \n "WARNING: Only use it within the type: macro.")
- [(type: Referrals
+ \n "WARNING: Only use it within the type macro.")
+ [(type Referrals
(Variant
{#All}
{#Only (List Text)}
@@ -483,21 +483,21 @@
(documentation /.Record
(format "Syntax for defining labelled/slotted product/tuple types."
- \n "WARNING: Only use it within the type: macro.")
- [(type: Refer
+ \n "WARNING: Only use it within the type macro.")
+ [(type Refer
(Record
[#refer_defs Referrals
#refer_open (List Openings)]))])
- (documentation /.type:
+ (documentation /.type
"The type-definition macro."
- [(type: (List a)
+ [(type (List a)
{#End}
{#Item a (List a)})])
(documentation /.Interface
"Interface definition."
- [(type: .public (Order a)
+ [(type .public (Order a)
(Interface
(is (Equivalence a)
equivalence)
diff --git a/stdlib/source/documentation/lux/control/security/policy.lux b/stdlib/source/documentation/lux/control/security/policy.lux
index 6b1aa6f74..a2da0b92f 100644
--- a/stdlib/source/documentation/lux/control/security/policy.lux
+++ b/stdlib/source/documentation/lux/control/security/policy.lux
@@ -34,10 +34,10 @@
(documentation: /.with_policy
"Activates a security context with the priviledge to enforce it's policy."
- [(type: Password
+ [(type Password
(Private Text))
- (type: (Policy %)
+ (type (Policy %)
(Interface
(is (-> Text (Password %))
password)
diff --git a/stdlib/source/documentation/lux/data/format/binary.lux b/stdlib/source/documentation/lux/data/format/binary.lux
index 9b415289a..64ece5b0b 100644
--- a/stdlib/source/documentation/lux/data/format/binary.lux
+++ b/stdlib/source/documentation/lux/data/format/binary.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except nat int rev list type or and symbol)
+ [lux (.except nat int rev list or and symbol)
["$" documentation (.only documentation:)]
[data
[text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/format/json.lux b/stdlib/source/documentation/lux/data/format/json.lux
index 27ae612b5..bda2246e2 100644
--- a/stdlib/source/documentation/lux/data/format/json.lux
+++ b/stdlib/source/documentation/lux/data/format/json.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except nat int rev list type or and has)
+ [lux (.except nat int rev list or and has)
["$" documentation (.only documentation:)]
[data
[text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/format/xml.lux b/stdlib/source/documentation/lux/data/format/xml.lux
index b433ceb20..afb0bc9ee 100644
--- a/stdlib/source/documentation/lux/data/format/xml.lux
+++ b/stdlib/source/documentation/lux/data/format/xml.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except nat int rev list type or and)
+ [lux (.except nat int rev list or and)
["$" documentation (.only documentation:)]
[data
[text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/identity.lux b/stdlib/source/documentation/lux/data/identity.lux
index c63c92e7c..f5a0d9589 100644
--- a/stdlib/source/documentation/lux/data/identity.lux
+++ b/stdlib/source/documentation/lux/data/identity.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except nat int rev list type or and)
+ [lux (.except nat int rev list or and)
["$" documentation (.only documentation:)]
[data
[text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/text/format.lux b/stdlib/source/documentation/lux/data/text/format.lux
index 35d677e8b..c7dbb68b5 100644
--- a/stdlib/source/documentation/lux/data/text/format.lux
+++ b/stdlib/source/documentation/lux/data/text/format.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except nat int rev type list symbol)
+ [lux (.except nat int rev list symbol)
["$" documentation (.only documentation:)]
[macro
["[0]" template]]]]
diff --git a/stdlib/source/documentation/lux/ffi.js.lux b/stdlib/source/documentation/lux/ffi.js.lux
index 460448c1e..6797208c8 100644
--- a/stdlib/source/documentation/lux/ffi.js.lux
+++ b/stdlib/source/documentation/lux/ffi.js.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except int char type)
+ [lux (.except int char)
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux
index 0aed47fd6..da10cb3d6 100644
--- a/stdlib/source/documentation/lux/ffi.jvm.lux
+++ b/stdlib/source/documentation/lux/ffi.jvm.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except int char type is as)
+ [lux (.except int char is as)
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.lua.lux b/stdlib/source/documentation/lux/ffi.lua.lux
index b437e24a9..5edd5c9e0 100644
--- a/stdlib/source/documentation/lux/ffi.lua.lux
+++ b/stdlib/source/documentation/lux/ffi.lua.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except int char type)
+ [lux (.except int char)
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux
index 8bcec68f2..805f9ec8c 100644
--- a/stdlib/source/documentation/lux/ffi.old.lux
+++ b/stdlib/source/documentation/lux/ffi.old.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except int char type)
+ [lux (.except int char)
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.py.lux b/stdlib/source/documentation/lux/ffi.py.lux
index 339d9407d..3feb67e74 100644
--- a/stdlib/source/documentation/lux/ffi.py.lux
+++ b/stdlib/source/documentation/lux/ffi.py.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except int char type)
+ [lux (.except int char)
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux
index b40599a19..86cff83d3 100644
--- a/stdlib/source/documentation/lux/ffi.rb.lux
+++ b/stdlib/source/documentation/lux/ffi.rb.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except int char type)
+ [lux (.except int char)
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux
index 327154e3a..651c465ea 100644
--- a/stdlib/source/documentation/lux/meta.lux
+++ b/stdlib/source/documentation/lux/meta.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except type macro)
+ [lux (.except macro)
["$" documentation (.only documentation:)]
[data
["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/meta/symbol.lux b/stdlib/source/documentation/lux/meta/symbol.lux
index afdf77bf2..6bdb746c3 100644
--- a/stdlib/source/documentation/lux/meta/symbol.lux
+++ b/stdlib/source/documentation/lux/meta/symbol.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except nat int rev list type or and)
+ [lux (.except)
["$" documentation (.only documentation:)]
[data
[text (.only \n)
diff --git a/stdlib/source/documentation/lux/type.lux b/stdlib/source/documentation/lux/type.lux
index 0cb392108..16b7f238a 100644
--- a/stdlib/source/documentation/lux/type.lux
+++ b/stdlib/source/documentation/lux/type.lux
@@ -146,7 +146,7 @@
(foo expression)))
(Bar a b c)))
"=>"
- (.type (Bar Bit Nat Text))])
+ (.type_literal (Bar Bit Nat Text))])
(documentation: /.let
"Local bindings for types."
diff --git a/stdlib/source/documentation/lux/type/quotient.lux b/stdlib/source/documentation/lux/type/quotient.lux
index c9f8c8586..2546996d7 100644
--- a/stdlib/source/documentation/lux/type/quotient.lux
+++ b/stdlib/source/documentation/lux/type/quotient.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except type)
+ [lux (.except)
["$" documentation (.only documentation:)]
[control
["<>" parser
diff --git a/stdlib/source/documentation/lux/type/refinement.lux b/stdlib/source/documentation/lux/type/refinement.lux
index e2f28603f..0c2d8eec5 100644
--- a/stdlib/source/documentation/lux/type/refinement.lux
+++ b/stdlib/source/documentation/lux/type/refinement.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except type)
+ [lux (.except)
["$" documentation (.only documentation:)]
[control
["<>" parser