From 6a052144968df9b441df53f6aa08cbb515ff2654 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 8 Jul 2022 18:42:43 -0400 Subject: Folded "default" documentation into regular definition documentation. --- stdlib/source/documentation/lux.lux | 24 +- .../documentation/lux/abstract/comonad/free.lux | 4 +- .../documentation/lux/abstract/equivalence.lux | 8 +- .../source/documentation/lux/abstract/functor.lux | 8 +- stdlib/source/documentation/lux/abstract/hash.lux | 2 +- .../source/documentation/lux/abstract/interval.lux | 34 +- .../documentation/lux/abstract/monad/free.lux | 6 +- .../source/documentation/lux/abstract/monoid.lux | 2 +- stdlib/source/documentation/lux/abstract/order.lux | 2 +- .../documentation/lux/control/concatenative.lux | 2 +- .../lux/control/concurrency/actor.lux | 8 +- .../lux/control/concurrency/async.lux | 6 +- .../documentation/lux/control/concurrency/atom.lux | 4 +- .../documentation/lux/control/concurrency/frp.lux | 22 +- .../lux/control/concurrency/semaphore.lux | 4 +- .../documentation/lux/control/concurrency/stm.lux | 10 +- .../documentation/lux/control/continuation.lux | 12 +- .../source/documentation/lux/control/exception.lux | 2 +- .../source/documentation/lux/control/function.lux | 2 +- .../lux/control/function/contract.lux | 4 +- .../documentation/lux/control/function/memo.lux | 4 +- .../documentation/lux/control/function/mixin.lux | 2 +- .../lux/control/function/predicate.lux | 6 +- stdlib/source/documentation/lux/control/io.lux | 6 +- stdlib/source/documentation/lux/control/lazy.lux | 10 +- stdlib/source/documentation/lux/control/maybe.lux | 16 +- stdlib/source/documentation/lux/control/parser.lux | 6 +- stdlib/source/documentation/lux/control/reader.lux | 6 +- stdlib/source/documentation/lux/control/region.lux | 8 +- .../source/documentation/lux/control/remember.lux | 2 +- .../documentation/lux/control/security/policy.lux | 18 +- stdlib/source/documentation/lux/control/state.lux | 6 +- stdlib/source/documentation/lux/control/thread.lux | 6 +- stdlib/source/documentation/lux/control/try.lux | 8 +- stdlib/source/documentation/lux/control/writer.lux | 6 +- stdlib/source/documentation/lux/data/binary.lux | 120 +-- stdlib/source/documentation/lux/data/bit.lux | 18 +- .../documentation/lux/data/collection/array.lux | 14 +- .../documentation/lux/data/collection/bits.lux | 22 +- .../lux/data/collection/dictionary.lux | 18 +- .../lux/data/collection/dictionary/ordered.lux | 10 +- .../documentation/lux/data/collection/list.lux | 34 +- .../lux/data/collection/list/property.lux | 12 +- .../documentation/lux/data/collection/queue.lux | 10 +- .../lux/data/collection/queue/priority.lux | 18 +- .../documentation/lux/data/collection/sequence.lux | 28 +- .../documentation/lux/data/collection/set.lux | 28 +- .../lux/data/collection/set/multi.lux | 24 +- .../lux/data/collection/set/ordered.lux | 20 +- .../documentation/lux/data/collection/stack.lux | 10 +- .../documentation/lux/data/collection/stream.lux | 20 +- .../documentation/lux/data/collection/tree.lux | 8 +- .../lux/data/collection/tree/finger.lux | 4 +- .../lux/data/collection/tree/zipper.lux | 46 +- stdlib/source/documentation/lux/data/color.lux | 42 +- .../source/documentation/lux/data/format/json.lux | 32 +- .../source/documentation/lux/data/format/tar.lux | 120 +-- .../source/documentation/lux/data/format/xml.lux | 24 +- stdlib/source/documentation/lux/data/identity.lux | 8 +- stdlib/source/documentation/lux/data/product.lux | 4 +- stdlib/source/documentation/lux/data/sum.lux | 10 +- stdlib/source/documentation/lux/data/text.lux | 160 +-- .../source/documentation/lux/data/text/buffer.lux | 8 +- .../documentation/lux/data/text/encoding.lux | 2 +- .../source/documentation/lux/data/text/escape.lux | 8 +- .../source/documentation/lux/data/text/regex.lux | 2 +- .../documentation/lux/data/text/unicode/block.lux | 12 +- .../documentation/lux/data/text/unicode/set.lux | 28 +- stdlib/source/documentation/lux/debug.lux | 6 +- stdlib/source/documentation/lux/documentation.lux | 19 +- stdlib/source/documentation/lux/ffi.js.lux | 24 +- stdlib/source/documentation/lux/ffi.jvm.lux | 14 +- stdlib/source/documentation/lux/ffi.lua.lux | 16 +- stdlib/source/documentation/lux/ffi.old.lux | 6 +- stdlib/source/documentation/lux/ffi.py.lux | 16 +- stdlib/source/documentation/lux/ffi.rb.lux | 12 +- stdlib/source/documentation/lux/math/logic.lux | 3 +- .../documentation/lux/math/logic/continuous.lux | 16 +- .../source/documentation/lux/math/logic/fuzzy.lux | 14 +- stdlib/source/documentation/lux/math/modular.lux | 36 +- stdlib/source/documentation/lux/math/modulus.lux | 8 +- .../documentation/lux/math/number/complex.lux | 72 +- .../source/documentation/lux/math/number/frac.lux | 106 +- .../source/documentation/lux/math/number/i16.lux | 8 +- .../source/documentation/lux/math/number/i32.lux | 8 +- .../source/documentation/lux/math/number/i64.lux | 24 +- stdlib/source/documentation/lux/math/number/i8.lux | 8 +- .../source/documentation/lux/math/number/int.lux | 40 +- .../source/documentation/lux/math/number/nat.lux | 34 +- .../source/documentation/lux/math/number/ratio.lux | 34 +- .../source/documentation/lux/math/number/rev.lux | 54 +- stdlib/source/documentation/lux/math/random.lux | 68 +- stdlib/source/documentation/lux/meta.lux | 12 +- stdlib/source/documentation/lux/meta/code.lux | 24 +- .../lux/meta/compiler/language/lux/analysis.lux | 90 +- .../lux/meta/compiler/language/lux/declaration.lux | 36 +- .../lux/meta/compiler/language/lux/generation.lux | 92 +- .../lux/meta/compiler/language/lux/synthesis.lux | 142 +-- .../documentation/lux/meta/compiler/phase.lux | 30 +- stdlib/source/documentation/lux/meta/location.lux | 6 +- .../source/documentation/lux/meta/macro/local.lux | 6 +- .../documentation/lux/meta/macro/syntax/check.lux | 6 +- .../lux/meta/macro/syntax/declaration.lux | 4 +- .../lux/meta/macro/syntax/definition.lux | 6 +- .../documentation/lux/meta/macro/syntax/export.lux | 2 +- .../documentation/lux/meta/macro/syntax/input.lux | 4 +- .../lux/meta/macro/syntax/type/variable.lux | 4 +- .../documentation/lux/meta/macro/template.lux | 2 +- stdlib/source/documentation/lux/meta/symbol.lux | 8 +- stdlib/source/documentation/lux/meta/target.lux | 20 +- stdlib/source/documentation/lux/meta/target/js.lux | 160 +-- .../documentation/lux/meta/target/jvm/type.lux | 62 +- .../lux/meta/target/jvm/type/alias.lux | 6 +- .../documentation/lux/meta/target/jvm/type/box.lux | 16 +- .../lux/meta/target/jvm/type/category.lux | 26 +- .../lux/meta/target/jvm/type/descriptor.lux | 50 +- .../documentation/lux/meta/target/jvm/type/lux.lux | 22 +- .../lux/meta/target/jvm/type/parser.lux | 72 +- .../lux/meta/target/jvm/type/reflection.lux | 40 +- .../lux/meta/target/jvm/type/signature.lux | 62 +- .../source/documentation/lux/meta/target/lua.lux | 150 +-- .../documentation/lux/meta/target/python.lux | 190 ++-- .../source/documentation/lux/meta/target/ruby.lux | 192 ++-- stdlib/source/documentation/lux/meta/type.lux | 36 +- .../source/documentation/lux/meta/type/check.lux | 22 +- .../source/documentation/lux/meta/type/dynamic.lux | 4 +- stdlib/source/documentation/lux/meta/type/poly.lux | 2 +- .../documentation/lux/meta/type/quotient.lux | 8 +- .../documentation/lux/meta/type/refinement.lux | 4 +- .../documentation/lux/meta/type/resource.lux | 6 +- stdlib/source/documentation/lux/meta/type/unit.lux | 38 +- stdlib/source/documentation/lux/test.lux | 4 +- stdlib/source/documentation/lux/world/console.lux | 8 +- .../source/documentation/lux/world/environment.lux | 8 +- stdlib/source/documentation/lux/world/file.lux | 14 +- .../source/documentation/lux/world/file/watch.lux | 18 +- .../documentation/lux/world/input/keyboard.lux | 168 ++-- stdlib/source/documentation/lux/world/locale.lux | 6 +- .../documentation/lux/world/locale/language.lux | 1062 ++++++++++---------- .../documentation/lux/world/locale/territory.lux | 544 +++++----- stdlib/source/documentation/lux/world/net.lux | 2 +- .../documentation/lux/world/net/http/client.lux | 6 +- .../lux/world/output/video/resolution.lux | 4 +- stdlib/source/documentation/lux/world/shell.lux | 10 +- stdlib/source/documentation/lux/world/time.lux | 18 +- .../source/documentation/lux/world/time/date.lux | 24 +- stdlib/source/documentation/lux/world/time/day.lux | 18 +- .../documentation/lux/world/time/duration.lux | 50 +- .../documentation/lux/world/time/instant.lux | 16 +- .../source/documentation/lux/world/time/month.lux | 18 +- .../source/documentation/lux/world/time/year.lux | 20 +- stdlib/source/library/lux/documentation.lux | 19 +- stdlib/source/test/lux/documentation.lux | 57 +- 153 files changed, 2795 insertions(+), 2807 deletions(-) (limited to 'stdlib') 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 [ (/.definition /.default - "" - [(is /.Definition - (default ..definition))]) +(with_expansions [ (/.definition /.definition) + (/.definition /.definition + "" + []) (/.definition /.definition "" - []) - (these (/.default /.unqualified_symbol) - (/.default /.Definition) - (/.default /.Module) - (/.default /.definition) + []) + (these (/.definition /.unqualified_symbol) + (/.definition /.Definition) + (/.definition /.Module) + (/.definition /.definition) - )] (.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 [] [(`` ($.definition 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 [ ] [($.definition 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 [ ] [($.definition 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 [ ] [($.definition 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 [] [($.definition 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 [ ] [($.definition 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 .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 [] [(macro_error )] - [(/.default g!default)] + [(/.definition g!default)] [(/.definition g!default (,, (template.text ['definition_description'])))] [(/.module g!default -- cgit v1.2.3