aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorEduardo Julian2022-07-08 18:42:43 -0400
committerEduardo Julian2022-07-08 18:42:43 -0400
commit6a052144968df9b441df53f6aa08cbb515ff2654 (patch)
tree7276eb5450baf14cfdc69071fd082168741b8291 /stdlib
parent14a5d4377431c7fc7a13b71cfbbaeb7baa116d29 (diff)
Folded "default" documentation into regular definition documentation.
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/documentation/lux.lux24
-rw-r--r--stdlib/source/documentation/lux/abstract/comonad/free.lux4
-rw-r--r--stdlib/source/documentation/lux/abstract/equivalence.lux8
-rw-r--r--stdlib/source/documentation/lux/abstract/functor.lux8
-rw-r--r--stdlib/source/documentation/lux/abstract/hash.lux2
-rw-r--r--stdlib/source/documentation/lux/abstract/interval.lux34
-rw-r--r--stdlib/source/documentation/lux/abstract/monad/free.lux6
-rw-r--r--stdlib/source/documentation/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/documentation/lux/abstract/order.lux2
-rw-r--r--stdlib/source/documentation/lux/control/concatenative.lux2
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/actor.lux8
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/async.lux6
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/atom.lux4
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/frp.lux22
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/semaphore.lux4
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/stm.lux10
-rw-r--r--stdlib/source/documentation/lux/control/continuation.lux12
-rw-r--r--stdlib/source/documentation/lux/control/exception.lux2
-rw-r--r--stdlib/source/documentation/lux/control/function.lux2
-rw-r--r--stdlib/source/documentation/lux/control/function/contract.lux4
-rw-r--r--stdlib/source/documentation/lux/control/function/memo.lux4
-rw-r--r--stdlib/source/documentation/lux/control/function/mixin.lux2
-rw-r--r--stdlib/source/documentation/lux/control/function/predicate.lux6
-rw-r--r--stdlib/source/documentation/lux/control/io.lux6
-rw-r--r--stdlib/source/documentation/lux/control/lazy.lux10
-rw-r--r--stdlib/source/documentation/lux/control/maybe.lux16
-rw-r--r--stdlib/source/documentation/lux/control/parser.lux6
-rw-r--r--stdlib/source/documentation/lux/control/reader.lux6
-rw-r--r--stdlib/source/documentation/lux/control/region.lux8
-rw-r--r--stdlib/source/documentation/lux/control/remember.lux2
-rw-r--r--stdlib/source/documentation/lux/control/security/policy.lux18
-rw-r--r--stdlib/source/documentation/lux/control/state.lux6
-rw-r--r--stdlib/source/documentation/lux/control/thread.lux6
-rw-r--r--stdlib/source/documentation/lux/control/try.lux8
-rw-r--r--stdlib/source/documentation/lux/control/writer.lux6
-rw-r--r--stdlib/source/documentation/lux/data/binary.lux120
-rw-r--r--stdlib/source/documentation/lux/data/bit.lux18
-rw-r--r--stdlib/source/documentation/lux/data/collection/array.lux14
-rw-r--r--stdlib/source/documentation/lux/data/collection/bits.lux22
-rw-r--r--stdlib/source/documentation/lux/data/collection/dictionary.lux18
-rw-r--r--stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux10
-rw-r--r--stdlib/source/documentation/lux/data/collection/list.lux34
-rw-r--r--stdlib/source/documentation/lux/data/collection/list/property.lux12
-rw-r--r--stdlib/source/documentation/lux/data/collection/queue.lux10
-rw-r--r--stdlib/source/documentation/lux/data/collection/queue/priority.lux18
-rw-r--r--stdlib/source/documentation/lux/data/collection/sequence.lux28
-rw-r--r--stdlib/source/documentation/lux/data/collection/set.lux28
-rw-r--r--stdlib/source/documentation/lux/data/collection/set/multi.lux24
-rw-r--r--stdlib/source/documentation/lux/data/collection/set/ordered.lux20
-rw-r--r--stdlib/source/documentation/lux/data/collection/stack.lux10
-rw-r--r--stdlib/source/documentation/lux/data/collection/stream.lux20
-rw-r--r--stdlib/source/documentation/lux/data/collection/tree.lux8
-rw-r--r--stdlib/source/documentation/lux/data/collection/tree/finger.lux4
-rw-r--r--stdlib/source/documentation/lux/data/collection/tree/zipper.lux46
-rw-r--r--stdlib/source/documentation/lux/data/color.lux42
-rw-r--r--stdlib/source/documentation/lux/data/format/json.lux32
-rw-r--r--stdlib/source/documentation/lux/data/format/tar.lux120
-rw-r--r--stdlib/source/documentation/lux/data/format/xml.lux24
-rw-r--r--stdlib/source/documentation/lux/data/identity.lux8
-rw-r--r--stdlib/source/documentation/lux/data/product.lux4
-rw-r--r--stdlib/source/documentation/lux/data/sum.lux10
-rw-r--r--stdlib/source/documentation/lux/data/text.lux160
-rw-r--r--stdlib/source/documentation/lux/data/text/buffer.lux8
-rw-r--r--stdlib/source/documentation/lux/data/text/encoding.lux2
-rw-r--r--stdlib/source/documentation/lux/data/text/escape.lux8
-rw-r--r--stdlib/source/documentation/lux/data/text/regex.lux2
-rw-r--r--stdlib/source/documentation/lux/data/text/unicode/block.lux12
-rw-r--r--stdlib/source/documentation/lux/data/text/unicode/set.lux28
-rw-r--r--stdlib/source/documentation/lux/debug.lux6
-rw-r--r--stdlib/source/documentation/lux/documentation.lux19
-rw-r--r--stdlib/source/documentation/lux/ffi.js.lux24
-rw-r--r--stdlib/source/documentation/lux/ffi.jvm.lux14
-rw-r--r--stdlib/source/documentation/lux/ffi.lua.lux16
-rw-r--r--stdlib/source/documentation/lux/ffi.old.lux6
-rw-r--r--stdlib/source/documentation/lux/ffi.py.lux16
-rw-r--r--stdlib/source/documentation/lux/ffi.rb.lux12
-rw-r--r--stdlib/source/documentation/lux/math/logic.lux3
-rw-r--r--stdlib/source/documentation/lux/math/logic/continuous.lux16
-rw-r--r--stdlib/source/documentation/lux/math/logic/fuzzy.lux14
-rw-r--r--stdlib/source/documentation/lux/math/modular.lux36
-rw-r--r--stdlib/source/documentation/lux/math/modulus.lux8
-rw-r--r--stdlib/source/documentation/lux/math/number/complex.lux72
-rw-r--r--stdlib/source/documentation/lux/math/number/frac.lux106
-rw-r--r--stdlib/source/documentation/lux/math/number/i16.lux8
-rw-r--r--stdlib/source/documentation/lux/math/number/i32.lux8
-rw-r--r--stdlib/source/documentation/lux/math/number/i64.lux24
-rw-r--r--stdlib/source/documentation/lux/math/number/i8.lux8
-rw-r--r--stdlib/source/documentation/lux/math/number/int.lux40
-rw-r--r--stdlib/source/documentation/lux/math/number/nat.lux34
-rw-r--r--stdlib/source/documentation/lux/math/number/ratio.lux34
-rw-r--r--stdlib/source/documentation/lux/math/number/rev.lux54
-rw-r--r--stdlib/source/documentation/lux/math/random.lux68
-rw-r--r--stdlib/source/documentation/lux/meta.lux12
-rw-r--r--stdlib/source/documentation/lux/meta/code.lux24
-rw-r--r--stdlib/source/documentation/lux/meta/compiler/language/lux/analysis.lux90
-rw-r--r--stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux36
-rw-r--r--stdlib/source/documentation/lux/meta/compiler/language/lux/generation.lux92
-rw-r--r--stdlib/source/documentation/lux/meta/compiler/language/lux/synthesis.lux142
-rw-r--r--stdlib/source/documentation/lux/meta/compiler/phase.lux30
-rw-r--r--stdlib/source/documentation/lux/meta/location.lux6
-rw-r--r--stdlib/source/documentation/lux/meta/macro/local.lux6
-rw-r--r--stdlib/source/documentation/lux/meta/macro/syntax/check.lux6
-rw-r--r--stdlib/source/documentation/lux/meta/macro/syntax/declaration.lux4
-rw-r--r--stdlib/source/documentation/lux/meta/macro/syntax/definition.lux6
-rw-r--r--stdlib/source/documentation/lux/meta/macro/syntax/export.lux2
-rw-r--r--stdlib/source/documentation/lux/meta/macro/syntax/input.lux4
-rw-r--r--stdlib/source/documentation/lux/meta/macro/syntax/type/variable.lux4
-rw-r--r--stdlib/source/documentation/lux/meta/macro/template.lux2
-rw-r--r--stdlib/source/documentation/lux/meta/symbol.lux8
-rw-r--r--stdlib/source/documentation/lux/meta/target.lux20
-rw-r--r--stdlib/source/documentation/lux/meta/target/js.lux160
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type.lux62
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux6
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/box.lux16
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/category.lux26
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux50
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux22
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux72
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux40
-rw-r--r--stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux62
-rw-r--r--stdlib/source/documentation/lux/meta/target/lua.lux150
-rw-r--r--stdlib/source/documentation/lux/meta/target/python.lux190
-rw-r--r--stdlib/source/documentation/lux/meta/target/ruby.lux192
-rw-r--r--stdlib/source/documentation/lux/meta/type.lux36
-rw-r--r--stdlib/source/documentation/lux/meta/type/check.lux22
-rw-r--r--stdlib/source/documentation/lux/meta/type/dynamic.lux4
-rw-r--r--stdlib/source/documentation/lux/meta/type/poly.lux2
-rw-r--r--stdlib/source/documentation/lux/meta/type/quotient.lux8
-rw-r--r--stdlib/source/documentation/lux/meta/type/refinement.lux4
-rw-r--r--stdlib/source/documentation/lux/meta/type/resource.lux6
-rw-r--r--stdlib/source/documentation/lux/meta/type/unit.lux38
-rw-r--r--stdlib/source/documentation/lux/test.lux4
-rw-r--r--stdlib/source/documentation/lux/world/console.lux8
-rw-r--r--stdlib/source/documentation/lux/world/environment.lux8
-rw-r--r--stdlib/source/documentation/lux/world/file.lux14
-rw-r--r--stdlib/source/documentation/lux/world/file/watch.lux18
-rw-r--r--stdlib/source/documentation/lux/world/input/keyboard.lux168
-rw-r--r--stdlib/source/documentation/lux/world/locale.lux6
-rw-r--r--stdlib/source/documentation/lux/world/locale/language.lux1062
-rw-r--r--stdlib/source/documentation/lux/world/locale/territory.lux544
-rw-r--r--stdlib/source/documentation/lux/world/net.lux2
-rw-r--r--stdlib/source/documentation/lux/world/net/http/client.lux6
-rw-r--r--stdlib/source/documentation/lux/world/output/video/resolution.lux4
-rw-r--r--stdlib/source/documentation/lux/world/shell.lux10
-rw-r--r--stdlib/source/documentation/lux/world/time.lux18
-rw-r--r--stdlib/source/documentation/lux/world/time/date.lux24
-rw-r--r--stdlib/source/documentation/lux/world/time/day.lux18
-rw-r--r--stdlib/source/documentation/lux/world/time/duration.lux50
-rw-r--r--stdlib/source/documentation/lux/world/time/instant.lux16
-rw-r--r--stdlib/source/documentation/lux/world/time/month.lux18
-rw-r--r--stdlib/source/documentation/lux/world/time/year.lux20
-rw-r--r--stdlib/source/library/lux/documentation.lux19
-rw-r--r--stdlib/source/test/lux/documentation.lux57
153 files changed, 2795 insertions, 2807 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index c8d8fff45..086a7212f 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -20,7 +20,6 @@
["[1][0]" data]
["[1][0]" debug]
["[1][0]" documentation]
- ["[1][0]" extension]
["[1][0]" ffi]
["[1][0]" math]
["[1][0]" meta]
@@ -871,23 +870,22 @@
(is Foo
(recover from error))))])
- ($.default (/.Code' w))
- ($.default /.Alias)
- ($.default (/.Bindings key value))
- ($.default /.Ref)
- ($.default /.Scope)
- ($.default /.Source)
- ($.default /.Module_State)
- ($.default /.Type_Context)
- ($.default /.Macro')
- ($.default /.Label)
- ($.default /.macro)]
+ ($.definition (/.Code' w))
+ ($.definition /.Alias)
+ ($.definition (/.Bindings key value))
+ ($.definition /.Ref)
+ ($.definition /.Scope)
+ ($.definition /.Source)
+ ($.definition /.Module_State)
+ ($.definition /.Type_Context)
+ ($.definition /.Macro')
+ ($.definition /.Label)
+ ($.definition /.macro)]
[/abstract.documentation
/control.documentation
/data.documentation
/debug.documentation
/documentation.documentation
- /extension.documentation
/ffi.documentation
/math.documentation
/meta.documentation
diff --git a/stdlib/source/documentation/lux/abstract/comonad/free.lux b/stdlib/source/documentation/lux/abstract/comonad/free.lux
index 178ce809f..9f8c966a9 100644
--- a/stdlib/source/documentation/lux/abstract/comonad/free.lux
+++ b/stdlib/source/documentation/lux/abstract/comonad/free.lux
@@ -9,8 +9,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.comonad)
+ [($.definition /.functor)
+ ($.definition /.comonad)
($.definition (/.Free ! it)
"The Free CoMonad.")]
diff --git a/stdlib/source/documentation/lux/abstract/equivalence.lux b/stdlib/source/documentation/lux/abstract/equivalence.lux
index 82ab916ef..56a8bf544 100644
--- a/stdlib/source/documentation/lux/abstract/equivalence.lux
+++ b/stdlib/source/documentation/lux/abstract/equivalence.lux
@@ -12,12 +12,12 @@
(.List $.Module)
($.module /._
""
- [($.definition (/.Equivalence it)
+ [($.definition /.functor)
+
+ ($.definition (/.Equivalence it)
"Equivalence for a type's instances.")
($.definition /.rec
"A recursive equivalence combinator."
- [(rec recursive_equivalence)])
-
- ($.default /.functor)]
+ [(rec recursive_equivalence)])]
[]))
diff --git a/stdlib/source/documentation/lux/abstract/functor.lux b/stdlib/source/documentation/lux/abstract/functor.lux
index 1f1aa6f4f..e0a981e87 100644
--- a/stdlib/source/documentation/lux/abstract/functor.lux
+++ b/stdlib/source/documentation/lux/abstract/functor.lux
@@ -14,10 +14,10 @@
(.List $.Module)
($.module /._
""
- [($.default (/.Functor !))
- ($.default (/.Or left right))
- ($.default (/.And left right))
- ($.default (/.Then outer inner))
+ [($.definition (/.Functor !))
+ ($.definition (/.Or left right))
+ ($.definition (/.And left right))
+ ($.definition (/.Then outer inner))
($.definition /.sum
"Co-product (sum) composition for functors.")
diff --git a/stdlib/source/documentation/lux/abstract/hash.lux b/stdlib/source/documentation/lux/abstract/hash.lux
index 94410e5e3..347a14440 100644
--- a/stdlib/source/documentation/lux/abstract/hash.lux
+++ b/stdlib/source/documentation/lux/abstract/hash.lux
@@ -12,7 +12,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
+ [($.definition /.functor)
($.definition (/.Hash it)
"A way to produce hash-codes for a type's instances.")]
diff --git a/stdlib/source/documentation/lux/abstract/interval.lux b/stdlib/source/documentation/lux/abstract/interval.lux
index 953dec5bb..ca898b2b8 100644
--- a/stdlib/source/documentation/lux/abstract/interval.lux
+++ b/stdlib/source/documentation/lux/abstract/interval.lux
@@ -12,23 +12,23 @@
(.List $.Module)
($.module /._
""
- [($.default /.between)
- ($.default /.inner?)
- ($.default /.outer?)
- ($.default /.singleton?)
- ($.default /.within?)
- ($.default /.starts_with?)
- ($.default /.ends_with?)
- ($.default /.precedes?)
- ($.default /.succeeds?)
- ($.default /.before?)
- ($.default /.after?)
- ($.default /.touches?)
- ($.default /.starts?)
- ($.default /.finishes?)
- ($.default /.equivalence)
- ($.default /.nested?)
- ($.default /.overlaps?)
+ [($.definition /.between)
+ ($.definition /.inner?)
+ ($.definition /.outer?)
+ ($.definition /.singleton?)
+ ($.definition /.within?)
+ ($.definition /.starts_with?)
+ ($.definition /.ends_with?)
+ ($.definition /.precedes?)
+ ($.definition /.succeeds?)
+ ($.definition /.before?)
+ ($.definition /.after?)
+ ($.definition /.touches?)
+ ($.definition /.starts?)
+ ($.definition /.finishes?)
+ ($.definition /.equivalence)
+ ($.definition /.nested?)
+ ($.definition /.overlaps?)
($.definition (/.Interval it)
"A representation of top and bottom boundaries for an ordered type.")
diff --git a/stdlib/source/documentation/lux/abstract/monad/free.lux b/stdlib/source/documentation/lux/abstract/monad/free.lux
index 35266d9bb..f2cd0bdcf 100644
--- a/stdlib/source/documentation/lux/abstract/monad/free.lux
+++ b/stdlib/source/documentation/lux/abstract/monad/free.lux
@@ -9,9 +9,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Free ! it)
"The Free Monad.")]
diff --git a/stdlib/source/documentation/lux/abstract/monoid.lux b/stdlib/source/documentation/lux/abstract/monoid.lux
index 13e1a6578..4a6aa158a 100644
--- a/stdlib/source/documentation/lux/abstract/monoid.lux
+++ b/stdlib/source/documentation/lux/abstract/monoid.lux
@@ -12,7 +12,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.and)
+ [($.definition /.and)
($.definition (/.Monoid it)
(format "A way to compose values."
diff --git a/stdlib/source/documentation/lux/abstract/order.lux b/stdlib/source/documentation/lux/abstract/order.lux
index 766c29192..9f0e646e3 100644
--- a/stdlib/source/documentation/lux/abstract/order.lux
+++ b/stdlib/source/documentation/lux/abstract/order.lux
@@ -12,7 +12,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
+ [($.definition /.functor)
($.definition (/.Order it)
"A signature for types that possess some sense of ordering among their elements.")
diff --git a/stdlib/source/documentation/lux/control/concatenative.lux b/stdlib/source/documentation/lux/control/concatenative.lux
index c80dd42e9..ec8a3ed74 100644
--- a/stdlib/source/documentation/lux/control/concatenative.lux
+++ b/stdlib/source/documentation/lux/control/concatenative.lux
@@ -21,7 +21,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.value)
+ [($.definition /.value)
($.definition /.=>
"Concatenative function types."
diff --git a/stdlib/source/documentation/lux/control/concurrency/actor.lux b/stdlib/source/documentation/lux/control/concurrency/actor.lux
index c9df4c40d..ab412a640 100644
--- a/stdlib/source/documentation/lux/control/concurrency/actor.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/actor.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
"The actor model of concurrency."
- [($.default /.poisoned)
- ($.default /.dead)
- ($.default /.alive?)
- ($.default /.obituary')
+ [($.definition /.poisoned)
+ ($.definition /.dead)
+ ($.definition /.alive?)
+ ($.definition /.obituary')
($.definition (/.Actor state)
"An entity that can react to messages (mail) sent to it concurrently.")
diff --git a/stdlib/source/documentation/lux/control/concurrency/async.lux b/stdlib/source/documentation/lux/control/concurrency/async.lux
index 4899894ef..02d407203 100644
--- a/stdlib/source/documentation/lux/control/concurrency/async.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/async.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Async it)
"Represents values produced by asynchronous computations (unlike IO, which is synchronous).")
diff --git a/stdlib/source/documentation/lux/control/concurrency/atom.lux b/stdlib/source/documentation/lux/control/concurrency/atom.lux
index b02aaff9a..188d52f48 100644
--- a/stdlib/source/documentation/lux/control/concurrency/atom.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/atom.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.atom)
- ($.default /.read!)
+ [($.definition /.atom)
+ ($.definition /.read!)
($.definition (/.Atom it)
"Atomic references that are safe to mutate concurrently.")
diff --git a/stdlib/source/documentation/lux/control/concurrency/frp.lux b/stdlib/source/documentation/lux/control/concurrency/frp.lux
index ed095f73c..d3abce031 100644
--- a/stdlib/source/documentation/lux/control/concurrency/frp.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/frp.lux
@@ -12,17 +12,17 @@
(.List $.Module)
($.module /._
""
- [($.default /.channel_is_already_closed)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.subscribe!)
- ($.default /.mixes)
- ($.default /.poll)
- ($.default /.periodic)
- ($.default /.iterations)
- ($.default /.distinct)
- ($.default /.list)
+ [($.definition /.channel_is_already_closed)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.subscribe!)
+ ($.definition /.mixes)
+ ($.definition /.poll)
+ ($.definition /.periodic)
+ ($.definition /.iterations)
+ ($.definition /.distinct)
+ ($.definition /.list)
($.definition (/.Channel it)
"An asynchronous channel to distribute values.")
diff --git a/stdlib/source/documentation/lux/control/concurrency/semaphore.lux b/stdlib/source/documentation/lux/control/concurrency/semaphore.lux
index 34207f7e5..556406f4d 100644
--- a/stdlib/source/documentation/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/semaphore.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.semaphore_is_maxed_out)
- ($.default /.barrier)
+ [($.definition /.semaphore_is_maxed_out)
+ ($.definition /.barrier)
($.definition /.Semaphore
"A tool for controlling access to resources by multiple concurrent processes.")
diff --git a/stdlib/source/documentation/lux/control/concurrency/stm.lux b/stdlib/source/documentation/lux/control/concurrency/stm.lux
index 00bf8fc2c..fb4438584 100644
--- a/stdlib/source/documentation/lux/control/concurrency/stm.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/stm.lux
@@ -12,11 +12,11 @@
(.List $.Module)
($.module /._
""
- [($.default /.read)
- ($.default /.write)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.read)
+ ($.definition /.write)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Var it)
"A mutable cell containing a value, and observers that will be alerted of any change to it.")
diff --git a/stdlib/source/documentation/lux/control/continuation.lux b/stdlib/source/documentation/lux/control/continuation.lux
index b17553b3d..4279293de 100644
--- a/stdlib/source/documentation/lux/control/continuation.lux
+++ b/stdlib/source/documentation/lux/control/continuation.lux
@@ -12,12 +12,12 @@
(.List $.Module)
($.module /._
""
- [($.default /.reset)
- ($.default /.shift)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.portal)
+ [($.definition /.reset)
+ ($.definition /.shift)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.portal)
($.definition (/.Cont input output)
"Continuations.")
diff --git a/stdlib/source/documentation/lux/control/exception.lux b/stdlib/source/documentation/lux/control/exception.lux
index 0fb02aafe..6db7ad8e9 100644
--- a/stdlib/source/documentation/lux/control/exception.lux
+++ b/stdlib/source/documentation/lux/control/exception.lux
@@ -12,7 +12,7 @@
(.List $.Module)
($.module /._
"Pure-Lux exception-handling functionality."
- [($.default /.assertion)
+ [($.definition /.assertion)
($.definition (/.Exception it)
"An exception provides a way to decorate error messages.")
diff --git a/stdlib/source/documentation/lux/control/function.lux b/stdlib/source/documentation/lux/control/function.lux
index d7f1ba970..ce4b51519 100644
--- a/stdlib/source/documentation/lux/control/function.lux
+++ b/stdlib/source/documentation/lux/control/function.lux
@@ -18,7 +18,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.monoid)
+ [($.definition /.monoid)
($.definition /.identity
(format "Identity function."
diff --git a/stdlib/source/documentation/lux/control/function/contract.lux b/stdlib/source/documentation/lux/control/function/contract.lux
index 4dd4990ef..ea946a3fa 100644
--- a/stdlib/source/documentation/lux/control/function/contract.lux
+++ b/stdlib/source/documentation/lux/control/function/contract.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.pre_condition_failed)
- ($.default /.post_condition_failed)
+ [($.definition /.pre_condition_failed)
+ ($.definition /.post_condition_failed)
($.definition /.pre
(format "Pre-conditions."
diff --git a/stdlib/source/documentation/lux/control/function/memo.lux b/stdlib/source/documentation/lux/control/function/memo.lux
index caa98f2b1..0633cff02 100644
--- a/stdlib/source/documentation/lux/control/function/memo.lux
+++ b/stdlib/source/documentation/lux/control/function/memo.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.memoization)
- ($.default (/.Memo input output))
+ [($.definition /.memoization)
+ ($.definition (/.Memo input output))
($.definition /.open
"Memoization where the memoized results can be re-used accross invocations."
diff --git a/stdlib/source/documentation/lux/control/function/mixin.lux b/stdlib/source/documentation/lux/control/function/mixin.lux
index 4e0415fb3..7444f1114 100644
--- a/stdlib/source/documentation/lux/control/function/mixin.lux
+++ b/stdlib/source/documentation/lux/control/function/mixin.lux
@@ -12,7 +12,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.monoid)
+ [($.definition /.monoid)
($.definition (/.Mixin input output)
"A partially-defined function which can be mixed with others to inherit their behavior.")
diff --git a/stdlib/source/documentation/lux/control/function/predicate.lux b/stdlib/source/documentation/lux/control/function/predicate.lux
index efc4bea44..a8a4fffe7 100644
--- a/stdlib/source/documentation/lux/control/function/predicate.lux
+++ b/stdlib/source/documentation/lux/control/function/predicate.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.union)
- ($.default /.intersection)
- ($.default /.functor)
+ [($.definition /.union)
+ ($.definition /.intersection)
+ ($.definition /.functor)
($.definition (/.Predicate it)
"A question that can be asked of a value, yield either false (#0) or true (#1).")
diff --git a/stdlib/source/documentation/lux/control/io.lux b/stdlib/source/documentation/lux/control/io.lux
index 2ee2d112d..233b3da45 100644
--- a/stdlib/source/documentation/lux/control/io.lux
+++ b/stdlib/source/documentation/lux/control/io.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
"A method for abstracting I/O and effectful computations to make it safe while writing pure functional code."
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.IO it)
"A type that represents synchronous, effectful computations that may interact with the outside world.")
diff --git a/stdlib/source/documentation/lux/control/lazy.lux b/stdlib/source/documentation/lux/control/lazy.lux
index aadba8ec1..75ab40ce1 100644
--- a/stdlib/source/documentation/lux/control/lazy.lux
+++ b/stdlib/source/documentation/lux/control/lazy.lux
@@ -12,11 +12,11 @@
(.List $.Module)
($.module /._
""
- [($.default /.value)
- ($.default /.equivalence)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.value)
+ ($.definition /.equivalence)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Lazy it)
(format "A value specified by an expression that is calculated only at the last moment possible."
diff --git a/stdlib/source/documentation/lux/control/maybe.lux b/stdlib/source/documentation/lux/control/maybe.lux
index 73e3affb1..b237e8ec8 100644
--- a/stdlib/source/documentation/lux/control/maybe.lux
+++ b/stdlib/source/documentation/lux/control/maybe.lux
@@ -12,14 +12,14 @@
(.List $.Module)
($.module /._
""
- [($.default /.monoid)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.with)
- ($.default /.list)
+ [($.definition /.monoid)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.with)
+ ($.definition /.list)
($.definition /.lifted
"Wraps a monadic value with Maybe machinery."
diff --git a/stdlib/source/documentation/lux/control/parser.lux b/stdlib/source/documentation/lux/control/parser.lux
index b235625ce..4435c348e 100644
--- a/stdlib/source/documentation/lux/control/parser.lux
+++ b/stdlib/source/documentation/lux/control/parser.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Parser state it)
"A generic parser.")
diff --git a/stdlib/source/documentation/lux/control/reader.lux b/stdlib/source/documentation/lux/control/reader.lux
index 94b74cbe7..624627756 100644
--- a/stdlib/source/documentation/lux/control/reader.lux
+++ b/stdlib/source/documentation/lux/control/reader.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Reader environment it)
"Computations that have access to some environmental value.")
diff --git a/stdlib/source/documentation/lux/control/region.lux b/stdlib/source/documentation/lux/control/region.lux
index 55d903d6c..b90efa389 100644
--- a/stdlib/source/documentation/lux/control/region.lux
+++ b/stdlib/source/documentation/lux/control/region.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.clean_up_error)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.clean_up_error)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Region r ! it)
(format "A region where resources may be be claimed and where a side-effecting computation may be performed."
diff --git a/stdlib/source/documentation/lux/control/remember.lux b/stdlib/source/documentation/lux/control/remember.lux
index 9e8b08350..ffe3b0330 100644
--- a/stdlib/source/documentation/lux/control/remember.lux
+++ b/stdlib/source/documentation/lux/control/remember.lux
@@ -12,7 +12,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.must_remember)
+ [($.definition /.must_remember)
($.definition /.remember
(format "A message with an expiration date."
diff --git a/stdlib/source/documentation/lux/control/security/policy.lux b/stdlib/source/documentation/lux/control/security/policy.lux
index a93dcecf3..8666e7e6a 100644
--- a/stdlib/source/documentation/lux/control/security/policy.lux
+++ b/stdlib/source/documentation/lux/control/security/policy.lux
@@ -12,15 +12,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.Private)
- ($.default /.Can_Conceal)
- ($.default /.Can_Reveal)
- ($.default /.Safe)
- ($.default /.Can_Trust)
- ($.default /.Can_Distrust)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.Private)
+ ($.definition /.Can_Conceal)
+ ($.definition /.Can_Reveal)
+ ($.definition /.Safe)
+ ($.definition /.Can_Trust)
+ ($.definition /.Can_Distrust)
($.definition (/.Policy brand value %)
"A security policy encoded as the means to 'upgrade' or 'downgrade' in a secure context.")
diff --git a/stdlib/source/documentation/lux/control/state.lux b/stdlib/source/documentation/lux/control/state.lux
index 69059d064..ae14eafb1 100644
--- a/stdlib/source/documentation/lux/control/state.lux
+++ b/stdlib/source/documentation/lux/control/state.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.State state it)
"Stateful computations.")
diff --git a/stdlib/source/documentation/lux/control/thread.lux b/stdlib/source/documentation/lux/control/thread.lux
index 1b6c9431e..f567f5267 100644
--- a/stdlib/source/documentation/lux/control/thread.lux
+++ b/stdlib/source/documentation/lux/control/thread.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Thread ! it)
"An imperative process with access to mutable values.")
diff --git a/stdlib/source/documentation/lux/control/try.lux b/stdlib/source/documentation/lux/control/try.lux
index 8cc030b09..09025de4f 100644
--- a/stdlib/source/documentation/lux/control/try.lux
+++ b/stdlib/source/documentation/lux/control/try.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.equivalence)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.equivalence)
($.definition (/.Try it)
"A computation that can fail with an error message.")
diff --git a/stdlib/source/documentation/lux/control/writer.lux b/stdlib/source/documentation/lux/control/writer.lux
index e74e6b47d..50129e1fb 100644
--- a/stdlib/source/documentation/lux/control/writer.lux
+++ b/stdlib/source/documentation/lux/control/writer.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
($.definition (/.Writer log value)
"Represents a value with an associated 'log' to record arbitrary information.")
diff --git a/stdlib/source/documentation/lux/data/binary.lux b/stdlib/source/documentation/lux/data/binary.lux
index 879785079..6a660752e 100644
--- a/stdlib/source/documentation/lux/data/binary.lux
+++ b/stdlib/source/documentation/lux/data/binary.lux
@@ -14,30 +14,30 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.binary_was_not_fully_read)
- ($.default \\parser.size_8)
- ($.default \\parser.size_16)
- ($.default \\parser.size_32)
- ($.default \\parser.size_64)
- ($.default \\parser.bits_8)
- ($.default \\parser.bits_16)
- ($.default \\parser.bits_32)
- ($.default \\parser.bits_64)
- ($.default \\parser.nat)
- ($.default \\parser.int)
- ($.default \\parser.rev)
- ($.default \\parser.frac)
- ($.default \\parser.invalid_tag)
- ($.default \\parser.or)
- ($.default \\parser.not_a_bit)
- ($.default \\parser.bit)
- ($.default \\parser.text)
- ($.default \\parser.maybe)
- ($.default \\parser.set_elements_are_not_unique)
- ($.default \\parser.symbol)
- ($.default \\parser.type)
- ($.default \\parser.location)
- ($.default \\parser.code)
+ [($.definition \\parser.binary_was_not_fully_read)
+ ($.definition \\parser.size_8)
+ ($.definition \\parser.size_16)
+ ($.definition \\parser.size_32)
+ ($.definition \\parser.size_64)
+ ($.definition \\parser.bits_8)
+ ($.definition \\parser.bits_16)
+ ($.definition \\parser.bits_32)
+ ($.definition \\parser.bits_64)
+ ($.definition \\parser.nat)
+ ($.definition \\parser.int)
+ ($.definition \\parser.rev)
+ ($.definition \\parser.frac)
+ ($.definition \\parser.invalid_tag)
+ ($.definition \\parser.or)
+ ($.definition \\parser.not_a_bit)
+ ($.definition \\parser.bit)
+ ($.definition \\parser.text)
+ ($.definition \\parser.maybe)
+ ($.definition \\parser.set_elements_are_not_unique)
+ ($.definition \\parser.symbol)
+ ($.definition \\parser.type)
+ ($.definition \\parser.location)
+ ($.definition \\parser.code)
($.definition \\parser.Offset
"An offset for reading within binary data.")
@@ -114,37 +114,37 @@
(.List $.Module)
($.module \\format._
""
- [($.default \\format.monoid)
- ($.default \\format.bits_8)
- ($.default \\format.bits_16)
- ($.default \\format.bits_32)
- ($.default \\format.bits_64)
- ($.default \\format.any)
- ($.default \\format.bit)
- ($.default \\format.nat)
- ($.default \\format.int)
- ($.default \\format.rev)
- ($.default \\format.frac)
- ($.default \\format.binary_8)
- ($.default \\format.binary_16)
- ($.default \\format.binary_32)
- ($.default \\format.binary_64)
- ($.default \\format.utf8_8)
- ($.default \\format.utf8_16)
- ($.default \\format.utf8_32)
- ($.default \\format.utf8_64)
- ($.default \\format.text)
- ($.default \\format.sequence_8)
- ($.default \\format.sequence_16)
- ($.default \\format.sequence_32)
- ($.default \\format.sequence_64)
- ($.default \\format.maybe)
- ($.default \\format.list)
- ($.default \\format.set)
- ($.default \\format.symbol)
- ($.default \\format.type)
- ($.default \\format.location)
- ($.default \\format.code)
+ [($.definition \\format.monoid)
+ ($.definition \\format.bits_8)
+ ($.definition \\format.bits_16)
+ ($.definition \\format.bits_32)
+ ($.definition \\format.bits_64)
+ ($.definition \\format.any)
+ ($.definition \\format.bit)
+ ($.definition \\format.nat)
+ ($.definition \\format.int)
+ ($.definition \\format.rev)
+ ($.definition \\format.frac)
+ ($.definition \\format.binary_8)
+ ($.definition \\format.binary_16)
+ ($.definition \\format.binary_32)
+ ($.definition \\format.binary_64)
+ ($.definition \\format.utf8_8)
+ ($.definition \\format.utf8_16)
+ ($.definition \\format.utf8_32)
+ ($.definition \\format.utf8_64)
+ ($.definition \\format.text)
+ ($.definition \\format.sequence_8)
+ ($.definition \\format.sequence_16)
+ ($.definition \\format.sequence_32)
+ ($.definition \\format.sequence_64)
+ ($.definition \\format.maybe)
+ ($.definition \\format.list)
+ ($.definition \\format.set)
+ ($.definition \\format.symbol)
+ ($.definition \\format.type)
+ ($.definition \\format.location)
+ ($.definition \\format.code)
($.definition \\format.Mutation
"A mutation of binary data, tracking where in the data to transform.")
@@ -186,11 +186,11 @@
(.List $.Module)
($.module /._
""
- [($.default /.index_out_of_bounds)
- ($.default /.slice_out_of_bounds)
- ($.default /.size)
- ($.default /.equivalence)
- ($.default /.monoid)
+ [($.definition /.index_out_of_bounds)
+ ($.definition /.slice_out_of_bounds)
+ ($.definition /.size)
+ ($.definition /.equivalence)
+ ($.definition /.monoid)
($.definition /.Binary
"A binary BLOB of data.")
diff --git a/stdlib/source/documentation/lux/data/bit.lux b/stdlib/source/documentation/lux/data/bit.lux
index a3c641987..99238c240 100644
--- a/stdlib/source/documentation/lux/data/bit.lux
+++ b/stdlib/source/documentation/lux/data/bit.lux
@@ -12,15 +12,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.no)
- ($.default /.yes)
- ($.default /.off)
- ($.default /.on)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.disjunction)
- ($.default /.conjunction)
- ($.default /.codec)
+ [($.definition /.no)
+ ($.definition /.yes)
+ ($.definition /.off)
+ ($.definition /.on)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.disjunction)
+ ($.definition /.conjunction)
+ ($.definition /.codec)
($.definition /.complement
(format "Generates the complement of a predicate."
diff --git a/stdlib/source/documentation/lux/data/collection/array.lux b/stdlib/source/documentation/lux/data/collection/array.lux
index 3517b2eeb..2fd48ac01 100644
--- a/stdlib/source/documentation/lux/data/collection/array.lux
+++ b/stdlib/source/documentation/lux/data/collection/array.lux
@@ -14,13 +14,13 @@
(.List $.Module)
($.module /._
""
- [($.default /.type_name)
- ($.default /.equivalence)
- ($.default /.monoid)
- ($.default /.functor)
- ($.default /.mix)
- ($.default /.every?)
- ($.default /.any?)
+ [($.definition /.type_name)
+ ($.definition /.equivalence)
+ ($.definition /.monoid)
+ ($.definition /.functor)
+ ($.definition /.mix)
+ ($.definition /.every?)
+ ($.definition /.any?)
($.definition (/.Array it)
"Mutable arrays.")
diff --git a/stdlib/source/documentation/lux/data/collection/bits.lux b/stdlib/source/documentation/lux/data/collection/bits.lux
index 648541759..4a4fa900d 100644
--- a/stdlib/source/documentation/lux/data/collection/bits.lux
+++ b/stdlib/source/documentation/lux/data/collection/bits.lux
@@ -9,17 +9,17 @@
(.List $.Module)
($.module /._
""
- [($.default /.Chunk)
- ($.default /.chunk_size)
- ($.default /.empty)
- ($.default /.empty?)
- ($.default /.equivalence)
- ($.default /.one)
- ($.default /.zero)
- ($.default /.flipped)
- ($.default /.and)
- ($.default /.or)
- ($.default /.xor)
+ [($.definition /.Chunk)
+ ($.definition /.chunk_size)
+ ($.definition /.empty)
+ ($.definition /.empty?)
+ ($.definition /.equivalence)
+ ($.definition /.one)
+ ($.definition /.zero)
+ ($.definition /.flipped)
+ ($.definition /.and)
+ ($.definition /.or)
+ ($.definition /.xor)
($.definition /.Bits
"A bit-map.")
diff --git a/stdlib/source/documentation/lux/data/collection/dictionary.lux b/stdlib/source/documentation/lux/data/collection/dictionary.lux
index 6cc473b7f..dcf2afce1 100644
--- a/stdlib/source/documentation/lux/data/collection/dictionary.lux
+++ b/stdlib/source/documentation/lux/data/collection/dictionary.lux
@@ -14,15 +14,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.key_hash)
- ($.default /.key_already_exists)
- ($.default /.size)
- ($.default /.empty?)
- ($.default /.entries)
- ($.default /.keys)
- ($.default /.values)
- ($.default /.equivalence)
- ($.default /.functor)
+ [($.definition /.key_hash)
+ ($.definition /.key_already_exists)
+ ($.definition /.size)
+ ($.definition /.empty?)
+ ($.definition /.entries)
+ ($.definition /.keys)
+ ($.definition /.values)
+ ($.definition /.equivalence)
+ ($.definition /.functor)
($.definition (/.Dictionary key value)
"A dictionary implemented as a Hash-Array Mapped Trie (HAMT).")
diff --git a/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux b/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux
index 232e3bcdf..c264b55f6 100644
--- a/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux
@@ -15,11 +15,11 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty?)
- ($.default /.entries)
- ($.default /.keys)
- ($.default /.values)
- ($.default /.equivalence)
+ [($.definition /.empty?)
+ ($.definition /.entries)
+ ($.definition /.keys)
+ ($.definition /.values)
+ ($.definition /.equivalence)
($.definition (/.Dictionary key value)
"A dictionary data-structure with ordered entries.")
diff --git a/stdlib/source/documentation/lux/data/collection/list.lux b/stdlib/source/documentation/lux/data/collection/list.lux
index 0e413e1d7..bd4cf4a7d 100644
--- a/stdlib/source/documentation/lux/data/collection/list.lux
+++ b/stdlib/source/documentation/lux/data/collection/list.lux
@@ -14,23 +14,23 @@
(.List $.Module)
($.module /._
""
- [($.default /.mix)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.monoid)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.zipped_2)
- ($.default /.zipped_3)
- ($.default /.zipped_with_2)
- ($.default /.zipped_with_3)
- ($.default /.first)
- ($.default /.after)
- ($.default /.while)
- ($.default /.until)
- ($.default /.every?)
- ($.default /.any?)
+ [($.definition /.mix)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.monoid)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.zipped_2)
+ ($.definition /.zipped_3)
+ ($.definition /.zipped_with_2)
+ ($.definition /.zipped_with_3)
+ ($.definition /.first)
+ ($.definition /.after)
+ ($.definition /.while)
+ ($.definition /.until)
+ ($.definition /.every?)
+ ($.definition /.any?)
($.definition /.mixes
""
diff --git a/stdlib/source/documentation/lux/data/collection/list/property.lux b/stdlib/source/documentation/lux/data/collection/list/property.lux
index df68a5963..1d8ac9892 100644
--- a/stdlib/source/documentation/lux/data/collection/list/property.lux
+++ b/stdlib/source/documentation/lux/data/collection/list/property.lux
@@ -12,12 +12,12 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty)
- ($.default /.size)
- ($.default /.empty?)
- ($.default /.keys)
- ($.default /.values)
- ($.default /.equivalence)
+ [($.definition /.empty)
+ ($.definition /.size)
+ ($.definition /.empty?)
+ ($.definition /.keys)
+ ($.definition /.values)
+ ($.definition /.equivalence)
($.definition (/.List it)
(format "A property list."
diff --git a/stdlib/source/documentation/lux/data/collection/queue.lux b/stdlib/source/documentation/lux/data/collection/queue.lux
index 5b96e8a10..d61c7dae6 100644
--- a/stdlib/source/documentation/lux/data/collection/queue.lux
+++ b/stdlib/source/documentation/lux/data/collection/queue.lux
@@ -11,11 +11,11 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty)
- ($.default /.size)
- ($.default /.empty?)
- ($.default /.equivalence)
- ($.default /.functor)
+ [($.definition /.empty)
+ ($.definition /.size)
+ ($.definition /.empty?)
+ ($.definition /.equivalence)
+ ($.definition /.functor)
($.definition (/.Queue it)
"A first-in, first-out sequential data-structure.")
diff --git a/stdlib/source/documentation/lux/data/collection/queue/priority.lux b/stdlib/source/documentation/lux/data/collection/queue/priority.lux
index 36f889902..94eb7dc59 100644
--- a/stdlib/source/documentation/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/documentation/lux/data/collection/queue/priority.lux
@@ -9,15 +9,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.Priority)
- ($.default /.max)
- ($.default /.min)
- ($.default (/.Queue it))
- ($.default /.empty)
- ($.default /.front)
- ($.default /.size)
- ($.default /.next)
- ($.default /.empty?)
+ [($.definition /.Priority)
+ ($.definition /.max)
+ ($.definition /.min)
+ ($.definition (/.Queue it))
+ ($.definition /.empty)
+ ($.definition /.front)
+ ($.definition /.size)
+ ($.definition /.next)
+ ($.definition /.empty?)
($.definition /.member?
""
diff --git a/stdlib/source/documentation/lux/data/collection/sequence.lux b/stdlib/source/documentation/lux/data/collection/sequence.lux
index fc8c6fab6..2db4aba19 100644
--- a/stdlib/source/documentation/lux/data/collection/sequence.lux
+++ b/stdlib/source/documentation/lux/data/collection/sequence.lux
@@ -9,20 +9,20 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty)
- ($.default /.size)
- ($.default /.index_out_of_bounds)
- ($.default /.of_list)
- ($.default /.empty?)
- ($.default /.equivalence)
- ($.default /.mix)
- ($.default /.monoid)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.reversed)
- ($.default /.every?)
- ($.default /.any?)
+ [($.definition /.empty)
+ ($.definition /.size)
+ ($.definition /.index_out_of_bounds)
+ ($.definition /.of_list)
+ ($.definition /.empty?)
+ ($.definition /.equivalence)
+ ($.definition /.mix)
+ ($.definition /.monoid)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.reversed)
+ ($.definition /.every?)
+ ($.definition /.any?)
($.definition (/.Sequence it)
"A sequential data-structure with fast random access.")
diff --git a/stdlib/source/documentation/lux/data/collection/set.lux b/stdlib/source/documentation/lux/data/collection/set.lux
index 00d989bca..c9c02c488 100644
--- a/stdlib/source/documentation/lux/data/collection/set.lux
+++ b/stdlib/source/documentation/lux/data/collection/set.lux
@@ -15,20 +15,20 @@
(.List $.Module)
($.module /._
""
- [($.default (/.Set it))
- ($.default /.member_hash)
- ($.default /.empty)
- ($.default /.size)
- ($.default /.lacks)
- ($.default /.member?)
- ($.default /.list)
- ($.default /.union)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.monoid)
- ($.default /.empty?)
- ($.default /.of_list)
- ($.default /.predicate)
+ [($.definition (/.Set it))
+ ($.definition /.member_hash)
+ ($.definition /.empty)
+ ($.definition /.size)
+ ($.definition /.lacks)
+ ($.definition /.member?)
+ ($.definition /.list)
+ ($.definition /.union)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.monoid)
+ ($.definition /.empty?)
+ ($.definition /.of_list)
+ ($.definition /.predicate)
($.definition /.has
""
diff --git a/stdlib/source/documentation/lux/data/collection/set/multi.lux b/stdlib/source/documentation/lux/data/collection/set/multi.lux
index 3f06fe230..77944599e 100644
--- a/stdlib/source/documentation/lux/data/collection/set/multi.lux
+++ b/stdlib/source/documentation/lux/data/collection/set/multi.lux
@@ -12,18 +12,18 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty)
- ($.default /.size)
- ($.default /.list)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.empty?)
- ($.default /.of_list)
- ($.default /.of_set)
- ($.default /.union)
- ($.default /.sum)
- ($.default /.intersection)
- ($.default /.difference)
+ [($.definition /.empty)
+ ($.definition /.size)
+ ($.definition /.list)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.empty?)
+ ($.definition /.of_list)
+ ($.definition /.of_set)
+ ($.definition /.union)
+ ($.definition /.sum)
+ ($.definition /.intersection)
+ ($.definition /.difference)
($.definition (/.Set it)
"A set that keeps track of repetition in its entries.")
diff --git a/stdlib/source/documentation/lux/data/collection/set/ordered.lux b/stdlib/source/documentation/lux/data/collection/set/ordered.lux
index 6581303a4..a34ad7bb2 100644
--- a/stdlib/source/documentation/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/documentation/lux/data/collection/set/ordered.lux
@@ -12,16 +12,16 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty)
- ($.default /.min)
- ($.default /.max)
- ($.default /.size)
- ($.default /.empty?)
- ($.default /.list)
- ($.default /.of_list)
- ($.default /.union)
- ($.default /.intersection)
- ($.default /.equivalence)
+ [($.definition /.empty)
+ ($.definition /.min)
+ ($.definition /.max)
+ ($.definition /.size)
+ ($.definition /.empty?)
+ ($.definition /.list)
+ ($.definition /.of_list)
+ ($.definition /.union)
+ ($.definition /.intersection)
+ ($.definition /.equivalence)
($.definition (/.Set it)
"A set with ordered entries.")
diff --git a/stdlib/source/documentation/lux/data/collection/stack.lux b/stdlib/source/documentation/lux/data/collection/stack.lux
index 0faad223b..5a334c846 100644
--- a/stdlib/source/documentation/lux/data/collection/stack.lux
+++ b/stdlib/source/documentation/lux/data/collection/stack.lux
@@ -12,11 +12,11 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty)
- ($.default /.size)
- ($.default /.empty?)
- ($.default /.equivalence)
- ($.default /.functor)
+ [($.definition /.empty)
+ ($.definition /.size)
+ ($.definition /.empty?)
+ ($.definition /.equivalence)
+ ($.definition /.functor)
($.definition (/.Stack it)
"A first-in, last-out sequential data-structure.")
diff --git a/stdlib/source/documentation/lux/data/collection/stream.lux b/stdlib/source/documentation/lux/data/collection/stream.lux
index 7f6b412cf..095642068 100644
--- a/stdlib/source/documentation/lux/data/collection/stream.lux
+++ b/stdlib/source/documentation/lux/data/collection/stream.lux
@@ -12,16 +12,16 @@
(.List $.Module)
($.module /._
""
- [($.default /.head)
- ($.default /.tail)
- ($.default /.functor)
- ($.default /.comonad)
- ($.default /.while)
- ($.default /.until)
- ($.default /.first)
- ($.default /.after)
- ($.default /.split_when)
- ($.default /.split_at)
+ [($.definition /.head)
+ ($.definition /.tail)
+ ($.definition /.functor)
+ ($.definition /.comonad)
+ ($.definition /.while)
+ ($.definition /.until)
+ ($.definition /.first)
+ ($.definition /.after)
+ ($.definition /.split_when)
+ ($.definition /.split_at)
($.definition (/.Stream it)
"An infinite sequence of values.")
diff --git a/stdlib/source/documentation/lux/data/collection/tree.lux b/stdlib/source/documentation/lux/data/collection/tree.lux
index 4e063f788..139d88ca3 100644
--- a/stdlib/source/documentation/lux/data/collection/tree.lux
+++ b/stdlib/source/documentation/lux/data/collection/tree.lux
@@ -16,7 +16,7 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.cannot_move_further)
+ [($.definition \\parser.cannot_move_further)
($.definition (\\parser.Parser it)
"A parser of arbitrary trees.")
@@ -57,9 +57,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.functor)
- ($.default /.mix)
+ [($.definition /.equivalence)
+ ($.definition /.functor)
+ ($.definition /.mix)
($.definition (/.Tree it)
"A generic tree data-structure.")
diff --git a/stdlib/source/documentation/lux/data/collection/tree/finger.lux b/stdlib/source/documentation/lux/data/collection/tree/finger.lux
index fbaac3b6f..cc6573633 100644
--- a/stdlib/source/documentation/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/documentation/lux/data/collection/tree/finger.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.tag)
- ($.default /.root)
+ [($.definition /.tag)
+ ($.definition /.root)
($.definition (/.Tree @ tag value)
"A finger tree.")
diff --git a/stdlib/source/documentation/lux/data/collection/tree/zipper.lux b/stdlib/source/documentation/lux/data/collection/tree/zipper.lux
index 28535dac0..7d33d944a 100644
--- a/stdlib/source/documentation/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/documentation/lux/data/collection/tree/zipper.lux
@@ -12,29 +12,29 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.zipper)
- ($.default /.tree)
- ($.default /.value)
- ($.default /.leaf?)
- ($.default /.branch?)
- ($.default /.start?)
- ($.default /.down)
- ($.default /.up)
- ($.default /.right)
- ($.default /.rightmost)
- ($.default /.left)
- ($.default /.leftmost)
- ($.default /.next)
- ($.default /.previous)
- ($.default /.end)
- ($.default /.start)
- ($.default /.end?)
- ($.default /.remove)
- ($.default /.insert_left)
- ($.default /.insert_right)
- ($.default /.functor)
- ($.default /.comonad)
+ [($.definition /.equivalence)
+ ($.definition /.zipper)
+ ($.definition /.tree)
+ ($.definition /.value)
+ ($.definition /.leaf?)
+ ($.definition /.branch?)
+ ($.definition /.start?)
+ ($.definition /.down)
+ ($.definition /.up)
+ ($.definition /.right)
+ ($.definition /.rightmost)
+ ($.definition /.left)
+ ($.definition /.leftmost)
+ ($.definition /.next)
+ ($.definition /.previous)
+ ($.definition /.end)
+ ($.definition /.start)
+ ($.definition /.end?)
+ ($.definition /.remove)
+ ($.definition /.insert_left)
+ ($.definition /.insert_right)
+ ($.definition /.functor)
+ ($.definition /.comonad)
($.definition (/.Zipper it)
"Tree zippers, for easy navigation and editing of trees.")
diff --git a/stdlib/source/documentation/lux/data/color.lux b/stdlib/source/documentation/lux/data/color.lux
index 32d48672f..5c2f37e09 100644
--- a/stdlib/source/documentation/lux/data/color.lux
+++ b/stdlib/source/documentation/lux/data/color.lux
@@ -24,27 +24,27 @@
(.List $.Module)
($.module /._
""
- [($.default /.of_rgb)
- ($.default /.rgb)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.black)
- ($.default /.white)
- ($.default /.addition)
- ($.default /.subtraction)
- ($.default /.hsl)
- ($.default /.of_hsl)
- ($.default /.hsb)
- ($.default /.of_hsb)
- ($.default /.cmyk)
- ($.default /.of_cmyk)
- ($.default /.gray_scale)
- ($.default /.Spread)
- ($.default /.Palette)
- ($.default /.darker)
- ($.default /.brighter)
- ($.default /.saturated)
- ($.default /.un_saturated)
+ [($.definition /.of_rgb)
+ ($.definition /.rgb)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.black)
+ ($.definition /.white)
+ ($.definition /.addition)
+ ($.definition /.subtraction)
+ ($.definition /.hsl)
+ ($.definition /.of_hsl)
+ ($.definition /.hsb)
+ ($.definition /.of_hsb)
+ ($.definition /.cmyk)
+ ($.definition /.of_cmyk)
+ ($.definition /.gray_scale)
+ ($.definition /.Spread)
+ ($.definition /.Palette)
+ ($.definition /.darker)
+ ($.definition /.brighter)
+ ($.definition /.saturated)
+ ($.definition /.un_saturated)
($.definition /.RGB
"Red-Green-Blue color format.")
diff --git a/stdlib/source/documentation/lux/data/format/json.lux b/stdlib/source/documentation/lux/data/format/json.lux
index 3670951f3..93bc3add9 100644
--- a/stdlib/source/documentation/lux/data/format/json.lux
+++ b/stdlib/source/documentation/lux/data/format/json.lux
@@ -16,10 +16,10 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.unconsumed_input)
- ($.default \\parser.empty_input)
- ($.default \\parser.unexpected_value)
- ($.default \\parser.value_mismatch)
+ [($.definition \\parser.unconsumed_input)
+ ($.definition \\parser.empty_input)
+ ($.definition \\parser.unexpected_value)
+ ($.definition \\parser.value_mismatch)
($.definition (\\parser.Parser it)
"A JSON parser.")
@@ -80,18 +80,18 @@
($.module /._
(format "Functionality for reading and writing values in the JSON format."
\n "For more information, please see: http://www.json.org/")
- [($.default /.Null)
- ($.default /.Boolean)
- ($.default /.Number)
- ($.default /.String)
- ($.default /.JSON)
- ($.default /.Array)
- ($.default /.Object)
- ($.default /.null?)
- ($.default /.object)
- ($.default /.equivalence)
- ($.default /.format)
- ($.default /.codec)
+ [($.definition /.Null)
+ ($.definition /.Boolean)
+ ($.definition /.Number)
+ ($.definition /.String)
+ ($.definition /.JSON)
+ ($.definition /.Array)
+ ($.definition /.Object)
+ ($.definition /.null?)
+ ($.definition /.object)
+ ($.definition /.equivalence)
+ ($.definition /.format)
+ ($.definition /.codec)
($.definition /.json
"A simple way to produce JSON literals."
diff --git a/stdlib/source/documentation/lux/data/format/tar.lux b/stdlib/source/documentation/lux/data/format/tar.lux
index f31c3dc68..9de7d8ca9 100644
--- a/stdlib/source/documentation/lux/data/format/tar.lux
+++ b/stdlib/source/documentation/lux/data/format/tar.lux
@@ -12,75 +12,75 @@
(.List $.Module)
($.module /._
""
- [($.default /.not_a_small_number)
- ($.default /.small_limit)
- ($.default /.Small)
- ($.default /.small)
- ($.default /.from_small)
+ [($.definition /.not_a_small_number)
+ ($.definition /.small_limit)
+ ($.definition /.Small)
+ ($.definition /.small)
+ ($.definition /.from_small)
- ($.default /.not_a_big_number)
- ($.default /.big_limit)
- ($.default /.Big)
- ($.default /.big)
- ($.default /.from_big)
+ ($.definition /.not_a_big_number)
+ ($.definition /.big_limit)
+ ($.definition /.Big)
+ ($.definition /.big)
+ ($.definition /.from_big)
- ($.default /.wrong_character)
- ($.default /.not_ascii)
- ($.default /.name_size)
- ($.default /.path_size)
+ ($.definition /.wrong_character)
+ ($.definition /.not_ascii)
+ ($.definition /.name_size)
+ ($.definition /.path_size)
- ($.default /.Name)
- ($.default /.name_is_too_long)
- ($.default /.name)
- ($.default /.from_name)
- ($.default /.anonymous)
+ ($.definition /.Name)
+ ($.definition /.name_is_too_long)
+ ($.definition /.name)
+ ($.definition /.from_name)
+ ($.definition /.anonymous)
- ($.default /.Path)
- ($.default /.path_is_too_long)
- ($.default /.path)
- ($.default /.from_path)
- ($.default /.no_path)
+ ($.definition /.Path)
+ ($.definition /.path_is_too_long)
+ ($.definition /.path)
+ ($.definition /.from_path)
+ ($.definition /.no_path)
- ($.default /.invalid_link_flag)
- ($.default /.Mode)
- ($.default /.mode)
- ($.default /.and)
- ($.default /.invalid_mode)
+ ($.definition /.invalid_link_flag)
+ ($.definition /.Mode)
+ ($.definition /.mode)
+ ($.definition /.and)
+ ($.definition /.invalid_mode)
- ($.default /.none)
+ ($.definition /.none)
- ($.default /.execute_by_other)
- ($.default /.write_by_other)
- ($.default /.read_by_other)
+ ($.definition /.execute_by_other)
+ ($.definition /.write_by_other)
+ ($.definition /.read_by_other)
- ($.default /.execute_by_group)
- ($.default /.write_by_group)
- ($.default /.read_by_group)
+ ($.definition /.execute_by_group)
+ ($.definition /.write_by_group)
+ ($.definition /.read_by_group)
- ($.default /.execute_by_owner)
- ($.default /.write_by_owner)
- ($.default /.read_by_owner)
+ ($.definition /.execute_by_owner)
+ ($.definition /.write_by_owner)
+ ($.definition /.read_by_owner)
- ($.default /.save_text)
- ($.default /.set_group_id_on_execution)
- ($.default /.set_user_id_on_execution)
+ ($.definition /.save_text)
+ ($.definition /.set_group_id_on_execution)
+ ($.definition /.set_user_id_on_execution)
- ($.default /.Content)
- ($.default /.content)
- ($.default /.data)
- ($.default /.ID)
- ($.default /.no_id)
- ($.default /.Owner)
- ($.default /.Ownership)
- ($.default /.File)
- ($.default /.Normal)
- ($.default /.Symbolic_Link)
- ($.default /.Directory)
- ($.default /.Contiguous)
- ($.default /.Entry)
- ($.default /.Tar)
- ($.default /.format)
- ($.default /.wrong_checksum)
- ($.default /.invalid_end_of_archive)
- ($.default /.parser)]
+ ($.definition /.Content)
+ ($.definition /.content)
+ ($.definition /.data)
+ ($.definition /.ID)
+ ($.definition /.no_id)
+ ($.definition /.Owner)
+ ($.definition /.Ownership)
+ ($.definition /.File)
+ ($.definition /.Normal)
+ ($.definition /.Symbolic_Link)
+ ($.definition /.Directory)
+ ($.definition /.Contiguous)
+ ($.definition /.Entry)
+ ($.definition /.Tar)
+ ($.definition /.format)
+ ($.definition /.wrong_checksum)
+ ($.definition /.invalid_end_of_archive)
+ ($.definition /.parser)]
[]))
diff --git a/stdlib/source/documentation/lux/data/format/xml.lux b/stdlib/source/documentation/lux/data/format/xml.lux
index 2195db0c2..60c2841e9 100644
--- a/stdlib/source/documentation/lux/data/format/xml.lux
+++ b/stdlib/source/documentation/lux/data/format/xml.lux
@@ -13,12 +13,12 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.empty_input)
- ($.default \\parser.unexpected_input)
- ($.default \\parser.wrong_tag)
- ($.default \\parser.unknown_attribute)
- ($.default \\parser.unconsumed_inputs)
- ($.default \\parser.nowhere)
+ [($.definition \\parser.empty_input)
+ ($.definition \\parser.unexpected_input)
+ ($.definition \\parser.wrong_tag)
+ ($.definition \\parser.unknown_attribute)
+ ($.definition \\parser.unconsumed_inputs)
+ ($.definition \\parser.nowhere)
($.definition (\\parser.Parser it)
"A parser of XML-encoded data.")
@@ -54,12 +54,12 @@
(.List $.Module)
($.module /._
""
- [($.default /.Tag)
- ($.default /.Attribute)
- ($.default /.Attrs)
- ($.default /.XML)
- ($.default /.codec)
- ($.default /.equivalence)
+ [($.definition /.Tag)
+ ($.definition /.Attribute)
+ ($.definition /.Attrs)
+ ($.definition /.XML)
+ ($.definition /.codec)
+ ($.definition /.equivalence)
($.definition /.attributes
"An empty set of XML attributes.")
diff --git a/stdlib/source/documentation/lux/data/identity.lux b/stdlib/source/documentation/lux/data/identity.lux
index bdfa6dbd6..acf3d9bed 100644
--- a/stdlib/source/documentation/lux/data/identity.lux
+++ b/stdlib/source/documentation/lux/data/identity.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.comonad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.comonad)
($.definition (/.Identity it)
"A value, as is, without any extra structure super-imposed on it.")]
diff --git a/stdlib/source/documentation/lux/data/product.lux b/stdlib/source/documentation/lux/data/product.lux
index aad2b2f31..05cb39ca8 100644
--- a/stdlib/source/documentation/lux/data/product.lux
+++ b/stdlib/source/documentation/lux/data/product.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
"Functionality for working with tuples (particularly 2-tuples/pairs)."
- [($.default /.equivalence)
- ($.default /.hash)
+ [($.definition /.equivalence)
+ ($.definition /.hash)
($.definition /.left
"The left side of a pair.")
diff --git a/stdlib/source/documentation/lux/data/sum.lux b/stdlib/source/documentation/lux/data/sum.lux
index 19595cc10..b7a41851d 100644
--- a/stdlib/source/documentation/lux/data/sum.lux
+++ b/stdlib/source/documentation/lux/data/sum.lux
@@ -12,11 +12,11 @@
(.List $.Module)
($.module /._
"Functionality for working with variants (particularly 2-variants)."
- [($.default /.lefts)
- ($.default /.rights)
- ($.default /.partition)
- ($.default /.equivalence)
- ($.default /.hash)
+ [($.definition /.lefts)
+ ($.definition /.rights)
+ ($.definition /.partition)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
($.definition /.left
"Lifts value to the left side of a 2-variant.")
diff --git a/stdlib/source/documentation/lux/data/text.lux b/stdlib/source/documentation/lux/data/text.lux
index e783b5ee7..f5271ed99 100644
--- a/stdlib/source/documentation/lux/data/text.lux
+++ b/stdlib/source/documentation/lux/data/text.lux
@@ -20,51 +20,51 @@
(.List $.Module)
($.module \\format._
""
- [($.default \\format.functor)
-
- ($.default \\format.bit)
- ($.default \\format.nat)
- ($.default \\format.int)
- ($.default \\format.rev)
- ($.default \\format.frac)
- ($.default \\format.text)
+ [($.definition \\format.functor)
+
+ ($.definition \\format.bit)
+ ($.definition \\format.nat)
+ ($.definition \\format.int)
+ ($.definition \\format.rev)
+ ($.definition \\format.frac)
+ ($.definition \\format.text)
- ($.default \\format.ratio)
- ($.default \\format.symbol)
- ($.default \\format.location)
- ($.default \\format.code)
- ($.default \\format.type)
+ ($.definition \\format.ratio)
+ ($.definition \\format.symbol)
+ ($.definition \\format.location)
+ ($.definition \\format.code)
+ ($.definition \\format.type)
- ($.default \\format.instant)
- ($.default \\format.duration)
- ($.default \\format.date)
- ($.default \\format.time)
- ($.default \\format.day)
- ($.default \\format.month)
+ ($.definition \\format.instant)
+ ($.definition \\format.duration)
+ ($.definition \\format.date)
+ ($.definition \\format.time)
+ ($.definition \\format.day)
+ ($.definition \\format.month)
- ($.default \\format.xml)
- ($.default \\format.json)
-
- ($.default \\format.nat_2)
- ($.default \\format.nat_8)
- ($.default \\format.nat_10)
- ($.default \\format.nat_16)
- ($.default \\format.int_2)
- ($.default \\format.int_8)
- ($.default \\format.int_10)
- ($.default \\format.int_16)
- ($.default \\format.rev_2)
- ($.default \\format.rev_8)
- ($.default \\format.rev_10)
- ($.default \\format.rev_16)
- ($.default \\format.frac_2)
- ($.default \\format.frac_8)
- ($.default \\format.frac_10)
- ($.default \\format.frac_16)
+ ($.definition \\format.xml)
+ ($.definition \\format.json)
+
+ ($.definition \\format.nat_2)
+ ($.definition \\format.nat_8)
+ ($.definition \\format.nat_10)
+ ($.definition \\format.nat_16)
+ ($.definition \\format.int_2)
+ ($.definition \\format.int_8)
+ ($.definition \\format.int_10)
+ ($.definition \\format.int_16)
+ ($.definition \\format.rev_2)
+ ($.definition \\format.rev_8)
+ ($.definition \\format.rev_10)
+ ($.definition \\format.rev_16)
+ ($.definition \\format.frac_2)
+ ($.definition \\format.frac_8)
+ ($.definition \\format.frac_10)
+ ($.definition \\format.frac_16)
- ($.default \\format.mod)
- ($.default \\format.list)
- ($.default \\format.maybe)
+ ($.definition \\format.mod)
+ ($.definition \\format.list)
+ ($.definition \\format.maybe)
($.definition (\\format.Format it)
"A way to produce readable text from values.")
@@ -78,14 +78,14 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.unconsumed_input)
- ($.default \\parser.expected_to_fail)
- ($.default \\parser.cannot_parse)
- ($.default \\parser.cannot_slice)
- ($.default \\parser.cannot_match)
- ($.default \\parser.character_should_be)
- ($.default \\parser.character_should_not_be)
- ($.default \\parser.character_does_not_satisfy_predicate)
+ [($.definition \\parser.unconsumed_input)
+ ($.definition \\parser.expected_to_fail)
+ ($.definition \\parser.cannot_parse)
+ ($.definition \\parser.cannot_slice)
+ ($.definition \\parser.cannot_match)
+ ($.definition \\parser.character_should_be)
+ ($.definition \\parser.character_should_not_be)
+ ($.definition \\parser.character_does_not_satisfy_predicate)
($.definition \\parser.Offset
"An offset into a block of text.")
@@ -235,38 +235,38 @@
(.List $.Module)
($.module /._
""
- [($.default /.of_char)
-
- ($.default /.\0)
- ($.default /.null)
- ($.default /.\a)
- ($.default /.alarm)
- ($.default /.\b)
- ($.default /.back_space)
- ($.default /.\t)
- ($.default /.tab)
- ($.default /.\n)
- ($.default /.new_line)
- ($.default /.\v)
- ($.default /.vertical_tab)
- ($.default /.\f)
- ($.default /.form_feed)
- ($.default /.\r)
- ($.default /.carriage_return)
- ($.default /.\'')
- ($.default /.double_quote)
+ [($.definition /.of_char)
+
+ ($.definition /.\0)
+ ($.definition /.null)
+ ($.definition /.\a)
+ ($.definition /.alarm)
+ ($.definition /.\b)
+ ($.definition /.back_space)
+ ($.definition /.\t)
+ ($.definition /.tab)
+ ($.definition /.\n)
+ ($.definition /.new_line)
+ ($.definition /.\v)
+ ($.definition /.vertical_tab)
+ ($.definition /.\f)
+ ($.definition /.form_feed)
+ ($.definition /.\r)
+ ($.definition /.carriage_return)
+ ($.definition /.\'')
+ ($.definition /.double_quote)
- ($.default /.size)
- ($.default /.format)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.monoid)
- ($.default /.hash)
- ($.default /.together)
- ($.default /.empty?)
- ($.default /.space)
- ($.default /.lower_cased)
- ($.default /.upper_cased)
+ ($.definition /.size)
+ ($.definition /.format)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.monoid)
+ ($.definition /.hash)
+ ($.definition /.together)
+ ($.definition /.empty?)
+ ($.definition /.space)
+ ($.definition /.lower_cased)
+ ($.definition /.upper_cased)
($.definition /.Char
"A character code number.")
diff --git a/stdlib/source/documentation/lux/data/text/buffer.lux b/stdlib/source/documentation/lux/data/text/buffer.lux
index 38bd18830..6c8fc5c5f 100644
--- a/stdlib/source/documentation/lux/data/text/buffer.lux
+++ b/stdlib/source/documentation/lux/data/text/buffer.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.empty)
- ($.default /.then)
- ($.default /.size)
- ($.default /.text)
+ [($.definition /.empty)
+ ($.definition /.then)
+ ($.definition /.size)
+ ($.definition /.text)
($.definition /.Buffer
"Immutable text buffer for efficient text concatenation.")]
diff --git a/stdlib/source/documentation/lux/data/text/encoding.lux b/stdlib/source/documentation/lux/data/text/encoding.lux
index 40366df2c..2acadb26e 100644
--- a/stdlib/source/documentation/lux/data/text/encoding.lux
+++ b/stdlib/source/documentation/lux/data/text/encoding.lux
@@ -14,7 +14,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.name)
+ [($.definition /.name)
($.definition /.Encoding
"Encoding formats for text.")
diff --git a/stdlib/source/documentation/lux/data/text/escape.lux b/stdlib/source/documentation/lux/data/text/escape.lux
index 25081c655..91c23806d 100644
--- a/stdlib/source/documentation/lux/data/text/escape.lux
+++ b/stdlib/source/documentation/lux/data/text/escape.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.escapable?)
- ($.default /.dangling_escape)
- ($.default /.invalid_escape)
- ($.default /.invalid_unicode_escape)
+ [($.definition /.escapable?)
+ ($.definition /.dangling_escape)
+ ($.definition /.invalid_escape)
+ ($.definition /.invalid_unicode_escape)
($.definition /.escaped
"Yields a escaped version of the text."
diff --git a/stdlib/source/documentation/lux/data/text/regex.lux b/stdlib/source/documentation/lux/data/text/regex.lux
index b939df37d..cd8511743 100644
--- a/stdlib/source/documentation/lux/data/text/regex.lux
+++ b/stdlib/source/documentation/lux/data/text/regex.lux
@@ -12,7 +12,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.incorrect_quantification)
+ [($.definition /.incorrect_quantification)
($.definition /.regex
"Create lexers using regular-expression syntax."
diff --git a/stdlib/source/documentation/lux/data/text/unicode/block.lux b/stdlib/source/documentation/lux/data/text/unicode/block.lux
index 72f45cdaa..3c5ea5c8f 100644
--- a/stdlib/source/documentation/lux/data/text/unicode/block.lux
+++ b/stdlib/source/documentation/lux/data/text/unicode/block.lux
@@ -15,12 +15,12 @@
(.List $.Module)
($.module /._
""
- [($.default /.monoid)
- ($.default /.start)
- ($.default /.end)
- ($.default /.size)
- ($.default /.equivalence)
- ($.default /.hash)
+ [($.definition /.monoid)
+ ($.definition /.start)
+ ($.definition /.end)
+ ($.definition /.size)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
($.definition /.Block
"A block of valid unicode characters.")
diff --git a/stdlib/source/documentation/lux/data/text/unicode/set.lux b/stdlib/source/documentation/lux/data/text/unicode/set.lux
index 57040bb69..268affa1b 100644
--- a/stdlib/source/documentation/lux/data/text/unicode/set.lux
+++ b/stdlib/source/documentation/lux/data/text/unicode/set.lux
@@ -12,21 +12,21 @@
(.List $.Module)
($.module /._
""
- [($.default /.Set)
- ($.default /.composite)
- ($.default /.character)
- ($.default /.non_character)
- ($.default /.full)
- ($.default /.start)
- ($.default /.end)
- ($.default /.equivalence)
+ [($.definition /.Set)
+ ($.definition /.composite)
+ ($.definition /.character)
+ ($.definition /.non_character)
+ ($.definition /.full)
+ ($.definition /.start)
+ ($.definition /.end)
+ ($.definition /.equivalence)
- ($.default /.ascii)
- ($.default /.alphabetic)
- ($.default /.alpha_numeric)
- ($.default /.numeric)
- ($.default /.upper_case)
- ($.default /.lower_case)
+ ($.definition /.ascii)
+ ($.definition /.alphabetic)
+ ($.definition /.alpha_numeric)
+ ($.definition /.numeric)
+ ($.definition /.upper_case)
+ ($.definition /.lower_case)
($.definition /.set
""
diff --git a/stdlib/source/documentation/lux/debug.lux b/stdlib/source/documentation/lux/debug.lux
index 473cf4035..480af7a9e 100644
--- a/stdlib/source/documentation/lux/debug.lux
+++ b/stdlib/source/documentation/lux/debug.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.cannot_represent_value)
- ($.default /.type_hole)
- ($.default /.unknown_local_binding)
+ [($.definition /.cannot_represent_value)
+ ($.definition /.type_hole)
+ ($.definition /.unknown_local_binding)
($.definition /.inspection
"A best-effort attempt to generate a textual representation of a value, without knowing its type."
diff --git a/stdlib/source/documentation/lux/documentation.lux b/stdlib/source/documentation/lux/documentation.lux
index 32e7cf5cb..28034082e 100644
--- a/stdlib/source/documentation/lux/documentation.lux
+++ b/stdlib/source/documentation/lux/documentation.lux
@@ -7,19 +7,18 @@
[\\library
["[0]" /]])
-(with_expansions [<default> (/.definition /.default
- ""
- [(is /.Definition
- (default ..definition))])
+(with_expansions [<documentation> (/.definition /.definition)
+ <documentation> (/.definition /.definition
+ ""
+ [<documentation>])
<documentation> (/.definition /.definition
""
- [<default>])
- <all> (these (/.default /.unqualified_symbol)
- (/.default /.Definition)
- (/.default /.Module)
- (/.default /.definition)
+ [<documentation>])
+ <all> (these (/.definition /.unqualified_symbol)
+ (/.definition /.Definition)
+ (/.definition /.Module)
+ (/.definition /.definition)
- <default>
<documentation>)]
(.def .public documentation
(.List /.Module)
diff --git a/stdlib/source/documentation/lux/ffi.js.lux b/stdlib/source/documentation/lux/ffi.js.lux
index 1aecf6eee..cc4a6a8b2 100644
--- a/stdlib/source/documentation/lux/ffi.js.lux
+++ b/stdlib/source/documentation/lux/ffi.js.lux
@@ -12,18 +12,18 @@
(.List $.Module)
($.module /._
""
- [($.default (/.Object brand))
- ($.default /.Function)
- ($.default /.Symbol)
- ($.default /.Null)
- ($.default /.Undefined)
- ($.default /.Boolean)
- ($.default /.Number)
- ($.default /.String)
- ($.default /.null?)
- ($.default /.on_browser?)
- ($.default /.on_nashorn?)
- ($.default /.on_node_js?)
+ [($.definition (/.Object brand))
+ ($.definition /.Function)
+ ($.definition /.Symbol)
+ ($.definition /.Null)
+ ($.definition /.Undefined)
+ ($.definition /.Boolean)
+ ($.definition /.Number)
+ ($.definition /.String)
+ ($.definition /.null?)
+ ($.definition /.on_browser?)
+ ($.definition /.on_nashorn?)
+ ($.definition /.on_node_js?)
($.definition /.null
"The null pointer.")
diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux
index 9e5d1e31c..404fa4b63 100644
--- a/stdlib/source/documentation/lux/ffi.jvm.lux
+++ b/stdlib/source/documentation/lux/ffi.jvm.lux
@@ -15,13 +15,13 @@
(.List $.Module)
($.module /._
""
- [($.default /.Privacy)
- ($.default /.State)
- ($.default /.Inheritance)
- ($.default /.class_names_cannot_contain_periods)
- ($.default /.class_name_cannot_be_a_type_variable)
- ($.default /.cannot_convert_to_jvm_type)
- ($.default /.cannot_cast_to_non_object)
+ [($.definition /.Privacy)
+ ($.definition /.State)
+ ($.definition /.Inheritance)
+ ($.definition /.class_names_cannot_contain_periods)
+ ($.definition /.class_name_cannot_be_a_type_variable)
+ ($.definition /.cannot_convert_to_jvm_type)
+ ($.definition /.cannot_cast_to_non_object)
(,, (with_template [<name>]
[(`` ($.definition <name>
diff --git a/stdlib/source/documentation/lux/ffi.lua.lux b/stdlib/source/documentation/lux/ffi.lua.lux
index a088496ff..0763955d6 100644
--- a/stdlib/source/documentation/lux/ffi.lua.lux
+++ b/stdlib/source/documentation/lux/ffi.lua.lux
@@ -12,14 +12,14 @@
(.List $.Module)
($.module /._
""
- [($.default (/.Object brand))
- ($.default /.Nil)
- ($.default /.Function)
- ($.default /.Table)
- ($.default /.Boolean)
- ($.default /.Integer)
- ($.default /.Float)
- ($.default /.String)
+ [($.definition (/.Object brand))
+ ($.definition /.Nil)
+ ($.definition /.Function)
+ ($.definition /.Table)
+ ($.definition /.Boolean)
+ ($.definition /.Integer)
+ ($.definition /.Float)
+ ($.definition /.String)
($.definition /.import
"Easily import types, methods, functions and constants."
diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux
index eb4b5b8fe..490e8416f 100644
--- a/stdlib/source/documentation/lux/ffi.old.lux
+++ b/stdlib/source/documentation/lux/ffi.old.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.Privacy)
- ($.default /.State)
- ($.default /.Inheritance)
+ [($.definition /.Privacy)
+ ($.definition /.State)
+ ($.definition /.Inheritance)
(,, (with_template [<name> <from> <to>]
[($.definition <name>
diff --git a/stdlib/source/documentation/lux/ffi.py.lux b/stdlib/source/documentation/lux/ffi.py.lux
index 5ad4b9260..2701c47a1 100644
--- a/stdlib/source/documentation/lux/ffi.py.lux
+++ b/stdlib/source/documentation/lux/ffi.py.lux
@@ -12,14 +12,14 @@
(.List $.Module)
($.module /._
""
- [($.default (/.Object brand))
- ($.default /.None)
- ($.default /.Dict)
- ($.default /.Function)
- ($.default /.Boolean)
- ($.default /.Integer)
- ($.default /.Float)
- ($.default /.String)
+ [($.definition (/.Object brand))
+ ($.definition /.None)
+ ($.definition /.Dict)
+ ($.definition /.Function)
+ ($.definition /.Boolean)
+ ($.definition /.Integer)
+ ($.definition /.Float)
+ ($.definition /.String)
($.definition /.import
"Easily import types, methods, functions and constants."
diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux
index bcef4c22e..24696edc5 100644
--- a/stdlib/source/documentation/lux/ffi.rb.lux
+++ b/stdlib/source/documentation/lux/ffi.rb.lux
@@ -12,12 +12,12 @@
(.List $.Module)
($.module /._
""
- [($.default (/.Object brand))
- ($.default /.Nil)
- ($.default /.Function)
- ($.default /.Integer)
- ($.default /.Float)
- ($.default /.String)
+ [($.definition (/.Object brand))
+ ($.definition /.Nil)
+ ($.definition /.Function)
+ ($.definition /.Integer)
+ ($.definition /.Float)
+ ($.definition /.String)
($.definition /.import
"Easily import types, methods, functions and constants."
diff --git a/stdlib/source/documentation/lux/math/logic.lux b/stdlib/source/documentation/lux/math/logic.lux
index 7639dad90..105055859 100644
--- a/stdlib/source/documentation/lux/math/logic.lux
+++ b/stdlib/source/documentation/lux/math/logic.lux
@@ -15,4 +15,5 @@
(.List $.Module)
(all list#composite
/continuous.documentation
- /fuzzy.documentation))
+ /fuzzy.documentation
+ ))
diff --git a/stdlib/source/documentation/lux/math/logic/continuous.lux b/stdlib/source/documentation/lux/math/logic/continuous.lux
index 1cc6d1c06..f134a7236 100644
--- a/stdlib/source/documentation/lux/math/logic/continuous.lux
+++ b/stdlib/source/documentation/lux/math/logic/continuous.lux
@@ -14,14 +14,14 @@
(format "Continuous logic using Rev values."
\n "Continuous logic is logic in the interval [0,1] instead of just the binary #0 and #1 options."
\n "Because Rev is being used, the interval is actual [0,1).")
- [($.default /.false)
- ($.default /.true)
- ($.default /.or)
- ($.default /.disjunction)
- ($.default /.and)
- ($.default /.conjunction)
- ($.default /.not)
- ($.default /.=)
+ [($.definition /.false)
+ ($.definition /.true)
+ ($.definition /.or)
+ ($.definition /.disjunction)
+ ($.definition /.and)
+ ($.definition /.conjunction)
+ ($.definition /.not)
+ ($.definition /.=)
($.definition /.implies
""
diff --git a/stdlib/source/documentation/lux/math/logic/fuzzy.lux b/stdlib/source/documentation/lux/math/logic/fuzzy.lux
index 33926d7db..222e6b086 100644
--- a/stdlib/source/documentation/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/documentation/lux/math/logic/fuzzy.lux
@@ -12,13 +12,13 @@
(.List $.Module)
($.module /._
"Fuzzy logic, implemented on top of the Rev type."
- [($.default /.functor)
- ($.default /.empty)
- ($.default /.full)
- ($.default /.union)
- ($.default /.intersection)
- ($.default /.complement)
- ($.default /.of_set)
+ [($.definition /.functor)
+ ($.definition /.empty)
+ ($.definition /.full)
+ ($.definition /.union)
+ ($.definition /.intersection)
+ ($.definition /.complement)
+ ($.definition /.of_set)
($.definition (/.Fuzzy it)
"A fuzzy set.")
diff --git a/stdlib/source/documentation/lux/math/modular.lux b/stdlib/source/documentation/lux/math/modular.lux
index a30b9b0be..e78063d0a 100644
--- a/stdlib/source/documentation/lux/math/modular.lux
+++ b/stdlib/source/documentation/lux/math/modular.lux
@@ -12,28 +12,28 @@
(.List $.Module)
($.module /._
""
- [($.default /.modulus)
- ($.default /.value)
- ($.default /.incorrect_modulus)
- ($.default /.codec)
+ [($.definition /.modulus)
+ ($.definition /.value)
+ ($.definition /.incorrect_modulus)
+ ($.definition /.codec)
- ($.default /.=)
- ($.default /.<)
- ($.default /.<=)
- ($.default /.>)
- ($.default /.>=)
+ ($.definition /.=)
+ ($.definition /.<)
+ ($.definition /.<=)
+ ($.definition /.>)
+ ($.definition /.>=)
- ($.default /.equivalence)
- ($.default /.order)
+ ($.definition /.equivalence)
+ ($.definition /.order)
- ($.default /.+)
- ($.default /.-)
- ($.default /.*)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.*)
- ($.default /.addition)
- ($.default /.multiplication)
- ($.default /.inverse)
- ($.default /.moduli_are_not_equal)
+ ($.definition /.addition)
+ ($.definition /.multiplication)
+ ($.definition /.inverse)
+ ($.definition /.moduli_are_not_equal)
($.definition (/.Mod %)
"A number under a modulus.")
diff --git a/stdlib/source/documentation/lux/math/modulus.lux b/stdlib/source/documentation/lux/math/modulus.lux
index 3a4d4d043..76e071559 100644
--- a/stdlib/source/documentation/lux/math/modulus.lux
+++ b/stdlib/source/documentation/lux/math/modulus.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.zero_cannot_be_a_modulus)
- ($.default /.modulus)
- ($.default /.divisor)
- ($.default /.=)
+ [($.definition /.zero_cannot_be_a_modulus)
+ ($.definition /.modulus)
+ ($.definition /.divisor)
+ ($.definition /.=)
($.definition (/.Modulus %)
(format "A number used as a modulus in modular arithmetic."
diff --git a/stdlib/source/documentation/lux/math/number/complex.lux b/stdlib/source/documentation/lux/math/number/complex.lux
index 5063568a9..b47992832 100644
--- a/stdlib/source/documentation/lux/math/number/complex.lux
+++ b/stdlib/source/documentation/lux/math/number/complex.lux
@@ -12,42 +12,42 @@
(.List $.Module)
($.module /._
"Complex arithmetic."
- [($.default /.i)
- ($.default /.+one)
- ($.default /.-one)
- ($.default /.zero)
- ($.default /.not_a_number?)
- ($.default /.=)
- ($.default /.+)
- ($.default /.-)
- ($.default /.equivalence)
- ($.default /.opposite)
- ($.default /.signum)
- ($.default /.conjugate)
- ($.default /.*')
- ($.default /.*)
- ($.default /./)
- ($.default /./')
- ($.default /.%)
- ($.default /.cos)
- ($.default /.cosh)
- ($.default /.sin)
- ($.default /.sinh)
- ($.default /.tan)
- ($.default /.tanh)
- ($.default /.abs)
- ($.default /.exp)
- ($.default /.log)
- ($.default /.pow)
- ($.default /.pow')
- ($.default /.root_2)
- ($.default /.reciprocal)
- ($.default /.acos)
- ($.default /.asin)
- ($.default /.atan)
- ($.default /.argument)
- ($.default /.roots)
- ($.default /.approximately?)
+ [($.definition /.i)
+ ($.definition /.+one)
+ ($.definition /.-one)
+ ($.definition /.zero)
+ ($.definition /.not_a_number?)
+ ($.definition /.=)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.equivalence)
+ ($.definition /.opposite)
+ ($.definition /.signum)
+ ($.definition /.conjugate)
+ ($.definition /.*')
+ ($.definition /.*)
+ ($.definition /./)
+ ($.definition /./')
+ ($.definition /.%)
+ ($.definition /.cos)
+ ($.definition /.cosh)
+ ($.definition /.sin)
+ ($.definition /.sinh)
+ ($.definition /.tan)
+ ($.definition /.tanh)
+ ($.definition /.abs)
+ ($.definition /.exp)
+ ($.definition /.log)
+ ($.definition /.pow)
+ ($.definition /.pow')
+ ($.definition /.root_2)
+ ($.definition /.reciprocal)
+ ($.definition /.acos)
+ ($.definition /.asin)
+ ($.definition /.atan)
+ ($.definition /.argument)
+ ($.definition /.roots)
+ ($.definition /.approximately?)
($.definition /.Complex
"A complex number.")
diff --git a/stdlib/source/documentation/lux/math/number/frac.lux b/stdlib/source/documentation/lux/math/number/frac.lux
index c6fe1ce19..67b334fd3 100644
--- a/stdlib/source/documentation/lux/math/number/frac.lux
+++ b/stdlib/source/documentation/lux/math/number/frac.lux
@@ -12,59 +12,59 @@
(.List $.Module)
($.module /._
""
- [($.default /.positive?)
- ($.default /.negative?)
- ($.default /.zero?)
- ($.default /.opposite)
- ($.default /.abs)
- ($.default /.signum)
- ($.default /.nat)
- ($.default /.int)
- ($.default /.rev)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.smallest)
- ($.default /.biggest)
- ($.default /.addition)
- ($.default /.multiplication)
- ($.default /.minimum)
- ($.default /.maximum)
- ($.default /.number?)
- ($.default /.decimal)
- ($.default /.bits)
- ($.default /.of_bits)
- ($.default /.binary)
- ($.default /.octal)
- ($.default /.hex)
- ($.default /.hash)
-
- ($.default /.cos)
- ($.default /.sin)
- ($.default /.tan)
- ($.default /.acos)
- ($.default /.asin)
- ($.default /.atan)
- ($.default /.exp)
- ($.default /.log)
- ($.default /.ceil)
- ($.default /.floor)
- ($.default /.root_2)
- ($.default /.root_3)
- ($.default /.round)
- ($.default /.factorial)
- ($.default /.hypotenuse)
- ($.default /.sinh)
- ($.default /.csch)
- ($.default /.cosh)
- ($.default /.sech)
- ($.default /.tanh)
- ($.default /.coth)
- ($.default /.asinh)
- ($.default /.acosh)
- ($.default /.atanh)
- ($.default /.acoth)
- ($.default /.asech)
- ($.default /.acsch)
+ [($.definition /.positive?)
+ ($.definition /.negative?)
+ ($.definition /.zero?)
+ ($.definition /.opposite)
+ ($.definition /.abs)
+ ($.definition /.signum)
+ ($.definition /.nat)
+ ($.definition /.int)
+ ($.definition /.rev)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.smallest)
+ ($.definition /.biggest)
+ ($.definition /.addition)
+ ($.definition /.multiplication)
+ ($.definition /.minimum)
+ ($.definition /.maximum)
+ ($.definition /.number?)
+ ($.definition /.decimal)
+ ($.definition /.bits)
+ ($.definition /.of_bits)
+ ($.definition /.binary)
+ ($.definition /.octal)
+ ($.definition /.hex)
+ ($.definition /.hash)
+
+ ($.definition /.cos)
+ ($.definition /.sin)
+ ($.definition /.tan)
+ ($.definition /.acos)
+ ($.definition /.asin)
+ ($.definition /.atan)
+ ($.definition /.exp)
+ ($.definition /.log)
+ ($.definition /.ceil)
+ ($.definition /.floor)
+ ($.definition /.root_2)
+ ($.definition /.root_3)
+ ($.definition /.round)
+ ($.definition /.factorial)
+ ($.definition /.hypotenuse)
+ ($.definition /.sinh)
+ ($.definition /.csch)
+ ($.definition /.cosh)
+ ($.definition /.sech)
+ ($.definition /.tanh)
+ ($.definition /.coth)
+ ($.definition /.asinh)
+ ($.definition /.acosh)
+ ($.definition /.atanh)
+ ($.definition /.acoth)
+ ($.definition /.asech)
+ ($.definition /.acsch)
($.definition /.=
"Frac(tion) equivalence."
diff --git a/stdlib/source/documentation/lux/math/number/i16.lux b/stdlib/source/documentation/lux/math/number/i16.lux
index aebc72982..63a53e2f7 100644
--- a/stdlib/source/documentation/lux/math/number/i16.lux
+++ b/stdlib/source/documentation/lux/math/number/i16.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.width)
- ($.default /.i16)
- ($.default /.i64)
+ [($.definition /.equivalence)
+ ($.definition /.width)
+ ($.definition /.i16)
+ ($.definition /.i64)
($.definition /.I16
"A 16-bit integer.")]
diff --git a/stdlib/source/documentation/lux/math/number/i32.lux b/stdlib/source/documentation/lux/math/number/i32.lux
index ecf4fdc3d..a0f912eab 100644
--- a/stdlib/source/documentation/lux/math/number/i32.lux
+++ b/stdlib/source/documentation/lux/math/number/i32.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.width)
- ($.default /.i32)
- ($.default /.i64)
+ [($.definition /.equivalence)
+ ($.definition /.width)
+ ($.definition /.i32)
+ ($.definition /.i64)
($.definition /.I32
"A 32-bit integer.")]
diff --git a/stdlib/source/documentation/lux/math/number/i64.lux b/stdlib/source/documentation/lux/math/number/i64.lux
index bdbd334db..2f7909ac2 100644
--- a/stdlib/source/documentation/lux/math/number/i64.lux
+++ b/stdlib/source/documentation/lux/math/number/i64.lux
@@ -12,18 +12,18 @@
(.List $.Module)
($.module /._
""
- [($.default /.bits_per_byte)
- ($.default /.bytes_per_i64)
- ($.default /.width)
- ($.default /.false)
- ($.default /.true)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.disjunction)
- ($.default /.conjunction)
- ($.default /.reversed)
- ($.default /.left_rotated)
- ($.default /.right_rotated)
+ [($.definition /.bits_per_byte)
+ ($.definition /.bytes_per_i64)
+ ($.definition /.width)
+ ($.definition /.false)
+ ($.definition /.true)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.disjunction)
+ ($.definition /.conjunction)
+ ($.definition /.reversed)
+ ($.definition /.left_rotated)
+ ($.definition /.right_rotated)
(,, (with_template [<name> <doc>]
[($.definition <name>
diff --git a/stdlib/source/documentation/lux/math/number/i8.lux b/stdlib/source/documentation/lux/math/number/i8.lux
index 8ddcecb84..f2bbc58f6 100644
--- a/stdlib/source/documentation/lux/math/number/i8.lux
+++ b/stdlib/source/documentation/lux/math/number/i8.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.width)
- ($.default /.i8)
- ($.default /.i64)
+ [($.definition /.equivalence)
+ ($.definition /.width)
+ ($.definition /.i8)
+ ($.definition /.i64)
($.definition /.I8
"A 8-bit integer.")]
diff --git a/stdlib/source/documentation/lux/math/number/int.lux b/stdlib/source/documentation/lux/math/number/int.lux
index b840ff34e..c70ddafad 100644
--- a/stdlib/source/documentation/lux/math/number/int.lux
+++ b/stdlib/source/documentation/lux/math/number/int.lux
@@ -12,26 +12,26 @@
(.List $.Module)
($.module /._
""
- [($.default /.positive?)
- ($.default /.negative?)
- ($.default /.zero?)
- ($.default /.even?)
- ($.default /.odd?)
- ($.default /.co_prime?)
- ($.default /.frac)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.enum)
- ($.default /.interval)
- ($.default /.addition)
- ($.default /.multiplication)
- ($.default /.maximum)
- ($.default /.minimum)
- ($.default /.binary)
- ($.default /.octal)
- ($.default /.decimal)
- ($.default /.hex)
- ($.default /.hash)
+ [($.definition /.positive?)
+ ($.definition /.negative?)
+ ($.definition /.zero?)
+ ($.definition /.even?)
+ ($.definition /.odd?)
+ ($.definition /.co_prime?)
+ ($.definition /.frac)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ($.definition /.interval)
+ ($.definition /.addition)
+ ($.definition /.multiplication)
+ ($.definition /.maximum)
+ ($.definition /.minimum)
+ ($.definition /.binary)
+ ($.definition /.octal)
+ ($.definition /.decimal)
+ ($.definition /.hex)
+ ($.definition /.hash)
($.definition /.=
"Int(eger) equivalence."
diff --git a/stdlib/source/documentation/lux/math/number/nat.lux b/stdlib/source/documentation/lux/math/number/nat.lux
index c1ae8d81c..72e7773c3 100644
--- a/stdlib/source/documentation/lux/math/number/nat.lux
+++ b/stdlib/source/documentation/lux/math/number/nat.lux
@@ -12,23 +12,23 @@
(.List $.Module)
($.module /._
""
- [($.default /.co_prime?)
- ($.default /.even?)
- ($.default /.odd?)
- ($.default /.frac)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.enum)
- ($.default /.interval)
- ($.default /.addition)
- ($.default /.multiplication)
- ($.default /.minimum)
- ($.default /.maximum)
- ($.default /.binary)
- ($.default /.octal)
- ($.default /.hex)
- ($.default /.decimal)
- ($.default /.hash)
+ [($.definition /.co_prime?)
+ ($.definition /.even?)
+ ($.definition /.odd?)
+ ($.definition /.frac)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ($.definition /.interval)
+ ($.definition /.addition)
+ ($.definition /.multiplication)
+ ($.definition /.minimum)
+ ($.definition /.maximum)
+ ($.definition /.binary)
+ ($.definition /.octal)
+ ($.definition /.hex)
+ ($.definition /.decimal)
+ ($.definition /.hash)
(,, (with_template [<name> <documentation>]
[($.definition <name>
diff --git a/stdlib/source/documentation/lux/math/number/ratio.lux b/stdlib/source/documentation/lux/math/number/ratio.lux
index a5c2b8473..4857d55fe 100644
--- a/stdlib/source/documentation/lux/math/number/ratio.lux
+++ b/stdlib/source/documentation/lux/math/number/ratio.lux
@@ -12,23 +12,23 @@
(.List $.Module)
($.module /._
"Rational numbers."
- [($.default /.nat)
- ($.default /.=)
- ($.default /.equivalence)
- ($.default /.<)
- ($.default /.<=)
- ($.default /.>)
- ($.default /.>=)
- ($.default /.order)
- ($.default /.+)
- ($.default /.-)
- ($.default /.*)
- ($.default /./)
- ($.default /.%)
- ($.default /.reciprocal)
- ($.default /.codec)
- ($.default /.addition)
- ($.default /.multiplication)
+ [($.definition /.nat)
+ ($.definition /.=)
+ ($.definition /.equivalence)
+ ($.definition /.<)
+ ($.definition /.<=)
+ ($.definition /.>)
+ ($.definition /.>=)
+ ($.definition /.order)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.*)
+ ($.definition /./)
+ ($.definition /.%)
+ ($.definition /.reciprocal)
+ ($.definition /.codec)
+ ($.definition /.addition)
+ ($.definition /.multiplication)
($.definition /.Ratio
"An unsigned ratio of numbers.")
diff --git a/stdlib/source/documentation/lux/math/number/rev.lux b/stdlib/source/documentation/lux/math/number/rev.lux
index e0ea88432..0b629eb7d 100644
--- a/stdlib/source/documentation/lux/math/number/rev.lux
+++ b/stdlib/source/documentation/lux/math/number/rev.lux
@@ -12,33 +12,33 @@
(.List $.Module)
($.module /._
""
- [($.default /./1)
- ($.default /./2)
- ($.default /./4)
- ($.default /./8)
- ($.default /./16)
- ($.default /./32)
- ($.default /./64)
- ($.default /./128)
- ($.default /./256)
- ($.default /./512)
- ($.default /./1024)
- ($.default /./2048)
- ($.default /./4096)
- ($.default /./%)
- ($.default /.frac)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.order)
- ($.default /.enum)
- ($.default /.interval)
- ($.default /.addition)
- ($.default /.maximum)
- ($.default /.minimum)
- ($.default /.binary)
- ($.default /.octal)
- ($.default /.hex)
- ($.default /.decimal)
+ [($.definition /./1)
+ ($.definition /./2)
+ ($.definition /./4)
+ ($.definition /./8)
+ ($.definition /./16)
+ ($.definition /./32)
+ ($.definition /./64)
+ ($.definition /./128)
+ ($.definition /./256)
+ ($.definition /./512)
+ ($.definition /./1024)
+ ($.definition /./2048)
+ ($.definition /./4096)
+ ($.definition /./%)
+ ($.definition /.frac)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ($.definition /.interval)
+ ($.definition /.addition)
+ ($.definition /.maximum)
+ ($.definition /.minimum)
+ ($.definition /.binary)
+ ($.definition /.octal)
+ ($.definition /.hex)
+ ($.definition /.decimal)
($.definition /.=
"Rev(olution) equivalence."
diff --git a/stdlib/source/documentation/lux/math/random.lux b/stdlib/source/documentation/lux/math/random.lux
index a67401555..1ff5a15a2 100644
--- a/stdlib/source/documentation/lux/math/random.lux
+++ b/stdlib/source/documentation/lux/math/random.lux
@@ -12,42 +12,42 @@
(.List $.Module)
($.module /._
"Pseudo-random number generation (PRNG) algorithms."
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
- ($.default /.bit)
- ($.default /.i64)
- ($.default /.nat)
- ($.default /.int)
- ($.default /.rev)
- ($.default /.frac)
- ($.default /.char)
-
- ($.default /.unicode)
- ($.default /.ascii)
- ($.default /.alphabetic)
- ($.default /.alpha_numeric)
- ($.default /.numeric)
- ($.default /.upper_case)
- ($.default /.lower_case)
+ ($.definition /.bit)
+ ($.definition /.i64)
+ ($.definition /.nat)
+ ($.definition /.int)
+ ($.definition /.rev)
+ ($.definition /.frac)
+ ($.definition /.char)
+
+ ($.definition /.unicode)
+ ($.definition /.ascii)
+ ($.definition /.alphabetic)
+ ($.definition /.alpha_numeric)
+ ($.definition /.numeric)
+ ($.definition /.upper_case)
+ ($.definition /.lower_case)
- ($.default /.ratio)
- ($.default /.complex)
-
- ($.default /.maybe)
- ($.default /.list)
- ($.default /.sequence)
- ($.default /.array)
- ($.default /.queue)
- ($.default /.stack)
-
- ($.default /.instant)
- ($.default /.date)
- ($.default /.time)
- ($.default /.duration)
- ($.default /.month)
- ($.default /.day)
+ ($.definition /.ratio)
+ ($.definition /.complex)
+
+ ($.definition /.maybe)
+ ($.definition /.list)
+ ($.definition /.sequence)
+ ($.definition /.array)
+ ($.definition /.queue)
+ ($.definition /.stack)
+
+ ($.definition /.instant)
+ ($.definition /.date)
+ ($.definition /.time)
+ ($.definition /.duration)
+ ($.definition /.month)
+ ($.definition /.day)
($.definition /.PRNG
"An abstract way to represent any PRNG.")
diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux
index 3c8170e86..42e917dd5 100644
--- a/stdlib/source/documentation/lux/meta.lux
+++ b/stdlib/source/documentation/lux/meta.lux
@@ -16,6 +16,7 @@
["[1][0]" type]
["[1][0]" macro]
["[1][0]" static]
+ ["[1][0]" extension]
["[1][0]" target]
["[1][0]/" compiler
["[1][0]" phase]
@@ -40,11 +41,11 @@
(.List $.Module)
($.module /._
"Functions for extracting information from the state of the compiler."
- [($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.lifted)
- ($.default /.try)
+ [($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.lifted)
+ ($.definition /.try)
($.definition /.result'
(format "Evaluates a computation that depends on Lux's compiler state."
@@ -191,5 +192,6 @@
/type.documentation
/macro.documentation
/static.documentation
+ /extension.documentation
/target.documentation
../compiler]))
diff --git a/stdlib/source/documentation/lux/meta/code.lux b/stdlib/source/documentation/lux/meta/code.lux
index 36d3ec0d2..ebba6189a 100644
--- a/stdlib/source/documentation/lux/meta/code.lux
+++ b/stdlib/source/documentation/lux/meta/code.lux
@@ -87,19 +87,19 @@
(.List $.Module)
($.module /._
""
- [($.default /.bit)
- ($.default /.nat)
- ($.default /.int)
- ($.default /.rev)
- ($.default /.frac)
- ($.default /.text)
- ($.default /.symbol)
- ($.default /.form)
- ($.default /.variant)
- ($.default /.tuple)
+ [($.definition /.bit)
+ ($.definition /.nat)
+ ($.definition /.int)
+ ($.definition /.rev)
+ ($.definition /.frac)
+ ($.definition /.text)
+ ($.definition /.symbol)
+ ($.definition /.form)
+ ($.definition /.variant)
+ ($.definition /.tuple)
- ($.default /.equivalence)
- ($.default /.format)
+ ($.definition /.equivalence)
+ ($.definition /.format)
($.definition /.local
"Produces a local symbol (an symbol with no module prefix).")
diff --git a/stdlib/source/documentation/lux/meta/compiler/language/lux/analysis.lux b/stdlib/source/documentation/lux/meta/compiler/language/lux/analysis.lux
index 1dc0d9b11..5069f761c 100644
--- a/stdlib/source/documentation/lux/meta/compiler/language/lux/analysis.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/language/lux/analysis.lux
@@ -18,8 +18,8 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.cannot_parse)
- ($.default \\parser.unconsumed_input)
+ [($.definition \\parser.cannot_parse)
+ ($.definition \\parser.unconsumed_input)
($.definition (\\parser.Parser it)
"A parser for Lux code analysis nodes.")
@@ -63,47 +63,47 @@
(.List $.Module)
($.module /._
""
- [($.default /.Branch')
- ($.default /.Match')
- ($.default /.Environment)
- ($.default /.Analysis)
- ($.default /.Branch)
- ($.default /.Match)
- ($.default /.equivalence)
- ($.default /.case)
- ($.default /.unit)
- ($.default /.bit)
- ($.default /.nat)
- ($.default /.int)
- ($.default /.rev)
- ($.default /.frac)
- ($.default /.text)
- ($.default /.no_op)
- ($.default /.variable)
- ($.default /.constant)
- ($.default /.local)
- ($.default /.foreign)
- ($.default /.variant)
- ($.default /.tuple)
- ($.default /.format)
- ($.default /.State+)
- ($.default /.Operation)
- ($.default /.Phase)
- ($.default /.Handler)
- ($.default /.Bundle)
- ($.default /.with_source_code)
- ($.default /.with_current_module)
- ($.default /.with_location)
- ($.default /.failure)
- ($.default /.except)
- ($.default /.assertion)
- ($.default /.with_exception)
- ($.default /.set_state)
- ($.default /.set_source_code)
- ($.default /.set_current_module)
- ($.default /.set_location)
- ($.default /.location)
- ($.default /.source)
- ($.default /.info)
- ($.default /.state)]
+ [($.definition /.Branch')
+ ($.definition /.Match')
+ ($.definition /.Environment)
+ ($.definition /.Analysis)
+ ($.definition /.Branch)
+ ($.definition /.Match)
+ ($.definition /.equivalence)
+ ($.definition /.case)
+ ($.definition /.unit)
+ ($.definition /.bit)
+ ($.definition /.nat)
+ ($.definition /.int)
+ ($.definition /.rev)
+ ($.definition /.frac)
+ ($.definition /.text)
+ ($.definition /.no_op)
+ ($.definition /.variable)
+ ($.definition /.constant)
+ ($.definition /.local)
+ ($.definition /.foreign)
+ ($.definition /.variant)
+ ($.definition /.tuple)
+ ($.definition /.format)
+ ($.definition /.State+)
+ ($.definition /.Operation)
+ ($.definition /.Phase)
+ ($.definition /.Handler)
+ ($.definition /.Bundle)
+ ($.definition /.with_source_code)
+ ($.definition /.with_current_module)
+ ($.definition /.with_location)
+ ($.definition /.failure)
+ ($.definition /.except)
+ ($.definition /.assertion)
+ ($.definition /.with_exception)
+ ($.definition /.set_state)
+ ($.definition /.set_source_code)
+ ($.definition /.set_current_module)
+ ($.definition /.set_location)
+ ($.definition /.location)
+ ($.definition /.source)
+ ($.definition /.info)
+ ($.definition /.state)]
[..\\parser]))
diff --git a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
index cc2088576..3242e04cc 100644
--- a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
@@ -14,22 +14,22 @@
(.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)]
+ [($.definition /.Component)
+ ($.definition /.State)
+ ($.definition /.Import)
+ ($.definition /.Requirements)
+ ($.definition /.no_requirements)
+ ($.definition /.merge_requirements)
+ ($.definition /.State+)
+ ($.definition /.Operation)
+ ($.definition /.Phase)
+ ($.definition /.Handler)
+ ($.definition /.Bundle)
+ ($.definition /.analysis)
+ ($.definition /.synthesis)
+ ($.definition /.generation)
+ ($.definition /.lifted_analysis)
+ ($.definition /.lifted_synthesis)
+ ($.definition /.lifted_generation)
+ ($.definition /.set_current_module)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/compiler/language/lux/generation.lux b/stdlib/source/documentation/lux/meta/compiler/language/lux/generation.lux
index 295ada218..3c2c0de8b 100644
--- a/stdlib/source/documentation/lux/meta/compiler/language/lux/generation.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/language/lux/generation.lux
@@ -14,50 +14,50 @@
(.List $.Module)
($.module /._
""
- [($.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 /.symbol)
- ($.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_declaration)
- ($.default /.unknown_definition)
- ($.default /.remember)
- ($.default /.no_context)
- ($.default /.module_id)
- ($.default /.context)
- ($.default /.with_context)
- ($.default /.with_new_context)
- ($.default /.log!)]
+ [($.definition /.Buffer)
+ ($.definition /.cannot_interpret)
+ ($.definition /.cannot_overwrite_output)
+ ($.definition /.no_buffer_for_saving_code)
+ ($.definition /.Host)
+ ($.definition /.State)
+ ($.definition /.State+)
+ ($.definition /.Operation)
+ ($.definition /.Phase)
+ ($.definition /.Handler)
+ ($.definition /.Bundle)
+ ($.definition /.Extender)
+ ($.definition /.state)
+ ($.definition /.empty_buffer)
+ ($.definition /.with_anchor)
+ ($.definition /.set_anchor)
+ ($.definition /.anchor)
+ ($.definition /.no_anchor)
+ ($.definition /.with_buffer)
+ ($.definition /.set_buffer)
+ ($.definition /.buffer)
+ ($.definition /.no_active_buffer)
+ ($.definition /.get_registry)
+ ($.definition /.set_registry)
+ ($.definition /.next)
+ ($.definition /.symbol)
+ ($.definition /.enter_module)
+ ($.definition /.module)
+ ($.definition /.evaluate!)
+ ($.definition /.execute!)
+ ($.definition /.define!)
+ ($.definition /.save!)
+ ($.definition /.learn)
+ ($.definition /.learn_custom)
+ ($.definition /.learn_analyser)
+ ($.definition /.learn_synthesizer)
+ ($.definition /.learn_generator)
+ ($.definition /.learn_declaration)
+ ($.definition /.unknown_definition)
+ ($.definition /.remember)
+ ($.definition /.no_context)
+ ($.definition /.module_id)
+ ($.definition /.context)
+ ($.definition /.with_context)
+ ($.definition /.with_new_context)
+ ($.definition /.log!)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/compiler/language/lux/synthesis.lux b/stdlib/source/documentation/lux/meta/compiler/language/lux/synthesis.lux
index d852e20ff..3ddafebcc 100644
--- a/stdlib/source/documentation/lux/meta/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/language/lux/synthesis.lux
@@ -18,11 +18,11 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.cannot_parse)
- ($.default \\parser.unconsumed_input)
- ($.default \\parser.expected_empty_input)
- ($.default \\parser.wrong_arity)
- ($.default \\parser.empty_input)
+ [($.definition \\parser.cannot_parse)
+ ($.definition \\parser.unconsumed_input)
+ ($.definition \\parser.expected_empty_input)
+ ($.definition \\parser.wrong_arity)
+ ($.definition \\parser.empty_input)
($.definition (\\parser.Parser it)
"A parser for the Lux compiler's synthesis nodes using during optimization.")
@@ -73,70 +73,70 @@
(.List $.Module)
($.module /._
""
- [($.default /.Resolver)
- ($.default /.State)
- ($.default /.fresh_resolver)
- ($.default /.init)
- ($.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/again)
- ($.default /.loop/scope)
- ($.default /.function/abstraction)
- ($.default /.function/apply)
- ($.default /.%path')
- ($.default /.%synthesis)
- ($.default /.%path)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.!bind_top)
- ($.default /.!multi_pop)
- ($.default /.simple_left_side)
- ($.default /.simple_right_side)]
+ [($.definition /.Resolver)
+ ($.definition /.State)
+ ($.definition /.fresh_resolver)
+ ($.definition /.init)
+ ($.definition /.Fork)
+ ($.definition /.Path')
+ ($.definition /.Abstraction')
+ ($.definition /.Apply')
+ ($.definition /.Branch)
+ ($.definition /.Scope)
+ ($.definition /.Loop)
+ ($.definition /.Function)
+ ($.definition /.Control)
+ ($.definition /.Synthesis)
+ ($.definition /.State+)
+ ($.definition /.Operation)
+ ($.definition /.Phase)
+ ($.definition /.Handler)
+ ($.definition /.Bundle)
+ ($.definition /.Path)
+ ($.definition /.path/pop)
+ ($.definition /.path/side)
+ ($.definition /.path/member)
+ ($.definition /.side/left)
+ ($.definition /.side/right)
+ ($.definition /.member/left)
+ ($.definition /.member/right)
+ ($.definition /.path/bind)
+ ($.definition /.path/then)
+ ($.definition /.path/alt)
+ ($.definition /.path/seq)
+ ($.definition /.Abstraction)
+ ($.definition /.Apply)
+ ($.definition /.unit)
+ ($.definition /.with_locals)
+ ($.definition /.locals)
+ ($.definition /.with_currying?)
+ ($.definition /.currying?)
+ ($.definition /.with_new_local)
+ ($.definition /.bit)
+ ($.definition /.i64)
+ ($.definition /.f64)
+ ($.definition /.text)
+ ($.definition /.variant)
+ ($.definition /.tuple)
+ ($.definition /.variable)
+ ($.definition /.constant)
+ ($.definition /.variable/local)
+ ($.definition /.variable/foreign)
+ ($.definition /.branch/case)
+ ($.definition /.branch/let)
+ ($.definition /.branch/if)
+ ($.definition /.branch/get)
+ ($.definition /.loop/again)
+ ($.definition /.loop/scope)
+ ($.definition /.function/abstraction)
+ ($.definition /.function/apply)
+ ($.definition /.%path')
+ ($.definition /.%synthesis)
+ ($.definition /.%path)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.!bind_top)
+ ($.definition /.!multi_pop)
+ ($.definition /.simple_left_side)
+ ($.definition /.simple_right_side)]
[..\\parser]))
diff --git a/stdlib/source/documentation/lux/meta/compiler/phase.lux b/stdlib/source/documentation/lux/meta/compiler/phase.lux
index 5efcf5d0f..84a898c31 100644
--- a/stdlib/source/documentation/lux/meta/compiler/phase.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/phase.lux
@@ -14,19 +14,19 @@
(.List $.Module)
($.module /._
""
- [($.default /.Operation)
- ($.default /.monad)
- ($.default /.Phase)
- ($.default /.Wrapper)
- ($.default /.result')
- ($.default /.result)
- ($.default /.state)
- ($.default /.with)
- ($.default /.sub)
- ($.default /.failure)
- ($.default /.except)
- ($.default /.lifted)
- ($.default /.assertion)
- ($.default /.identity)
- ($.default /.composite)]
+ [($.definition /.Operation)
+ ($.definition /.monad)
+ ($.definition /.Phase)
+ ($.definition /.Wrapper)
+ ($.definition /.result')
+ ($.definition /.result)
+ ($.definition /.state)
+ ($.definition /.with)
+ ($.definition /.sub)
+ ($.definition /.failure)
+ ($.definition /.except)
+ ($.definition /.lifted)
+ ($.definition /.assertion)
+ ($.definition /.identity)
+ ($.definition /.composite)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/location.lux b/stdlib/source/documentation/lux/meta/location.lux
index fa3d7d900..9f587ef9e 100644
--- a/stdlib/source/documentation/lux/meta/location.lux
+++ b/stdlib/source/documentation/lux/meta/location.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.dummy)
- ($.default /.format)
+ [($.definition /.equivalence)
+ ($.definition /.dummy)
+ ($.definition /.format)
($.definition /.here
"The Location of the current form."
diff --git a/stdlib/source/documentation/lux/meta/macro/local.lux b/stdlib/source/documentation/lux/meta/macro/local.lux
index 153b6296a..8c2ccb00c 100644
--- a/stdlib/source/documentation/lux/meta/macro/local.lux
+++ b/stdlib/source/documentation/lux/meta/macro/local.lux
@@ -14,9 +14,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.unknown_module)
- ($.default /.cannot_shadow_definition)
- ($.default /.unknown_definition)
+ [($.definition /.unknown_module)
+ ($.definition /.cannot_shadow_definition)
+ ($.definition /.unknown_definition)
($.definition /.push
(format "Installs macros in the compiler-state, with the given names."
diff --git a/stdlib/source/documentation/lux/meta/macro/syntax/check.lux b/stdlib/source/documentation/lux/meta/macro/syntax/check.lux
index a63c5b67f..a793bb3e3 100644
--- a/stdlib/source/documentation/lux/meta/macro/syntax/check.lux
+++ b/stdlib/source/documentation/lux/meta/macro/syntax/check.lux
@@ -14,9 +14,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.format)
- ($.default /.parser)
+ [($.definition /.equivalence)
+ ($.definition /.format)
+ ($.definition /.parser)
($.definition /.Check
"A type annotation for an expression.")]
diff --git a/stdlib/source/documentation/lux/meta/macro/syntax/declaration.lux b/stdlib/source/documentation/lux/meta/macro/syntax/declaration.lux
index bda1526c5..07dd4ddc3 100644
--- a/stdlib/source/documentation/lux/meta/macro/syntax/declaration.lux
+++ b/stdlib/source/documentation/lux/meta/macro/syntax/declaration.lux
@@ -14,8 +14,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.format)
+ [($.definition /.equivalence)
+ ($.definition /.format)
($.definition /.Declaration
"A declaration for either a constant or a function.")
diff --git a/stdlib/source/documentation/lux/meta/macro/syntax/definition.lux b/stdlib/source/documentation/lux/meta/macro/syntax/definition.lux
index 12a6e12dd..9434e3cf6 100644
--- a/stdlib/source/documentation/lux/meta/macro/syntax/definition.lux
+++ b/stdlib/source/documentation/lux/meta/macro/syntax/definition.lux
@@ -14,9 +14,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.lacks_type)
- ($.default /.format)
+ [($.definition /.equivalence)
+ ($.definition /.lacks_type)
+ ($.definition /.format)
($.definition /.Definition
"Syntax for a constant definition.")
diff --git a/stdlib/source/documentation/lux/meta/macro/syntax/export.lux b/stdlib/source/documentation/lux/meta/macro/syntax/export.lux
index a2b9b2f57..2ebed7afa 100644
--- a/stdlib/source/documentation/lux/meta/macro/syntax/export.lux
+++ b/stdlib/source/documentation/lux/meta/macro/syntax/export.lux
@@ -14,7 +14,7 @@
(.List $.Module)
($.module /._
"Syntax for marking a definition as an export."
- [($.default /.default_policy)
+ [($.definition /.default_policy)
($.definition /.parser
""
diff --git a/stdlib/source/documentation/lux/meta/macro/syntax/input.lux b/stdlib/source/documentation/lux/meta/macro/syntax/input.lux
index f6f81e081..b0e2507da 100644
--- a/stdlib/source/documentation/lux/meta/macro/syntax/input.lux
+++ b/stdlib/source/documentation/lux/meta/macro/syntax/input.lux
@@ -14,8 +14,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.format)
+ [($.definition /.equivalence)
+ ($.definition /.format)
($.definition /.Input
"The common typed-argument syntax used by many macros.")
diff --git a/stdlib/source/documentation/lux/meta/macro/syntax/type/variable.lux b/stdlib/source/documentation/lux/meta/macro/syntax/type/variable.lux
index 87a08badd..5c5e1144a 100644
--- a/stdlib/source/documentation/lux/meta/macro/syntax/type/variable.lux
+++ b/stdlib/source/documentation/lux/meta/macro/syntax/type/variable.lux
@@ -14,8 +14,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.format)
+ [($.definition /.equivalence)
+ ($.definition /.format)
($.definition /.Variable
"A variable's name.")
diff --git a/stdlib/source/documentation/lux/meta/macro/template.lux b/stdlib/source/documentation/lux/meta/macro/template.lux
index b28454262..bbeafc367 100644
--- a/stdlib/source/documentation/lux/meta/macro/template.lux
+++ b/stdlib/source/documentation/lux/meta/macro/template.lux
@@ -14,7 +14,7 @@
(.List $.Module)
($.module /._
"Utilities commonly used while templating."
- [($.default /.irregular_arguments)
+ [($.definition /.irregular_arguments)
($.definition /.spliced
""
diff --git a/stdlib/source/documentation/lux/meta/symbol.lux b/stdlib/source/documentation/lux/meta/symbol.lux
index 929a54f69..ae3ac84dd 100644
--- a/stdlib/source/documentation/lux/meta/symbol.lux
+++ b/stdlib/source/documentation/lux/meta/symbol.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.hash)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.codec)
+ [($.definition /.hash)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.codec)
($.definition /.module
"The module part of a symbol.")
diff --git a/stdlib/source/documentation/lux/meta/target.lux b/stdlib/source/documentation/lux/meta/target.lux
index 7a7fd454c..8b3676d7f 100644
--- a/stdlib/source/documentation/lux/meta/target.lux
+++ b/stdlib/source/documentation/lux/meta/target.lux
@@ -20,16 +20,16 @@
(.List $.Module)
($.module /._
""
- [($.default /.old)
- ($.default /.js)
- ($.default /.jvm)
- ($.default /.lua)
- ($.default /.python)
- ($.default /.ruby)
- ($.default /.common_lisp)
- ($.default /.php)
- ($.default /.r)
- ($.default /.scheme)
+ [($.definition /.old)
+ ($.definition /.js)
+ ($.definition /.jvm)
+ ($.definition /.lua)
+ ($.definition /.python)
+ ($.definition /.ruby)
+ ($.definition /.common_lisp)
+ ($.definition /.php)
+ ($.definition /.r)
+ ($.definition /.scheme)
($.definition /.Target
(format "The name/ID of a platform targetted by a Lux compiler."
diff --git a/stdlib/source/documentation/lux/meta/target/js.lux b/stdlib/source/documentation/lux/meta/target/js.lux
index 68f67d560..2668e038f 100644
--- a/stdlib/source/documentation/lux/meta/target/js.lux
+++ b/stdlib/source/documentation/lux/meta/target/js.lux
@@ -14,84 +14,84 @@
(.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_definition)
- ($.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 /.not_a_number?)]
+ [($.definition /.Code)
+ ($.definition /.code)
+ ($.definition /.Expression)
+ ($.definition /.Computation)
+ ($.definition /.Location)
+ ($.definition /.Statement)
+ ($.definition /.Var)
+ ($.definition /.Access)
+ ($.definition /.Literal)
+ ($.definition /.Loop)
+ ($.definition /.Label)
+ ($.definition /.null)
+ ($.definition /.undefined)
+ ($.definition /.boolean)
+ ($.definition /.number)
+ ($.definition /.string)
+ ($.definition /.array)
+ ($.definition /.var)
+ ($.definition /.at)
+ ($.definition /.the)
+ ($.definition /.apply)
+ ($.definition /.do)
+ ($.definition /.object)
+ ($.definition /.,)
+ ($.definition /.then)
+ ($.definition /.function_definition)
+ ($.definition /.function)
+ ($.definition /.closure)
+ ($.definition /.=)
+ ($.definition /.<)
+ ($.definition /.<=)
+ ($.definition /.>)
+ ($.definition /.>=)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.*)
+ ($.definition /./)
+ ($.definition /.%)
+ ($.definition /.left_shift)
+ ($.definition /.arithmetic_right_shift)
+ ($.definition /.logic_right_shift)
+ ($.definition /.or)
+ ($.definition /.and)
+ ($.definition /.bit_xor)
+ ($.definition /.bit_or)
+ ($.definition /.bit_and)
+ ($.definition /.not)
+ ($.definition /.bit_not)
+ ($.definition /.opposite)
+ ($.definition /.to_i32)
+ ($.definition /.i32)
+ ($.definition /.int)
+ ($.definition /.?)
+ ($.definition /.type_of)
+ ($.definition /.new)
+ ($.definition /.statement)
+ ($.definition /.use_strict)
+ ($.definition /.declare)
+ ($.definition /.define)
+ ($.definition /.set)
+ ($.definition /.throw)
+ ($.definition /.return)
+ ($.definition /.delete)
+ ($.definition /.if)
+ ($.definition /.when)
+ ($.definition /.while)
+ ($.definition /.do_while)
+ ($.definition /.try)
+ ($.definition /.for)
+ ($.definition /.label)
+ ($.definition /.with_label)
+ ($.definition /.break)
+ ($.definition /.break_at)
+ ($.definition /.continue)
+ ($.definition /.continue_at)
+ ($.definition /.++)
+ ($.definition /.--)
+ ($.definition /.comment)
+ ($.definition /.switch)
+ ($.definition /.not_a_number?)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type.lux b/stdlib/source/documentation/lux/meta/target/jvm/type.lux
index 39bded852..4b0705c7e 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type.lux
@@ -23,37 +23,37 @@
(.List $.Module)
($.module /._
""
- [($.default /.Type)
- ($.default /.Argument)
- ($.default /.Typed)
- ($.default /.Constraint)
- ($.default /.signature)
- ($.default /.descriptor)
- ($.default /.reflection)
- ($.default /.void)
- ($.default /.boolean)
- ($.default /.byte)
- ($.default /.short)
- ($.default /.int)
- ($.default /.long)
- ($.default /.float)
- ($.default /.double)
- ($.default /.char)
- ($.default /.array)
- ($.default /.class)
- ($.default /.declaration)
- ($.default /.as_class)
- ($.default /.wildcard)
- ($.default /.var)
- ($.default /.lower)
- ($.default /.upper)
- ($.default /.method)
- ($.default /.equivalence)
- ($.default /.hash)
- ($.default /.primitive?)
- ($.default /.void?)
- ($.default /.class?)
- ($.default /.format)]
+ [($.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
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 d8e17f39a..a95f2515a 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/alias.lux
@@ -14,7 +14,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.Aliasing)
- ($.default /.fresh)
- ($.default /.method)]
+ [($.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 1f393eb2e..55bb96b15 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/box.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/box.lux
@@ -14,12 +14,12 @@
(.List $.Module)
($.module /._
""
- [($.default /.boolean)
- ($.default /.byte)
- ($.default /.short)
- ($.default /.int)
- ($.default /.long)
- ($.default /.float)
- ($.default /.double)
- ($.default /.char)]
+ [($.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 123041fcb..670dd0b25 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/category.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/category.lux
@@ -14,17 +14,17 @@
(.List $.Module)
($.module /._
""
- [($.default /.Method)
- ($.default /.Return')
- ($.default /.Value')
- ($.default /.Return)
- ($.default /.Value)
- ($.default /.Void)
- ($.default /.Object)
- ($.default /.Parameter)
- ($.default /.Primitive)
- ($.default /.Var)
- ($.default /.Class)
- ($.default /.Array)
- ($.default /.Declaration)]
+ [($.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 8a484151c..7df3c49e6 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/descriptor.lux
@@ -14,29 +14,29 @@
(.List $.Module)
($.module /._
""
- [($.default /.Descriptor)
- ($.default /.descriptor)
- ($.default /.void)
- ($.default /.boolean)
- ($.default /.byte)
- ($.default /.short)
- ($.default /.int)
- ($.default /.long)
- ($.default /.float)
- ($.default /.double)
- ($.default /.char)
- ($.default /.class_prefix)
- ($.default /.class_suffix)
- ($.default /.class)
- ($.default /.declaration)
- ($.default /.as_class)
- ($.default /.var)
- ($.default /.wildcard)
- ($.default /.lower)
- ($.default /.upper)
- ($.default /.array_prefix)
- ($.default /.array)
- ($.default /.method)
- ($.default /.equivalence)
- ($.default /.class_name)]
+ [($.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 408b5c6f4..12f08046b 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux
@@ -14,15 +14,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.Lower)
- ($.default /.Upper)
- ($.default /.Mapping)
- ($.default /.fresh)
- ($.default /.unknown_var)
- ($.default /.class)
- ($.default /.type)
- ($.default /.boxed_type)
- ($.default /.return)
- ($.default /.boxed_return)
- ($.default /.check)]
+ [($.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 81e9d4bee..e647e1a81 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/parser.lux
@@ -14,40 +14,40 @@
(.List $.Module)
($.module /._
""
- [($.default /.void)
- ($.default /.boolean)
- ($.default /.byte)
- ($.default /.short)
- ($.default /.int)
- ($.default /.long)
- ($.default /.float)
- ($.default /.double)
- ($.default /.char)
- ($.default /.wildcard)
- ($.default /.primitive)
- ($.default /.class_name)
- ($.default /.var_name)
- ($.default /.var')
- ($.default /.var)
- ($.default /.var?)
- ($.default /.name)
- ($.default /.parameter)
- ($.default /.array')
- ($.default /.class)
- ($.default /.lower?)
- ($.default /.upper?)
- ($.default /.read_class)
- ($.default /.value)
- ($.default /.array)
- ($.default /.object)
- ($.default /.return)
- ($.default /.method)
- ($.default /.array?)
- ($.default /.class?)
- ($.default /.primitive?)
- ($.default /.wildcard?)
- ($.default /.parameter?)
- ($.default /.object?)
- ($.default /.declaration')
- ($.default /.declaration)]
+ [($.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 64ecb135c..4ffeb078b 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/reflection.lux
@@ -14,24 +14,24 @@
(.List $.Module)
($.module /._
""
- [($.default /.Reflection)
- ($.default /.reflection)
- ($.default /.equivalence)
- ($.default /.void)
- ($.default /.boolean)
- ($.default /.byte)
- ($.default /.short)
- ($.default /.int)
- ($.default /.long)
- ($.default /.float)
- ($.default /.double)
- ($.default /.char)
- ($.default /.class)
- ($.default /.declaration)
- ($.default /.as_class)
- ($.default /.array)
- ($.default /.var)
- ($.default /.wildcard)
- ($.default /.lower)
- ($.default /.upper)]
+ [($.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 8991f34ee..f7454baf0 100644
--- a/stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux
+++ b/stdlib/source/documentation/lux/meta/target/jvm/type/signature.lux
@@ -14,35 +14,35 @@
(.List $.Module)
($.module /._
""
- [($.default /.Signature)
- ($.default /.signature)
- ($.default /.void)
- ($.default /.boolean)
- ($.default /.byte)
- ($.default /.short)
- ($.default /.int)
- ($.default /.long)
- ($.default /.float)
- ($.default /.double)
- ($.default /.char)
- ($.default /.array)
- ($.default /.wildcard)
- ($.default /.var_prefix)
- ($.default /.var)
- ($.default /.var_name)
- ($.default /.lower_prefix)
- ($.default /.upper_prefix)
- ($.default /.lower)
- ($.default /.upper)
- ($.default /.parameters_start)
- ($.default /.parameters_end)
- ($.default /.class)
- ($.default /.declaration)
- ($.default /.as_class)
- ($.default /.arguments_start)
- ($.default /.arguments_end)
- ($.default /.exception_prefix)
- ($.default /.method)
- ($.default /.equivalence)
- ($.default /.hash)]
+ [($.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)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/target/lua.lux b/stdlib/source/documentation/lux/meta/target/lua.lux
index dbbd515a5..34bd530d3 100644
--- a/stdlib/source/documentation/lux/meta/target/lua.lux
+++ b/stdlib/source/documentation/lux/meta/target/lua.lux
@@ -14,79 +14,79 @@
(.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 /.boolean)
- ($.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 /.error/1)
- ($.default /.print/1)
- ($.default /.require/1)
- ($.default /.type/1)
- ($.default /.ipairs/1)
- ($.default /.error/2)]
+ [($.definition /.Code)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.manual)
+ ($.definition /.code)
+ ($.definition /.Expression)
+ ($.definition /.Computation)
+ ($.definition /.Location)
+ ($.definition /.Statement)
+ ($.definition /.Literal)
+ ($.definition /.Var)
+ ($.definition /.Access)
+ ($.definition /.Label)
+ ($.definition /.nil)
+ ($.definition /.boolean)
+ ($.definition /.int)
+ ($.definition /.float)
+ ($.definition /.string)
+ ($.definition /.multi)
+ ($.definition /.array)
+ ($.definition /.table)
+ ($.definition /.item)
+ ($.definition /.the)
+ ($.definition /.length)
+ ($.definition /.apply)
+ ($.definition /.do)
+ ($.definition /.=)
+ ($.definition /.<)
+ ($.definition /.<=)
+ ($.definition /.>)
+ ($.definition /.>=)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.*)
+ ($.definition /.^)
+ ($.definition /./)
+ ($.definition /.//)
+ ($.definition /.%)
+ ($.definition /.concat)
+ ($.definition /.or)
+ ($.definition /.and)
+ ($.definition /.bit_or)
+ ($.definition /.bit_and)
+ ($.definition /.bit_xor)
+ ($.definition /.bit_shl)
+ ($.definition /.bit_shr)
+ ($.definition /.not)
+ ($.definition /.opposite)
+ ($.definition /.var)
+ ($.definition /.label)
+ ($.definition /.statement)
+ ($.definition /.then)
+ ($.definition /.local)
+ ($.definition /.set)
+ ($.definition /.let)
+ ($.definition /.local/1)
+ ($.definition /.if)
+ ($.definition /.when)
+ ($.definition /.while)
+ ($.definition /.repeat)
+ ($.definition /.for_in)
+ ($.definition /.for_step)
+ ($.definition /.return)
+ ($.definition /.closure)
+ ($.definition /.function)
+ ($.definition /.local_function)
+ ($.definition /.break)
+ ($.definition /.set_label)
+ ($.definition /.go_to)
+ ($.definition /.error/1)
+ ($.definition /.print/1)
+ ($.definition /.require/1)
+ ($.definition /.type/1)
+ ($.definition /.ipairs/1)
+ ($.definition /.error/2)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/target/python.lux b/stdlib/source/documentation/lux/meta/target/python.lux
index c531707ae..952032825 100644
--- a/stdlib/source/documentation/lux/meta/target/python.lux
+++ b/stdlib/source/documentation/lux/meta/target/python.lux
@@ -14,99 +14,99 @@
(.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 /.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 /.splat_poly)
- ($.default /.splat_keyword)
- ($.default /.the)
- ($.default /.do)
- ($.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 /.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)]
+ [($.definition /.Code)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.manual)
+ ($.definition /.code)
+ ($.definition /.Expression)
+ ($.definition /.Computation)
+ ($.definition /.Location)
+ ($.definition /.Var)
+ ($.definition /.Statement)
+ ($.definition /.Literal)
+ ($.definition /.Access)
+ ($.definition /.Loop)
+ ($.definition /.SVar)
+ ($.definition /.Single)
+ ($.definition /.PVar)
+ ($.definition /.Poly)
+ ($.definition /.KVar)
+ ($.definition /.Keyword)
+ ($.definition /.var)
+ ($.definition /.poly)
+ ($.definition /.keyword)
+ ($.definition /.none)
+ ($.definition /.bool)
+ ($.definition /.int)
+ ($.definition /.long)
+ ($.definition /.float)
+ ($.definition /.string)
+ ($.definition /.unicode)
+ ($.definition /.tuple)
+ ($.definition /.list)
+ ($.definition /.slice)
+ ($.definition /.slice_from)
+ ($.definition /.dict)
+ ($.definition /.apply)
+ ($.definition /.splat_poly)
+ ($.definition /.splat_keyword)
+ ($.definition /.the)
+ ($.definition /.do)
+ ($.definition /.item)
+ ($.definition /.?)
+ ($.definition /.is)
+ ($.definition /.=)
+ ($.definition /.<)
+ ($.definition /.<=)
+ ($.definition /.>)
+ ($.definition /.>=)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.*)
+ ($.definition /./)
+ ($.definition /.//)
+ ($.definition /.%)
+ ($.definition /.**)
+ ($.definition /.bit_or)
+ ($.definition /.bit_and)
+ ($.definition /.bit_xor)
+ ($.definition /.bit_shl)
+ ($.definition /.bit_shr)
+ ($.definition /.or)
+ ($.definition /.and)
+ ($.definition /.not)
+ ($.definition /.opposite)
+ ($.definition /.lambda)
+ ($.definition /.set)
+ ($.definition /.delete)
+ ($.definition /.if)
+ ($.definition /.when)
+ ($.definition /.then)
+ ($.definition /.break)
+ ($.definition /.continue)
+ ($.definition /.while)
+ ($.definition /.for_in)
+ ($.definition /.statement)
+ ($.definition /.pass)
+ ($.definition /.Except)
+ ($.definition /.try)
+ ($.definition /.raise)
+ ($.definition /.return)
+ ($.definition /.print)
+ ($.definition /.exec)
+ ($.definition /.def)
+ ($.definition /.import)
+ ($.definition /.comment)
+ ($.definition /.str/1)
+ ($.definition /.ord/1)
+ ($.definition /.float/1)
+ ($.definition /.int/1)
+ ($.definition /.len/1)
+ ($.definition /.chr/1)
+ ($.definition /.unichr/1)
+ ($.definition /.unicode/1)
+ ($.definition /.repr/1)
+ ($.definition /.__import__/1)
+ ($.definition /.Exception/1)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/target/ruby.lux b/stdlib/source/documentation/lux/meta/target/ruby.lux
index a678fe81b..7116cb82f 100644
--- a/stdlib/source/documentation/lux/meta/target/ruby.lux
+++ b/stdlib/source/documentation/lux/meta/target/ruby.lux
@@ -14,100 +14,100 @@
(.List $.Module)
($.module /._
""
- [($.default /.Code)
- ($.default /.equivalence)
- ($.default /.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_message)
- ($.default /.latest_error_location)
- ($.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 /.print/1)
- ($.default /.require/1)
- ($.default /.print/2)
- ($.default /.throw/1)]
+ [($.definition /.Code)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
+ ($.definition /.manual)
+ ($.definition /.code)
+ ($.definition /.Expression)
+ ($.definition /.Computation)
+ ($.definition /.Location)
+ ($.definition /.Var)
+ ($.definition /.LVar)
+ ($.definition /.Statement)
+ ($.definition /.Literal)
+ ($.definition /.Access)
+ ($.definition /.GVar)
+ ($.definition /.IVar)
+ ($.definition /.SVar)
+ ($.definition /.LVar*)
+ ($.definition /.LVar**)
+ ($.definition /.global)
+ ($.definition /.instance)
+ ($.definition /.static)
+ ($.definition /.local)
+ ($.definition /.variadic)
+ ($.definition /.splat)
+ ($.definition /.variadic_kv)
+ ($.definition /.double_splat)
+ ($.definition /.latest_error_message)
+ ($.definition /.latest_error_location)
+ ($.definition /.last_string_read)
+ ($.definition /.last_line_number_read)
+ ($.definition /.last_string_matched)
+ ($.definition /.last_regexp_match)
+ ($.definition /.case_insensitivity_flag)
+ ($.definition /.input_record_separator)
+ ($.definition /.output_record_separator)
+ ($.definition /.script_name)
+ ($.definition /.process_id)
+ ($.definition /.exit_status)
+ ($.definition /.command_line_arguments)
+ ($.definition /.nil)
+ ($.definition /.bool)
+ ($.definition /.int)
+ ($.definition /.string)
+ ($.definition /.symbol)
+ ($.definition /.float)
+ ($.definition /.array_range)
+ ($.definition /.array)
+ ($.definition /.hash)
+ ($.definition /.apply)
+ ($.definition /.apply_lambda)
+ ($.definition /.the)
+ ($.definition /.item)
+ ($.definition /.?)
+ ($.definition /.statement)
+ ($.definition /.then)
+ ($.definition /.set)
+ ($.definition /.if)
+ ($.definition /.when)
+ ($.definition /.while)
+ ($.definition /.for_in)
+ ($.definition /.Rescue)
+ ($.definition /.begin)
+ ($.definition /.catch)
+ ($.definition /.return)
+ ($.definition /.raise)
+ ($.definition /.next)
+ ($.definition /.redo)
+ ($.definition /.break)
+ ($.definition /.function)
+ ($.definition /.lambda)
+ ($.definition /.=)
+ ($.definition /.<)
+ ($.definition /.<=)
+ ($.definition /.>)
+ ($.definition /.>=)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.*)
+ ($.definition /./)
+ ($.definition /.%)
+ ($.definition /.pow)
+ ($.definition /.or)
+ ($.definition /.and)
+ ($.definition /.bit_or)
+ ($.definition /.bit_and)
+ ($.definition /.bit_xor)
+ ($.definition /.bit_shl)
+ ($.definition /.bit_shr)
+ ($.definition /.not)
+ ($.definition /.opposite)
+ ($.definition /.comment)
+ ($.definition /.do)
+ ($.definition /.print/1)
+ ($.definition /.require/1)
+ ($.definition /.print/2)
+ ($.definition /.throw/1)]
[]))
diff --git a/stdlib/source/documentation/lux/meta/type.lux b/stdlib/source/documentation/lux/meta/type.lux
index c357029c5..b0736757a 100644
--- a/stdlib/source/documentation/lux/meta/type.lux
+++ b/stdlib/source/documentation/lux/meta/type.lux
@@ -28,23 +28,23 @@
($.module \\parser._
(format "Parsing of Lux types."
\n "Used mostly for polytypic programming.")
- [($.default \\parser.not_existential)
- ($.default \\parser.not_recursive)
- ($.default \\parser.not_named)
- ($.default \\parser.not_parameter)
- ($.default \\parser.unknown_parameter)
- ($.default \\parser.not_function)
- ($.default \\parser.not_application)
- ($.default \\parser.not_polymorphic)
- ($.default \\parser.not_variant)
- ($.default \\parser.not_tuple)
- ($.default \\parser.types_do_not_match)
- ($.default \\parser.wrong_parameter)
- ($.default \\parser.empty_input)
- ($.default \\parser.unconsumed_input)
- ($.default \\parser.parameter)
- ($.default \\parser.recursive_self)
- ($.default \\parser.recursive_call)
+ [($.definition \\parser.not_existential)
+ ($.definition \\parser.not_recursive)
+ ($.definition \\parser.not_named)
+ ($.definition \\parser.not_parameter)
+ ($.definition \\parser.unknown_parameter)
+ ($.definition \\parser.not_function)
+ ($.definition \\parser.not_application)
+ ($.definition \\parser.not_polymorphic)
+ ($.definition \\parser.not_variant)
+ ($.definition \\parser.not_tuple)
+ ($.definition \\parser.types_do_not_match)
+ ($.definition \\parser.wrong_parameter)
+ ($.definition \\parser.empty_input)
+ ($.definition \\parser.unconsumed_input)
+ ($.definition \\parser.parameter)
+ ($.definition \\parser.recursive_self)
+ ($.definition \\parser.recursive_call)
($.definition \\parser.Env
"An environment for type parsing.")
@@ -129,7 +129,7 @@
(.List $.Module)
($.module /._
"Basic functionality for working with types."
- [($.default /.equivalence)
+ [($.definition /.equivalence)
(,, (with_template [<name>]
[($.definition <name>
diff --git a/stdlib/source/documentation/lux/meta/type/check.lux b/stdlib/source/documentation/lux/meta/type/check.lux
index 312eba27d..ba4009ed4 100644
--- a/stdlib/source/documentation/lux/meta/type/check.lux
+++ b/stdlib/source/documentation/lux/meta/type/check.lux
@@ -12,17 +12,17 @@
(.List $.Module)
($.module /._
"Type-checking functionality."
- [($.default /.unknown_type_var)
- ($.default /.unbound_type_var)
- ($.default /.invalid_type_application)
- ($.default /.cannot_rebind_var)
- ($.default /.type_check_failed)
- ($.default /.functor)
- ($.default /.apply)
- ($.default /.monad)
- ($.default /.bound?)
- ($.default /.peek)
- ($.default /.read)
+ [($.definition /.unknown_type_var)
+ ($.definition /.unbound_type_var)
+ ($.definition /.invalid_type_application)
+ ($.definition /.cannot_rebind_var)
+ ($.definition /.type_check_failed)
+ ($.definition /.functor)
+ ($.definition /.apply)
+ ($.definition /.monad)
+ ($.definition /.bound?)
+ ($.definition /.peek)
+ ($.definition /.read)
($.definition /.Var
"The ID for a type-variable in a type-checking context.")
diff --git a/stdlib/source/documentation/lux/meta/type/dynamic.lux b/stdlib/source/documentation/lux/meta/type/dynamic.lux
index 7224fa3cf..596bbb610 100644
--- a/stdlib/source/documentation/lux/meta/type/dynamic.lux
+++ b/stdlib/source/documentation/lux/meta/type/dynamic.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.wrong_type)
- ($.default /.format)
+ [($.definition /.wrong_type)
+ ($.definition /.format)
($.definition /.Dynamic
"A value coupled with its type, so it can be checked later.")
diff --git a/stdlib/source/documentation/lux/meta/type/poly.lux b/stdlib/source/documentation/lux/meta/type/poly.lux
index 26cd6c823..dd562c4df 100644
--- a/stdlib/source/documentation/lux/meta/type/poly.lux
+++ b/stdlib/source/documentation/lux/meta/type/poly.lux
@@ -16,7 +16,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.polytypic)
+ [($.definition /.polytypic)
($.definition /.code
""
diff --git a/stdlib/source/documentation/lux/meta/type/quotient.lux b/stdlib/source/documentation/lux/meta/type/quotient.lux
index a8c16fd4b..58f9edfd5 100644
--- a/stdlib/source/documentation/lux/meta/type/quotient.lux
+++ b/stdlib/source/documentation/lux/meta/type/quotient.lux
@@ -12,10 +12,10 @@
(.List $.Module)
($.module /._
""
- [($.default /.class)
- ($.default /.value)
- ($.default /.label)
- ($.default /.equivalence)
+ [($.definition /.class)
+ ($.definition /.value)
+ ($.definition /.label)
+ ($.definition /.equivalence)
($.definition (/.Class value label)
"The class knows how to classify/label values that are meant to be equivalent to one another.")
diff --git a/stdlib/source/documentation/lux/meta/type/refinement.lux b/stdlib/source/documentation/lux/meta/type/refinement.lux
index 0ae9d91f0..7342da0dc 100644
--- a/stdlib/source/documentation/lux/meta/type/refinement.lux
+++ b/stdlib/source/documentation/lux/meta/type/refinement.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.value)
- ($.default /.predicate)
+ [($.definition /.value)
+ ($.definition /.predicate)
($.definition (/.Refined it)
"A refined version of another type, using a predicate to select valid instances.")
diff --git a/stdlib/source/documentation/lux/meta/type/resource.lux b/stdlib/source/documentation/lux/meta/type/resource.lux
index 6d6596cbf..5003b7896 100644
--- a/stdlib/source/documentation/lux/meta/type/resource.lux
+++ b/stdlib/source/documentation/lux/meta/type/resource.lux
@@ -12,9 +12,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.monad)
- ($.default /.index_cannot_be_repeated)
- ($.default /.amount_cannot_be_zero)
+ [($.definition /.monad)
+ ($.definition /.index_cannot_be_repeated)
+ ($.definition /.amount_cannot_be_zero)
($.definition (/.Procedure monad input output value)
(format "A computation that takes a sequence of resource access rights as inputs and yields a different sequence as outputs."
diff --git a/stdlib/source/documentation/lux/meta/type/unit.lux b/stdlib/source/documentation/lux/meta/type/unit.lux
index e2ecdf84d..5ad54ced9 100644
--- a/stdlib/source/documentation/lux/meta/type/unit.lux
+++ b/stdlib/source/documentation/lux/meta/type/unit.lux
@@ -18,25 +18,25 @@
(.List $.Module)
($.module /._
""
- [($.default /.Gram)
- ($.default /.Meter)
- ($.default /.Litre)
- ($.default /.Second)
- ... ($.default /.pure)
- ($.default /.number)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.enum)
- ... ($.default /.Kilo)
- ... ($.default /.Mega)
- ... ($.default /.Giga)
- ... ($.default /.Milli)
- ... ($.default /.Micro)
- ... ($.default /.Nano)
- ($.default /.+)
- ($.default /.-)
- ($.default /.*)
- ($.default /./)
+ [($.definition /.Gram)
+ ($.definition /.Meter)
+ ($.definition /.Litre)
+ ($.definition /.Second)
+ ... ($.definition /.pure)
+ ($.definition /.number)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ... ($.definition /.Kilo)
+ ... ($.definition /.Mega)
+ ... ($.definition /.Giga)
+ ... ($.definition /.Milli)
+ ... ($.definition /.Micro)
+ ... ($.definition /.Nano)
+ ($.definition /.+)
+ ($.definition /.-)
+ ($.definition /.*)
+ ($.definition /./)
($.definition (/.Measure unit)
"A quantity with an associated unit of measurement.")
diff --git a/stdlib/source/documentation/lux/test.lux b/stdlib/source/documentation/lux/test.lux
index 289f668f1..c66aa8eac 100644
--- a/stdlib/source/documentation/lux/test.lux
+++ b/stdlib/source/documentation/lux/test.lux
@@ -12,8 +12,8 @@
(.List $.Module)
($.module /._
"Tools for unit & property-based/generative testing."
- [($.default /.must_try_test_at_least_once)
- ($.default /.error_during_execution)
+ [($.definition /.must_try_test_at_least_once)
+ ($.definition /.error_during_execution)
($.definition /.Tally
"A record of successes and failures while executing tests.")
diff --git a/stdlib/source/documentation/lux/world/console.lux b/stdlib/source/documentation/lux/world/console.lux
index 01924beae..19df25dc3 100644
--- a/stdlib/source/documentation/lux/world/console.lux
+++ b/stdlib/source/documentation/lux/world/console.lux
@@ -14,10 +14,10 @@
(.List $.Module)
(`` (`` ($.module /._
""
- [($.default /.async)
- (,, (for @.jvm (,, (these ($.default /.cannot_open)
- ($.default /.cannot_close)
- ($.default /.default)))
+ [($.definition /.async)
+ (,, (for @.jvm (,, (these ($.definition /.cannot_open)
+ ($.definition /.cannot_close)
+ ($.definition /.default)))
(,, (these))))
($.definition (/.Console !)
diff --git a/stdlib/source/documentation/lux/world/environment.lux b/stdlib/source/documentation/lux/world/environment.lux
index d27256846..8a94cc818 100644
--- a/stdlib/source/documentation/lux/world/environment.lux
+++ b/stdlib/source/documentation/lux/world/environment.lux
@@ -13,7 +13,7 @@
(.List $.Module)
($.module \\parser._
""
- [($.default \\parser.unknown_property)
+ [($.definition \\parser.unknown_property)
($.definition \\parser.Property
"A property in the environment.")
@@ -41,9 +41,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.unknown_environment_variable)
- ($.default /.async)
- ($.default /.default)
+ [($.definition /.unknown_environment_variable)
+ ($.definition /.async)
+ ($.definition /.default)
($.definition (/.Environment !)
"Access to ambient environment data and the capacity to exit the program.")
diff --git a/stdlib/source/documentation/lux/world/file.lux b/stdlib/source/documentation/lux/world/file.lux
index 97a8b0966..1d9e7c065 100644
--- a/stdlib/source/documentation/lux/world/file.lux
+++ b/stdlib/source/documentation/lux/world/file.lux
@@ -16,14 +16,14 @@
(.List $.Module)
(`` (`` ($.module /._
""
- [($.default /.async)
- ($.default /.cannot_make_file)
- ($.default /.cannot_find_file)
- ($.default /.cannot_delete)
- ($.default /.cannot_make_directory)
- ($.default /.cannot_find_directory)
+ [($.definition /.async)
+ ($.definition /.cannot_make_file)
+ ($.definition /.cannot_find_file)
+ ($.definition /.cannot_delete)
+ ($.definition /.cannot_make_directory)
+ ($.definition /.cannot_find_directory)
(,, (for @.lua (,, (these))
- (,, (these ($.default /.default)))))
+ (,, (these ($.definition /.default)))))
($.definition /.Path
"A path to a file or a directory in a file-system.")
diff --git a/stdlib/source/documentation/lux/world/file/watch.lux b/stdlib/source/documentation/lux/world/file/watch.lux
index b1f441915..397336094 100644
--- a/stdlib/source/documentation/lux/world/file/watch.lux
+++ b/stdlib/source/documentation/lux/world/file/watch.lux
@@ -14,15 +14,15 @@
(.List $.Module)
(`` (`` ($.module /._
""
- [($.default /.creation)
- ($.default /.creation?)
- ($.default /.modification)
- ($.default /.modification?)
- ($.default /.deletion)
- ($.default /.deletion?)
- ($.default /.all)
- ($.default /.not_being_watched)
- ($.default /.cannot_poll_a_non_existent_directory)
+ [($.definition /.creation)
+ ($.definition /.creation?)
+ ($.definition /.modification)
+ ($.definition /.modification?)
+ ($.definition /.deletion)
+ ($.definition /.deletion?)
+ ($.definition /.all)
+ ($.definition /.not_being_watched)
+ ($.definition /.cannot_poll_a_non_existent_directory)
($.definition /.Concern
"A particular concern to watch-out for.")
diff --git a/stdlib/source/documentation/lux/world/input/keyboard.lux b/stdlib/source/documentation/lux/world/input/keyboard.lux
index be9db67b1..277acb971 100644
--- a/stdlib/source/documentation/lux/world/input/keyboard.lux
+++ b/stdlib/source/documentation/lux/world/input/keyboard.lux
@@ -12,90 +12,90 @@
(.List $.Module)
($.module /._
""
- [($.default /.back_space)
- ($.default /.enter)
- ($.default /.shift)
- ($.default /.control)
- ($.default /.alt)
- ($.default /.caps_lock)
- ($.default /.escape)
- ($.default /.space)
- ($.default /.page_up)
- ($.default /.page_down)
- ($.default /.end)
- ($.default /.home)
- ($.default /.left)
- ($.default /.up)
- ($.default /.right)
- ($.default /.down)
- ($.default /.a)
- ($.default /.b)
- ($.default /.c)
- ($.default /.d)
- ($.default /.e)
- ($.default /.f)
- ($.default /.g)
- ($.default /.h)
- ($.default /.i)
- ($.default /.j)
- ($.default /.k)
- ($.default /.l)
- ($.default /.m)
- ($.default /.n)
- ($.default /.o)
- ($.default /.p)
- ($.default /.q)
- ($.default /.r)
- ($.default /.s)
- ($.default /.t)
- ($.default /.u)
- ($.default /.v)
- ($.default /.w)
- ($.default /.x)
- ($.default /.y)
- ($.default /.z)
- ($.default /.num_pad_0)
- ($.default /.num_pad_1)
- ($.default /.num_pad_2)
- ($.default /.num_pad_3)
- ($.default /.num_pad_4)
- ($.default /.num_pad_5)
- ($.default /.num_pad_6)
- ($.default /.num_pad_7)
- ($.default /.num_pad_8)
- ($.default /.num_pad_9)
- ($.default /.delete)
- ($.default /.num_lock)
- ($.default /.scroll_lock)
- ($.default /.print_screen)
- ($.default /.insert)
- ($.default /.windows)
- ($.default /.f1)
- ($.default /.f2)
- ($.default /.f3)
- ($.default /.f4)
- ($.default /.f5)
- ($.default /.f6)
- ($.default /.f7)
- ($.default /.f8)
- ($.default /.f9)
- ($.default /.f10)
- ($.default /.f11)
- ($.default /.f12)
- ($.default /.f13)
- ($.default /.f14)
- ($.default /.f15)
- ($.default /.f16)
- ($.default /.f17)
- ($.default /.f18)
- ($.default /.f19)
- ($.default /.f20)
- ($.default /.f21)
- ($.default /.f22)
- ($.default /.f23)
- ($.default /.f24)
- ($.default /.release)
- ($.default /.press)
+ [($.definition /.back_space)
+ ($.definition /.enter)
+ ($.definition /.shift)
+ ($.definition /.control)
+ ($.definition /.alt)
+ ($.definition /.caps_lock)
+ ($.definition /.escape)
+ ($.definition /.space)
+ ($.definition /.page_up)
+ ($.definition /.page_down)
+ ($.definition /.end)
+ ($.definition /.home)
+ ($.definition /.left)
+ ($.definition /.up)
+ ($.definition /.right)
+ ($.definition /.down)
+ ($.definition /.a)
+ ($.definition /.b)
+ ($.definition /.c)
+ ($.definition /.d)
+ ($.definition /.e)
+ ($.definition /.f)
+ ($.definition /.g)
+ ($.definition /.h)
+ ($.definition /.i)
+ ($.definition /.j)
+ ($.definition /.k)
+ ($.definition /.l)
+ ($.definition /.m)
+ ($.definition /.n)
+ ($.definition /.o)
+ ($.definition /.p)
+ ($.definition /.q)
+ ($.definition /.r)
+ ($.definition /.s)
+ ($.definition /.t)
+ ($.definition /.u)
+ ($.definition /.v)
+ ($.definition /.w)
+ ($.definition /.x)
+ ($.definition /.y)
+ ($.definition /.z)
+ ($.definition /.num_pad_0)
+ ($.definition /.num_pad_1)
+ ($.definition /.num_pad_2)
+ ($.definition /.num_pad_3)
+ ($.definition /.num_pad_4)
+ ($.definition /.num_pad_5)
+ ($.definition /.num_pad_6)
+ ($.definition /.num_pad_7)
+ ($.definition /.num_pad_8)
+ ($.definition /.num_pad_9)
+ ($.definition /.delete)
+ ($.definition /.num_lock)
+ ($.definition /.scroll_lock)
+ ($.definition /.print_screen)
+ ($.definition /.insert)
+ ($.definition /.windows)
+ ($.definition /.f1)
+ ($.definition /.f2)
+ ($.definition /.f3)
+ ($.definition /.f4)
+ ($.definition /.f5)
+ ($.definition /.f6)
+ ($.definition /.f7)
+ ($.definition /.f8)
+ ($.definition /.f9)
+ ($.definition /.f10)
+ ($.definition /.f11)
+ ($.definition /.f12)
+ ($.definition /.f13)
+ ($.definition /.f14)
+ ($.definition /.f15)
+ ($.definition /.f16)
+ ($.definition /.f17)
+ ($.definition /.f18)
+ ($.definition /.f19)
+ ($.definition /.f20)
+ ($.definition /.f21)
+ ($.definition /.f22)
+ ($.definition /.f23)
+ ($.definition /.f24)
+ ($.definition /.release)
+ ($.definition /.press)
($.definition /.Key
"A key from a keyboard, identify by a numeric ID.")
diff --git a/stdlib/source/documentation/lux/world/locale.lux b/stdlib/source/documentation/lux/world/locale.lux
index 1818dcfb2..92113b53a 100644
--- a/stdlib/source/documentation/lux/world/locale.lux
+++ b/stdlib/source/documentation/lux/world/locale.lux
@@ -17,9 +17,9 @@
(.List $.Module)
($.module /._
""
- [($.default /.code)
- ($.default /.hash)
- ($.default /.equivalence)
+ [($.definition /.code)
+ ($.definition /.hash)
+ ($.definition /.equivalence)
($.definition /.Locale
"A description of a locale; with territory, (optional) language, and (optional) text-encoding.")
diff --git a/stdlib/source/documentation/lux/world/locale/language.lux b/stdlib/source/documentation/lux/world/locale/language.lux
index a9d5f6ef6..b59bb25b4 100644
--- a/stdlib/source/documentation/lux/world/locale/language.lux
+++ b/stdlib/source/documentation/lux/world/locale/language.lux
@@ -12,620 +12,620 @@
(def items/~
(list.together
- (list ($.default /.uncoded)
- ($.default /.multiple)
- ($.default /.undetermined)
- ($.default /.not_applicable))))
+ (list ($.definition /.uncoded)
+ ($.definition /.multiple)
+ ($.definition /.undetermined)
+ ($.definition /.not_applicable))))
(def items/a
(list.together
- (list ($.default /.afar)
- ($.default /.abkhazian)
- ($.default /.achinese)
- ($.default /.acoli)
- ($.default /.adangme)
- ($.default /.adyghe)
- ($.default /.afro_asiatic)
- ($.default /.afrihili)
- ($.default /.afrikaans)
- ($.default /.ainu)
- ($.default /.akan)
- ($.default /.akkadian)
- ($.default /.aleut)
- ($.default /.algonquian)
- ($.default /.southern_altai)
- ($.default /.amharic)
- ($.default /.old_english)
- ($.default /.angika)
- ($.default /.apache)
- ($.default /.arabic)
- ($.default /.official_aramaic)
- ($.default /.imperial_aramaic)
- ($.default /.aragonese)
- ($.default /.mapudungun)
- ($.default /.arapaho)
- ($.default /.artificial)
- ($.default /.arawak)
- ($.default /.assamese)
- ($.default /.asturian)
- ($.default /.bable)
- ($.default /.leonese)
- ($.default /.asturleonese)
- ($.default /.athapascan)
- ($.default /.australian)
- ($.default /.avaric)
- ($.default /.avestan)
- ($.default /.awadhi)
- ($.default /.aymara)
- ($.default /.azerbaijani))))
+ (list ($.definition /.afar)
+ ($.definition /.abkhazian)
+ ($.definition /.achinese)
+ ($.definition /.acoli)
+ ($.definition /.adangme)
+ ($.definition /.adyghe)
+ ($.definition /.afro_asiatic)
+ ($.definition /.afrihili)
+ ($.definition /.afrikaans)
+ ($.definition /.ainu)
+ ($.definition /.akan)
+ ($.definition /.akkadian)
+ ($.definition /.aleut)
+ ($.definition /.algonquian)
+ ($.definition /.southern_altai)
+ ($.definition /.amharic)
+ ($.definition /.old_english)
+ ($.definition /.angika)
+ ($.definition /.apache)
+ ($.definition /.arabic)
+ ($.definition /.official_aramaic)
+ ($.definition /.imperial_aramaic)
+ ($.definition /.aragonese)
+ ($.definition /.mapudungun)
+ ($.definition /.arapaho)
+ ($.definition /.artificial)
+ ($.definition /.arawak)
+ ($.definition /.assamese)
+ ($.definition /.asturian)
+ ($.definition /.bable)
+ ($.definition /.leonese)
+ ($.definition /.asturleonese)
+ ($.definition /.athapascan)
+ ($.definition /.australian)
+ ($.definition /.avaric)
+ ($.definition /.avestan)
+ ($.definition /.awadhi)
+ ($.definition /.aymara)
+ ($.definition /.azerbaijani))))
(def items/b
(list.together
- (list ($.default /.banda)
- ($.default /.bamileke)
- ($.default /.bashkir)
- ($.default /.baluchi)
- ($.default /.bambara)
- ($.default /.balinese)
- ($.default /.basa)
- ($.default /.baltic)
- ($.default /.beja)
- ($.default /.belarusian)
- ($.default /.bemba)
- ($.default /.bengali)
- ($.default /.berber)
- ($.default /.bhojpuri)
- ($.default /.bihari)
- ($.default /.bikol)
- ($.default /.bini)
- ($.default /.edo)
- ($.default /.bislama)
- ($.default /.siksika)
- ($.default /.bantu)
- ($.default /.tibetan)
- ($.default /.bosnian)
- ($.default /.braj)
- ($.default /.breton)
- ($.default /.batak)
- ($.default /.buriat)
- ($.default /.buginese)
- ($.default /.bulgarian)
- ($.default /.blin)
- ($.default /.bilin))))
+ (list ($.definition /.banda)
+ ($.definition /.bamileke)
+ ($.definition /.bashkir)
+ ($.definition /.baluchi)
+ ($.definition /.bambara)
+ ($.definition /.balinese)
+ ($.definition /.basa)
+ ($.definition /.baltic)
+ ($.definition /.beja)
+ ($.definition /.belarusian)
+ ($.definition /.bemba)
+ ($.definition /.bengali)
+ ($.definition /.berber)
+ ($.definition /.bhojpuri)
+ ($.definition /.bihari)
+ ($.definition /.bikol)
+ ($.definition /.bini)
+ ($.definition /.edo)
+ ($.definition /.bislama)
+ ($.definition /.siksika)
+ ($.definition /.bantu)
+ ($.definition /.tibetan)
+ ($.definition /.bosnian)
+ ($.definition /.braj)
+ ($.definition /.breton)
+ ($.definition /.batak)
+ ($.definition /.buriat)
+ ($.definition /.buginese)
+ ($.definition /.bulgarian)
+ ($.definition /.blin)
+ ($.definition /.bilin))))
(def items/c
(list.together
- (list ($.default /.caddo)
- ($.default /.central_american_indian)
- ($.default /.galibi_carib)
- ($.default /.catalan)
- ($.default /.valencian)
- ($.default /.caucasian)
- ($.default /.cebuano)
- ($.default /.celtic)
- ($.default /.czech)
- ($.default /.chamorro)
- ($.default /.chibcha)
- ($.default /.chechen)
- ($.default /.chagatai)
- ($.default /.chuukese)
- ($.default /.mari)
- ($.default /.chinook)
- ($.default /.choctaw)
- ($.default /.chipewyan)
- ($.default /.cherokee)
- ($.default /.church_slavic)
- ($.default /.old_slavonic)
- ($.default /.church_slavonic)
- ($.default /.old_bulgarian)
- ($.default /.old_church_slavonic)
- ($.default /.chuvash)
- ($.default /.cheyenne)
- ($.default /.chamic)
- ($.default /.montenegrin)
- ($.default /.coptic)
- ($.default /.cornish)
- ($.default /.corsican)
- ($.default /.creoles_and_pidgins/english)
- ($.default /.creoles_and_pidgins/french)
- ($.default /.creoles_and_pidgins/portuguese)
- ($.default /.cree)
- ($.default /.crimean)
- ($.default /.creoles_and_pidgins)
- ($.default /.kashubian)
- ($.default /.cushitic)
- ($.default /.welsh))))
+ (list ($.definition /.caddo)
+ ($.definition /.central_american_indian)
+ ($.definition /.galibi_carib)
+ ($.definition /.catalan)
+ ($.definition /.valencian)
+ ($.definition /.caucasian)
+ ($.definition /.cebuano)
+ ($.definition /.celtic)
+ ($.definition /.czech)
+ ($.definition /.chamorro)
+ ($.definition /.chibcha)
+ ($.definition /.chechen)
+ ($.definition /.chagatai)
+ ($.definition /.chuukese)
+ ($.definition /.mari)
+ ($.definition /.chinook)
+ ($.definition /.choctaw)
+ ($.definition /.chipewyan)
+ ($.definition /.cherokee)
+ ($.definition /.church_slavic)
+ ($.definition /.old_slavonic)
+ ($.definition /.church_slavonic)
+ ($.definition /.old_bulgarian)
+ ($.definition /.old_church_slavonic)
+ ($.definition /.chuvash)
+ ($.definition /.cheyenne)
+ ($.definition /.chamic)
+ ($.definition /.montenegrin)
+ ($.definition /.coptic)
+ ($.definition /.cornish)
+ ($.definition /.corsican)
+ ($.definition /.creoles_and_pidgins/english)
+ ($.definition /.creoles_and_pidgins/french)
+ ($.definition /.creoles_and_pidgins/portuguese)
+ ($.definition /.cree)
+ ($.definition /.crimean)
+ ($.definition /.creoles_and_pidgins)
+ ($.definition /.kashubian)
+ ($.definition /.cushitic)
+ ($.definition /.welsh))))
(def items/d
(list.together
- (list ($.default /.dakota)
- ($.default /.danish)
- ($.default /.dargwa)
- ($.default /.land_dayak)
- ($.default /.delaware)
- ($.default /.slavey)
- ($.default /.german)
- ($.default /.dogrib)
- ($.default /.dinka)
- ($.default /.dhivehi)
- ($.default /.maldivian)
- ($.default /.dogri)
- ($.default /.dravidian)
- ($.default /.lower_sorbian)
- ($.default /.duala)
- ($.default /.middle_dutch)
- ($.default /.dyula)
- ($.default /.dzongkha))))
+ (list ($.definition /.dakota)
+ ($.definition /.danish)
+ ($.definition /.dargwa)
+ ($.definition /.land_dayak)
+ ($.definition /.delaware)
+ ($.definition /.slavey)
+ ($.definition /.german)
+ ($.definition /.dogrib)
+ ($.definition /.dinka)
+ ($.definition /.dhivehi)
+ ($.definition /.maldivian)
+ ($.definition /.dogri)
+ ($.definition /.dravidian)
+ ($.definition /.lower_sorbian)
+ ($.definition /.duala)
+ ($.definition /.middle_dutch)
+ ($.definition /.dyula)
+ ($.definition /.dzongkha))))
(def items/e
(list.together
- (list ($.default /.efik)
- ($.default /.egyptian)
- ($.default /.ekajuk)
- ($.default /.greek)
- ($.default /.elamite)
- ($.default /.english)
- ($.default /.middle_english)
- ($.default /.esperanto)
- ($.default /.estonian)
- ($.default /.basque)
- ($.default /.ewe)
- ($.default /.ewondo))))
+ (list ($.definition /.efik)
+ ($.definition /.egyptian)
+ ($.definition /.ekajuk)
+ ($.definition /.greek)
+ ($.definition /.elamite)
+ ($.definition /.english)
+ ($.definition /.middle_english)
+ ($.definition /.esperanto)
+ ($.definition /.estonian)
+ ($.definition /.basque)
+ ($.definition /.ewe)
+ ($.definition /.ewondo))))
(def items/f
(list.together
- (list ($.default /.fang)
- ($.default /.faroese)
- ($.default /.persian)
- ($.default /.fanti)
- ($.default /.fijian)
- ($.default /.filipino)
- ($.default /.finnish)
- ($.default /.finno_ugrian)
- ($.default /.fon)
- ($.default /.french)
- ($.default /.middle_french)
- ($.default /.old_french)
- ($.default /.northern_frisian)
- ($.default /.eastern_frisian)
- ($.default /.western_frisian)
- ($.default /.fulah)
- ($.default /.friulian))))
+ (list ($.definition /.fang)
+ ($.definition /.faroese)
+ ($.definition /.persian)
+ ($.definition /.fanti)
+ ($.definition /.fijian)
+ ($.definition /.filipino)
+ ($.definition /.finnish)
+ ($.definition /.finno_ugrian)
+ ($.definition /.fon)
+ ($.definition /.french)
+ ($.definition /.middle_french)
+ ($.definition /.old_french)
+ ($.definition /.northern_frisian)
+ ($.definition /.eastern_frisian)
+ ($.definition /.western_frisian)
+ ($.definition /.fulah)
+ ($.definition /.friulian))))
(def items/g
(list.together
- (list ($.default /.ga)
- ($.default /.gayo)
- ($.default /.gbaya)
- ($.default /.germanic)
- ($.default /.geez)
- ($.default /.gilbertese)
- ($.default /.gaelic)
- ($.default /.irish)
- ($.default /.galician)
- ($.default /.manx)
- ($.default /.middle_high_german)
- ($.default /.old_high_german)
- ($.default /.gondi)
- ($.default /.gorontalo)
- ($.default /.gothic)
- ($.default /.grebo)
- ($.default /.ancient_greek)
- ($.default /.guarani)
- ($.default /.swiss_german)
- ($.default /.alemannic)
- ($.default /.alsatian)
- ($.default /.gujarati)
- ($.default /.gwich'in))))
+ (list ($.definition /.ga)
+ ($.definition /.gayo)
+ ($.definition /.gbaya)
+ ($.definition /.germanic)
+ ($.definition /.geez)
+ ($.definition /.gilbertese)
+ ($.definition /.gaelic)
+ ($.definition /.irish)
+ ($.definition /.galician)
+ ($.definition /.manx)
+ ($.definition /.middle_high_german)
+ ($.definition /.old_high_german)
+ ($.definition /.gondi)
+ ($.definition /.gorontalo)
+ ($.definition /.gothic)
+ ($.definition /.grebo)
+ ($.definition /.ancient_greek)
+ ($.definition /.guarani)
+ ($.definition /.swiss_german)
+ ($.definition /.alemannic)
+ ($.definition /.alsatian)
+ ($.definition /.gujarati)
+ ($.definition /.gwich'in))))
(def items/h
(list.together
- (list ($.default /.haida)
- ($.default /.haitian)
- ($.default /.hausa)
- ($.default /.hawaiian)
- ($.default /.hebrew)
- ($.default /.herero)
- ($.default /.hiligaynon)
- ($.default /.himachali)
- ($.default /.hindi)
- ($.default /.hittite)
- ($.default /.hmong)
- ($.default /.hiri_motu)
- ($.default /.croatian)
- ($.default /.upper_sorbian)
- ($.default /.hungarian)
- ($.default /.hupa)
- ($.default /.armenian))))
+ (list ($.definition /.haida)
+ ($.definition /.haitian)
+ ($.definition /.hausa)
+ ($.definition /.hawaiian)
+ ($.definition /.hebrew)
+ ($.definition /.herero)
+ ($.definition /.hiligaynon)
+ ($.definition /.himachali)
+ ($.definition /.hindi)
+ ($.definition /.hittite)
+ ($.definition /.hmong)
+ ($.definition /.hiri_motu)
+ ($.definition /.croatian)
+ ($.definition /.upper_sorbian)
+ ($.definition /.hungarian)
+ ($.definition /.hupa)
+ ($.definition /.armenian))))
(def items/i
(list.together
- (list ($.default /.iban)
- ($.default /.igbo)
- ($.default /.ido)
- ($.default /.sichuan_yi)
- ($.default /.nuosu)
- ($.default /.ijo)
- ($.default /.inuktitut)
- ($.default /.interlingue)
- ($.default /.iloko)
- ($.default /.interlingua)
- ($.default /.indic)
- ($.default /.indonesian)
- ($.default /.indo_european)
- ($.default /.ingush)
- ($.default /.inupiaq)
- ($.default /.iranian)
- ($.default /.iroquoian)
- ($.default /.icelandic)
- ($.default /.italian))))
+ (list ($.definition /.iban)
+ ($.definition /.igbo)
+ ($.definition /.ido)
+ ($.definition /.sichuan_yi)
+ ($.definition /.nuosu)
+ ($.definition /.ijo)
+ ($.definition /.inuktitut)
+ ($.definition /.interlingue)
+ ($.definition /.iloko)
+ ($.definition /.interlingua)
+ ($.definition /.indic)
+ ($.definition /.indonesian)
+ ($.definition /.indo_european)
+ ($.definition /.ingush)
+ ($.definition /.inupiaq)
+ ($.definition /.iranian)
+ ($.definition /.iroquoian)
+ ($.definition /.icelandic)
+ ($.definition /.italian))))
(def items/j
(list.together
- (list ($.default /.javanese)
- ($.default /.lojban)
- ($.default /.japanese)
- ($.default /.judeo_persian)
- ($.default /.judeo_arabic))))
+ (list ($.definition /.javanese)
+ ($.definition /.lojban)
+ ($.definition /.japanese)
+ ($.definition /.judeo_persian)
+ ($.definition /.judeo_arabic))))
(def items/k
(list.together
- (list ($.default /.kara_kalpak)
- ($.default /.kabyle)
- ($.default /.kachin)
- ($.default /.jingpho)
- ($.default /.kalaallisut)
- ($.default /.greenlandic)
- ($.default /.kamba)
- ($.default /.kannada)
- ($.default /.karen)
- ($.default /.kashmiri)
- ($.default /.georgian)
- ($.default /.kanuri)
- ($.default /.kawi)
- ($.default /.kazakh)
- ($.default /.kabardian)
- ($.default /.khasi)
- ($.default /.khoisan)
- ($.default /.central_khmer)
- ($.default /.khotanese)
- ($.default /.sakan)
- ($.default /.gikuyu)
- ($.default /.kinyarwanda)
- ($.default /.kyrgyz)
- ($.default /.kimbundu)
- ($.default /.konkani)
- ($.default /.komi)
- ($.default /.kongo)
- ($.default /.korean)
- ($.default /.kosraean)
- ($.default /.kpelle)
- ($.default /.karachay_balkar)
- ($.default /.karelian)
- ($.default /.kru)
- ($.default /.kurukh)
- ($.default /.kwanyama)
- ($.default /.kumyk)
- ($.default /.kurdish)
- ($.default /.kutenai))))
+ (list ($.definition /.kara_kalpak)
+ ($.definition /.kabyle)
+ ($.definition /.kachin)
+ ($.definition /.jingpho)
+ ($.definition /.kalaallisut)
+ ($.definition /.greenlandic)
+ ($.definition /.kamba)
+ ($.definition /.kannada)
+ ($.definition /.karen)
+ ($.definition /.kashmiri)
+ ($.definition /.georgian)
+ ($.definition /.kanuri)
+ ($.definition /.kawi)
+ ($.definition /.kazakh)
+ ($.definition /.kabardian)
+ ($.definition /.khasi)
+ ($.definition /.khoisan)
+ ($.definition /.central_khmer)
+ ($.definition /.khotanese)
+ ($.definition /.sakan)
+ ($.definition /.gikuyu)
+ ($.definition /.kinyarwanda)
+ ($.definition /.kyrgyz)
+ ($.definition /.kimbundu)
+ ($.definition /.konkani)
+ ($.definition /.komi)
+ ($.definition /.kongo)
+ ($.definition /.korean)
+ ($.definition /.kosraean)
+ ($.definition /.kpelle)
+ ($.definition /.karachay_balkar)
+ ($.definition /.karelian)
+ ($.definition /.kru)
+ ($.definition /.kurukh)
+ ($.definition /.kwanyama)
+ ($.definition /.kumyk)
+ ($.definition /.kurdish)
+ ($.definition /.kutenai))))
(def items/l
(list.together
- (list ($.default /.ladino)
- ($.default /.lahnda)
- ($.default /.lamba)
- ($.default /.lao)
- ($.default /.latin)
- ($.default /.latvian)
- ($.default /.lezghian)
- ($.default /.limburgan)
- ($.default /.lingala)
- ($.default /.lithuanian)
- ($.default /.mongo)
- ($.default /.lozi)
- ($.default /.luxembourgish)
- ($.default /.luba_lulua)
- ($.default /.luba_katanga)
- ($.default /.ganda)
- ($.default /.luiseno)
- ($.default /.lunda)
- ($.default /.luo)
- ($.default /.lushai))))
+ (list ($.definition /.ladino)
+ ($.definition /.lahnda)
+ ($.definition /.lamba)
+ ($.definition /.lao)
+ ($.definition /.latin)
+ ($.definition /.latvian)
+ ($.definition /.lezghian)
+ ($.definition /.limburgan)
+ ($.definition /.lingala)
+ ($.definition /.lithuanian)
+ ($.definition /.mongo)
+ ($.definition /.lozi)
+ ($.definition /.luxembourgish)
+ ($.definition /.luba_lulua)
+ ($.definition /.luba_katanga)
+ ($.definition /.ganda)
+ ($.definition /.luiseno)
+ ($.definition /.lunda)
+ ($.definition /.luo)
+ ($.definition /.lushai))))
(def items/m
(list.together
- (list ($.default /.madurese)
- ($.default /.magahi)
- ($.default /.marshallese)
- ($.default /.maithili)
- ($.default /.makasar)
- ($.default /.malayalam)
- ($.default /.mandingo)
- ($.default /.austronesian)
- ($.default /.marathi)
- ($.default /.masai)
- ($.default /.moksha)
- ($.default /.mandar)
- ($.default /.mende)
- ($.default /.middle_irish)
- ($.default /.mi'kmaq)
- ($.default /.micmac)
- ($.default /.minangkabau)
- ($.default /.macedonian)
- ($.default /.mon_khmer)
- ($.default /.malagasy)
- ($.default /.maltese)
- ($.default /.manchu)
- ($.default /.manipuri)
- ($.default /.manobo)
- ($.default /.mohawk)
- ($.default /.mongolian)
- ($.default /.mossi)
- ($.default /.maori)
- ($.default /.malay)
- ($.default /.munda)
- ($.default /.creek)
- ($.default /.mirandese)
- ($.default /.marwari)
- ($.default /.burmese)
- ($.default /.mayan)
- ($.default /.erzya))))
+ (list ($.definition /.madurese)
+ ($.definition /.magahi)
+ ($.definition /.marshallese)
+ ($.definition /.maithili)
+ ($.definition /.makasar)
+ ($.definition /.malayalam)
+ ($.definition /.mandingo)
+ ($.definition /.austronesian)
+ ($.definition /.marathi)
+ ($.definition /.masai)
+ ($.definition /.moksha)
+ ($.definition /.mandar)
+ ($.definition /.mende)
+ ($.definition /.middle_irish)
+ ($.definition /.mi'kmaq)
+ ($.definition /.micmac)
+ ($.definition /.minangkabau)
+ ($.definition /.macedonian)
+ ($.definition /.mon_khmer)
+ ($.definition /.malagasy)
+ ($.definition /.maltese)
+ ($.definition /.manchu)
+ ($.definition /.manipuri)
+ ($.definition /.manobo)
+ ($.definition /.mohawk)
+ ($.definition /.mongolian)
+ ($.definition /.mossi)
+ ($.definition /.maori)
+ ($.definition /.malay)
+ ($.definition /.munda)
+ ($.definition /.creek)
+ ($.definition /.mirandese)
+ ($.definition /.marwari)
+ ($.definition /.burmese)
+ ($.definition /.mayan)
+ ($.definition /.erzya))))
(def items/n
(list.together
- (list ($.default /.nahuatl)
- ($.default /.north_american_indian)
- ($.default /.neapolitan)
- ($.default /.nauru)
- ($.default /.navajo)
- ($.default /.south_ndebele)
- ($.default /.north_ndebele)
- ($.default /.ndonga)
- ($.default /.low_german)
- ($.default /.nepali)
- ($.default /.newari)
- ($.default /.nepal_bhasa)
- ($.default /.nias)
- ($.default /.niger_kordofanian)
- ($.default /.niuean)
- ($.default /.dutch)
- ($.default /.flemish)
- ($.default /.nynorsk)
- ($.default /.bokmal)
- ($.default /.nogai)
- ($.default /.old_norse)
- ($.default /.norwegian)
- ($.default /.n'ko)
- ($.default /.northern_sotho)
- ($.default /.pedi)
- ($.default /.sepedi)
- ($.default /.nubian)
- ($.default /.old_newari)
- ($.default /.classical_newari)
- ($.default /.classical_nepal_bhasa)
- ($.default /.nyanja)
- ($.default /.chichewa)
- ($.default /.chewa)
- ($.default /.nyamwezi)
- ($.default /.nyankole)
- ($.default /.nyoro)
- ($.default /.nzima))))
+ (list ($.definition /.nahuatl)
+ ($.definition /.north_american_indian)
+ ($.definition /.neapolitan)
+ ($.definition /.nauru)
+ ($.definition /.navajo)
+ ($.definition /.south_ndebele)
+ ($.definition /.north_ndebele)
+ ($.definition /.ndonga)
+ ($.definition /.low_german)
+ ($.definition /.nepali)
+ ($.definition /.newari)
+ ($.definition /.nepal_bhasa)
+ ($.definition /.nias)
+ ($.definition /.niger_kordofanian)
+ ($.definition /.niuean)
+ ($.definition /.dutch)
+ ($.definition /.flemish)
+ ($.definition /.nynorsk)
+ ($.definition /.bokmal)
+ ($.definition /.nogai)
+ ($.definition /.old_norse)
+ ($.definition /.norwegian)
+ ($.definition /.n'ko)
+ ($.definition /.northern_sotho)
+ ($.definition /.pedi)
+ ($.definition /.sepedi)
+ ($.definition /.nubian)
+ ($.definition /.old_newari)
+ ($.definition /.classical_newari)
+ ($.definition /.classical_nepal_bhasa)
+ ($.definition /.nyanja)
+ ($.definition /.chichewa)
+ ($.definition /.chewa)
+ ($.definition /.nyamwezi)
+ ($.definition /.nyankole)
+ ($.definition /.nyoro)
+ ($.definition /.nzima))))
(def items/o
(list.together
- (list ($.default /.occitan)
- ($.default /.provencal)
- ($.default /.ojibwa)
- ($.default /.oriya)
- ($.default /.oromo)
- ($.default /.osage)
- ($.default /.ossetic)
- ($.default /.ottoman_turkish)
- ($.default /.otomian))))
+ (list ($.definition /.occitan)
+ ($.definition /.provencal)
+ ($.definition /.ojibwa)
+ ($.definition /.oriya)
+ ($.definition /.oromo)
+ ($.definition /.osage)
+ ($.definition /.ossetic)
+ ($.definition /.ottoman_turkish)
+ ($.definition /.otomian))))
(def items/p
(list.together
- (list ($.default /.papuan)
- ($.default /.pangasinan)
- ($.default /.pahlavi)
- ($.default /.pampanga)
- ($.default /.kapampangan)
- ($.default /.punjabi)
- ($.default /.papiamento)
- ($.default /.palauan)
- ($.default /.old_persian)
- ($.default /.philippine)
- ($.default /.phoenician)
- ($.default /.pali)
- ($.default /.polish)
- ($.default /.pohnpeian)
- ($.default /.portuguese)
- ($.default /.prakrit)
- ($.default /.old_provencal)
- ($.default /.pashto))))
+ (list ($.definition /.papuan)
+ ($.definition /.pangasinan)
+ ($.definition /.pahlavi)
+ ($.definition /.pampanga)
+ ($.definition /.kapampangan)
+ ($.definition /.punjabi)
+ ($.definition /.papiamento)
+ ($.definition /.palauan)
+ ($.definition /.old_persian)
+ ($.definition /.philippine)
+ ($.definition /.phoenician)
+ ($.definition /.pali)
+ ($.definition /.polish)
+ ($.definition /.pohnpeian)
+ ($.definition /.portuguese)
+ ($.definition /.prakrit)
+ ($.definition /.old_provencal)
+ ($.definition /.pashto))))
(def items/q
(list.together
- (list ($.default /.quechua))))
+ (list ($.definition /.quechua))))
(def items/r
(list.together
- (list ($.default /.rajasthani)
- ($.default /.rapanui)
- ($.default /.rarotongan)
- ($.default /.cook_islands_maori)
- ($.default /.romance)
- ($.default /.romansh)
- ($.default /.romany)
- ($.default /.romanian)
- ($.default /.moldavian)
- ($.default /.moldovan)
- ($.default /.rundi)
- ($.default /.aromanian)
- ($.default /.arumanian)
- ($.default /.macedo_romanian)
- ($.default /.russian))))
+ (list ($.definition /.rajasthani)
+ ($.definition /.rapanui)
+ ($.definition /.rarotongan)
+ ($.definition /.cook_islands_maori)
+ ($.definition /.romance)
+ ($.definition /.romansh)
+ ($.definition /.romany)
+ ($.definition /.romanian)
+ ($.definition /.moldavian)
+ ($.definition /.moldovan)
+ ($.definition /.rundi)
+ ($.definition /.aromanian)
+ ($.definition /.arumanian)
+ ($.definition /.macedo_romanian)
+ ($.definition /.russian))))
(def items/s
(list.together
- (list ($.default /.sandawe)
- ($.default /.sango)
- ($.default /.yakut)
- ($.default /.south_american_indian)
- ($.default /.salishan)
- ($.default /.samaritan_aramaic)
- ($.default /.sanskrit)
- ($.default /.sasak)
- ($.default /.santali)
- ($.default /.sicilian)
- ($.default /.scots)
- ($.default /.selkup)
- ($.default /.semitic)
- ($.default /.old_irish)
- ($.default /.sign)
- ($.default /.shan)
- ($.default /.sidamo)
- ($.default /.sinhalese)
- ($.default /.siouan)
- ($.default /.sino_tibetan)
- ($.default /.slavic)
- ($.default /.slovak)
- ($.default /.slovenian)
- ($.default /.southern_sami)
- ($.default /.northern_sami)
- ($.default /.sami)
- ($.default /.lule)
- ($.default /.inari)
- ($.default /.samoan)
- ($.default /.skolt_sami)
- ($.default /.shona)
- ($.default /.sindhi)
- ($.default /.soninke)
- ($.default /.sogdian)
- ($.default /.somali)
- ($.default /.songhai)
- ($.default /.southern_sotho)
- ($.default /.spanish)
- ($.default /.castilian)
- ($.default /.albanian)
- ($.default /.sardinian)
- ($.default /.sranan_tongo)
- ($.default /.serbian)
- ($.default /.serer)
- ($.default /.nilo_saharan)
- ($.default /.swati)
- ($.default /.sukuma)
- ($.default /.sundanese)
- ($.default /.susu)
- ($.default /.sumerian)
- ($.default /.swahili)
- ($.default /.swedish)
- ($.default /.classical_syriac)
- ($.default /.syriac))))
+ (list ($.definition /.sandawe)
+ ($.definition /.sango)
+ ($.definition /.yakut)
+ ($.definition /.south_american_indian)
+ ($.definition /.salishan)
+ ($.definition /.samaritan_aramaic)
+ ($.definition /.sanskrit)
+ ($.definition /.sasak)
+ ($.definition /.santali)
+ ($.definition /.sicilian)
+ ($.definition /.scots)
+ ($.definition /.selkup)
+ ($.definition /.semitic)
+ ($.definition /.old_irish)
+ ($.definition /.sign)
+ ($.definition /.shan)
+ ($.definition /.sidamo)
+ ($.definition /.sinhalese)
+ ($.definition /.siouan)
+ ($.definition /.sino_tibetan)
+ ($.definition /.slavic)
+ ($.definition /.slovak)
+ ($.definition /.slovenian)
+ ($.definition /.southern_sami)
+ ($.definition /.northern_sami)
+ ($.definition /.sami)
+ ($.definition /.lule)
+ ($.definition /.inari)
+ ($.definition /.samoan)
+ ($.definition /.skolt_sami)
+ ($.definition /.shona)
+ ($.definition /.sindhi)
+ ($.definition /.soninke)
+ ($.definition /.sogdian)
+ ($.definition /.somali)
+ ($.definition /.songhai)
+ ($.definition /.southern_sotho)
+ ($.definition /.spanish)
+ ($.definition /.castilian)
+ ($.definition /.albanian)
+ ($.definition /.sardinian)
+ ($.definition /.sranan_tongo)
+ ($.definition /.serbian)
+ ($.definition /.serer)
+ ($.definition /.nilo_saharan)
+ ($.definition /.swati)
+ ($.definition /.sukuma)
+ ($.definition /.sundanese)
+ ($.definition /.susu)
+ ($.definition /.sumerian)
+ ($.definition /.swahili)
+ ($.definition /.swedish)
+ ($.definition /.classical_syriac)
+ ($.definition /.syriac))))
(def items/t
(list.together
- (list ($.default /.tahitian)
- ($.default /.tai)
- ($.default /.tamil)
- ($.default /.tatar)
- ($.default /.telugu)
- ($.default /.timne)
- ($.default /.tereno)
- ($.default /.tetum)
- ($.default /.tajik)
- ($.default /.tagalog)
- ($.default /.thai)
- ($.default /.tigre)
- ($.default /.tigrinya)
- ($.default /.tiv)
- ($.default /.tokelau)
- ($.default /.klingon)
- ($.default /.tlingit)
- ($.default /.tamashek)
- ($.default /.tonga)
- ($.default /.tongan)
- ($.default /.tok_pisin)
- ($.default /.tsimshian)
- ($.default /.tswana)
- ($.default /.tsonga)
- ($.default /.turkmen)
- ($.default /.tumbuka)
- ($.default /.tupi)
- ($.default /.turkish)
- ($.default /.altaic)
- ($.default /.tuvalu)
- ($.default /.twi)
- ($.default /.tuvinian))))
+ (list ($.definition /.tahitian)
+ ($.definition /.tai)
+ ($.definition /.tamil)
+ ($.definition /.tatar)
+ ($.definition /.telugu)
+ ($.definition /.timne)
+ ($.definition /.tereno)
+ ($.definition /.tetum)
+ ($.definition /.tajik)
+ ($.definition /.tagalog)
+ ($.definition /.thai)
+ ($.definition /.tigre)
+ ($.definition /.tigrinya)
+ ($.definition /.tiv)
+ ($.definition /.tokelau)
+ ($.definition /.klingon)
+ ($.definition /.tlingit)
+ ($.definition /.tamashek)
+ ($.definition /.tonga)
+ ($.definition /.tongan)
+ ($.definition /.tok_pisin)
+ ($.definition /.tsimshian)
+ ($.definition /.tswana)
+ ($.definition /.tsonga)
+ ($.definition /.turkmen)
+ ($.definition /.tumbuka)
+ ($.definition /.tupi)
+ ($.definition /.turkish)
+ ($.definition /.altaic)
+ ($.definition /.tuvalu)
+ ($.definition /.twi)
+ ($.definition /.tuvinian))))
(def items/u
(list.together
- (list ($.default /.udmurt)
- ($.default /.ugaritic)
- ($.default /.uyghur)
- ($.default /.ukrainian)
- ($.default /.umbundu)
- ($.default /.urdu)
- ($.default /.uzbek))))
+ (list ($.definition /.udmurt)
+ ($.definition /.ugaritic)
+ ($.definition /.uyghur)
+ ($.definition /.ukrainian)
+ ($.definition /.umbundu)
+ ($.definition /.urdu)
+ ($.definition /.uzbek))))
(def items/v
(list.together
- (list ($.default /.vai)
- ($.default /.venda)
- ($.default /.vietnamese)
- ($.default /.volapük)
- ($.default /.votic))))
+ (list ($.definition /.vai)
+ ($.definition /.venda)
+ ($.definition /.vietnamese)
+ ($.definition /.volapük)
+ ($.definition /.votic))))
(def items/w
(list.together
- (list ($.default /.wakashan)
- ($.default /.walamo)
- ($.default /.waray)
- ($.default /.washo)
- ($.default /.sorbian)
- ($.default /.walloon)
- ($.default /.wolof))))
+ (list ($.definition /.wakashan)
+ ($.definition /.walamo)
+ ($.definition /.waray)
+ ($.definition /.washo)
+ ($.definition /.sorbian)
+ ($.definition /.walloon)
+ ($.definition /.wolof))))
(def items/x
(list.together
- (list ($.default /.kalmyk)
- ($.default /.oirat)
- ($.default /.xhosa))))
+ (list ($.definition /.kalmyk)
+ ($.definition /.oirat)
+ ($.definition /.xhosa))))
(def items/y
(list.together
- (list ($.default /.yao)
- ($.default /.yapese)
- ($.default /.yiddish)
- ($.default /.yoruba)
- ($.default /.yupik))))
+ (list ($.definition /.yao)
+ ($.definition /.yapese)
+ ($.definition /.yiddish)
+ ($.definition /.yoruba)
+ ($.definition /.yupik))))
(def items/z
(list.together
- (list ($.default /.zapotec)
- ($.default /.blissymbols)
- ($.default /.zenaga)
- ($.default /.standard_moroccan_tamazight)
- ($.default /.zhuang)
- ($.default /.chinese)
- ($.default /.zande)
- ($.default /.zulu)
- ($.default /.zuni)
- ($.default /.zaza)
- ($.default /.dimili)
- ($.default /.dimli)
- ($.default /.kirdki)
- ($.default /.kirmanjki)
- ($.default /.zazaki))))
+ (list ($.definition /.zapotec)
+ ($.definition /.blissymbols)
+ ($.definition /.zenaga)
+ ($.definition /.standard_moroccan_tamazight)
+ ($.definition /.zhuang)
+ ($.definition /.chinese)
+ ($.definition /.zande)
+ ($.definition /.zulu)
+ ($.definition /.zuni)
+ ($.definition /.zaza)
+ ($.definition /.dimili)
+ ($.definition /.dimli)
+ ($.definition /.kirdki)
+ ($.definition /.kirmanjki)
+ ($.definition /.zazaki))))
(.def .public documentation
(.List $.Module)
(`` ($.module /._
""
- [($.default /.name)
- ($.default /.code)
- ($.default /.equivalence)
- ($.default /.hash)
+ [($.definition /.name)
+ ($.definition /.code)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
..items/~
..items/a
..items/b
diff --git a/stdlib/source/documentation/lux/world/locale/territory.lux b/stdlib/source/documentation/lux/world/locale/territory.lux
index eab56ae6a..6a54c5a00 100644
--- a/stdlib/source/documentation/lux/world/locale/territory.lux
+++ b/stdlib/source/documentation/lux/world/locale/territory.lux
@@ -12,301 +12,301 @@
(def items/ab
(list.together
- (list ($.default /.afghanistan)
- ($.default /.aland_islands)
- ($.default /.albania)
- ($.default /.algeria)
- ($.default /.american_samoa)
- ($.default /.andorra)
- ($.default /.angola)
- ($.default /.anguilla)
- ($.default /.antarctica)
- ($.default /.antigua)
- ($.default /.barbuda)
- ($.default /.argentina)
- ($.default /.armenia)
- ($.default /.aruba)
- ($.default /.australia)
- ($.default /.austria)
- ($.default /.azerbaijan)
- ($.default /.the_bahamas)
- ($.default /.bahrain)
- ($.default /.bangladesh)
- ($.default /.barbados)
- ($.default /.belarus)
- ($.default /.belgium)
- ($.default /.belize)
- ($.default /.benin)
- ($.default /.bermuda)
- ($.default /.bhutan)
- ($.default /.bolivia)
- ($.default /.bonaire)
- ($.default /.sint_eustatius)
- ($.default /.saba)
- ($.default /.bosnia)
- ($.default /.herzegovina)
- ($.default /.botswana)
- ($.default /.bouvet_island)
- ($.default /.brazil)
- ($.default /.british_indian_ocean_territory)
- ($.default /.brunei_darussalam)
- ($.default /.bulgaria)
- ($.default /.burkina_faso)
- ($.default /.burundi))))
+ (list ($.definition /.afghanistan)
+ ($.definition /.aland_islands)
+ ($.definition /.albania)
+ ($.definition /.algeria)
+ ($.definition /.american_samoa)
+ ($.definition /.andorra)
+ ($.definition /.angola)
+ ($.definition /.anguilla)
+ ($.definition /.antarctica)
+ ($.definition /.antigua)
+ ($.definition /.barbuda)
+ ($.definition /.argentina)
+ ($.definition /.armenia)
+ ($.definition /.aruba)
+ ($.definition /.australia)
+ ($.definition /.austria)
+ ($.definition /.azerbaijan)
+ ($.definition /.the_bahamas)
+ ($.definition /.bahrain)
+ ($.definition /.bangladesh)
+ ($.definition /.barbados)
+ ($.definition /.belarus)
+ ($.definition /.belgium)
+ ($.definition /.belize)
+ ($.definition /.benin)
+ ($.definition /.bermuda)
+ ($.definition /.bhutan)
+ ($.definition /.bolivia)
+ ($.definition /.bonaire)
+ ($.definition /.sint_eustatius)
+ ($.definition /.saba)
+ ($.definition /.bosnia)
+ ($.definition /.herzegovina)
+ ($.definition /.botswana)
+ ($.definition /.bouvet_island)
+ ($.definition /.brazil)
+ ($.definition /.british_indian_ocean_territory)
+ ($.definition /.brunei_darussalam)
+ ($.definition /.bulgaria)
+ ($.definition /.burkina_faso)
+ ($.definition /.burundi))))
(def items/cd
(list.together
- (list ($.default /.cape_verde)
- ($.default /.cambodia)
- ($.default /.cameroon)
- ($.default /.canada)
- ($.default /.cayman_islands)
- ($.default /.central_african_republic)
- ($.default /.chad)
- ($.default /.chile)
- ($.default /.china)
- ($.default /.christmas_island)
- ($.default /.cocos_islands)
- ($.default /.colombia)
- ($.default /.comoros)
- ($.default /.congo)
- ($.default /.democratic_republic_of_the_congo)
- ($.default /.cook_islands)
- ($.default /.costa_rica)
- ($.default /.ivory_coast)
- ($.default /.croatia)
- ($.default /.cuba)
- ($.default /.curacao)
- ($.default /.cyprus)
- ($.default /.czech_republic)
- ($.default /.denmark)
- ($.default /.djibouti)
- ($.default /.dominica)
- ($.default /.dominican_republic))))
+ (list ($.definition /.cape_verde)
+ ($.definition /.cambodia)
+ ($.definition /.cameroon)
+ ($.definition /.canada)
+ ($.definition /.cayman_islands)
+ ($.definition /.central_african_republic)
+ ($.definition /.chad)
+ ($.definition /.chile)
+ ($.definition /.china)
+ ($.definition /.christmas_island)
+ ($.definition /.cocos_islands)
+ ($.definition /.colombia)
+ ($.definition /.comoros)
+ ($.definition /.congo)
+ ($.definition /.democratic_republic_of_the_congo)
+ ($.definition /.cook_islands)
+ ($.definition /.costa_rica)
+ ($.definition /.ivory_coast)
+ ($.definition /.croatia)
+ ($.definition /.cuba)
+ ($.definition /.curacao)
+ ($.definition /.cyprus)
+ ($.definition /.czech_republic)
+ ($.definition /.denmark)
+ ($.definition /.djibouti)
+ ($.definition /.dominica)
+ ($.definition /.dominican_republic))))
(def items/efg
(list.together
- (list ($.default /.ecuador)
- ($.default /.egypt)
- ($.default /.el_salvador)
- ($.default /.equatorial_guinea)
- ($.default /.eritrea)
- ($.default /.estonia)
- ($.default /.eswatini)
- ($.default /.ethiopia)
- ($.default /.falkland_islands)
- ($.default /.faroe_islands)
- ($.default /.fiji)
- ($.default /.finland)
- ($.default /.france)
- ($.default /.french_guiana)
- ($.default /.french_polynesia)
- ($.default /.french_southern_territories)
- ($.default /.gabon)
- ($.default /.the_gambia)
- ($.default /.georgia)
- ($.default /.germany)
- ($.default /.ghana)
- ($.default /.gibraltar)
- ($.default /.greece)
- ($.default /.greenland)
- ($.default /.grenada)
- ($.default /.guadeloupe)
- ($.default /.guam)
- ($.default /.guatemala)
- ($.default /.guernsey)
- ($.default /.guinea)
- ($.default /.guinea_bissau)
- ($.default /.guyana))))
+ (list ($.definition /.ecuador)
+ ($.definition /.egypt)
+ ($.definition /.el_salvador)
+ ($.definition /.equatorial_guinea)
+ ($.definition /.eritrea)
+ ($.definition /.estonia)
+ ($.definition /.eswatini)
+ ($.definition /.ethiopia)
+ ($.definition /.falkland_islands)
+ ($.definition /.faroe_islands)
+ ($.definition /.fiji)
+ ($.definition /.finland)
+ ($.definition /.france)
+ ($.definition /.french_guiana)
+ ($.definition /.french_polynesia)
+ ($.definition /.french_southern_territories)
+ ($.definition /.gabon)
+ ($.definition /.the_gambia)
+ ($.definition /.georgia)
+ ($.definition /.germany)
+ ($.definition /.ghana)
+ ($.definition /.gibraltar)
+ ($.definition /.greece)
+ ($.definition /.greenland)
+ ($.definition /.grenada)
+ ($.definition /.guadeloupe)
+ ($.definition /.guam)
+ ($.definition /.guatemala)
+ ($.definition /.guernsey)
+ ($.definition /.guinea)
+ ($.definition /.guinea_bissau)
+ ($.definition /.guyana))))
(def items/hijkl
(list.together
- (list ($.default /.haiti)
- ($.default /.heard_island)
- ($.default /.mcdonald_islands)
- ($.default /.vatican_city)
- ($.default /.honduras)
- ($.default /.hong_kong)
- ($.default /.hungary)
- ($.default /.iceland)
- ($.default /.india)
- ($.default /.indonesia)
- ($.default /.iran)
- ($.default /.iraq)
- ($.default /.ireland)
- ($.default /.isle_of_man)
- ($.default /.israel)
- ($.default /.italy)
- ($.default /.jamaica)
- ($.default /.japan)
- ($.default /.jersey)
- ($.default /.jordan)
- ($.default /.kazakhstan)
- ($.default /.kenya)
- ($.default /.kiribati)
- ($.default /.north_korea)
- ($.default /.south_korea)
- ($.default /.kuwait)
- ($.default /.kyrgyzstan)
- ($.default /.laos)
- ($.default /.latvia)
- ($.default /.lebanon)
- ($.default /.lesotho)
- ($.default /.liberia)
- ($.default /.libya)
- ($.default /.liechtenstein)
- ($.default /.lithuania)
- ($.default /.luxembourg))))
+ (list ($.definition /.haiti)
+ ($.definition /.heard_island)
+ ($.definition /.mcdonald_islands)
+ ($.definition /.vatican_city)
+ ($.definition /.honduras)
+ ($.definition /.hong_kong)
+ ($.definition /.hungary)
+ ($.definition /.iceland)
+ ($.definition /.india)
+ ($.definition /.indonesia)
+ ($.definition /.iran)
+ ($.definition /.iraq)
+ ($.definition /.ireland)
+ ($.definition /.isle_of_man)
+ ($.definition /.israel)
+ ($.definition /.italy)
+ ($.definition /.jamaica)
+ ($.definition /.japan)
+ ($.definition /.jersey)
+ ($.definition /.jordan)
+ ($.definition /.kazakhstan)
+ ($.definition /.kenya)
+ ($.definition /.kiribati)
+ ($.definition /.north_korea)
+ ($.definition /.south_korea)
+ ($.definition /.kuwait)
+ ($.definition /.kyrgyzstan)
+ ($.definition /.laos)
+ ($.definition /.latvia)
+ ($.definition /.lebanon)
+ ($.definition /.lesotho)
+ ($.definition /.liberia)
+ ($.definition /.libya)
+ ($.definition /.liechtenstein)
+ ($.definition /.lithuania)
+ ($.definition /.luxembourg))))
(def items/mno
(list.together
- (list ($.default /.macau)
- ($.default /.macedonia)
- ($.default /.madagascar)
- ($.default /.malawi)
- ($.default /.malaysia)
- ($.default /.maldives)
- ($.default /.mali)
- ($.default /.malta)
- ($.default /.marshall_islands)
- ($.default /.martinique)
- ($.default /.mauritania)
- ($.default /.mauritius)
- ($.default /.mayotte)
- ($.default /.mexico)
- ($.default /.micronesia)
- ($.default /.moldova)
- ($.default /.monaco)
- ($.default /.mongolia)
- ($.default /.montenegro)
- ($.default /.montserrat)
- ($.default /.morocco)
- ($.default /.mozambique)
- ($.default /.myanmar)
- ($.default /.namibia)
- ($.default /.nauru)
- ($.default /.nepal)
- ($.default /.netherlands)
- ($.default /.new_caledonia)
- ($.default /.new_zealand)
- ($.default /.nicaragua)
- ($.default /.niger)
- ($.default /.nigeria)
- ($.default /.niue)
- ($.default /.norfolk_island)
- ($.default /.northern_mariana_islands)
- ($.default /.norway)
- ($.default /.oman))))
+ (list ($.definition /.macau)
+ ($.definition /.macedonia)
+ ($.definition /.madagascar)
+ ($.definition /.malawi)
+ ($.definition /.malaysia)
+ ($.definition /.maldives)
+ ($.definition /.mali)
+ ($.definition /.malta)
+ ($.definition /.marshall_islands)
+ ($.definition /.martinique)
+ ($.definition /.mauritania)
+ ($.definition /.mauritius)
+ ($.definition /.mayotte)
+ ($.definition /.mexico)
+ ($.definition /.micronesia)
+ ($.definition /.moldova)
+ ($.definition /.monaco)
+ ($.definition /.mongolia)
+ ($.definition /.montenegro)
+ ($.definition /.montserrat)
+ ($.definition /.morocco)
+ ($.definition /.mozambique)
+ ($.definition /.myanmar)
+ ($.definition /.namibia)
+ ($.definition /.nauru)
+ ($.definition /.nepal)
+ ($.definition /.netherlands)
+ ($.definition /.new_caledonia)
+ ($.definition /.new_zealand)
+ ($.definition /.nicaragua)
+ ($.definition /.niger)
+ ($.definition /.nigeria)
+ ($.definition /.niue)
+ ($.definition /.norfolk_island)
+ ($.definition /.northern_mariana_islands)
+ ($.definition /.norway)
+ ($.definition /.oman))))
(def items/pqrs
(list.together
- (list ($.default /.pakistan)
- ($.default /.palau)
- ($.default /.palestine)
- ($.default /.panama)
- ($.default /.papua_new_guinea)
- ($.default /.paraguay)
- ($.default /.peru)
- ($.default /.philippines)
- ($.default /.pitcairn_islands)
- ($.default /.poland)
- ($.default /.portugal)
- ($.default /.puerto_rico)
- ($.default /.qatar)
- ($.default /.reunion)
- ($.default /.romania)
- ($.default /.russia)
- ($.default /.rwanda)
- ($.default /.saint_barthelemy)
- ($.default /.saint_helena)
- ($.default /.ascension)
- ($.default /.tristan_da_cunha)
- ($.default /.saint_kitts)
- ($.default /.nevis)
- ($.default /.saint_lucia)
- ($.default /.saint_martin)
- ($.default /.saint_pierre)
- ($.default /.miquelon)
- ($.default /.saint_vincent)
- ($.default /.the_grenadines)
- ($.default /.samoa)
- ($.default /.san_marino)
- ($.default /.sao_tome)
- ($.default /.principe)
- ($.default /.saudi_arabia)
- ($.default /.senegal)
- ($.default /.serbia)
- ($.default /.seychelles)
- ($.default /.sierra_leone)
- ($.default /.singapore)
- ($.default /.sint_maarten)
- ($.default /.slovakia)
- ($.default /.slovenia)
- ($.default /.solomon_islands)
- ($.default /.somalia)
- ($.default /.south_africa)
- ($.default /.south_georgia)
- ($.default /.south_sandwich_islands)
- ($.default /.south_sudan)
- ($.default /.spain)
- ($.default /.sri_lanka)
- ($.default /.sudan)
- ($.default /.suriname)
- ($.default /.svalbard)
- ($.default /.jan_mayen)
- ($.default /.sweden)
- ($.default /.switzerland)
- ($.default /.syria))))
+ (list ($.definition /.pakistan)
+ ($.definition /.palau)
+ ($.definition /.palestine)
+ ($.definition /.panama)
+ ($.definition /.papua_new_guinea)
+ ($.definition /.paraguay)
+ ($.definition /.peru)
+ ($.definition /.philippines)
+ ($.definition /.pitcairn_islands)
+ ($.definition /.poland)
+ ($.definition /.portugal)
+ ($.definition /.puerto_rico)
+ ($.definition /.qatar)
+ ($.definition /.reunion)
+ ($.definition /.romania)
+ ($.definition /.russia)
+ ($.definition /.rwanda)
+ ($.definition /.saint_barthelemy)
+ ($.definition /.saint_helena)
+ ($.definition /.ascension)
+ ($.definition /.tristan_da_cunha)
+ ($.definition /.saint_kitts)
+ ($.definition /.nevis)
+ ($.definition /.saint_lucia)
+ ($.definition /.saint_martin)
+ ($.definition /.saint_pierre)
+ ($.definition /.miquelon)
+ ($.definition /.saint_vincent)
+ ($.definition /.the_grenadines)
+ ($.definition /.samoa)
+ ($.definition /.san_marino)
+ ($.definition /.sao_tome)
+ ($.definition /.principe)
+ ($.definition /.saudi_arabia)
+ ($.definition /.senegal)
+ ($.definition /.serbia)
+ ($.definition /.seychelles)
+ ($.definition /.sierra_leone)
+ ($.definition /.singapore)
+ ($.definition /.sint_maarten)
+ ($.definition /.slovakia)
+ ($.definition /.slovenia)
+ ($.definition /.solomon_islands)
+ ($.definition /.somalia)
+ ($.definition /.south_africa)
+ ($.definition /.south_georgia)
+ ($.definition /.south_sandwich_islands)
+ ($.definition /.south_sudan)
+ ($.definition /.spain)
+ ($.definition /.sri_lanka)
+ ($.definition /.sudan)
+ ($.definition /.suriname)
+ ($.definition /.svalbard)
+ ($.definition /.jan_mayen)
+ ($.definition /.sweden)
+ ($.definition /.switzerland)
+ ($.definition /.syria))))
(def items/tuvwxyz
(list.together
- (list ($.default /.taiwan)
- ($.default /.tajikistan)
- ($.default /.tanzania)
- ($.default /.thailand)
- ($.default /.east_timor)
- ($.default /.togo)
- ($.default /.tokelau)
- ($.default /.tonga)
- ($.default /.trinidad)
- ($.default /.tobago)
- ($.default /.tunisia)
- ($.default /.turkey)
- ($.default /.turkmenistan)
- ($.default /.turks)
- ($.default /.caicos_islands)
- ($.default /.tuvalu)
- ($.default /.uganda)
- ($.default /.ukraine)
- ($.default /.united_arab_emirates)
- ($.default /.united_kingdom)
- ($.default /.northern_ireland)
- ($.default /.united_states_of_america)
- ($.default /.united_states_minor_outlying_islands)
- ($.default /.uruguay)
- ($.default /.uzbekistan)
- ($.default /.vanuatu)
- ($.default /.venezuela)
- ($.default /.vietnam)
- ($.default /.british_virgin_islands)
- ($.default /.united_states_virgin_islands)
- ($.default /.wallis)
- ($.default /.futuna)
- ($.default /.western_sahara)
- ($.default /.yemen)
- ($.default /.zambia)
- ($.default /.zimbabwe))))
+ (list ($.definition /.taiwan)
+ ($.definition /.tajikistan)
+ ($.definition /.tanzania)
+ ($.definition /.thailand)
+ ($.definition /.east_timor)
+ ($.definition /.togo)
+ ($.definition /.tokelau)
+ ($.definition /.tonga)
+ ($.definition /.trinidad)
+ ($.definition /.tobago)
+ ($.definition /.tunisia)
+ ($.definition /.turkey)
+ ($.definition /.turkmenistan)
+ ($.definition /.turks)
+ ($.definition /.caicos_islands)
+ ($.definition /.tuvalu)
+ ($.definition /.uganda)
+ ($.definition /.ukraine)
+ ($.definition /.united_arab_emirates)
+ ($.definition /.united_kingdom)
+ ($.definition /.northern_ireland)
+ ($.definition /.united_states_of_america)
+ ($.definition /.united_states_minor_outlying_islands)
+ ($.definition /.uruguay)
+ ($.definition /.uzbekistan)
+ ($.definition /.vanuatu)
+ ($.definition /.venezuela)
+ ($.definition /.vietnam)
+ ($.definition /.british_virgin_islands)
+ ($.definition /.united_states_virgin_islands)
+ ($.definition /.wallis)
+ ($.definition /.futuna)
+ ($.definition /.western_sahara)
+ ($.definition /.yemen)
+ ($.definition /.zambia)
+ ($.definition /.zimbabwe))))
(.def .public documentation
(.List $.Module)
(`` ($.module /._
""
- [($.default /.name)
- ($.default /.short_code)
- ($.default /.long_code)
- ($.default /.numeric_code)
- ($.default /.equivalence)
- ($.default /.hash)
+ [($.definition /.name)
+ ($.definition /.short_code)
+ ($.definition /.long_code)
+ ($.definition /.numeric_code)
+ ($.definition /.equivalence)
+ ($.definition /.hash)
..items/ab
..items/cd
..items/efg
diff --git a/stdlib/source/documentation/lux/world/net.lux b/stdlib/source/documentation/lux/world/net.lux
index f2e301d2f..1bc599540 100644
--- a/stdlib/source/documentation/lux/world/net.lux
+++ b/stdlib/source/documentation/lux/world/net.lux
@@ -18,7 +18,7 @@
(.List $.Module)
($.module /._
""
- [($.default /.Location)
+ [($.definition /.Location)
($.definition /.Address
"A TCP/IP address.")
diff --git a/stdlib/source/documentation/lux/world/net/http/client.lux b/stdlib/source/documentation/lux/world/net/http/client.lux
index e5605d57c..e306658a4 100644
--- a/stdlib/source/documentation/lux/world/net/http/client.lux
+++ b/stdlib/source/documentation/lux/world/net/http/client.lux
@@ -16,9 +16,9 @@
(.List $.Module)
(`` (`` ($.module /._
""
- [($.default /.async)
- ($.default /.headers)
- (,, (for @.jvm (,, (these ($.default /.default)))
+ [($.definition /.async)
+ ($.definition /.headers)
+ (,, (for @.jvm (,, (these ($.definition /.default)))
(,, (these))))
($.definition (/.Client !)
diff --git a/stdlib/source/documentation/lux/world/output/video/resolution.lux b/stdlib/source/documentation/lux/world/output/video/resolution.lux
index a53ea1ff0..3ad820414 100644
--- a/stdlib/source/documentation/lux/world/output/video/resolution.lux
+++ b/stdlib/source/documentation/lux/world/output/video/resolution.lux
@@ -15,8 +15,8 @@
(.List $.Module)
($.module /._
""
- [($.default /.hash)
- ($.default /.equivalence)
+ [($.definition /.hash)
+ ($.definition /.equivalence)
($.definition /.Resolution
"A screen resolution.")
diff --git a/stdlib/source/documentation/lux/world/shell.lux b/stdlib/source/documentation/lux/world/shell.lux
index 9bc4e1978..100a642e2 100644
--- a/stdlib/source/documentation/lux/world/shell.lux
+++ b/stdlib/source/documentation/lux/world/shell.lux
@@ -14,11 +14,11 @@
(.List $.Module)
(`` (`` ($.module /._
""
- [($.default /.normal)
- ($.default /.error)
- ($.default /.async)
- (,, (for @.jvm (,, (these ($.default /.no_more_output)
- ($.default /.default)))
+ [($.definition /.normal)
+ ($.definition /.error)
+ ($.definition /.async)
+ (,, (for @.jvm (,, (these ($.definition /.no_more_output)
+ ($.definition /.default)))
(,, (these))))
($.definition /.Exit
diff --git a/stdlib/source/documentation/lux/world/time.lux b/stdlib/source/documentation/lux/world/time.lux
index 177b8b2f6..cd799e437 100644
--- a/stdlib/source/documentation/lux/world/time.lux
+++ b/stdlib/source/documentation/lux/world/time.lux
@@ -19,15 +19,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.time_exceeds_a_day)
- ($.default /.invalid_hour)
- ($.default /.invalid_minute)
- ($.default /.invalid_second)
- ($.default /.millis)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.enum)
- ($.default /.parser)
+ [($.definition /.time_exceeds_a_day)
+ ($.definition /.invalid_hour)
+ ($.definition /.invalid_minute)
+ ($.definition /.invalid_second)
+ ($.definition /.millis)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ($.definition /.parser)
(,, (with_template [<name> <doc>]
[($.definition <name>
diff --git a/stdlib/source/documentation/lux/world/time/date.lux b/stdlib/source/documentation/lux/world/time/date.lux
index 6c508233f..6d5716f7f 100644
--- a/stdlib/source/documentation/lux/world/time/date.lux
+++ b/stdlib/source/documentation/lux/world/time/date.lux
@@ -12,18 +12,18 @@
(.List $.Module)
($.module /._
""
- [($.default /.invalid_day)
- ($.default /.epoch)
- ($.default /.year)
- ($.default /.month)
- ($.default /.day_of_month)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.invalid_month)
- ($.default /.parser)
- ($.default /.days)
- ($.default /.of_days)
- ($.default /.enum)
+ [($.definition /.invalid_day)
+ ($.definition /.epoch)
+ ($.definition /.year)
+ ($.definition /.month)
+ ($.definition /.day_of_month)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.invalid_month)
+ ($.definition /.parser)
+ ($.definition /.days)
+ ($.definition /.of_days)
+ ($.definition /.enum)
($.definition /.Date
"A date specified as a year/month/day triplet.")
diff --git a/stdlib/source/documentation/lux/world/time/day.lux b/stdlib/source/documentation/lux/world/time/day.lux
index c72d8dbb3..d7441d2b7 100644
--- a/stdlib/source/documentation/lux/world/time/day.lux
+++ b/stdlib/source/documentation/lux/world/time/day.lux
@@ -12,15 +12,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.order)
- ($.default /.enum)
- ($.default /.not_a_day_of_the_week)
- ($.default /.codec)
- ($.default /.number)
- ($.default /.invalid_day)
- ($.default /.by_number)
- ($.default /.hash)
+ [($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ($.definition /.not_a_day_of_the_week)
+ ($.definition /.codec)
+ ($.definition /.number)
+ ($.definition /.invalid_day)
+ ($.definition /.by_number)
+ ($.definition /.hash)
($.definition /.Day
"A day of the week.")
diff --git a/stdlib/source/documentation/lux/world/time/duration.lux b/stdlib/source/documentation/lux/world/time/duration.lux
index 3cc1a1372..f3725156c 100644
--- a/stdlib/source/documentation/lux/world/time/duration.lux
+++ b/stdlib/source/documentation/lux/world/time/duration.lux
@@ -12,31 +12,31 @@
(.List $.Module)
($.module /._
""
- [($.default /.of_millis)
- ($.default /.millis)
- ($.default /.composite)
- ($.default /.framed)
- ($.default /.up)
- ($.default /.down)
- ($.default /.inverse)
- ($.default /.ticks)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.positive?)
- ($.default /.negative?)
- ($.default /.neutral?)
- ($.default /.empty)
- ($.default /.milli_second)
- ($.default /.second)
- ($.default /.minute)
- ($.default /.hour)
- ($.default /.day)
- ($.default /.week)
- ($.default /.normal_year)
- ($.default /.leap_year)
- ($.default /.monoid)
- ($.default /.codec)
- ($.default /.enum)
+ [($.definition /.of_millis)
+ ($.definition /.millis)
+ ($.definition /.composite)
+ ($.definition /.framed)
+ ($.definition /.up)
+ ($.definition /.down)
+ ($.definition /.inverse)
+ ($.definition /.ticks)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.positive?)
+ ($.definition /.negative?)
+ ($.definition /.neutral?)
+ ($.definition /.empty)
+ ($.definition /.milli_second)
+ ($.definition /.second)
+ ($.definition /.minute)
+ ($.definition /.hour)
+ ($.definition /.day)
+ ($.definition /.week)
+ ($.definition /.normal_year)
+ ($.definition /.leap_year)
+ ($.definition /.monoid)
+ ($.definition /.codec)
+ ($.definition /.enum)
($.definition /.Duration
"Durations have a resolution of milli-seconds.")
diff --git a/stdlib/source/documentation/lux/world/time/instant.lux b/stdlib/source/documentation/lux/world/time/instant.lux
index b06126fc8..ae5ffb421 100644
--- a/stdlib/source/documentation/lux/world/time/instant.lux
+++ b/stdlib/source/documentation/lux/world/time/instant.lux
@@ -12,14 +12,14 @@
(.List $.Module)
($.module /._
""
- [($.default /.of_millis)
- ($.default /.millis)
- ($.default /.equivalence)
- ($.default /.order)
- ($.default /.enum)
- ($.default /.date)
- ($.default /.time)
- ($.default /.day_of_week)
+ [($.definition /.of_millis)
+ ($.definition /.millis)
+ ($.definition /.equivalence)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ($.definition /.date)
+ ($.definition /.time)
+ ($.definition /.day_of_week)
($.definition /.Instant
"Instant is defined as milli-seconds since the epoch.")
diff --git a/stdlib/source/documentation/lux/world/time/month.lux b/stdlib/source/documentation/lux/world/time/month.lux
index 6ad0cc526..b1f03829c 100644
--- a/stdlib/source/documentation/lux/world/time/month.lux
+++ b/stdlib/source/documentation/lux/world/time/month.lux
@@ -12,15 +12,15 @@
(.List $.Module)
($.module /._
""
- [($.default /.equivalence)
- ($.default /.number)
- ($.default /.invalid_month)
- ($.default /.by_number)
- ($.default /.hash)
- ($.default /.order)
- ($.default /.enum)
- ($.default /.not_a_month_of_the_year)
- ($.default /.codec)
+ [($.definition /.equivalence)
+ ($.definition /.number)
+ ($.definition /.invalid_month)
+ ($.definition /.by_number)
+ ($.definition /.hash)
+ ($.definition /.order)
+ ($.definition /.enum)
+ ($.definition /.not_a_month_of_the_year)
+ ($.definition /.codec)
($.definition /.Month
"A month of the year.")
diff --git a/stdlib/source/documentation/lux/world/time/year.lux b/stdlib/source/documentation/lux/world/time/year.lux
index 93a7c34aa..0f2a5825b 100644
--- a/stdlib/source/documentation/lux/world/time/year.lux
+++ b/stdlib/source/documentation/lux/world/time/year.lux
@@ -12,16 +12,16 @@
(.List $.Module)
($.module /._
""
- [($.default /.there_is_no_year_0)
- ($.default /.value)
- ($.default /.epoch)
- ($.default /.leap)
- ($.default /.century)
- ($.default /.era)
- ($.default /.leap?)
- ($.default /.parser)
- ($.default /.equivalence)
- ($.default /.order)
+ [($.definition /.there_is_no_year_0)
+ ($.definition /.value)
+ ($.definition /.epoch)
+ ($.definition /.leap)
+ ($.definition /.century)
+ ($.definition /.era)
+ ($.definition /.leap?)
+ ($.definition /.parser)
+ ($.definition /.equivalence)
+ ($.definition /.order)
($.definition /.Year
(format "A year in the gregorian calendar."
diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux
index 1a0c9ce38..73dbbcd63 100644
--- a/stdlib/source/library/lux/documentation.lux
+++ b/stdlib/source/library/lux/documentation.lux
@@ -580,18 +580,6 @@
#expected (Set Text)
#definitions (List Definition)]))
-(def .public default
- (syntax (_ [[name parameters] ..declaration])
- (macro.with_symbols [g!_]
- (let [[_ short] name]
- (in (list (` (.let [(, g!_) (.is (.-> .Any (.List ..Definition))
- (.function ((, g!_) (, g!_))
- (.list [..#definition (, (code.text short))
- ..#documentation ((,! ..minimal_definition_documentation)
- ((, (code.symbol name))
- (,* (list#each code.local parameters))))])))]
- ((, g!_) [])))))))))
-
(def .public definition
(syntax (_ [[name parameters] ..declaration
extra (<>.some <code>.any)])
@@ -600,7 +588,12 @@
(in (list (` (.let [(, g!_) (.is (.-> .Any (.List ..Definition))
(.function ((, g!_) (, g!_))
(.list [..#definition (, (code.text short))
- ..#documentation ((,! ..definition_documentation)
+ ..#documentation ((, (case extra
+ (list)
+ (` (,! ..minimal_definition_documentation))
+
+ _
+ (` (,! ..definition_documentation))))
((, (code.symbol name))
(,* (list#each code.local parameters)))
(,* extra))])))]
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index 0a306c771..4196ab09d 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -52,9 +52,8 @@
(<| (_.covering /._)
(all _.and
(_.for [/.Definition]
- (all _.and
- (_.coverage [/.default]
- (case (`` (/.default (,, (template.symbol [.._] [g!default]))))
+ (_.coverage [/.definition]
+ (and (case (`` (/.definition (,, (template.symbol [.._] [g!default]))))
(list definition)
(and (|> definition
(the /.#definition)
@@ -66,8 +65,7 @@
not))
_
- false))
- (_.coverage [/.definition]
+ false)
(case ..definition
(list documentation)
(and (|> documentation
@@ -79,38 +77,35 @@
(text.contains? 'definition_description')))
_
- false))
- ))
+ false))))
(_.for [/.Module]
- (all _.and
- (_.coverage [/.module /.markdown]
- (let [sub (`` (/.module /._
- (,, (template.text ['sub_description']))
- []
- []))
- super (`` (/.module .._
- (,, (template.text ['super_description']))
- [..definition]
- [sub]))]
- (and (text.contains? (template.text ['sub_description'])
- (/.markdown sub))
- (text.contains? (/.markdown sub)
- (/.markdown super))
- (text.contains? (template.text ['super_description'])
- (/.markdown super))
- (case ..definition
- (list documentation)
- (text.contains? (md.markdown (the /.#documentation documentation))
- (/.markdown super))
+ (_.coverage [/.module /.markdown]
+ (let [sub (`` (/.module /._
+ (,, (template.text ['sub_description']))
+ []
+ []))
+ super (`` (/.module .._
+ (,, (template.text ['super_description']))
+ [..definition]
+ [sub]))]
+ (and (text.contains? (template.text ['sub_description'])
+ (/.markdown sub))
+ (text.contains? (/.markdown sub)
+ (/.markdown super))
+ (text.contains? (template.text ['super_description'])
+ (/.markdown super))
+ (case ..definition
+ (list documentation)
+ (text.contains? (md.markdown (the /.#documentation documentation))
+ (/.markdown super))
- _
- false))))
- ))
+ _
+ false)))))
(_.coverage [/.unqualified_symbol]
(`` (and (,, (with_template [<example>]
[(macro_error <example>)]
- [(/.default g!default)]
+ [(/.definition g!default)]
[(/.definition g!default
(,, (template.text ['definition_description'])))]
[(/.module g!default