diff options
Diffstat (limited to '')
192 files changed, 767 insertions, 767 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index 88102d67a..d7eba1182 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -3,42 +3,42 @@ [lux [program {"+" [program:]}] ["$" documentation {"+" [documentation:]}] - ["." debug] + ["[0]" debug] [control - ["." io] + ["[0]" io] ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." abstract] - ["#." control] - ["#." data] - ["#." debug] - ["#." documentation] - ["#." extension] - ["#." ffi] - ["#." locale] - ["#." macro] - ["#." math] - ["#." meta] - ["#." program] - ["#." static] - ["#." target] - ["#." test] - ["#." time] - ["#." tool] ... TODO: Documentation for this - ["#." type] - ["#." world] - ... ["#." target "_" + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" abstract] + ["[1][0]" control] + ["[1][0]" data] + ["[1][0]" debug] + ["[1][0]" documentation] + ["[1][0]" extension] + ["[1][0]" ffi] + ["[1][0]" locale] + ["[1][0]" macro] + ["[1][0]" math] + ["[1][0]" meta] + ["[1][0]" program] + ["[1][0]" static] + ["[1][0]" target] + ["[1][0]" test] + ["[1][0]" time] + ["[1][0]" tool] ... TODO: Documentation for this + ["[1][0]" type] + ["[1][0]" world] + ... ["[1][0]" target "_" ... <target>] ]) @@ -536,7 +536,7 @@ \n "Takes an 'alias' text for the generated local bindings.") [(def: .public (range enum from to) (All (_ a) (-> (Enum a) a a (List a))) - (let [(^open ".") enum] + (let [(^open "[0]") enum] (loop [end to output #.End] (cond (< end from) @@ -565,7 +565,7 @@ (documentation: /.open: "Opens a implementation and generates a definition for each of its members (including nested members)." - [(open: "i:." order) + [(open: "i:[0]" order) "=>" (def: i:= (\ order =)) (def: i:< (\ order <))]) @@ -601,11 +601,11 @@ ["M" monad "*"]] [data maybe - ["." name ("#\." codec)]] + ["[0]" name ("[1]\[0]" codec)]] [macro code]] [// - [type ("." equivalence)]])]) + [type ("[0]" equivalence)]])]) (documentation: /.\ "Allows accessing the value of a implementation's member." diff --git a/stdlib/source/documentation/lux/abstract.lux b/stdlib/source/documentation/lux/abstract.lux index 3181d310c..8138b8443 100644 --- a/stdlib/source/documentation/lux/abstract.lux +++ b/stdlib/source/documentation/lux/abstract.lux @@ -6,21 +6,21 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." apply] - ["#." codec] - ["#." comonad] - ["#." enum] - ["#." equivalence] - ["#." mix] - ["#." functor] - ["#." hash] - ["#." interval] - ["#." monad] - ["#." monoid] - ["#." order] - ["#." predicate]]) + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" apply] + ["[1][0]" codec] + ["[1][0]" comonad] + ["[1][0]" enum] + ["[1][0]" equivalence] + ["[1][0]" mix] + ["[1][0]" functor] + ["[1][0]" hash] + ["[1][0]" interval] + ["[1][0]" monad] + ["[1][0]" monoid] + ["[1][0]" order] + ["[1][0]" predicate]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/abstract/apply.lux b/stdlib/source/documentation/lux/abstract/apply.lux index 063946288..84d13dc32 100644 --- a/stdlib/source/documentation/lux/abstract/apply.lux +++ b/stdlib/source/documentation/lux/abstract/apply.lux @@ -3,7 +3,7 @@ [lux ["$" documentation {"+" [documentation:]}]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Apply f) "Applicative functors.") diff --git a/stdlib/source/documentation/lux/abstract/codec.lux b/stdlib/source/documentation/lux/abstract/codec.lux index f0eeae7c0..a872caabb 100644 --- a/stdlib/source/documentation/lux/abstract/codec.lux +++ b/stdlib/source/documentation/lux/abstract/codec.lux @@ -3,7 +3,7 @@ [lux ["$" documentation {"+" [documentation:]}]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Codec medium value) "A way to move back-and-forth between a type and an alternative representation for it.") diff --git a/stdlib/source/documentation/lux/abstract/comonad.lux b/stdlib/source/documentation/lux/abstract/comonad.lux index 17087bac0..50ee8c3dd 100644 --- a/stdlib/source/documentation/lux/abstract/comonad.lux +++ b/stdlib/source/documentation/lux/abstract/comonad.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]] - ["." / "_" - ["#." cofree]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" cofree]]) (documentation: (/.CoMonad !) (format "Co-monads are the opposite/complement to monads." diff --git a/stdlib/source/documentation/lux/abstract/comonad/cofree.lux b/stdlib/source/documentation/lux/abstract/comonad/cofree.lux index b526fe7db..142759e06 100644 --- a/stdlib/source/documentation/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/documentation/lux/abstract/comonad/cofree.lux @@ -3,7 +3,7 @@ [lux ["$" documentation {"+" [documentation:]}]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.CoFree ! it) "The CoFree CoMonad.") diff --git a/stdlib/source/documentation/lux/abstract/enum.lux b/stdlib/source/documentation/lux/abstract/enum.lux index 518ff2303..2c823bbc1 100644 --- a/stdlib/source/documentation/lux/abstract/enum.lux +++ b/stdlib/source/documentation/lux/abstract/enum.lux @@ -3,7 +3,7 @@ [lux ["$" documentation {"+" [documentation:]}]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Enum it) "Enumerable types, with a notion of moving forward and backwards through a type's instances.") diff --git a/stdlib/source/documentation/lux/abstract/equivalence.lux b/stdlib/source/documentation/lux/abstract/equivalence.lux index 06d419af8..ea02fe181 100644 --- a/stdlib/source/documentation/lux/abstract/equivalence.lux +++ b/stdlib/source/documentation/lux/abstract/equivalence.lux @@ -6,7 +6,7 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Equivalence it) "Equivalence for a type's instances.") diff --git a/stdlib/source/documentation/lux/abstract/functor.lux b/stdlib/source/documentation/lux/abstract/functor.lux index 9c4cb9a5e..26bba0538 100644 --- a/stdlib/source/documentation/lux/abstract/functor.lux +++ b/stdlib/source/documentation/lux/abstract/functor.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]] - ["." / "_" - ["#." contravariant]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" contravariant]]) (documentation: /.sum "Co-product (sum) composition for functors.") diff --git a/stdlib/source/documentation/lux/abstract/functor/contravariant.lux b/stdlib/source/documentation/lux/abstract/functor/contravariant.lux index 5db7791c7..a97d4fc7f 100644 --- a/stdlib/source/documentation/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/documentation/lux/abstract/functor/contravariant.lux @@ -3,7 +3,7 @@ [lux ["$" documentation {"+" [documentation:]}]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Functor !) "The contravariant functor.") diff --git a/stdlib/source/documentation/lux/abstract/hash.lux b/stdlib/source/documentation/lux/abstract/hash.lux index 08ca4099d..e1a3d0d13 100644 --- a/stdlib/source/documentation/lux/abstract/hash.lux +++ b/stdlib/source/documentation/lux/abstract/hash.lux @@ -6,7 +6,7 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 6160d05ab..47eee41c4 100644 --- a/stdlib/source/documentation/lux/abstract/interval.lux +++ b/stdlib/source/documentation/lux/abstract/interval.lux @@ -6,7 +6,7 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Interval it) "A representation of top and bottom boundaries for an ordered type.") diff --git a/stdlib/source/documentation/lux/abstract/mix.lux b/stdlib/source/documentation/lux/abstract/mix.lux index 8bda5adb1..8bc2be5f5 100644 --- a/stdlib/source/documentation/lux/abstract/mix.lux +++ b/stdlib/source/documentation/lux/abstract/mix.lux @@ -6,7 +6,7 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Mix structure) "Iterate over a structure's values to build a summary value.") diff --git a/stdlib/source/documentation/lux/abstract/monad.lux b/stdlib/source/documentation/lux/abstract/monad.lux index 634598bf3..83858883d 100644 --- a/stdlib/source/documentation/lux/abstract/monad.lux +++ b/stdlib/source/documentation/lux/abstract/monad.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]] - ["." / "_" - ["#." free]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" free]]) (documentation: (/.Monad it) (format "A monad is a monoid in the category of endofunctors." diff --git a/stdlib/source/documentation/lux/abstract/monad/free.lux b/stdlib/source/documentation/lux/abstract/monad/free.lux index 9276e9cac..8b9fdd5af 100644 --- a/stdlib/source/documentation/lux/abstract/monad/free.lux +++ b/stdlib/source/documentation/lux/abstract/monad/free.lux @@ -3,7 +3,7 @@ [lux ["$" documentation {"+" [documentation:]}]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Free ! it) "The Free Monad.") diff --git a/stdlib/source/documentation/lux/abstract/monoid.lux b/stdlib/source/documentation/lux/abstract/monoid.lux index 75ea66ab2..b571fdec0 100644 --- a/stdlib/source/documentation/lux/abstract/monoid.lux +++ b/stdlib/source/documentation/lux/abstract/monoid.lux @@ -6,7 +6,7 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 54aa48368..04306b6f7 100644 --- a/stdlib/source/documentation/lux/abstract/order.lux +++ b/stdlib/source/documentation/lux/abstract/order.lux @@ -6,7 +6,7 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Order it) "A signature for types that possess some sense of ordering among their elements.") diff --git a/stdlib/source/documentation/lux/abstract/predicate.lux b/stdlib/source/documentation/lux/abstract/predicate.lux index b1fe154e7..8f30ac369 100644 --- a/stdlib/source/documentation/lux/abstract/predicate.lux +++ b/stdlib/source/documentation/lux/abstract/predicate.lux @@ -6,7 +6,7 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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.lux b/stdlib/source/documentation/lux/control.lux index bcfb0845a..aa80aa227 100644 --- a/stdlib/source/documentation/lux/control.lux +++ b/stdlib/source/documentation/lux/control.lux @@ -6,26 +6,26 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." concatenative] - ["#." concurrency] - ["#." continuation] - ["#." exception] - ["#." function] - ["#." io] - ["#." lazy] - ["#." maybe] - ["#." parser] - ["#." pipe] - ["#." reader] - ["#." region] - ["#." remember] - ["#." security] - ["#." state] - ["#." thread] - ["#." try] - ["#." writer] + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" concatenative] + ["[1][0]" concurrency] + ["[1][0]" continuation] + ["[1][0]" exception] + ["[1][0]" function] + ["[1][0]" io] + ["[1][0]" lazy] + ["[1][0]" maybe] + ["[1][0]" parser] + ["[1][0]" pipe] + ["[1][0]" reader] + ["[1][0]" region] + ["[1][0]" remember] + ["[1][0]" security] + ["[1][0]" state] + ["[1][0]" thread] + ["[1][0]" try] + ["[1][0]" writer] ]) (.def: .public documentation diff --git a/stdlib/source/documentation/lux/control/concatenative.lux b/stdlib/source/documentation/lux/control/concatenative.lux index 104f59381..ef19810e2 100644 --- a/stdlib/source/documentation/lux/control/concatenative.lux +++ b/stdlib/source/documentation/lux/control/concatenative.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list ("#\." monad)]]] + ["[0]" list ("[1]\[0]" monad)]]] [macro - ["." template]] + ["[0]" template]] [math [number ["n" nat] @@ -16,7 +16,7 @@ ["r" rev] ["f" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.=> "Concatenative function types." diff --git a/stdlib/source/documentation/lux/control/concurrency.lux b/stdlib/source/documentation/lux/control/concurrency.lux index a6a06b327..b1c92ebb0 100644 --- a/stdlib/source/documentation/lux/control/concurrency.lux +++ b/stdlib/source/documentation/lux/control/concurrency.lux @@ -6,15 +6,15 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." actor] - ["#." async] - ["#." atom] - ["#." frp] - ["#." semaphore] - ["#." stm] - ["#." thread]]) + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" actor] + ["[1][0]" async] + ["[1][0]" atom] + ["[1][0]" frp] + ["[1][0]" semaphore] + ["[1][0]" stm] + ["[1][0]" thread]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/control/concurrency/actor.lux b/stdlib/source/documentation/lux/control/concurrency/actor.lux index 05989e2dd..240b1aefe 100644 --- a/stdlib/source/documentation/lux/control/concurrency/actor.lux +++ b/stdlib/source/documentation/lux/control/concurrency/actor.lux @@ -6,11 +6,11 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list ("#\." monad)]]] + ["[0]" list ("[1]\[0]" monad)]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 7e453f544..59432302c 100644 --- a/stdlib/source/documentation/lux/control/concurrency/async.lux +++ b/stdlib/source/documentation/lux/control/concurrency/async.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 fece4dd0b..0d3f8e29a 100644 --- a/stdlib/source/documentation/lux/control/concurrency/atom.lux +++ b/stdlib/source/documentation/lux/control/concurrency/atom.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 cc1ef6405..438ce3114 100644 --- a/stdlib/source/documentation/lux/control/concurrency/frp.lux +++ b/stdlib/source/documentation/lux/control/concurrency/frp.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 60c8fccb5..98e5b794c 100644 --- a/stdlib/source/documentation/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/documentation/lux/control/concurrency/semaphore.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 06a22f77e..e2caca6b5 100644 --- a/stdlib/source/documentation/lux/control/concurrency/stm.lux +++ b/stdlib/source/documentation/lux/control/concurrency/stm.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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/concurrency/thread.lux b/stdlib/source/documentation/lux/control/concurrency/thread.lux index 6caa4a58a..129ead077 100644 --- a/stdlib/source/documentation/lux/control/concurrency/thread.lux +++ b/stdlib/source/documentation/lux/control/concurrency/thread.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.parallelism "How many processes can run in parallel.") diff --git a/stdlib/source/documentation/lux/control/continuation.lux b/stdlib/source/documentation/lux/control/continuation.lux index 6605ace3c..38fc3b44b 100644 --- a/stdlib/source/documentation/lux/control/continuation.lux +++ b/stdlib/source/documentation/lux/control/continuation.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Cont input output) "Continuations.") diff --git a/stdlib/source/documentation/lux/control/exception.lux b/stdlib/source/documentation/lux/control/exception.lux index 0906206e4..297ac38fd 100644 --- a/stdlib/source/documentation/lux/control/exception.lux +++ b/stdlib/source/documentation/lux/control/exception.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 01bf7a99c..4979bfee1 100644 --- a/stdlib/source/documentation/lux/control/function.lux +++ b/stdlib/source/documentation/lux/control/function.lux @@ -6,14 +6,14 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." contract] - ["#." memo] - ["#." mixin] - ["#." mutual]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" contract] + ["[1][0]" memo] + ["[1][0]" mixin] + ["[1][0]" mutual]]) (documentation: /.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 317b30d68..c5ee26d03 100644 --- a/stdlib/source/documentation/lux/control/function/contract.lux +++ b/stdlib/source/documentation/lux/control/function/contract.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 42b463a24..35a6979de 100644 --- a/stdlib/source/documentation/lux/control/function/memo.lux +++ b/stdlib/source/documentation/lux/control/function/memo.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 a5531898f..6ccd98708 100644 --- a/stdlib/source/documentation/lux/control/function/mixin.lux +++ b/stdlib/source/documentation/lux/control/function/mixin.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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/mutual.lux b/stdlib/source/documentation/lux/control/function/mutual.lux index 33d7cd26d..e830d73c3 100644 --- a/stdlib/source/documentation/lux/control/function/mutual.lux +++ b/stdlib/source/documentation/lux/control/function/mutual.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.let "Locally-defined mutually-recursive functions." diff --git a/stdlib/source/documentation/lux/control/io.lux b/stdlib/source/documentation/lux/control/io.lux index ff19603c1..9e427c35d 100644 --- a/stdlib/source/documentation/lux/control/io.lux +++ b/stdlib/source/documentation/lux/control/io.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 cb128a1ef..e0b047b4e 100644 --- a/stdlib/source/documentation/lux/control/lazy.lux +++ b/stdlib/source/documentation/lux/control/lazy.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 c53cda3c4..f57f2f54d 100644 --- a/stdlib/source/documentation/lux/control/maybe.lux +++ b/stdlib/source/documentation/lux/control/maybe.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 2c622030e..ebe00a81b 100644 --- a/stdlib/source/documentation/lux/control/parser.lux +++ b/stdlib/source/documentation/lux/control/parser.lux @@ -6,21 +6,21 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." analysis] - ["#." binary] - ["#." cli] - ["#." code] - ["#." environment] - ["#." json] - ["#." synthesis] - ["#." text] - ["#." tree] - ["#." type] - ["#." xml]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" analysis] + ["[1][0]" binary] + ["[1][0]" cli] + ["[1][0]" code] + ["[1][0]" environment] + ["[1][0]" json] + ["[1][0]" synthesis] + ["[1][0]" text] + ["[1][0]" tree] + ["[1][0]" type] + ["[1][0]" xml]]) (documentation: (/.Parser state it) "A generic parser.") diff --git a/stdlib/source/documentation/lux/control/parser/analysis.lux b/stdlib/source/documentation/lux/control/parser/analysis.lux index 935974e84..e0864d1d6 100644 --- a/stdlib/source/documentation/lux/control/parser/analysis.lux +++ b/stdlib/source/documentation/lux/control/parser/analysis.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Parser it) "A parser for Lux code analysis nodes.") diff --git a/stdlib/source/documentation/lux/control/parser/binary.lux b/stdlib/source/documentation/lux/control/parser/binary.lux index 37a00a757..c286deeee 100644 --- a/stdlib/source/documentation/lux/control/parser/binary.lux +++ b/stdlib/source/documentation/lux/control/parser/binary.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Offset "An offset for reading within binary data.") diff --git a/stdlib/source/documentation/lux/control/parser/cli.lux b/stdlib/source/documentation/lux/control/parser/cli.lux index db525a6e8..5cddfeb2d 100644 --- a/stdlib/source/documentation/lux/control/parser/cli.lux +++ b/stdlib/source/documentation/lux/control/parser/cli.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Parser it) "A command-line interface parser.") diff --git a/stdlib/source/documentation/lux/control/parser/code.lux b/stdlib/source/documentation/lux/control/parser/code.lux index ccd84d82c..9a792d195 100644 --- a/stdlib/source/documentation/lux/control/parser/code.lux +++ b/stdlib/source/documentation/lux/control/parser/code.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Parser it) "A Lux code parser.") diff --git a/stdlib/source/documentation/lux/control/parser/environment.lux b/stdlib/source/documentation/lux/control/parser/environment.lux index 1ac686167..1849a0d55 100644 --- a/stdlib/source/documentation/lux/control/parser/environment.lux +++ b/stdlib/source/documentation/lux/control/parser/environment.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Property "A property in the environment.") diff --git a/stdlib/source/documentation/lux/control/parser/json.lux b/stdlib/source/documentation/lux/control/parser/json.lux index e072529b0..f72b5ecf3 100644 --- a/stdlib/source/documentation/lux/control/parser/json.lux +++ b/stdlib/source/documentation/lux/control/parser/json.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Parser it) "A JSON parser.") diff --git a/stdlib/source/documentation/lux/control/parser/synthesis.lux b/stdlib/source/documentation/lux/control/parser/synthesis.lux index eebd25e91..be55adbbc 100644 --- a/stdlib/source/documentation/lux/control/parser/synthesis.lux +++ b/stdlib/source/documentation/lux/control/parser/synthesis.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Parser it) "A parser for the Lux compiler's synthesis nodes using during optimization.") diff --git a/stdlib/source/documentation/lux/control/parser/text.lux b/stdlib/source/documentation/lux/control/parser/text.lux index e3c3a96c6..2368cbfc3 100644 --- a/stdlib/source/documentation/lux/control/parser/text.lux +++ b/stdlib/source/documentation/lux/control/parser/text.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Offset "An offset into a block of text.") diff --git a/stdlib/source/documentation/lux/control/parser/tree.lux b/stdlib/source/documentation/lux/control/parser/tree.lux index 49c5f56d9..310a368ee 100644 --- a/stdlib/source/documentation/lux/control/parser/tree.lux +++ b/stdlib/source/documentation/lux/control/parser/tree.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Parser it) "A parser of arbitrary trees.") diff --git a/stdlib/source/documentation/lux/control/parser/type.lux b/stdlib/source/documentation/lux/control/parser/type.lux index a755665c3..110570b38 100644 --- a/stdlib/source/documentation/lux/control/parser/type.lux +++ b/stdlib/source/documentation/lux/control/parser/type.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Env "An environment for type parsing.") diff --git a/stdlib/source/documentation/lux/control/parser/xml.lux b/stdlib/source/documentation/lux/control/parser/xml.lux index 06993388d..11e0f9410 100644 --- a/stdlib/source/documentation/lux/control/parser/xml.lux +++ b/stdlib/source/documentation/lux/control/parser/xml.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Parser it) "A parser of XML-encoded data.") diff --git a/stdlib/source/documentation/lux/control/pipe.lux b/stdlib/source/documentation/lux/control/pipe.lux index ad628a155..9f67f5c1b 100644 --- a/stdlib/source/documentation/lux/control/pipe.lux +++ b/stdlib/source/documentation/lux/control/pipe.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.new> "Ignores the piped argument, and begins a new pipe." diff --git a/stdlib/source/documentation/lux/control/reader.lux b/stdlib/source/documentation/lux/control/reader.lux index e6aa7c35d..6751b2a47 100644 --- a/stdlib/source/documentation/lux/control/reader.lux +++ b/stdlib/source/documentation/lux/control/reader.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 6980cbb66..03cb0c53e 100644 --- a/stdlib/source/documentation/lux/control/region.lux +++ b/stdlib/source/documentation/lux/control/region.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 5e42f67de..85d569411 100644 --- a/stdlib/source/documentation/lux/control/remember.lux +++ b/stdlib/source/documentation/lux/control/remember.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.remember (format "A message with an expiration date." diff --git a/stdlib/source/documentation/lux/control/security.lux b/stdlib/source/documentation/lux/control/security.lux index a073ed4ef..3a17dce6a 100644 --- a/stdlib/source/documentation/lux/control/security.lux +++ b/stdlib/source/documentation/lux/control/security.lux @@ -6,10 +6,10 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." capability] - ["#." policy]]) + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" capability] + ["[1][0]" policy]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/control/security/capability.lux b/stdlib/source/documentation/lux/control/security/capability.lux index 5e8093419..e30616772 100644 --- a/stdlib/source/documentation/lux/control/security/capability.lux +++ b/stdlib/source/documentation/lux/control/security/capability.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Capability brand input output) (format "Represents the capability to perform an operation." diff --git a/stdlib/source/documentation/lux/control/security/policy.lux b/stdlib/source/documentation/lux/control/security/policy.lux index a8dd61191..7a2003f6d 100644 --- a/stdlib/source/documentation/lux/control/security/policy.lux +++ b/stdlib/source/documentation/lux/control/security/policy.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 d2b602fe4..6a729e030 100644 --- a/stdlib/source/documentation/lux/control/state.lux +++ b/stdlib/source/documentation/lux/control/state.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.State state it) "Stateful computations.") diff --git a/stdlib/source/documentation/lux/control/thread.lux b/stdlib/source/documentation/lux/control/thread.lux index a7cf24b97..95ebd8f5f 100644 --- a/stdlib/source/documentation/lux/control/thread.lux +++ b/stdlib/source/documentation/lux/control/thread.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 b74308b5d..6ef45a5b2 100644 --- a/stdlib/source/documentation/lux/control/try.lux +++ b/stdlib/source/documentation/lux/control/try.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 b84d6888a..13c8690cd 100644 --- a/stdlib/source/documentation/lux/control/writer.lux +++ b/stdlib/source/documentation/lux/control/writer.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Writer log value) "Represents a value with an associated 'log' to record arbitrary information.") diff --git a/stdlib/source/documentation/lux/data.lux b/stdlib/source/documentation/lux/data.lux index fdccacad3..54195b1d7 100644 --- a/stdlib/source/documentation/lux/data.lux +++ b/stdlib/source/documentation/lux/data.lux @@ -6,18 +6,18 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." binary] - ["#." bit] - ["#." collection] - ["#." color] - ["#." format] - ["#." identity] - ["#." name] - ["#." product] - ["#." sum] - ["#." text]]) + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" binary] + ["[1][0]" bit] + ["[1][0]" collection] + ["[1][0]" color] + ["[1][0]" format] + ["[1][0]" identity] + ["[1][0]" name] + ["[1][0]" product] + ["[1][0]" sum] + ["[1][0]" text]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/data/binary.lux b/stdlib/source/documentation/lux/data/binary.lux index 474b99a0e..0e75197b2 100644 --- a/stdlib/source/documentation/lux/data/binary.lux +++ b/stdlib/source/documentation/lux/data/binary.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 c31e06026..ca3b87fc7 100644 --- a/stdlib/source/documentation/lux/data/bit.lux +++ b/stdlib/source/documentation/lux/data/bit.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.complement (format "Generates the complement of a predicate." diff --git a/stdlib/source/documentation/lux/data/collection.lux b/stdlib/source/documentation/lux/data/collection.lux index 11f8b5245..53156212e 100644 --- a/stdlib/source/documentation/lux/data/collection.lux +++ b/stdlib/source/documentation/lux/data/collection.lux @@ -6,18 +6,18 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." array] - ["#." bits] - ["#." dictionary] - ["#." list] - ["#." queue] - ["#." row] - ["#." sequence] - ["#." stack] - ["#." set] - ["#." tree]]) + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" array] + ["[1][0]" bits] + ["[1][0]" dictionary] + ["[1][0]" list] + ["[1][0]" queue] + ["[1][0]" row] + ["[1][0]" sequence] + ["[1][0]" stack] + ["[1][0]" set] + ["[1][0]" tree]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/data/collection/array.lux b/stdlib/source/documentation/lux/data/collection/array.lux index 0f0c8a610..ed6bce3a5 100644 --- a/stdlib/source/documentation/lux/data/collection/array.lux +++ b/stdlib/source/documentation/lux/data/collection/array.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 79d85d7fe..76c4e956d 100644 --- a/stdlib/source/documentation/lux/data/collection/bits.lux +++ b/stdlib/source/documentation/lux/data/collection/bits.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 41f34cb6e..54d1cee15 100644 --- a/stdlib/source/documentation/lux/data/collection/dictionary.lux +++ b/stdlib/source/documentation/lux/data/collection/dictionary.lux @@ -4,19 +4,19 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." ordered] - ["#." plist]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" ordered] + ["[1][0]" plist]]) (documentation: (/.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 866e5a850..aeeeff6a6 100644 --- a/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Dictionary key value) "A dictionary data-structure with ordered entries.") diff --git a/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux b/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux index be5b815a4..a0a1885c0 100644 --- a/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.PList it) (format "A property list." diff --git a/stdlib/source/documentation/lux/data/collection/list.lux b/stdlib/source/documentation/lux/data/collection/list.lux index fe7d11246..1c183591e 100644 --- a/stdlib/source/documentation/lux/data/collection/list.lux +++ b/stdlib/source/documentation/lux/data/collection/list.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.mixes "" diff --git a/stdlib/source/documentation/lux/data/collection/queue.lux b/stdlib/source/documentation/lux/data/collection/queue.lux index 2fb60fac0..49330da9b 100644 --- a/stdlib/source/documentation/lux/data/collection/queue.lux +++ b/stdlib/source/documentation/lux/data/collection/queue.lux @@ -4,18 +4,18 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." priority]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" priority]]) (documentation: (/.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 4569accc2..c22f2d30c 100644 --- a/stdlib/source/documentation/lux/data/collection/queue/priority.lux +++ b/stdlib/source/documentation/lux/data/collection/queue/priority.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.member? "" diff --git a/stdlib/source/documentation/lux/data/collection/row.lux b/stdlib/source/documentation/lux/data/collection/row.lux index e2e4f628f..820b37bc9 100644 --- a/stdlib/source/documentation/lux/data/collection/row.lux +++ b/stdlib/source/documentation/lux/data/collection/row.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Row it) "A sequential data-structure with fast random access.") diff --git a/stdlib/source/documentation/lux/data/collection/sequence.lux b/stdlib/source/documentation/lux/data/collection/sequence.lux index fb97896d9..25acc4837 100644 --- a/stdlib/source/documentation/lux/data/collection/sequence.lux +++ b/stdlib/source/documentation/lux/data/collection/sequence.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Sequence it) "An infinite sequence of values.") diff --git a/stdlib/source/documentation/lux/data/collection/set.lux b/stdlib/source/documentation/lux/data/collection/set.lux index 63bd6ca18..0dad59b7d 100644 --- a/stdlib/source/documentation/lux/data/collection/set.lux +++ b/stdlib/source/documentation/lux/data/collection/set.lux @@ -4,17 +4,17 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." multi] - ["#." ordered]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" multi] + ["[1][0]" ordered]]) (documentation: /.has "" diff --git a/stdlib/source/documentation/lux/data/collection/set/multi.lux b/stdlib/source/documentation/lux/data/collection/set/multi.lux index ea0a017ae..97da8536d 100644 --- a/stdlib/source/documentation/lux/data/collection/set/multi.lux +++ b/stdlib/source/documentation/lux/data/collection/set/multi.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 23810bfae..a5a8f3d66 100644 --- a/stdlib/source/documentation/lux/data/collection/set/ordered.lux +++ b/stdlib/source/documentation/lux/data/collection/set/ordered.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 42cca84ff..11d467bc1 100644 --- a/stdlib/source/documentation/lux/data/collection/stack.lux +++ b/stdlib/source/documentation/lux/data/collection/stack.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Stack it) "A first-in, last-out sequential data-structure.") diff --git a/stdlib/source/documentation/lux/data/collection/tree.lux b/stdlib/source/documentation/lux/data/collection/tree.lux index 1e2994c98..32b51af56 100644 --- a/stdlib/source/documentation/lux/data/collection/tree.lux +++ b/stdlib/source/documentation/lux/data/collection/tree.lux @@ -4,17 +4,17 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." finger] - ["#." zipper]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" finger] + ["[1][0]" zipper]]) (documentation: (/.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 7006b28d3..ef7b38bcf 100644 --- a/stdlib/source/documentation/lux/data/collection/tree/finger.lux +++ b/stdlib/source/documentation/lux/data/collection/tree/finger.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 fc2ad10b1..9cf2388d8 100644 --- a/stdlib/source/documentation/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/documentation/lux/data/collection/tree/zipper.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 73c383ff1..819bc4649 100644 --- a/stdlib/source/documentation/lux/data/color.lux +++ b/stdlib/source/documentation/lux/data/color.lux @@ -4,18 +4,18 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]]]] + ["[0]" code] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." named]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" named]]) (documentation: /.RGB "Red-Green-Blue color format.") diff --git a/stdlib/source/documentation/lux/data/color/named.lux b/stdlib/source/documentation/lux/data/color/named.lux index c261199e3..dbd470cad 100644 --- a/stdlib/source/documentation/lux/data/color/named.lux +++ b/stdlib/source/documentation/lux/data/color/named.lux @@ -4,20 +4,20 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]] + ["[0]" code] + ["[0]" template]] [math [number - ["." nat ("hex\." hex)]]]]] + ["[0]" nat ("hex\[0]" hex)]]]]] [\\library - ["." / - ["/#" //]]]) + ["[0]" / + ["/[1]" //]]]) (template [<name>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/data/format.lux b/stdlib/source/documentation/lux/data/format.lux index 0aab0b183..a7a664ea8 100644 --- a/stdlib/source/documentation/lux/data/format.lux +++ b/stdlib/source/documentation/lux/data/format.lux @@ -6,12 +6,12 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." binary] - ["#." json] - ["#." tar] - ["#." xml]]) + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" binary] + ["[1][0]" json] + ["[1][0]" tar] + ["[1][0]" xml]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/data/format/binary.lux b/stdlib/source/documentation/lux/data/format/binary.lux index 1600bac3b..ecce00675 100644 --- a/stdlib/source/documentation/lux/data/format/binary.lux +++ b/stdlib/source/documentation/lux/data/format/binary.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Mutation "A mutation of binary data, tracking where in the data to transform.") diff --git a/stdlib/source/documentation/lux/data/format/json.lux b/stdlib/source/documentation/lux/data/format/json.lux index 6bb637058..4f8dc494f 100644 --- a/stdlib/source/documentation/lux/data/format/json.lux +++ b/stdlib/source/documentation/lux/data/format/json.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 3040355cd..29f97d153 100644 --- a/stdlib/source/documentation/lux/data/format/tar.lux +++ b/stdlib/source/documentation/lux/data/format/tar.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/data/format/xml.lux b/stdlib/source/documentation/lux/data/format/xml.lux index b1c21555f..117a2a69e 100644 --- a/stdlib/source/documentation/lux/data/format/xml.lux +++ b/stdlib/source/documentation/lux/data/format/xml.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 e2912a73b..9eeedaa4f 100644 --- a/stdlib/source/documentation/lux/data/identity.lux +++ b/stdlib/source/documentation/lux/data/identity.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Identity it) "A value, as is, without any extra structure super-imposed on it.") diff --git a/stdlib/source/documentation/lux/data/name.lux b/stdlib/source/documentation/lux/data/name.lux index f2b1227ed..55d9f7786 100644 --- a/stdlib/source/documentation/lux/data/name.lux +++ b/stdlib/source/documentation/lux/data/name.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.module "The module part of a name.") diff --git a/stdlib/source/documentation/lux/data/product.lux b/stdlib/source/documentation/lux/data/product.lux index d957f0820..7c08ef025 100644 --- a/stdlib/source/documentation/lux/data/product.lux +++ b/stdlib/source/documentation/lux/data/product.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 a58a0bab9..2ec3a8b71 100644 --- a/stdlib/source/documentation/lux/data/sum.lux +++ b/stdlib/source/documentation/lux/data/sum.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 1014e0e46..d28ca23fd 100644 --- a/stdlib/source/documentation/lux/data/text.lux +++ b/stdlib/source/documentation/lux/data/text.lux @@ -6,16 +6,16 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." buffer] - ["#." encoding] - ["#." escape] - ["#." format] - ["#." regex] - ["#." unicode]] + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" buffer] + ["[1][0]" encoding] + ["[1][0]" escape] + ["[1][0]" format] + ["[1][0]" regex] + ["[1][0]" unicode]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 3db182b44..a6018b875 100644 --- a/stdlib/source/documentation/lux/data/text/buffer.lux +++ b/stdlib/source/documentation/lux/data/text/buffer.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 399ae613a..7b353857d 100644 --- a/stdlib/source/documentation/lux/data/text/encoding.lux +++ b/stdlib/source/documentation/lux/data/text/encoding.lux @@ -6,11 +6,11 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." utf8]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" utf8]]) (documentation: /.Encoding "Encoding formats for text.") diff --git a/stdlib/source/documentation/lux/data/text/encoding/utf8.lux b/stdlib/source/documentation/lux/data/text/encoding/utf8.lux index b407c4d11..1c2388da1 100644 --- a/stdlib/source/documentation/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/documentation/lux/data/text/encoding/utf8.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.codec "A codec for binary encoding of text as UTF-8.") diff --git a/stdlib/source/documentation/lux/data/text/escape.lux b/stdlib/source/documentation/lux/data/text/escape.lux index 027396003..2b7dce7a7 100644 --- a/stdlib/source/documentation/lux/data/text/escape.lux +++ b/stdlib/source/documentation/lux/data/text/escape.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.escaped "Yields a escaped version of the text." diff --git a/stdlib/source/documentation/lux/data/text/format.lux b/stdlib/source/documentation/lux/data/text/format.lux index 4acc2eacc..2a64832fc 100644 --- a/stdlib/source/documentation/lux/data/text/format.lux +++ b/stdlib/source/documentation/lux/data/text/format.lux @@ -3,9 +3,9 @@ [lux {"-" [nat int rev type list]} ["$" documentation {"+" [documentation:]}] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Format it) "A way to produce readable text from values.") diff --git a/stdlib/source/documentation/lux/data/text/regex.lux b/stdlib/source/documentation/lux/data/text/regex.lux index 9133dadef..a4f709da0 100644 --- a/stdlib/source/documentation/lux/data/text/regex.lux +++ b/stdlib/source/documentation/lux/data/text/regex.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.regex "Create lexers using regular-expression syntax." diff --git a/stdlib/source/documentation/lux/data/text/unicode.lux b/stdlib/source/documentation/lux/data/text/unicode.lux index a2e6069b9..8acab1227 100644 --- a/stdlib/source/documentation/lux/data/text/unicode.lux +++ b/stdlib/source/documentation/lux/data/text/unicode.lux @@ -6,10 +6,10 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." block] - ["#." set]]) + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" block] + ["[1][0]" set]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/data/text/unicode/block.lux b/stdlib/source/documentation/lux/data/text/unicode/block.lux index aa64257be..306bf6567 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/block.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/block.lux @@ -3,15 +3,15 @@ [lux "*" ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]] + ["[0]" template]] [math [number - ["." nat ("hex\." hex)]]]]] + ["[0]" nat ("hex\[0]" hex)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 22d99b138..dedb45c40 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/set.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/set.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.set "" diff --git a/stdlib/source/documentation/lux/debug.lux b/stdlib/source/documentation/lux/debug.lux index 9ee9b1a8d..a78fea166 100644 --- a/stdlib/source/documentation/lux/debug.lux +++ b/stdlib/source/documentation/lux/debug.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 3383826e5..9fef75fdf 100644 --- a/stdlib/source/documentation/lux/documentation.lux +++ b/stdlib/source/documentation/lux/documentation.lux @@ -2,12 +2,12 @@ [library [lux "*" [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.documentation: /.default "" diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux index 49a37153c..c9216cb0c 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/extension.lux @@ -2,28 +2,28 @@ [library [lux "*" ["$" documentation {"+" [documentation:]}] - ["." debug] + ["[0]" debug] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." row]]] + ["[0]" row]]] [macro - ["." template]] + ["[0]" template]] ["@" target - ["." jvm]] + ["[0]" jvm]] [tool [compiler - ["." phase] + ["[0]" phase] [language [lux [phase - ["." directive]]]]]]]] + ["[0]" directive]]]]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.analysis: "Mechanism for defining extensions to Lux's analysis/type-checking infrastructure." diff --git a/stdlib/source/documentation/lux/ffi.js.lux b/stdlib/source/documentation/lux/ffi.js.lux index 4dc65e812..1028cb1b5 100644 --- a/stdlib/source/documentation/lux/ffi.js.lux +++ b/stdlib/source/documentation/lux/ffi.js.lux @@ -3,12 +3,12 @@ [lux {"-" [int char type :as]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.null "The null pointer.") @@ -18,12 +18,12 @@ [(import: Uint8Array) (import: TextEncoder - ["#::." + ["[1]::[0]" (new [/.String]) (encode [/.String] Uint8Array)]) (import: TextDecoder - ["#::." + ["[1]::[0]" (new [/.String]) (decode [/.String] String)])]) diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux index b5b8cb245..f76ada558 100644 --- a/stdlib/source/documentation/lux/ffi.jvm.lux +++ b/stdlib/source/documentation/lux/ffi.jvm.lux @@ -3,12 +3,12 @@ [lux {"-" [int char type :as]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (template [<name>] [(`` (documentation: <name> @@ -179,7 +179,7 @@ "Allows importing JVM classes, and using them as types." ["Their methods, fields and enum options can also be imported." (import: java/lang/Object - ["#::." + ["[1]::[0]" (new []) (equals [java/lang/Object] boolean) (wait [int] "io" "try" void)])] @@ -189,29 +189,29 @@ "'io' means the computation has side effects, and will be wrapped by the IO type." "These options must show up in the following order ['io' 'try' '?'] (although, each option can be used independently)." (import: java/lang/String - ["#::." + ["[1]::[0]" (new [[byte]]) ("static" valueOf [char] java/lang/String) ("static" valueOf "as" int_valueOf [int] java/lang/String)]) (import: (java/util/List e) - ["#::." + ["[1]::[0]" (size [] int) (get [int] e)]) (import: (java/util/ArrayList a) - ["#::." + ["[1]::[0]" ([T] toArray [[T]] [T])])] ["The class-type that is generated is of the fully-qualified name." "This avoids a clash between the java.util.List type, and Lux's own List type." "All enum options to be imported must be specified." (import: java/lang/Character$UnicodeScript - ["#::." + ["[1]::[0]" ("enum" ARABIC CYRILLIC LATIN)])] ["It should also be noted, the only types that may show up in method arguments or return values may be Java classes, arrays, primitives, void or type-vars." "Lux types, such as Maybe cannot be named (otherwise, they'd be confused for Java classes)." (import: (lux/concurrency/async/JvmAsync A) - ["#::." + ["[1]::[0]" (resolve [A] boolean) (poll [] A) (wasResolved [] boolean) diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux index 308c13a4a..b2ac15139 100644 --- a/stdlib/source/documentation/lux/ffi.old.lux +++ b/stdlib/source/documentation/lux/ffi.old.lux @@ -3,12 +3,12 @@ [lux {"-" [int char type :as]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (template [<name> <from> <to>] [(documentation: <name> @@ -142,7 +142,7 @@ (format "Allows importing JVM classes, and using them as types." \n "Their methods, fields and enum options can also be imported.") [(import: java/lang/Object - ["#::." + ["[1]::[0]" (new []) (equals [java/lang/Object] boolean) (wait [int] "io" "try" void)])] @@ -152,29 +152,29 @@ "'io' means the computation has side effects, and will be wrapped by the IO type." "These options must show up in the following order ['io' 'try' '?'] (although, each option can be used independently)." (import: java/lang/String - ["#::." + ["[1]::[0]" (new [[byte]]) ("static" valueOf [char] java/lang/String) ("static" valueOf "as" int_valueOf [int] java/lang/String)]) (import: (java/util/List e) - ["#::." + ["[1]::[0]" (size [] int) (get [int] e)]) (import: (java/util/ArrayList a) - ["#::." + ["[1]::[0]" ([T] toArray [[T]] [T])])] ["The class-type that is generated is of the fully-qualified name." "This avoids a clash between the java.util.List type, and Lux's own List type." "All enum options to be imported must be specified." (import: java/lang/Character$UnicodeScript - ["#::." + ["[1]::[0]" ("enum" ARABIC CYRILLIC LATIN)])] ["It should also be noted, the only types that may show up in method arguments or return values may be Java classes, arrays, primitives, void or type-parameters." "Lux types, such as Maybe cannot be named (otherwise, they'd be confused for Java classes)." (import: (lux/concurrency/async/JvmAsync A) - ["#::." + ["[1]::[0]" (resolve [A] boolean) (poll [] A) (wasResolved [] boolean) diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux index dc4c3974a..ca0d7bac8 100644 --- a/stdlib/source/documentation/lux/ffi.rb.lux +++ b/stdlib/source/documentation/lux/ffi.rb.lux @@ -3,22 +3,22 @@ [lux {"-" [int char type :as]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.import: "Easily import types, methods, functions and constants." [(import: Stat - ["#::." + ["[1]::[0]" (executable? [] Bit) (size Int)]) (import: File "as" RubyFile - ["#::." + ["[1]::[0]" ("static" SEPARATOR ..String) ("static" open [Path ..String] "io" "try" RubyFile) ("static" stat [Path] "io" "try" Stat) diff --git a/stdlib/source/documentation/lux/locale.lux b/stdlib/source/documentation/lux/locale.lux index f61a229d2..ed6bb8c47 100644 --- a/stdlib/source/documentation/lux/locale.lux +++ b/stdlib/source/documentation/lux/locale.lux @@ -6,12 +6,12 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." language] - ["#." territory]] + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" language] + ["[1][0]" territory]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Locale "A description of a locale; with territory, (optional) language, and (optional) text-encoding.") diff --git a/stdlib/source/documentation/lux/locale/language.lux b/stdlib/source/documentation/lux/locale/language.lux index db6551405..27b562d64 100644 --- a/stdlib/source/documentation/lux/locale/language.lux +++ b/stdlib/source/documentation/lux/locale/language.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list ("#\." monoid)]]]]] + ["[0]" list ("[1]\[0]" monoid)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Language "An ISO 639 language.") diff --git a/stdlib/source/documentation/lux/locale/territory.lux b/stdlib/source/documentation/lux/locale/territory.lux index 38e7b7d97..100f1b18f 100644 --- a/stdlib/source/documentation/lux/locale/territory.lux +++ b/stdlib/source/documentation/lux/locale/territory.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list ("#\." monoid)]]]]] + ["[0]" list ("[1]\[0]" monoid)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Territory "An ISO 3166 territory.") diff --git a/stdlib/source/documentation/lux/macro.lux b/stdlib/source/documentation/lux/macro.lux index d3ee4bbba..57b90ff0f 100644 --- a/stdlib/source/documentation/lux/macro.lux +++ b/stdlib/source/documentation/lux/macro.lux @@ -6,14 +6,14 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." code] - ["#." local] - ["#." syntax] - ["#." template]] + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" code] + ["[1][0]" local] + ["[1][0]" syntax] + ["[1][0]" template]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.single_expansion (format "Given code that requires applying a macro, does it once and returns the result." diff --git a/stdlib/source/documentation/lux/macro/code.lux b/stdlib/source/documentation/lux/macro/code.lux index fe0198ab8..abb8b15f6 100644 --- a/stdlib/source/documentation/lux/macro/code.lux +++ b/stdlib/source/documentation/lux/macro/code.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.local_identifier "Produces a local identifier (an identifier with no module prefix).") diff --git a/stdlib/source/documentation/lux/macro/local.lux b/stdlib/source/documentation/lux/macro/local.lux index 5b8c61c4f..b06966c81 100644 --- a/stdlib/source/documentation/lux/macro/local.lux +++ b/stdlib/source/documentation/lux/macro/local.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.push (format "Installs macros in the compiler-state, with the given names." diff --git a/stdlib/source/documentation/lux/macro/syntax.lux b/stdlib/source/documentation/lux/macro/syntax.lux index e8b7f4c21..3926086b6 100644 --- a/stdlib/source/documentation/lux/macro/syntax.lux +++ b/stdlib/source/documentation/lux/macro/syntax.lux @@ -6,18 +6,18 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." annotations] - ["#." check] - ["#." declaration] - ["#." definition] - ["#." export] - ["#." input] - ["#." type "_" - ["#/." variable]]] + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" annotations] + ["[1][0]" check] + ["[1][0]" declaration] + ["[1][0]" definition] + ["[1][0]" export] + ["[1][0]" input] + ["[1][0]" type "_" + ["[1]/[0]" variable]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.syntax: (format \n "A more advanced way to define macros than 'macro:'." diff --git a/stdlib/source/documentation/lux/macro/syntax/annotations.lux b/stdlib/source/documentation/lux/macro/syntax/annotations.lux index 108d975ab..62d2abdc2 100644 --- a/stdlib/source/documentation/lux/macro/syntax/annotations.lux +++ b/stdlib/source/documentation/lux/macro/syntax/annotations.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Annotations "Definition/module annotations.") diff --git a/stdlib/source/documentation/lux/macro/syntax/check.lux b/stdlib/source/documentation/lux/macro/syntax/check.lux index c8997e14b..d678d4ca3 100644 --- a/stdlib/source/documentation/lux/macro/syntax/check.lux +++ b/stdlib/source/documentation/lux/macro/syntax/check.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Check "A type annotation for an expression.") diff --git a/stdlib/source/documentation/lux/macro/syntax/declaration.lux b/stdlib/source/documentation/lux/macro/syntax/declaration.lux index 77634b4e7..9153c5ac7 100644 --- a/stdlib/source/documentation/lux/macro/syntax/declaration.lux +++ b/stdlib/source/documentation/lux/macro/syntax/declaration.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Declaration "A declaration for either a constant or a function.") diff --git a/stdlib/source/documentation/lux/macro/syntax/definition.lux b/stdlib/source/documentation/lux/macro/syntax/definition.lux index a0c9a7f25..77bdbf33f 100644 --- a/stdlib/source/documentation/lux/macro/syntax/definition.lux +++ b/stdlib/source/documentation/lux/macro/syntax/definition.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Definition "Syntax for a constant definition.") diff --git a/stdlib/source/documentation/lux/macro/syntax/export.lux b/stdlib/source/documentation/lux/macro/syntax/export.lux index cf63e7a27..d9b7112d7 100644 --- a/stdlib/source/documentation/lux/macro/syntax/export.lux +++ b/stdlib/source/documentation/lux/macro/syntax/export.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.parser "" diff --git a/stdlib/source/documentation/lux/macro/syntax/input.lux b/stdlib/source/documentation/lux/macro/syntax/input.lux index 53bcef4c3..93b4f74be 100644 --- a/stdlib/source/documentation/lux/macro/syntax/input.lux +++ b/stdlib/source/documentation/lux/macro/syntax/input.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Input "The common typed-argument syntax used by many macros.") diff --git a/stdlib/source/documentation/lux/macro/syntax/type/variable.lux b/stdlib/source/documentation/lux/macro/syntax/type/variable.lux index 1512f5985..a6d094361 100644 --- a/stdlib/source/documentation/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/documentation/lux/macro/syntax/type/variable.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Variable "A variable's name.") diff --git a/stdlib/source/documentation/lux/macro/template.lux b/stdlib/source/documentation/lux/macro/template.lux index 00be1845a..1dfac9a3b 100644 --- a/stdlib/source/documentation/lux/macro/template.lux +++ b/stdlib/source/documentation/lux/macro/template.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.spliced "" diff --git a/stdlib/source/documentation/lux/math.lux b/stdlib/source/documentation/lux/math.lux index df28c874a..c3caab318 100644 --- a/stdlib/source/documentation/lux/math.lux +++ b/stdlib/source/documentation/lux/math.lux @@ -6,16 +6,16 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." infix] - ["#." modulus] - ["#." modular] - ["#." number] - ["#." logic] - ["#." random]] + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" infix] + ["[1][0]" modulus] + ["[1][0]" modular] + ["[1][0]" number] + ["[1][0]" logic] + ["[1][0]" random]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.e "The base of the natural logarithm.") diff --git a/stdlib/source/documentation/lux/math/infix.lux b/stdlib/source/documentation/lux/math/infix.lux index c542dcf99..ccaf4195f 100644 --- a/stdlib/source/documentation/lux/math/infix.lux +++ b/stdlib/source/documentation/lux/math/infix.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.infix (format "Infix math syntax." diff --git a/stdlib/source/documentation/lux/math/logic.lux b/stdlib/source/documentation/lux/math/logic.lux index b9c7a37e7..3bb217d18 100644 --- a/stdlib/source/documentation/lux/math/logic.lux +++ b/stdlib/source/documentation/lux/math/logic.lux @@ -6,10 +6,10 @@ [text ["%" format {"+" [format]}]] [collection - ["." list ("#\." monoid)]]]]] - ["." / "_" - ["#." continuous] - ["#." fuzzy]]) + ["[0]" list ("[1]\[0]" monoid)]]]]] + ["[0]" / "_" + ["[1][0]" continuous] + ["[1][0]" fuzzy]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/math/logic/continuous.lux b/stdlib/source/documentation/lux/math/logic/continuous.lux index 40f3b383f..e7a2606a1 100644 --- a/stdlib/source/documentation/lux/math/logic/continuous.lux +++ b/stdlib/source/documentation/lux/math/logic/continuous.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.implies "" diff --git a/stdlib/source/documentation/lux/math/logic/fuzzy.lux b/stdlib/source/documentation/lux/math/logic/fuzzy.lux index c5995bd75..7afbee83c 100644 --- a/stdlib/source/documentation/lux/math/logic/fuzzy.lux +++ b/stdlib/source/documentation/lux/math/logic/fuzzy.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Fuzzy it) "A fuzzy set.") diff --git a/stdlib/source/documentation/lux/math/modular.lux b/stdlib/source/documentation/lux/math/modular.lux index 6a45e9199..9f4bd14d9 100644 --- a/stdlib/source/documentation/lux/math/modular.lux +++ b/stdlib/source/documentation/lux/math/modular.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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 45f35b6ba..e25d23cc5 100644 --- a/stdlib/source/documentation/lux/math/modulus.lux +++ b/stdlib/source/documentation/lux/math/modulus.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Modulus %) (format "A number used as a modulus in modular arithmetic." diff --git a/stdlib/source/documentation/lux/math/number.lux b/stdlib/source/documentation/lux/math/number.lux index 8a0c0c171..a6e8114e9 100644 --- a/stdlib/source/documentation/lux/math/number.lux +++ b/stdlib/source/documentation/lux/math/number.lux @@ -3,23 +3,23 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." i8] - ["#." i16] - ["#." i32] - ["#." i64] - ["#." nat] - ["#." int] - ["#." rev] - ["#." frac] - ["#." ratio] - ["#." complex]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" i8] + ["[1][0]" i16] + ["[1][0]" i32] + ["[1][0]" i64] + ["[1][0]" nat] + ["[1][0]" int] + ["[1][0]" rev] + ["[1][0]" frac] + ["[1][0]" ratio] + ["[1][0]" complex]]) (template [<name> <encoding> <no_commas> <with_commas>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/math/number/complex.lux b/stdlib/source/documentation/lux/math/number/complex.lux index e6d2c4b16..2d2f5d331 100644 --- a/stdlib/source/documentation/lux/math/number/complex.lux +++ b/stdlib/source/documentation/lux/math/number/complex.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 1d4a2f45e..2852ee75a 100644 --- a/stdlib/source/documentation/lux/math/number/frac.lux +++ b/stdlib/source/documentation/lux/math/number/frac.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.= "Frac(tion) equivalence." diff --git a/stdlib/source/documentation/lux/math/number/i16.lux b/stdlib/source/documentation/lux/math/number/i16.lux index 7cb6b96df..1f4fe63ec 100644 --- a/stdlib/source/documentation/lux/math/number/i16.lux +++ b/stdlib/source/documentation/lux/math/number/i16.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 88bbe80e4..83814b429 100644 --- a/stdlib/source/documentation/lux/math/number/i32.lux +++ b/stdlib/source/documentation/lux/math/number/i32.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 49e371342..08c55da4d 100644 --- a/stdlib/source/documentation/lux/math/number/i64.lux +++ b/stdlib/source/documentation/lux/math/number/i64.lux @@ -3,12 +3,12 @@ [lux {"-" [or and not]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (template [<name> <doc>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/math/number/i8.lux b/stdlib/source/documentation/lux/math/number/i8.lux index 3329e8a6c..b9d53fbae 100644 --- a/stdlib/source/documentation/lux/math/number/i8.lux +++ b/stdlib/source/documentation/lux/math/number/i8.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 60659050c..4c503598f 100644 --- a/stdlib/source/documentation/lux/math/number/int.lux +++ b/stdlib/source/documentation/lux/math/number/int.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.= "Int(eger) equivalence." diff --git a/stdlib/source/documentation/lux/math/number/nat.lux b/stdlib/source/documentation/lux/math/number/nat.lux index dbae19c36..1e7fa5d5f 100644 --- a/stdlib/source/documentation/lux/math/number/nat.lux +++ b/stdlib/source/documentation/lux/math/number/nat.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (template [<name> <documentation>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/math/number/ratio.lux b/stdlib/source/documentation/lux/math/number/ratio.lux index e7e018083..e99a0f21f 100644 --- a/stdlib/source/documentation/lux/math/number/ratio.lux +++ b/stdlib/source/documentation/lux/math/number/ratio.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 2a2053128..ba215f444 100644 --- a/stdlib/source/documentation/lux/math/number/rev.lux +++ b/stdlib/source/documentation/lux/math/number/rev.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.= "Rev(olution) equivalence." diff --git a/stdlib/source/documentation/lux/math/random.lux b/stdlib/source/documentation/lux/math/random.lux index 801923b9e..652ef5c77 100644 --- a/stdlib/source/documentation/lux/math/random.lux +++ b/stdlib/source/documentation/lux/math/random.lux @@ -3,12 +3,12 @@ [lux {"-" [or and nat int rev]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 7bd9894fd..1f69bffed 100644 --- a/stdlib/source/documentation/lux/meta.lux +++ b/stdlib/source/documentation/lux/meta.lux @@ -3,15 +3,15 @@ [lux {"-" [type macro]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." annotation] - ["#." location]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" annotation] + ["[1][0]" location]]) (documentation: /.result' (format "Evaluates a computation that depends on Lux's compiler state." diff --git a/stdlib/source/documentation/lux/meta/annotation.lux b/stdlib/source/documentation/lux/meta/annotation.lux index 10f4d0aad..71ef33cc0 100644 --- a/stdlib/source/documentation/lux/meta/annotation.lux +++ b/stdlib/source/documentation/lux/meta/annotation.lux @@ -3,12 +3,12 @@ [lux {"-" [nat int rev]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/meta/location.lux b/stdlib/source/documentation/lux/meta/location.lux index 2cf8344e4..d912bce13 100644 --- a/stdlib/source/documentation/lux/meta/location.lux +++ b/stdlib/source/documentation/lux/meta/location.lux @@ -3,12 +3,12 @@ [lux {"-" [private]} ["$" documentation {"+" [documentation:]}] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.here "The Location of the current form." diff --git a/stdlib/source/documentation/lux/program.lux b/stdlib/source/documentation/lux/program.lux index c5253e5e2..0899ffcca 100644 --- a/stdlib/source/documentation/lux/program.lux +++ b/stdlib/source/documentation/lux/program.lux @@ -3,14 +3,14 @@ [lux "*" ["$" documentation {"+" [documentation:]}] [control - ["." io]] + ["[0]" io]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.program: "Defines the entry-point to a program (similar to the 'main' function/method in other programming languages)." diff --git a/stdlib/source/documentation/lux/static.lux b/stdlib/source/documentation/lux/static.lux index 8f7789b25..89436fd00 100644 --- a/stdlib/source/documentation/lux/static.lux +++ b/stdlib/source/documentation/lux/static.lux @@ -6,9 +6,9 @@ [text ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template [<name> <type>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/target.lux b/stdlib/source/documentation/lux/target.lux index 831881f2f..ab0830a24 100644 --- a/stdlib/source/documentation/lux/target.lux +++ b/stdlib/source/documentation/lux/target.lux @@ -6,15 +6,15 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]] - ["." / "_" - ["#." js] - ["#." jvm] - ["#." lua] - ["#." python] - ["#." ruby]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" js] + ["[1][0]" jvm] + ["[1][0]" lua] + ["[1][0]" python] + ["[1][0]" ruby]]) (documentation: /.Target (format "The name/ID of a platform targetted by a Lux compiler." diff --git a/stdlib/source/documentation/lux/target/js.lux b/stdlib/source/documentation/lux/target/js.lux index fe87d7e40..443441f13 100644 --- a/stdlib/source/documentation/lux/target/js.lux +++ b/stdlib/source/documentation/lux/target/js.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/target/jvm.lux b/stdlib/source/documentation/lux/target/jvm.lux index 85833ce7a..9deccc33f 100644 --- a/stdlib/source/documentation/lux/target/jvm.lux +++ b/stdlib/source/documentation/lux/target/jvm.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/target/lua.lux b/stdlib/source/documentation/lux/target/lua.lux index 32870785f..e5ecff7be 100644 --- a/stdlib/source/documentation/lux/target/lua.lux +++ b/stdlib/source/documentation/lux/target/lua.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/target/python.lux b/stdlib/source/documentation/lux/target/python.lux index 2bb90ca9d..b17cde4d6 100644 --- a/stdlib/source/documentation/lux/target/python.lux +++ b/stdlib/source/documentation/lux/target/python.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/target/ruby.lux b/stdlib/source/documentation/lux/target/ruby.lux index f5fe5ae22..27cd14963 100644 --- a/stdlib/source/documentation/lux/target/ruby.lux +++ b/stdlib/source/documentation/lux/target/ruby.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/test.lux b/stdlib/source/documentation/lux/test.lux index f63a8885d..18f2a2845 100644 --- a/stdlib/source/documentation/lux/test.lux +++ b/stdlib/source/documentation/lux/test.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Tally "A record of successes and failures while executing tests.") diff --git a/stdlib/source/documentation/lux/time.lux b/stdlib/source/documentation/lux/time.lux index be55fbb4b..3dbbc206f 100644 --- a/stdlib/source/documentation/lux/time.lux +++ b/stdlib/source/documentation/lux/time.lux @@ -4,21 +4,21 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." date] - ["#." day] - ["#." duration] - ["#." instant] - ["#." month] - ["#." year]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" date] + ["[1][0]" day] + ["[1][0]" duration] + ["[1][0]" instant] + ["[1][0]" month] + ["[1][0]" year]]) (template [<name> <doc>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/time/date.lux b/stdlib/source/documentation/lux/time/date.lux index 8c27c7a52..a781d1248 100644 --- a/stdlib/source/documentation/lux/time/date.lux +++ b/stdlib/source/documentation/lux/time/date.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Date "A date specified as a year/month/day triplet.") diff --git a/stdlib/source/documentation/lux/time/day.lux b/stdlib/source/documentation/lux/time/day.lux index 495ddc028..de3214bec 100644 --- a/stdlib/source/documentation/lux/time/day.lux +++ b/stdlib/source/documentation/lux/time/day.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Day "A day of the week.") diff --git a/stdlib/source/documentation/lux/time/duration.lux b/stdlib/source/documentation/lux/time/duration.lux index 20e1bf8d8..ed3784bd3 100644 --- a/stdlib/source/documentation/lux/time/duration.lux +++ b/stdlib/source/documentation/lux/time/duration.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Duration "Durations have a resolution of milli-seconds.") diff --git a/stdlib/source/documentation/lux/time/instant.lux b/stdlib/source/documentation/lux/time/instant.lux index bad0f1d75..0c9c9946b 100644 --- a/stdlib/source/documentation/lux/time/instant.lux +++ b/stdlib/source/documentation/lux/time/instant.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Instant "Instant is defined as milli-seconds since the epoch.") diff --git a/stdlib/source/documentation/lux/time/month.lux b/stdlib/source/documentation/lux/time/month.lux index 71606f8fc..c9597a360 100644 --- a/stdlib/source/documentation/lux/time/month.lux +++ b/stdlib/source/documentation/lux/time/month.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Month "A month of the year.") diff --git a/stdlib/source/documentation/lux/time/year.lux b/stdlib/source/documentation/lux/time/year.lux index 1fa9dc836..7d7679253 100644 --- a/stdlib/source/documentation/lux/time/year.lux +++ b/stdlib/source/documentation/lux/time/year.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Year (format "A year in the gregorian calendar." diff --git a/stdlib/source/documentation/lux/tool.lux b/stdlib/source/documentation/lux/tool.lux index 1cd0a11a1..0c721b6ed 100644 --- a/stdlib/source/documentation/lux/tool.lux +++ b/stdlib/source/documentation/lux/tool.lux @@ -6,16 +6,16 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] - ["." / "_" + ["[0]" list]]]]] + ["[0]" / "_" [compiler - ["#." phase] + ["[1][0]" phase] [language [lux - ["#." analysis] - ["#." directive] - ["#." generation] - ["#." synthesis]]]]]) + ["[1][0]" analysis] + ["[1][0]" directive] + ["[1][0]" generation] + ["[1][0]" synthesis]]]]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux index b31cd23f9..ef029bf59 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux index e7aafa507..aa1e1d7b7 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux index 7f7b2173c..1c478efd5 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux index d9163f261..e2ea2d13c 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/tool/compiler/phase.lux b/stdlib/source/documentation/lux/tool/compiler/phase.lux index 143ccb42f..8fa688c11 100644 --- a/stdlib/source/documentation/lux/tool/compiler/phase.lux +++ b/stdlib/source/documentation/lux/tool/compiler/phase.lux @@ -6,9 +6,9 @@ [text {"+" [\n]} ["%" format {"+" [format]}]] [collection - ["." list]]]]] + ["[0]" list]]]]] [\\library - ["." /]]) + ["[0]" /]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/type.lux b/stdlib/source/documentation/lux/type.lux index 57d8f9497..e317f6d3f 100644 --- a/stdlib/source/documentation/lux/type.lux +++ b/stdlib/source/documentation/lux/type.lux @@ -4,25 +4,25 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." abstract] - ["#." check] - ["#." dynamic] - ["#." implicit] - ["#." poly] - ["#." quotient] - ["#." refinement] - ["#." resource] - ["#." unit] - ["#." variance]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" abstract] + ["[1][0]" check] + ["[1][0]" dynamic] + ["[1][0]" implicit] + ["[1][0]" poly] + ["[1][0]" quotient] + ["[1][0]" refinement] + ["[1][0]" resource] + ["[1][0]" unit] + ["[1][0]" variance]]) (template [<name>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/type/abstract.lux b/stdlib/source/documentation/lux/type/abstract.lux index 41c91897f..a0bf8147b 100644 --- a/stdlib/source/documentation/lux/type/abstract.lux +++ b/stdlib/source/documentation/lux/type/abstract.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Frame "Meta-data about an abstract/nominal type in a stack of them.") diff --git a/stdlib/source/documentation/lux/type/check.lux b/stdlib/source/documentation/lux/type/check.lux index bcb5456cb..de8a14027 100644 --- a/stdlib/source/documentation/lux/type/check.lux +++ b/stdlib/source/documentation/lux/type/check.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Var "The ID for a type-variable in a type-checking context.") diff --git a/stdlib/source/documentation/lux/type/dynamic.lux b/stdlib/source/documentation/lux/type/dynamic.lux index 14b7f9708..10ccdf349 100644 --- a/stdlib/source/documentation/lux/type/dynamic.lux +++ b/stdlib/source/documentation/lux/type/dynamic.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Dynamic "A value coupled with its type, so it can be checked later.") diff --git a/stdlib/source/documentation/lux/type/implicit.lux b/stdlib/source/documentation/lux/type/implicit.lux index 5a8e83f42..934557429 100644 --- a/stdlib/source/documentation/lux/type/implicit.lux +++ b/stdlib/source/documentation/lux/type/implicit.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.\\ (format "Automatic implementation selection (for type-class style polymorphism)." diff --git a/stdlib/source/documentation/lux/type/poly.lux b/stdlib/source/documentation/lux/type/poly.lux index 096136cf5..8708d3f90 100644 --- a/stdlib/source/documentation/lux/type/poly.lux +++ b/stdlib/source/documentation/lux/type/poly.lux @@ -4,18 +4,18 @@ ["$" documentation {"+" [documentation:]}] [abstract [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.derived: "" diff --git a/stdlib/source/documentation/lux/type/quotient.lux b/stdlib/source/documentation/lux/type/quotient.lux index eefb2c965..e4b33e678 100644 --- a/stdlib/source/documentation/lux/type/quotient.lux +++ b/stdlib/source/documentation/lux/type/quotient.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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/type/refinement.lux b/stdlib/source/documentation/lux/type/refinement.lux index d3bd0abef..fff890746 100644 --- a/stdlib/source/documentation/lux/type/refinement.lux +++ b/stdlib/source/documentation/lux/type/refinement.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Refined it) "A refined version of another type, using a predicate to select valid instances.") diff --git a/stdlib/source/documentation/lux/type/resource.lux b/stdlib/source/documentation/lux/type/resource.lux index 335cef3b0..5d6427fcb 100644 --- a/stdlib/source/documentation/lux/type/resource.lux +++ b/stdlib/source/documentation/lux/type/resource.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.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/type/unit.lux b/stdlib/source/documentation/lux/type/unit.lux index 14e7a8ce0..fdf8e27d6 100644 --- a/stdlib/source/documentation/lux/type/unit.lux +++ b/stdlib/source/documentation/lux/type/unit.lux @@ -4,17 +4,17 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]] + ["[0]" template]] [math [number - ["." ratio]]]]] + ["[0]" ratio]]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Qty unit) "A quantity with an associated unit of measurement.") diff --git a/stdlib/source/documentation/lux/type/variance.lux b/stdlib/source/documentation/lux/type/variance.lux index 039cc9034..4a19996e7 100644 --- a/stdlib/source/documentation/lux/type/variance.lux +++ b/stdlib/source/documentation/lux/type/variance.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Co it) "A constraint for covariant types.") diff --git a/stdlib/source/documentation/lux/world.lux b/stdlib/source/documentation/lux/world.lux index b27ed0fcd..bb7af0722 100644 --- a/stdlib/source/documentation/lux/world.lux +++ b/stdlib/source/documentation/lux/world.lux @@ -3,23 +3,23 @@ [lux "*" [program {"+" [program:]}] ["$" documentation {"+" [documentation:]}] - ["." debug] + ["[0]" debug] [control - ["." io]] + ["[0]" io]] [data [collection - ["." list ("#\." monoid)]]]]] - ["." / "_" - ["#." console] - ["#." file] - ["#." input "_" - ["#/." keyboard]] - ["#." net] - ["#." output "_" - ["#/." video "_" - ["#/." resolution]]] - ["#." program] - ["#." shell]]) + ["[0]" list ("[1]\[0]" monoid)]]]]] + ["[0]" / "_" + ["[1][0]" console] + ["[1][0]" file] + ["[1][0]" input "_" + ["[1]/[0]" keyboard]] + ["[1][0]" net] + ["[1][0]" output "_" + ["[1]/[0]" video "_" + ["[1]/[0]" resolution]]] + ["[1][0]" program] + ["[1][0]" shell]]) (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/documentation/lux/world/console.lux b/stdlib/source/documentation/lux/world/console.lux index 11fe9be8c..c84c663c3 100644 --- a/stdlib/source/documentation/lux/world/console.lux +++ b/stdlib/source/documentation/lux/world/console.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Console !) "An interface to console/terminal I/O.") diff --git a/stdlib/source/documentation/lux/world/file.lux b/stdlib/source/documentation/lux/world/file.lux index fd62de80f..f74af15b6 100644 --- a/stdlib/source/documentation/lux/world/file.lux +++ b/stdlib/source/documentation/lux/world/file.lux @@ -4,16 +4,16 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]] - ["." / "_" - ["#." watch]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" watch]]) (documentation: /.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 8c6c6f89d..6d27d8f29 100644 --- a/stdlib/source/documentation/lux/world/file/watch.lux +++ b/stdlib/source/documentation/lux/world/file/watch.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.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 4ed1a9221..ade8e66fc 100644 --- a/stdlib/source/documentation/lux/world/input/keyboard.lux +++ b/stdlib/source/documentation/lux/world/input/keyboard.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Key "A key from a keyboard, identify by a numeric ID.") diff --git a/stdlib/source/documentation/lux/world/net.lux b/stdlib/source/documentation/lux/world/net.lux index 6612d7d84..8c41917ee 100644 --- a/stdlib/source/documentation/lux/world/net.lux +++ b/stdlib/source/documentation/lux/world/net.lux @@ -3,16 +3,16 @@ [lux "*" [program {"+" [program:]}] ["$" documentation {"+" [documentation:]}] - ["." debug] + ["[0]" debug] [control - ["." io]]]] + ["[0]" io]]]] [\\library - ["." /]] - ["." / "_" - ["#." uri] - ["#." http "_" - ["#/." client] - ["#/." status]]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" uri] + ["[1][0]" http "_" + ["[1]/[0]" client] + ["[1]/[0]" status]]]) (documentation: /.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 8a95cf0d4..cda303287 100644 --- a/stdlib/source/documentation/lux/world/net/http/client.lux +++ b/stdlib/source/documentation/lux/world/net/http/client.lux @@ -1,17 +1,17 @@ -(.module: + (.module: [library [lux "*" ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Client !) "A HTTP client capable of issuing requests to a HTTP server.") diff --git a/stdlib/source/documentation/lux/world/net/http/status.lux b/stdlib/source/documentation/lux/world/net/http/status.lux index 2aa0ddf5a..4dbecd25b 100644 --- a/stdlib/source/documentation/lux/world/net/http/status.lux +++ b/stdlib/source/documentation/lux/world/net/http/status.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (template [<name>] [(documentation: <name> diff --git a/stdlib/source/documentation/lux/world/net/uri.lux b/stdlib/source/documentation/lux/world/net/uri.lux index 4c9c10e5b..31594fdff 100644 --- a/stdlib/source/documentation/lux/world/net/uri.lux +++ b/stdlib/source/documentation/lux/world/net/uri.lux @@ -3,11 +3,11 @@ [lux "*" [program {"+" [program:]}] ["$" documentation {"+" [documentation:]}] - ["." debug] + ["[0]" debug] [control - ["." io]]]] + ["[0]" io]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.URI "A Uniform Resource Identifier.") diff --git a/stdlib/source/documentation/lux/world/output/video/resolution.lux b/stdlib/source/documentation/lux/world/output/video/resolution.lux index e59bdae6c..e66d2a226 100644 --- a/stdlib/source/documentation/lux/world/output/video/resolution.lux +++ b/stdlib/source/documentation/lux/world/output/video/resolution.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Resolution "A screen resolution.") diff --git a/stdlib/source/documentation/lux/world/program.lux b/stdlib/source/documentation/lux/world/program.lux index 4a6cc9b8d..c6c578861 100644 --- a/stdlib/source/documentation/lux/world/program.lux +++ b/stdlib/source/documentation/lux/world/program.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: (/.Program !) "Access to ambient program data and the capacity to exit the program.") diff --git a/stdlib/source/documentation/lux/world/shell.lux b/stdlib/source/documentation/lux/world/shell.lux index 559070b3d..927519d06 100644 --- a/stdlib/source/documentation/lux/world/shell.lux +++ b/stdlib/source/documentation/lux/world/shell.lux @@ -4,14 +4,14 @@ ["$" documentation {"+" [documentation:]}] [control ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text {"+" [\n]} + ["[0]" text {"+" [\n]} ["%" format {"+" [format]}]]] [macro - ["." template]]]] + ["[0]" template]]]] [\\library - ["." /]]) + ["[0]" /]]) (documentation: /.Exit "A program exit code.") |