diff options
Diffstat (limited to 'stdlib/source/documentation')
201 files changed, 347 insertions, 365 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index 1d675d339..e8906c6c0 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -39,7 +39,7 @@ ["[1][0]" type] ["[1][0]" world]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" @@ -146,7 +146,7 @@ (format "Throws away any code given to it." \n "Great for commenting-out code, while retaining syntax high-lighting and formatting in your text editor.") [(comment - (def: (this will not) + (def (this will not) (Be Defined) (because it will be (commented out))))]) @@ -239,14 +239,14 @@ (format "Hygienic quasi-quotation as a macro." \n "Unquote (~) and unquote-splice (~+) must also be used as forms." \n "All unprefixed macros will receive their parent module's prefix if imported; otherwise will receive the prefix of the module on which the quasi-quote is being used.") - [(` (def: (~ name) + [(` (def (~ name) (function ((~' _) (~+ args)) (~ body))))]) (documentation /.`' (format "Unhygienic quasi-quotation as a macro." \n "Unquote (~) and unquote-splice (~+) must also be used as forms.") - [(`' (def: (~ name) + [(`' (def (~ name) (function (_ (~+ args)) (~ body))))]) @@ -282,7 +282,7 @@ "" ["By specifying a pattern (with holes), and the input data to fill those holes, repeats the pattern as many times as necessary." (with_template [<name> <diff>] - [(def: .public <name> + [(def .public <name> (-> Int Int) (+ <diff>))] @@ -379,7 +379,7 @@ ... {#Saturday} ... {#Sunday})) - ... (def: (weekend? day) + ... (def (weekend? day) ... (-> Weekday Bit) ... (case day ... (^or {#Saturday} {#Sunday}) @@ -408,26 +408,26 @@ 0 1 _ (* n (factorial (-- n))))))]) - (documentation /.def: + (documentation /.def "Defines global constants/functions." - [(def: branching_exponent + [(def branching_exponent Int +5)] ["The type is optional." - (def: branching_exponent + (def branching_exponent +5)] - [(def: (pair_list pair) + [(def (pair_list pair) (-> [Code Code] (List Code)) (let [[left right] pair] (list left right)))] ["Can pattern-match on the inputs to functions." - (def: (pair_list [left right]) + (def (pair_list [left right]) (-> [Code Code] (List Code)) (list left right))]) (documentation /.macro "Macro-definition macro." - [(def: .public symbol + [(def .public symbol (macro (_ tokens) (case tokens (^with_template [<tag>] @@ -464,9 +464,9 @@ "Express a value that implements an interface." [(is (Order Int) (implementation - (def: equivalence + (def equivalence equivalence) - (def: (< reference subject) + (def (< reference subject) (< reference subject)) ))]) @@ -521,7 +521,7 @@ (documentation /.open (format "Same as the 'open' macro, but meant to be used as a pattern-matching macro for generating local bindings." \n "Takes an 'alias' text for the generated local bindings.") - [(def: .public (range enum from to) + [(def .public (range enum from to) (All (_ a) (-> (Enum a) a a (List a))) (let [(open "[0]") enum] (loop (again [end to @@ -554,8 +554,8 @@ "Opens a implementation and generates a definition for each of its members (including nested members)." [(open: "i:[0]" order) "=>" - (def: i:= (at order =)) - (def: i:< (at order <))]) + (def i:= (at order =)) + (def i:< (at order <))]) (documentation /.|>> "Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it." @@ -624,7 +624,7 @@ ... (documentation /.^template ... "It's similar to template, but meant to be used during pattern-matching." - ... [(def: (reduced env type) + ... [(def (reduced env type) ... (-> (List Type) Type Type) ... (case type ... {.#Primitive name params} @@ -684,7 +684,7 @@ (format "Controlled macro-expansion." \n "Bind an arbitraty number of Code nodes resulting from macro-expansion to local bindings." \n "Wherever a binding appears, the bound Code nodes will be spliced in there.") - [(def: test + [(def test Test (with_expansions [<tests> (with_template [<function> <parameter> <expected>] @@ -712,8 +712,8 @@ \n "* Rev" \n "* Frac" \n "* Text") - [(def: my_nat 123) - (def: my_text "456") + [(def my_nat 123) + (def my_text "456") (and (case [my_nat my_text] (pattern (static [..my_nat ..my_text])) true @@ -757,7 +757,7 @@ (format "WARNING: Please stay away from this macro; it's very likely to be removed in a future version of Lux." "Allows you to refer to the type-variables in a polymorphic function's type, by their index.") ["In the example below, 0 corresponds to the 'a' variable." - (def: .public (of_list list) + (def .public (of_list list) (All (_ a) (-> (List a) (Sequence a))) (list#mix add (is (Sequence (parameter 0)) @@ -776,7 +776,7 @@ ... (documentation /.^let ... "Allows you to simultaneously bind and de-structure a value." - ... [(def: (hash (^let set [member_hash _])) + ... [(def (hash (^let set [member_hash _])) ... (list#mix (function (_ elem acc) ... (+ acc ... (at member_hash hash elem))) @@ -799,7 +799,7 @@ (format "Meant to be used as a stand-in for functions with undefined implementations." \n "Undefined expressions will type-check against everything, so they make good dummy implementations." \n "However, if an undefined expression is ever evaluated, it will raise a runtime error.") - [(def: (square x) + [(def (square x) (-> Int Int) (undefined))]) @@ -816,7 +816,7 @@ (documentation /.template (format "Define macros in the style of with_template." \n "For simple macros that do not need any fancy features.") - [(def: square + [(def square (template (square x) (* x x)))]) @@ -839,7 +839,7 @@ (documentation /.for (format "Selects the appropriate code for a given target-platform when compiling Lux to it." \n "Look-up the available targets in library/lux/target.") - [(def: js + [(def js "JavaScript") (for "JVM" (do jvm stuff) diff --git a/stdlib/source/documentation/lux/abstract.lux b/stdlib/source/documentation/lux/abstract.lux index ea29bec24..f970c8ea4 100644 --- a/stdlib/source/documentation/lux/abstract.lux +++ b/stdlib/source/documentation/lux/abstract.lux @@ -22,7 +22,7 @@ ["[1][0]" order] ["[1][0]" predicate]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /apply.documentation diff --git a/stdlib/source/documentation/lux/abstract/apply.lux b/stdlib/source/documentation/lux/abstract/apply.lux index 7f18dbdc2..80028da18 100644 --- a/stdlib/source/documentation/lux/abstract/apply.lux +++ b/stdlib/source/documentation/lux/abstract/apply.lux @@ -1,20 +1,17 @@ (.using [library [lux - ["$" documentation (.only documentation:)]]] + ["$" documentation (.only documentation)]]] [\\library ["[0]" /]]) -(documentation: (/.Apply f) - "Applicative functors.") - -(documentation: /.composite - "Applicative functor composition.") - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..Apply - ..composite] + [(documentation (/.Apply f) + "Applicative functors.") + + (documentation /.composite + "Applicative functor composition.")] [])) diff --git a/stdlib/source/documentation/lux/abstract/codec.lux b/stdlib/source/documentation/lux/abstract/codec.lux index 630e0e504..c6c97876d 100644 --- a/stdlib/source/documentation/lux/abstract/codec.lux +++ b/stdlib/source/documentation/lux/abstract/codec.lux @@ -1,25 +1,22 @@ (.using [library [lux - ["$" documentation (.only documentation:)]]] + ["$" documentation (.only documentation)]]] [\\library ["[0]" /]]) -(documentation: (/.Codec medium value) - "A way to move back-and-forth between a type and an alternative representation for it.") - -(documentation: /.composite - "Codec composition." - [(is (Codec c a) - (composite (is (Codec c b) - cb_codec) - (is (Codec b a) - ba_codec)))]) - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..Codec - ..composite] + [(documentation (/.Codec medium value) + "A way to move back-and-forth between a type and an alternative representation for it.") + + (documentation /.composite + "Codec composition." + [(is (Codec c a) + (composite (is (Codec c b) + cb_codec) + (is (Codec b a) + ba_codec)))])] [])) diff --git a/stdlib/source/documentation/lux/abstract/comonad.lux b/stdlib/source/documentation/lux/abstract/comonad.lux index d37ba5d68..e634ad2b2 100644 --- a/stdlib/source/documentation/lux/abstract/comonad.lux +++ b/stdlib/source/documentation/lux/abstract/comonad.lux @@ -1,7 +1,7 @@ (.using [library [lux - ["$" documentation (.only documentation:)] + ["$" documentation (.only documentation)] [data [text (.only \n) ["%" \\format (.only format)]]]]] @@ -10,21 +10,18 @@ ["[0]" / ["[1][0]" cofree]]) -(documentation: (/.CoMonad !) - (format "Co-monads are the opposite/complement to monads." - \n "Co-monadic structures are often infinite in size and built upon lazily-evaluated functions.")) - -(documentation: /.be - "A co-monadic parallel to the 'do' macro." - [(let [square (function (_ n) (* n n))] - (be comonad - [inputs (iterate ++ +2)] - (square (out inputs))))]) - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..CoMonad - ..be] + [(documentation (/.CoMonad !) + (format "Co-monads are the opposite/complement to monads." + \n "Co-monadic structures are often infinite in size and built upon lazily-evaluated functions.")) + + (documentation /.be + "A co-monadic parallel to the 'do' macro." + [(let [square (function (_ n) (* n n))] + (be comonad + [inputs (iterate ++ +2)] + (square (out inputs))))])] [/cofree.documentation])) diff --git a/stdlib/source/documentation/lux/abstract/comonad/cofree.lux b/stdlib/source/documentation/lux/abstract/comonad/cofree.lux index 644357230..739431ae4 100644 --- a/stdlib/source/documentation/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/documentation/lux/abstract/comonad/cofree.lux @@ -1,18 +1,16 @@ (.using [library [lux - ["$" documentation (.only documentation:)]]] + ["$" documentation (.only documentation)]]] [\\library ["[0]" /]]) -(documentation: (/.CoFree ! it) - "The CoFree CoMonad.") - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..CoFree + [(documentation (/.CoFree ! it) + "The CoFree CoMonad.") ($.default /.functor) ($.default /.comonad)] [])) diff --git a/stdlib/source/documentation/lux/abstract/enum.lux b/stdlib/source/documentation/lux/abstract/enum.lux index 225a36a1e..53a1d2dd8 100644 --- a/stdlib/source/documentation/lux/abstract/enum.lux +++ b/stdlib/source/documentation/lux/abstract/enum.lux @@ -1,21 +1,18 @@ (.using [library [lux - ["$" documentation (.only documentation:)]]] + ["$" documentation (.only documentation)]]] [\\library ["[0]" /]]) -(documentation: (/.Enum it) - "Enumerable types, with a notion of moving forward and backwards through a type's instances.") - -(documentation: /.range - "An inclusive [from, to] range of values." - [(range enum from to)]) - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..Enum - ..range] + [(documentation (/.Enum it) + "Enumerable types, with a notion of moving forward and backwards through a type's instances.") + + (documentation /.range + "An inclusive [from, to] range of values." + [(range enum from to)])] [])) diff --git a/stdlib/source/documentation/lux/abstract/equivalence.lux b/stdlib/source/documentation/lux/abstract/equivalence.lux index 254626d62..87be00b09 100644 --- a/stdlib/source/documentation/lux/abstract/equivalence.lux +++ b/stdlib/source/documentation/lux/abstract/equivalence.lux @@ -1,25 +1,23 @@ (.using [library [lux - ["$" documentation (.only documentation:)] + ["$" documentation (.only documentation)] [data [text (.only \n) ["%" \\format (.only format)]]]]] [\\library ["[0]" /]]) -(documentation: (/.Equivalence it) - "Equivalence for a type's instances.") - -(documentation: /.rec - "A recursive equivalence combinator." - [(rec recursive_equivalence)]) - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..Equivalence - ..rec + [(documentation (/.Equivalence it) + "Equivalence for a type's instances.") + + (documentation /.rec + "A recursive equivalence combinator." + [(rec recursive_equivalence)]) + ($.default /.functor)] [])) diff --git a/stdlib/source/documentation/lux/abstract/functor.lux b/stdlib/source/documentation/lux/abstract/functor.lux index 05c9cef0d..9c817c6a3 100644 --- a/stdlib/source/documentation/lux/abstract/functor.lux +++ b/stdlib/source/documentation/lux/abstract/functor.lux @@ -19,7 +19,7 @@ (documentation: /.composite "Functor composition.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/functor/contravariant.lux b/stdlib/source/documentation/lux/abstract/functor/contravariant.lux index 72c873f4c..39d52f679 100644 --- a/stdlib/source/documentation/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/documentation/lux/abstract/functor/contravariant.lux @@ -1,16 +1,14 @@ (.using [library [lux - ["$" documentation (.only documentation:)]]] + ["$" documentation (.only documentation)]]] [\\library ["[0]" /]]) -(documentation: (/.Functor !) - "The contravariant functor.") - -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" - [..Functor] + [(documentation (/.Functor !) + "The contravariant functor.")] [])) diff --git a/stdlib/source/documentation/lux/abstract/hash.lux b/stdlib/source/documentation/lux/abstract/hash.lux index af7584ead..98b73f40f 100644 --- a/stdlib/source/documentation/lux/abstract/hash.lux +++ b/stdlib/source/documentation/lux/abstract/hash.lux @@ -11,7 +11,7 @@ (documentation: (/.Hash it) "A way to produce hash-codes for a type's instances.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/interval.lux b/stdlib/source/documentation/lux/abstract/interval.lux index 4e7db1093..88d50e897 100644 --- a/stdlib/source/documentation/lux/abstract/interval.lux +++ b/stdlib/source/documentation/lux/abstract/interval.lux @@ -30,7 +30,7 @@ (documentation: /.meets? "Whether an interval meets another one on its bottom/lower side.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/mix.lux b/stdlib/source/documentation/lux/abstract/mix.lux index 83767d6af..da8fb5738 100644 --- a/stdlib/source/documentation/lux/abstract/mix.lux +++ b/stdlib/source/documentation/lux/abstract/mix.lux @@ -15,7 +15,7 @@ "Mix a mixable structure using the monoid's identity as the initial value." [(with_monoid monoid mix value)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/monad.lux b/stdlib/source/documentation/lux/abstract/monad.lux index e5a40d680..f883137fa 100644 --- a/stdlib/source/documentation/lux/abstract/monad.lux +++ b/stdlib/source/documentation/lux/abstract/monad.lux @@ -41,7 +41,7 @@ "Mix a list with a monadic function." [(mix monad function initial_value items)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/monad/free.lux b/stdlib/source/documentation/lux/abstract/monad/free.lux index fc97271f6..6174c73d3 100644 --- a/stdlib/source/documentation/lux/abstract/monad/free.lux +++ b/stdlib/source/documentation/lux/abstract/monad/free.lux @@ -8,7 +8,7 @@ (documentation: (/.Free ! it) "The Free Monad.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/monoid.lux b/stdlib/source/documentation/lux/abstract/monoid.lux index e34a18ac5..804dc2d95 100644 --- a/stdlib/source/documentation/lux/abstract/monoid.lux +++ b/stdlib/source/documentation/lux/abstract/monoid.lux @@ -12,7 +12,7 @@ (format "A way to compose values." \n "Includes an identity value which does not alter any other value when combined with.")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/order.lux b/stdlib/source/documentation/lux/abstract/order.lux index fcd311241..19271b940 100644 --- a/stdlib/source/documentation/lux/abstract/order.lux +++ b/stdlib/source/documentation/lux/abstract/order.lux @@ -32,7 +32,7 @@ (documentation: /.max "Maximum.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/abstract/predicate.lux b/stdlib/source/documentation/lux/abstract/predicate.lux index e321be043..321df427f 100644 --- a/stdlib/source/documentation/lux/abstract/predicate.lux +++ b/stdlib/source/documentation/lux/abstract/predicate.lux @@ -32,7 +32,7 @@ (documentation: /.rec "Ties the knot for a recursive predicate.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control.lux b/stdlib/source/documentation/lux/control.lux index 917a99bcf..d88a8169f 100644 --- a/stdlib/source/documentation/lux/control.lux +++ b/stdlib/source/documentation/lux/control.lux @@ -28,7 +28,7 @@ ["[1][0]" writer] ]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /concatenative.documentation diff --git a/stdlib/source/documentation/lux/control/concatenative.lux b/stdlib/source/documentation/lux/control/concatenative.lux index 7fa084004..3beae22cb 100644 --- a/stdlib/source/documentation/lux/control/concatenative.lux +++ b/stdlib/source/documentation/lux/control/concatenative.lux @@ -187,7 +187,7 @@ (documentation: /.? "Choose the top value when #0 and the second-to-top when #1.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/concurrency.lux b/stdlib/source/documentation/lux/control/concurrency.lux index 820841408..5dc85c5cd 100644 --- a/stdlib/source/documentation/lux/control/concurrency.lux +++ b/stdlib/source/documentation/lux/control/concurrency.lux @@ -16,7 +16,7 @@ ["[1][0]" stm] ["[1][0]" thread]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /actor.documentation diff --git a/stdlib/source/documentation/lux/control/concurrency/actor.lux b/stdlib/source/documentation/lux/control/concurrency/actor.lux index 96211d7ba..4a25c2f77 100644 --- a/stdlib/source/documentation/lux/control/concurrency/actor.lux +++ b/stdlib/source/documentation/lux/control/concurrency/actor.lux @@ -52,7 +52,7 @@ \n "flowing through the channel into mail the actor can process." \n "Can stop observing the channel by executing the Stop value.")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "The actor model of concurrency." diff --git a/stdlib/source/documentation/lux/control/concurrency/async.lux b/stdlib/source/documentation/lux/control/concurrency/async.lux index ab064d322..e5aa49b2e 100644 --- a/stdlib/source/documentation/lux/control/concurrency/async.lux +++ b/stdlib/source/documentation/lux/control/concurrency/async.lux @@ -71,7 +71,7 @@ "Wait for an async to be resolved within the specified amount of milli-seconds." [(within milli_seconds async)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/concurrency/atom.lux b/stdlib/source/documentation/lux/control/concurrency/atom.lux index 03ed4c603..a18adabcf 100644 --- a/stdlib/source/documentation/lux/control/concurrency/atom.lux +++ b/stdlib/source/documentation/lux/control/concurrency/atom.lux @@ -26,7 +26,7 @@ (format "Writes the given value to an atom." \n "If it fails to write it (because some other process wrote to it first), it will retry until it succeeds.")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/concurrency/frp.lux b/stdlib/source/documentation/lux/control/concurrency/frp.lux index a2cd11b36..5365585a3 100644 --- a/stdlib/source/documentation/lux/control/concurrency/frp.lux +++ b/stdlib/source/documentation/lux/control/concurrency/frp.lux @@ -40,7 +40,7 @@ "Transforms the given list into a channel with the same elements." [(sequential milli_seconds values)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/concurrency/semaphore.lux b/stdlib/source/documentation/lux/control/concurrency/semaphore.lux index 74b441df0..c825074c7 100644 --- a/stdlib/source/documentation/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/documentation/lux/control/concurrency/semaphore.lux @@ -49,7 +49,7 @@ (documentation: /.block! "Wait on a barrier until all processes have arrived and met the barrier's limit.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/concurrency/stm.lux b/stdlib/source/documentation/lux/control/concurrency/stm.lux index ee362e0c5..60c1eb06e 100644 --- a/stdlib/source/documentation/lux/control/concurrency/stm.lux +++ b/stdlib/source/documentation/lux/control/concurrency/stm.lux @@ -34,7 +34,7 @@ \n "For this reason, it's important to note that transactions must be free from side-effects, such as I/O.") [(commit! procedure)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/concurrency/thread.lux b/stdlib/source/documentation/lux/control/concurrency/thread.lux index 3d32de720..e856ee64b 100644 --- a/stdlib/source/documentation/lux/control/concurrency/thread.lux +++ b/stdlib/source/documentation/lux/control/concurrency/thread.lux @@ -17,7 +17,7 @@ "Executes an I/O procedure after some milli-seconds." [(schedule! milli_seconds action)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/continuation.lux b/stdlib/source/documentation/lux/control/continuation.lux index 77308f7b8..f7b729cd8 100644 --- a/stdlib/source/documentation/lux/control/continuation.lux +++ b/stdlib/source/documentation/lux/control/continuation.lux @@ -35,7 +35,7 @@ "Turns any expression into a function that is pending a continuation." [(pending (some_function some_input))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/exception.lux b/stdlib/source/documentation/lux/control/exception.lux index bfc5cb7b3..240cc8267 100644 --- a/stdlib/source/documentation/lux/control/exception.lux +++ b/stdlib/source/documentation/lux/control/exception.lux @@ -61,7 +61,7 @@ "If a computation fails, prepends the exception to the error." [(with exception message computation)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Pure-Lux exception-handling functionality." diff --git a/stdlib/source/documentation/lux/control/function.lux b/stdlib/source/documentation/lux/control/function.lux index d6a406a40..c681ad77a 100644 --- a/stdlib/source/documentation/lux/control/function.lux +++ b/stdlib/source/documentation/lux/control/function.lux @@ -40,7 +40,7 @@ "Simple 1-argument function application." [(on input function)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/function/contract.lux b/stdlib/source/documentation/lux/control/function/contract.lux index 036f1ac8c..f7586f66f 100644 --- a/stdlib/source/documentation/lux/control/function/contract.lux +++ b/stdlib/source/documentation/lux/control/function/contract.lux @@ -25,7 +25,7 @@ [(post i.even? (i.+ +2 +2))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/function/memo.lux b/stdlib/source/documentation/lux/control/function/memo.lux index 90a43fede..1b24efe3a 100644 --- a/stdlib/source/documentation/lux/control/function/memo.lux +++ b/stdlib/source/documentation/lux/control/function/memo.lux @@ -24,7 +24,7 @@ \n "This is useful as a test control when measuring the effect of using memoization.") [(none hash memo)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/function/mixin.lux b/stdlib/source/documentation/lux/control/function/mixin.lux index c0024dac4..6ad2e8657 100644 --- a/stdlib/source/documentation/lux/control/function/mixin.lux +++ b/stdlib/source/documentation/lux/control/function/mixin.lux @@ -43,7 +43,7 @@ "Transform an indirectly recursive function into a mixin." [(of_recursive recursive)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/function/mutual.lux b/stdlib/source/documentation/lux/control/function/mutual.lux index 010178e9f..f8f19255e 100644 --- a/stdlib/source/documentation/lux/control/function/mutual.lux +++ b/stdlib/source/documentation/lux/control/function/mutual.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.except let def:) + [lux (.except let def) ["$" documentation (.only documentation:)] [data [text (.only \n) @@ -26,9 +26,9 @@ (and (even? 4) (odd? 5)))]) -(documentation: /.def: +(documentation: /.def "Globally-defined mutually-recursive functions." - [(def: + [(def [.public (even? number) (-> Nat Bit) (case number @@ -41,10 +41,10 @@ 0 false _ (even? (-- number)))])]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" [..let - ..def:] + ..def] [])) diff --git a/stdlib/source/documentation/lux/control/io.lux b/stdlib/source/documentation/lux/control/io.lux index 12cd8e918..afd9ad60d 100644 --- a/stdlib/source/documentation/lux/control/io.lux +++ b/stdlib/source/documentation/lux/control/io.lux @@ -23,7 +23,7 @@ (documentation: /.run! "A way to execute IO computations and perform their side-effects.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "A method for abstracting I/O and effectful computations to make it safe while writing pure functional code." diff --git a/stdlib/source/documentation/lux/control/lazy.lux b/stdlib/source/documentation/lux/control/lazy.lux index f360be55f..d54b67d99 100644 --- a/stdlib/source/documentation/lux/control/lazy.lux +++ b/stdlib/source/documentation/lux/control/lazy.lux @@ -18,7 +18,7 @@ "Specifies a lazy value by providing the expression that computes it." [(lazy eager_computation)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/maybe.lux b/stdlib/source/documentation/lux/control/maybe.lux index ea19c8ef9..f8f5754a1 100644 --- a/stdlib/source/documentation/lux/control/maybe.lux +++ b/stdlib/source/documentation/lux/control/maybe.lux @@ -38,7 +38,7 @@ .when (passes_test? value)] (do_something_else 4 5 6))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser.lux b/stdlib/source/documentation/lux/control/parser.lux index dc03628bf..44d3fc8f9 100644 --- a/stdlib/source/documentation/lux/control/parser.lux +++ b/stdlib/source/documentation/lux/control/parser.lux @@ -131,7 +131,7 @@ "Decode the output of a parser using a codec." [(codec codec parser)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/analysis.lux b/stdlib/source/documentation/lux/control/parser/analysis.lux index 3e718fbb6..dbabe20a9 100644 --- a/stdlib/source/documentation/lux/control/parser/analysis.lux +++ b/stdlib/source/documentation/lux/control/parser/analysis.lux @@ -47,7 +47,7 @@ "Parses only within the context of a tuple's contents." [(tuple parser)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/binary.lux b/stdlib/source/documentation/lux/control/parser/binary.lux index bab961505..b4b17d0f5 100644 --- a/stdlib/source/documentation/lux/control/parser/binary.lux +++ b/stdlib/source/documentation/lux/control/parser/binary.lux @@ -80,7 +80,7 @@ "" [(set hash value)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/cli.lux b/stdlib/source/documentation/lux/control/parser/cli.lux index 2fd3b326e..bb301507e 100644 --- a/stdlib/source/documentation/lux/control/parser/cli.lux +++ b/stdlib/source/documentation/lux/control/parser/cli.lux @@ -43,7 +43,7 @@ "Parses a parameter that can have either a short or a long name." [(parameter [short long] value)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/code.lux b/stdlib/source/documentation/lux/control/parser/code.lux index e6ce57d82..aee121e73 100644 --- a/stdlib/source/documentation/lux/control/parser/code.lux +++ b/stdlib/source/documentation/lux/control/parser/code.lux @@ -74,7 +74,7 @@ (documentation: /.next "Yields the next Code token without consuming it from the input stream.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/environment.lux b/stdlib/source/documentation/lux/control/parser/environment.lux index 57e3a2f3d..a7f49a386 100644 --- a/stdlib/source/documentation/lux/control/parser/environment.lux +++ b/stdlib/source/documentation/lux/control/parser/environment.lux @@ -31,7 +31,7 @@ \n "Does not check whether all environment variables were parsed, since they're usually an open set.") [(result parser environment)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/json.lux b/stdlib/source/documentation/lux/control/parser/json.lux index bc328bf75..5ef5a2a31 100644 --- a/stdlib/source/documentation/lux/control/parser/json.lux +++ b/stdlib/source/documentation/lux/control/parser/json.lux @@ -63,7 +63,7 @@ (documentation: /.dictionary "Parses a dictionary-like JSON object.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/synthesis.lux b/stdlib/source/documentation/lux/control/parser/synthesis.lux index 14c2c0281..010515394 100644 --- a/stdlib/source/documentation/lux/control/parser/synthesis.lux +++ b/stdlib/source/documentation/lux/control/parser/synthesis.lux @@ -54,7 +54,7 @@ "Parses the initial values and the body of a loop." [(loop init_parsers iteration_parser)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/text.lux b/stdlib/source/documentation/lux/control/parser/text.lux index e78663df3..3cd6e24de 100644 --- a/stdlib/source/documentation/lux/control/parser/text.lux +++ b/stdlib/source/documentation/lux/control/parser/text.lux @@ -153,7 +153,7 @@ "Embeds a text parser into an arbitrary parser that yields text." [(then structured text)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/tree.lux b/stdlib/source/documentation/lux/control/parser/tree.lux index 721c10101..75c2b1674 100644 --- a/stdlib/source/documentation/lux/control/parser/tree.lux +++ b/stdlib/source/documentation/lux/control/parser/tree.lux @@ -44,7 +44,7 @@ [/.start "Move to the root node."] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/parser/type.lux b/stdlib/source/documentation/lux/control/parser/type.lux index 547c2df0a..b7cb421e6 100644 --- a/stdlib/source/documentation/lux/control/parser/type.lux +++ b/stdlib/source/documentation/lux/control/parser/type.lux @@ -88,7 +88,7 @@ "" [(recursive poly)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ (format "Parsing of Lux types." diff --git a/stdlib/source/documentation/lux/control/parser/xml.lux b/stdlib/source/documentation/lux/control/parser/xml.lux index 4f6957788..fbfa711f4 100644 --- a/stdlib/source/documentation/lux/control/parser/xml.lux +++ b/stdlib/source/documentation/lux/control/parser/xml.lux @@ -39,7 +39,7 @@ "Applies the parser somewhere among the remaining inputs; instead of demanding that the parser succeeds against the immediate inputs." [(somewhere parser)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/pipe.lux b/stdlib/source/documentation/lux/control/pipe.lux index 70b3e50c0..3d80b5ade 100644 --- a/stdlib/source/documentation/lux/control/pipe.lux +++ b/stdlib/source/documentation/lux/control/pipe.lux @@ -101,7 +101,7 @@ +9 "nine" _ "???"))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Composable extensions to the piping macros (|> and <|) that enhance them with various abilities." diff --git a/stdlib/source/documentation/lux/control/reader.lux b/stdlib/source/documentation/lux/control/reader.lux index 83bf3a768..907fb33c2 100644 --- a/stdlib/source/documentation/lux/control/reader.lux +++ b/stdlib/source/documentation/lux/control/reader.lux @@ -31,7 +31,7 @@ (documentation: /.lifted "Lift monadic values to the Reader wrapper.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/region.lux b/stdlib/source/documentation/lux/control/region.lux index 26e9f2332..9d9824fa9 100644 --- a/stdlib/source/documentation/lux/control/region.lux +++ b/stdlib/source/documentation/lux/control/region.lux @@ -34,7 +34,7 @@ "Lift an effectful computation into a region-based computation." [(lifted monad operation)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/remember.lux b/stdlib/source/documentation/lux/control/remember.lux index df879c0ce..dd71c07b7 100644 --- a/stdlib/source/documentation/lux/control/remember.lux +++ b/stdlib/source/documentation/lux/control/remember.lux @@ -37,7 +37,7 @@ "Improve the performace." (some (complicated (computation 123))))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/security.lux b/stdlib/source/documentation/lux/control/security.lux index 61842bc88..74a30b278 100644 --- a/stdlib/source/documentation/lux/control/security.lux +++ b/stdlib/source/documentation/lux/control/security.lux @@ -11,7 +11,7 @@ ["[1][0]" capability] ["[1][0]" policy]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /policy.documentation diff --git a/stdlib/source/documentation/lux/control/security/capability.lux b/stdlib/source/documentation/lux/control/security/capability.lux index a392fa250..06d06bde3 100644 --- a/stdlib/source/documentation/lux/control/security/capability.lux +++ b/stdlib/source/documentation/lux/control/security/capability.lux @@ -33,7 +33,7 @@ "Converts a synchronous I/O-based capability into an asynchronous capability." [(async capability)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/security/policy.lux b/stdlib/source/documentation/lux/control/security/policy.lux index 6e8d5ec93..86ab3fced 100644 --- a/stdlib/source/documentation/lux/control/security/policy.lux +++ b/stdlib/source/documentation/lux/control/security/policy.lux @@ -44,15 +44,15 @@ (is (-> (Password %) Text) unsafe))) - (def: (policy _) + (def (policy _) (Ex (_ %) (-> Any (Policy %))) (with_policy (is (Context Privacy Policy) (function (_ (open "%::.")) (implementation - (def: (password value) + (def (password value) (%::can_upgrade value)) - (def: (unsafe password) + (def (unsafe password) (%::can_downgrade password)))))))] [(with_policy context)]) @@ -64,7 +64,7 @@ (format "A security context for safety." \n "Safe data is data coming from outside the program which can be trusted to be properly formatted and lacking injections.")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/state.lux b/stdlib/source/documentation/lux/control/state.lux index ab9cf3d5f..564deb012 100644 --- a/stdlib/source/documentation/lux/control/state.lux +++ b/stdlib/source/documentation/lux/control/state.lux @@ -59,7 +59,7 @@ "Lift monadic values to the +State wrapper." [(lifted monad ma)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/thread.lux b/stdlib/source/documentation/lux/control/thread.lux index bc4062c10..1af1a0293 100644 --- a/stdlib/source/documentation/lux/control/thread.lux +++ b/stdlib/source/documentation/lux/control/thread.lux @@ -39,7 +39,7 @@ "Update a box's value by applying a function to it." [(update! f box)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/try.lux b/stdlib/source/documentation/lux/control/try.lux index f1f2cb0dc..9320a2d3b 100644 --- a/stdlib/source/documentation/lux/control/try.lux +++ b/stdlib/source/documentation/lux/control/try.lux @@ -44,7 +44,7 @@ [(= "foo" (else "foo" {/.#Failure "KABOOM!"}))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/control/writer.lux b/stdlib/source/documentation/lux/control/writer.lux index cb546cb51..f692d626f 100644 --- a/stdlib/source/documentation/lux/control/writer.lux +++ b/stdlib/source/documentation/lux/control/writer.lux @@ -25,7 +25,7 @@ "Wraps a monadic value with Writer machinery." [(lifted monoid monad)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data.lux b/stdlib/source/documentation/lux/data.lux index 908891b19..965b68a5a 100644 --- a/stdlib/source/documentation/lux/data.lux +++ b/stdlib/source/documentation/lux/data.lux @@ -18,7 +18,7 @@ ["[1][0]" sum] ["[1][0]" text]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /binary.documentation diff --git a/stdlib/source/documentation/lux/data/binary.lux b/stdlib/source/documentation/lux/data/binary.lux index f1b5b2f18..11939678d 100644 --- a/stdlib/source/documentation/lux/data/binary.lux +++ b/stdlib/source/documentation/lux/data/binary.lux @@ -65,7 +65,7 @@ "Yields a binary BLOB with at most the specified number of bytes removed." [(after bytes binary)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/bit.lux b/stdlib/source/documentation/lux/data/bit.lux index 08412b9d9..d235f4dbe 100644 --- a/stdlib/source/documentation/lux/data/bit.lux +++ b/stdlib/source/documentation/lux/data/bit.lux @@ -14,7 +14,7 @@ (format "Generates the complement of a predicate." \n "That is a predicate that returns the oposite of the original predicate.")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection.lux b/stdlib/source/documentation/lux/data/collection.lux index 4cd97968d..5c83211a1 100644 --- a/stdlib/source/documentation/lux/data/collection.lux +++ b/stdlib/source/documentation/lux/data/collection.lux @@ -19,7 +19,7 @@ ["[1][0]" set] ["[1][0]" tree]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /array.documentation diff --git a/stdlib/source/documentation/lux/data/collection/array.lux b/stdlib/source/documentation/lux/data/collection/array.lux index ee54af7e1..40ae33059 100644 --- a/stdlib/source/documentation/lux/data/collection/array.lux +++ b/stdlib/source/documentation/lux/data/collection/array.lux @@ -88,7 +88,7 @@ [(list {.#None} array) (list {.#Some default} array)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/bits.lux b/stdlib/source/documentation/lux/data/collection/bits.lux index 7a5862da3..1dadf4ad6 100644 --- a/stdlib/source/documentation/lux/data/collection/bits.lux +++ b/stdlib/source/documentation/lux/data/collection/bits.lux @@ -37,7 +37,7 @@ "" [(not input)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/dictionary.lux b/stdlib/source/documentation/lux/data/collection/dictionary.lux index f3bdae2de..efa3a49ce 100644 --- a/stdlib/source/documentation/lux/data/collection/dictionary.lux +++ b/stdlib/source/documentation/lux/data/collection/dictionary.lux @@ -75,7 +75,7 @@ "A sub-dictionary, with only the specified keys." [(sub keys dict)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux b/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux index 8cd086024..339bbb6b4 100644 --- a/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux @@ -57,7 +57,7 @@ "" [(of_list order list)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux b/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux index 83856e697..7ece01888 100644 --- a/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/documentation/lux/data/collection/dictionary/plist.lux @@ -38,7 +38,7 @@ "" [(lacks key properties)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/list.lux b/stdlib/source/documentation/lux/data/collection/list.lux index 438278685..62b316db8 100644 --- a/stdlib/source/documentation/lux/data/collection/list.lux +++ b/stdlib/source/documentation/lux/data/collection/list.lux @@ -104,15 +104,15 @@ (documentation: /.zipped "Create list zippers with the specified number of input lists." - [(def: zipped_2 (zipped 2)) - (def: zipped_3 (zipped 3)) + [(def zipped_2 (zipped 2)) + (def zipped_3 (zipped 3)) (zipped_3 xs ys zs) ((zipped 3) xs ys zs)]) (documentation: /.zipped_with "Create list zippers with the specified number of input lists." - [(def: zipped_with_2 (zipped_with 2)) - (def: zipped_with_3 (zipped_with 3)) + [(def zipped_with_2 (zipped_with 2)) + (def zipped_with_3 (zipped_with 3)) (zipped_with_2 + xs ys) ((zipped_with 2) + xs ys)]) @@ -147,7 +147,7 @@ .when (passes_test? value)] (do_something_else 4 5 6))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/queue.lux b/stdlib/source/documentation/lux/data/collection/queue.lux index 159ea8f33..6385fb451 100644 --- a/stdlib/source/documentation/lux/data/collection/queue.lux +++ b/stdlib/source/documentation/lux/data/collection/queue.lux @@ -42,7 +42,7 @@ "" [(end val queue)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/queue/priority.lux b/stdlib/source/documentation/lux/data/collection/queue/priority.lux index 0a1384ac4..2e24d32eb 100644 --- a/stdlib/source/documentation/lux/data/collection/queue/priority.lux +++ b/stdlib/source/documentation/lux/data/collection/queue/priority.lux @@ -22,7 +22,7 @@ "" [(end priority value queue)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/sequence.lux b/stdlib/source/documentation/lux/data/collection/sequence.lux index 8961d114c..66f3955af 100644 --- a/stdlib/source/documentation/lux/data/collection/sequence.lux +++ b/stdlib/source/documentation/lux/data/collection/sequence.lux @@ -54,7 +54,7 @@ [(is (Sequence Nat) (sequence 12 34 56 78 90))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/set.lux b/stdlib/source/documentation/lux/data/collection/set.lux index fd87feaa3..4e64b2ec6 100644 --- a/stdlib/source/documentation/lux/data/collection/set.lux +++ b/stdlib/source/documentation/lux/data/collection/set.lux @@ -36,7 +36,7 @@ "" [(super? sub super)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/set/multi.lux b/stdlib/source/documentation/lux/data/collection/set/multi.lux index 6a9cdc1ed..20f750d8a 100644 --- a/stdlib/source/documentation/lux/data/collection/set/multi.lux +++ b/stdlib/source/documentation/lux/data/collection/set/multi.lux @@ -43,7 +43,7 @@ (documentation: /.super? "Is 'subject' a super-set of 'reference'?") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/set/ordered.lux b/stdlib/source/documentation/lux/data/collection/set/ordered.lux index 22222e4c5..47dbc2e08 100644 --- a/stdlib/source/documentation/lux/data/collection/set/ordered.lux +++ b/stdlib/source/documentation/lux/data/collection/set/ordered.lux @@ -40,7 +40,7 @@ "Is 'super' a super-set of 'sub'?" [(super? sub super)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/stack.lux b/stdlib/source/documentation/lux/data/collection/stack.lux index 542fe3c49..ceb9b09d7 100644 --- a/stdlib/source/documentation/lux/data/collection/stack.lux +++ b/stdlib/source/documentation/lux/data/collection/stack.lux @@ -28,7 +28,7 @@ "" [(top value stack)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/stream.lux b/stdlib/source/documentation/lux/data/collection/stream.lux index 172018407..7623c806c 100644 --- a/stdlib/source/documentation/lux/data/collection/stream.lux +++ b/stdlib/source/documentation/lux/data/collection/stream.lux @@ -49,7 +49,7 @@ [(let [(pattern x y z _tail) (some_stream_func +1 +2 +3)] (func x y z))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/tree.lux b/stdlib/source/documentation/lux/data/collection/tree.lux index bc798d523..c34d4b8e9 100644 --- a/stdlib/source/documentation/lux/data/collection/tree.lux +++ b/stdlib/source/documentation/lux/data/collection/tree.lux @@ -39,7 +39,7 @@ 56 {} 78 {90 {}}}))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/tree/finger.lux b/stdlib/source/documentation/lux/data/collection/tree/finger.lux index b87de0cfd..de79adfec 100644 --- a/stdlib/source/documentation/lux/data/collection/tree/finger.lux +++ b/stdlib/source/documentation/lux/data/collection/tree/finger.lux @@ -43,7 +43,7 @@ "Verifies that a value exists which meets the predicate." [(exists? predicate tree)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/collection/tree/zipper.lux b/stdlib/source/documentation/lux/data/collection/tree/zipper.lux index 63a52b5f8..24cdd66d6 100644 --- a/stdlib/source/documentation/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/documentation/lux/data/collection/tree/zipper.lux @@ -32,7 +32,7 @@ "" [(adopt value zipper)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/color.lux b/stdlib/source/documentation/lux/data/color.lux index f68e4ed89..e15945e44 100644 --- a/stdlib/source/documentation/lux/data/color.lux +++ b/stdlib/source/documentation/lux/data/color.lux @@ -40,7 +40,7 @@ "" [(interpolated ratio end start)]) -(def: palette_documentation +(def palette_documentation (syntax (_ [[_ name] <code>.symbol]) (in (list (code.text (format "A " (text.replaced "_" "-" name) " palette.")))))) @@ -80,7 +80,7 @@ [/.tetradic] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/color/named.lux b/stdlib/source/documentation/lux/data/color/named.lux index 37b6b93a4..960f00f4d 100644 --- a/stdlib/source/documentation/lux/data/color/named.lux +++ b/stdlib/source/documentation/lux/data/color/named.lux @@ -170,7 +170,7 @@ [/.yellow_green] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/format.lux b/stdlib/source/documentation/lux/data/format.lux index 645502ef2..a67936e66 100644 --- a/stdlib/source/documentation/lux/data/format.lux +++ b/stdlib/source/documentation/lux/data/format.lux @@ -13,7 +13,7 @@ ["[1][0]" tar] ["[1][0]" xml]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /binary.documentation diff --git a/stdlib/source/documentation/lux/data/format/binary.lux b/stdlib/source/documentation/lux/data/format/binary.lux index 9d313aab0..311dd602d 100644 --- a/stdlib/source/documentation/lux/data/format/binary.lux +++ b/stdlib/source/documentation/lux/data/format/binary.lux @@ -45,7 +45,7 @@ "Writes at most 'size' bytes of an input binary blob." [(segment size)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/format/json.lux b/stdlib/source/documentation/lux/data/format/json.lux index fb843637b..8d90c1735 100644 --- a/stdlib/source/documentation/lux/data/format/json.lux +++ b/stdlib/source/documentation/lux/data/format/json.lux @@ -48,7 +48,7 @@ [/.object_field "objects"] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ (format "Functionality for reading and writing values in the JSON format." diff --git a/stdlib/source/documentation/lux/data/format/tar.lux b/stdlib/source/documentation/lux/data/format/tar.lux index 82f3d37dd..6a25ed15f 100644 --- a/stdlib/source/documentation/lux/data/format/tar.lux +++ b/stdlib/source/documentation/lux/data/format/tar.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/format/xml.lux b/stdlib/source/documentation/lux/data/format/xml.lux index e3240d85a..ab00554ce 100644 --- a/stdlib/source/documentation/lux/data/format/xml.lux +++ b/stdlib/source/documentation/lux/data/format/xml.lux @@ -20,7 +20,7 @@ (documentation: /.attribute "The text format of a XML attribute.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/identity.lux b/stdlib/source/documentation/lux/data/identity.lux index c6eb4922b..efc58cdcf 100644 --- a/stdlib/source/documentation/lux/data/identity.lux +++ b/stdlib/source/documentation/lux/data/identity.lux @@ -13,7 +13,7 @@ (documentation: (/.Identity it) "A value, as is, without any extra structure super-imposed on it.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/product.lux b/stdlib/source/documentation/lux/data/product.lux index d599f3706..33df94c59 100644 --- a/stdlib/source/documentation/lux/data/product.lux +++ b/stdlib/source/documentation/lux/data/product.lux @@ -36,7 +36,7 @@ "Yields a pair by applying both functions to a single value." [(forked f g)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Functionality for working with tuples (particularly 2-tuples/pairs)." diff --git a/stdlib/source/documentation/lux/data/sum.lux b/stdlib/source/documentation/lux/data/sum.lux index dd398e250..9d38d8230 100644 --- a/stdlib/source/documentation/lux/data/sum.lux +++ b/stdlib/source/documentation/lux/data/sum.lux @@ -24,7 +24,7 @@ "Applies functions to both sides of a 2-variant." [(then on_left on_right)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Functionality for working with variants (particularly 2-variants)." diff --git a/stdlib/source/documentation/lux/data/text.lux b/stdlib/source/documentation/lux/data/text.lux index 41ba31e83..a13b2839a 100644 --- a/stdlib/source/documentation/lux/data/text.lux +++ b/stdlib/source/documentation/lux/data/text.lux @@ -107,7 +107,7 @@ "Checks whether the character is white-space." [(space? char)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/buffer.lux b/stdlib/source/documentation/lux/data/text/buffer.lux index 6fa90504b..79722d05b 100644 --- a/stdlib/source/documentation/lux/data/text/buffer.lux +++ b/stdlib/source/documentation/lux/data/text/buffer.lux @@ -13,7 +13,7 @@ (documentation: /.Buffer "Immutable text buffer for efficient text concatenation.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/encoding.lux b/stdlib/source/documentation/lux/data/text/encoding.lux index 0cda057b4..e4c624a05 100644 --- a/stdlib/source/documentation/lux/data/text/encoding.lux +++ b/stdlib/source/documentation/lux/data/text/encoding.lux @@ -164,7 +164,7 @@ [/.koi8_u] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/encoding/utf8.lux b/stdlib/source/documentation/lux/data/text/encoding/utf8.lux index 9727adac3..e9aed460d 100644 --- a/stdlib/source/documentation/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/documentation/lux/data/text/encoding/utf8.lux @@ -13,7 +13,7 @@ (documentation: /.codec "A codec for binary encoding of text as UTF-8.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/escape.lux b/stdlib/source/documentation/lux/data/text/escape.lux index dd56ccf4b..112aa7b25 100644 --- a/stdlib/source/documentation/lux/data/text/escape.lux +++ b/stdlib/source/documentation/lux/data/text/escape.lux @@ -26,7 +26,7 @@ (format "Line 1" \n "Line 2")]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/format.lux b/stdlib/source/documentation/lux/data/text/format.lux index 53f70bac3..97d12c1fa 100644 --- a/stdlib/source/documentation/lux/data/text/format.lux +++ b/stdlib/source/documentation/lux/data/text/format.lux @@ -14,7 +14,7 @@ "Text interpolation." [(format "Static part " (text static) " does not match URI: " uri)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/regex.lux b/stdlib/source/documentation/lux/data/text/regex.lux index 718a76ca1..5f95326a4 100644 --- a/stdlib/source/documentation/lux/data/text/regex.lux +++ b/stdlib/source/documentation/lux/data/text/regex.lux @@ -69,7 +69,7 @@ _ do_something_else)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/unicode.lux b/stdlib/source/documentation/lux/data/text/unicode.lux index ab47ca744..5e4aff2e1 100644 --- a/stdlib/source/documentation/lux/data/text/unicode.lux +++ b/stdlib/source/documentation/lux/data/text/unicode.lux @@ -11,7 +11,7 @@ ["[1][0]" block] ["[1][0]" set]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /block.documentation diff --git a/stdlib/source/documentation/lux/data/text/unicode/block.lux b/stdlib/source/documentation/lux/data/text/unicode/block.lux index bcf101d5c..3bce030f0 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/block.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/block.lux @@ -141,7 +141,7 @@ [/.lower_case] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/data/text/unicode/set.lux b/stdlib/source/documentation/lux/data/text/unicode/set.lux index 53de02b6b..1ebb9bdd3 100644 --- a/stdlib/source/documentation/lux/data/text/unicode/set.lux +++ b/stdlib/source/documentation/lux/data/text/unicode/set.lux @@ -18,7 +18,7 @@ "" [(member? set character)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/debug.lux b/stdlib/source/documentation/lux/debug.lux index e8f5527c0..91fc034f9 100644 --- a/stdlib/source/documentation/lux/debug.lux +++ b/stdlib/source/documentation/lux/debug.lux @@ -21,7 +21,7 @@ (documentation: /.private "Allows access to un-exported definitions in other modules." ["Module A" - (def: .private (secret_definition input) + (def .private (secret_definition input) (-> ??? ???) (foo (bar (baz input)))) "Module B" @@ -64,7 +64,7 @@ "baz: +789.0" []]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/documentation.lux b/stdlib/source/documentation/lux/documentation.lux index ccc18909a..683b259b2 100644 --- a/stdlib/source/documentation/lux/documentation.lux +++ b/stdlib/source/documentation/lux/documentation.lux @@ -35,7 +35,7 @@ (/.default /.documentation)] []))]) -(.def: .public documentation +(.def .public documentation (.List /.Module) (/.module /._ "" diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux index 9b27ebc33..3a88c9a83 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/extension.lux @@ -51,7 +51,7 @@ [.let [_ (debug.log! (format "Successfully installed directive " (%.text self) "!"))]] (in directive.no_requirements)))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/ffi.js.lux b/stdlib/source/documentation/lux/ffi.js.lux index 83ba87089..2e6003722 100644 --- a/stdlib/source/documentation/lux/ffi.js.lux +++ b/stdlib/source/documentation/lux/ffi.js.lux @@ -50,7 +50,7 @@ (closure [left right] (do_something (as Foo left) (as Bar right))))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux index 71e0c95a9..265b1bd35 100644 --- a/stdlib/source/documentation/lux/ffi.jvm.lux +++ b/stdlib/source/documentation/lux/ffi.jvm.lux @@ -254,7 +254,7 @@ (is java/lang/String ???))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/ffi.lua.lux b/stdlib/source/documentation/lux/ffi.lua.lux index 37cdf1c6a..bd38a77b5 100644 --- a/stdlib/source/documentation/lux/ffi.lua.lux +++ b/stdlib/source/documentation/lux/ffi.lua.lux @@ -21,7 +21,7 @@ (closure [left right] (do_something (as Foo left) (as Bar right))))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux index 99f6a6c5b..a1771a53f 100644 --- a/stdlib/source/documentation/lux/ffi.old.lux +++ b/stdlib/source/documentation/lux/ffi.old.lux @@ -212,7 +212,7 @@ [(is .Type (type java/lang/String))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/ffi.py.lux b/stdlib/source/documentation/lux/ffi.py.lux index b4549abc2..99fb157ed 100644 --- a/stdlib/source/documentation/lux/ffi.py.lux +++ b/stdlib/source/documentation/lux/ffi.py.lux @@ -42,7 +42,7 @@ (do_something (as Foo left) (as Bar right))))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux index 578a9211f..75e5229a4 100644 --- a/stdlib/source/documentation/lux/ffi.rb.lux +++ b/stdlib/source/documentation/lux/ffi.rb.lux @@ -31,7 +31,7 @@ (flush [] "io" "try" "?" Any) (close [] "io" "try" "?" Any))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/locale.lux b/stdlib/source/documentation/lux/locale.lux index e0958143f..b4990b991 100644 --- a/stdlib/source/documentation/lux/locale.lux +++ b/stdlib/source/documentation/lux/locale.lux @@ -20,7 +20,7 @@ "" [(locale language territory encoding)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/locale/language.lux b/stdlib/source/documentation/lux/locale/language.lux index d47b66d8c..1de51a886 100644 --- a/stdlib/source/documentation/lux/locale/language.lux +++ b/stdlib/source/documentation/lux/locale/language.lux @@ -13,14 +13,14 @@ (documentation: /.Language "An ISO 639 language.") -(def: items/~ +(def items/~ (list.together (list ($.default /.uncoded) ($.default /.multiple) ($.default /.undetermined) ($.default /.not_applicable)))) -(def: items/a +(def items/a (list.together (list ($.default /.afar) ($.default /.abkhazian) @@ -62,7 +62,7 @@ ($.default /.aymara) ($.default /.azerbaijani)))) -(def: items/b +(def items/b (list.together (list ($.default /.banda) ($.default /.bamileke) @@ -96,7 +96,7 @@ ($.default /.blin) ($.default /.bilin)))) -(def: items/c +(def items/c (list.together (list ($.default /.caddo) ($.default /.central_american_indian) @@ -139,7 +139,7 @@ ($.default /.cushitic) ($.default /.welsh)))) -(def: items/d +(def items/d (list.together (list ($.default /.dakota) ($.default /.danish) @@ -160,7 +160,7 @@ ($.default /.dyula) ($.default /.dzongkha)))) -(def: items/e +(def items/e (list.together (list ($.default /.efik) ($.default /.egyptian) @@ -175,7 +175,7 @@ ($.default /.ewe) ($.default /.ewondo)))) -(def: items/f +(def items/f (list.together (list ($.default /.fang) ($.default /.faroese) @@ -195,7 +195,7 @@ ($.default /.fulah) ($.default /.friulian)))) -(def: items/g +(def items/g (list.together (list ($.default /.ga) ($.default /.gayo) @@ -221,7 +221,7 @@ ($.default /.gujarati) ($.default /.gwich'in)))) -(def: items/h +(def items/h (list.together (list ($.default /.haida) ($.default /.haitian) @@ -241,7 +241,7 @@ ($.default /.hupa) ($.default /.armenian)))) -(def: items/i +(def items/i (list.together (list ($.default /.iban) ($.default /.igbo) @@ -263,7 +263,7 @@ ($.default /.icelandic) ($.default /.italian)))) -(def: items/j +(def items/j (list.together (list ($.default /.javanese) ($.default /.lojban) @@ -271,7 +271,7 @@ ($.default /.judeo_persian) ($.default /.judeo_arabic)))) -(def: items/k +(def items/k (list.together (list ($.default /.kara_kalpak) ($.default /.kabyle) @@ -312,7 +312,7 @@ ($.default /.kurdish) ($.default /.kutenai)))) -(def: items/l +(def items/l (list.together (list ($.default /.ladino) ($.default /.lahnda) @@ -335,7 +335,7 @@ ($.default /.luo) ($.default /.lushai)))) -(def: items/m +(def items/m (list.together (list ($.default /.madurese) ($.default /.magahi) @@ -374,7 +374,7 @@ ($.default /.mayan) ($.default /.erzya)))) -(def: items/n +(def items/n (list.together (list ($.default /.nahuatl) ($.default /.north_american_indian) @@ -414,7 +414,7 @@ ($.default /.nyoro) ($.default /.nzima)))) -(def: items/o +(def items/o (list.together (list ($.default /.occitan) ($.default /.provencal) @@ -426,7 +426,7 @@ ($.default /.ottoman_turkish) ($.default /.otomian)))) -(def: items/p +(def items/p (list.together (list ($.default /.papuan) ($.default /.pangasinan) @@ -447,11 +447,11 @@ ($.default /.old_provencal) ($.default /.pashto)))) -(def: items/q +(def items/q (list.together (list ($.default /.quechua)))) -(def: items/r +(def items/r (list.together (list ($.default /.rajasthani) ($.default /.rapanui) @@ -469,7 +469,7 @@ ($.default /.macedo_romanian) ($.default /.russian)))) -(def: items/s +(def items/s (list.together (list ($.default /.sandawe) ($.default /.sango) @@ -526,7 +526,7 @@ ($.default /.classical_syriac) ($.default /.syriac)))) -(def: items/t +(def items/t (list.together (list ($.default /.tahitian) ($.default /.tai) @@ -561,7 +561,7 @@ ($.default /.twi) ($.default /.tuvinian)))) -(def: items/u +(def items/u (list.together (list ($.default /.udmurt) ($.default /.ugaritic) @@ -571,7 +571,7 @@ ($.default /.urdu) ($.default /.uzbek)))) -(def: items/v +(def items/v (list.together (list ($.default /.vai) ($.default /.venda) @@ -579,7 +579,7 @@ ($.default /.volapük) ($.default /.votic)))) -(def: items/w +(def items/w (list.together (list ($.default /.wakashan) ($.default /.walamo) @@ -589,13 +589,13 @@ ($.default /.walloon) ($.default /.wolof)))) -(def: items/x +(def items/x (list.together (list ($.default /.kalmyk) ($.default /.oirat) ($.default /.xhosa)))) -(def: items/y +(def items/y (list.together (list ($.default /.yao) ($.default /.yapese) @@ -603,7 +603,7 @@ ($.default /.yoruba) ($.default /.yupik)))) -(def: items/z +(def items/z (list.together (list ($.default /.zapotec) ($.default /.blissymbols) @@ -621,7 +621,7 @@ ($.default /.kirmanjki) ($.default /.zazaki)))) -(.def: .public documentation +(.def .public documentation (.List $.Module) (`` ($.module /._ "" diff --git a/stdlib/source/documentation/lux/locale/territory.lux b/stdlib/source/documentation/lux/locale/territory.lux index 4240d134d..187d9c5e7 100644 --- a/stdlib/source/documentation/lux/locale/territory.lux +++ b/stdlib/source/documentation/lux/locale/territory.lux @@ -13,7 +13,7 @@ (documentation: /.Territory "An ISO 3166 territory.") -(def: items/ab +(def items/ab (list.together (list ($.default /.afghanistan) ($.default /.aland_islands) @@ -57,7 +57,7 @@ ($.default /.burkina_faso) ($.default /.burundi)))) -(def: items/cd +(def items/cd (list.together (list ($.default /.cape_verde) ($.default /.cambodia) @@ -87,7 +87,7 @@ ($.default /.dominica) ($.default /.dominican_republic)))) -(def: items/efg +(def items/efg (list.together (list ($.default /.ecuador) ($.default /.egypt) @@ -122,7 +122,7 @@ ($.default /.guinea_bissau) ($.default /.guyana)))) -(def: items/hijkl +(def items/hijkl (list.together (list ($.default /.haiti) ($.default /.heard_island) @@ -161,7 +161,7 @@ ($.default /.lithuania) ($.default /.luxembourg)))) -(def: items/mno +(def items/mno (list.together (list ($.default /.macau) ($.default /.macedonia) @@ -201,7 +201,7 @@ ($.default /.norway) ($.default /.oman)))) -(def: items/pqrs +(def items/pqrs (list.together (list ($.default /.pakistan) ($.default /.palau) @@ -261,7 +261,7 @@ ($.default /.switzerland) ($.default /.syria)))) -(def: items/tuvwxyz +(def items/tuvwxyz (list.together (list ($.default /.taiwan) ($.default /.tajikistan) @@ -300,7 +300,7 @@ ($.default /.zambia) ($.default /.zimbabwe)))) -(.def: .public documentation +(.def .public documentation (.List $.Module) (`` ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro.lux b/stdlib/source/documentation/lux/macro.lux index 318540278..0df20d2b7 100644 --- a/stdlib/source/documentation/lux/macro.lux +++ b/stdlib/source/documentation/lux/macro.lux @@ -39,7 +39,7 @@ (documentation: /.with_symbols "Creates new symbols and offers them to the body expression." - [(def: synchronized + [(def synchronized (syntax (_ [lock any body any]) (with_symbols [g!lock g!body g!_] @@ -58,11 +58,11 @@ \n "You can either use the resulting code, or omit them." \n "By omitting them, this macro produces nothing (just like the lux.comment macro).") [(log_single_expansion! - (def: (foo bar baz) + (def (foo bar baz) (-> Int Int Int) (int.+ bar baz))) (log_single_expansion! "omit" - (def: (foo bar baz) + (def (foo bar baz) (-> Int Int Int) (int.+ bar baz)))]) @@ -71,11 +71,11 @@ \n "You can either use the resulting code, or omit them." \n "By omitting them, this macro produces nothing (just like the lux.comment macro).") [(log_expansion! - (def: (foo bar baz) + (def (foo bar baz) (-> Int Int Int) (int.+ bar baz))) (log_expansion! "omit" - (def: (foo bar baz) + (def (foo bar baz) (-> Int Int Int) (int.+ bar baz)))]) @@ -84,15 +84,15 @@ \n "You can either use the resulting code, or omit them." \n "By omitting them, this macro produces nothing (just like the lux.comment macro).") [(log_full_expansion! - (def: (foo bar baz) + (def (foo bar baz) (-> Int Int Int) (int.+ bar baz))) (log_full_expansion! "omit" - (def: (foo bar baz) + (def (foo bar baz) (-> Int Int Int) (int.+ bar baz)))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/code.lux b/stdlib/source/documentation/lux/macro/code.lux index e1a0f8058..7a4e26199 100644 --- a/stdlib/source/documentation/lux/macro/code.lux +++ b/stdlib/source/documentation/lux/macro/code.lux @@ -17,7 +17,7 @@ "" [(replaced original substitute ast)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/local.lux b/stdlib/source/documentation/lux/macro/local.lux index dafb8f498..f171af782 100644 --- a/stdlib/source/documentation/lux/macro/local.lux +++ b/stdlib/source/documentation/lux/macro/local.lux @@ -17,7 +17,7 @@ \n "NOTE: Always use this code once to clean-up..") [(push macros)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/syntax.lux b/stdlib/source/documentation/lux/macro/syntax.lux index 191b929d2..828ede9eb 100644 --- a/stdlib/source/documentation/lux/macro/syntax.lux +++ b/stdlib/source/documentation/lux/macro/syntax.lux @@ -23,7 +23,7 @@ \n "The inputs to the macro can be parsed in complex ways through the use of syntax parsers." \n "The macro body is also (implicitly) run in the Meta monad, to save some typing." \n "Also, the compiler state can be accessed through a special binding.") - [(def: .public object + [(def .public object (syntax (_ lux_state [.let [imports (class_imports lux_state)] .let [class_vars (list)] super (opt (super_class_decl^ imports class_vars)) @@ -37,7 +37,7 @@ (with_brackets (spaced (list#each (method_def$ id) methods))))))] (in (list (` ((~ (code.text def_code)))))))))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/syntax/check.lux b/stdlib/source/documentation/lux/macro/syntax/check.lux index 38785fefd..7a2f630c6 100644 --- a/stdlib/source/documentation/lux/macro/syntax/check.lux +++ b/stdlib/source/documentation/lux/macro/syntax/check.lux @@ -13,7 +13,7 @@ (documentation: /.Check "A type annotation for an expression.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/syntax/declaration.lux b/stdlib/source/documentation/lux/macro/syntax/declaration.lux index f649cbb6c..91e3e232c 100644 --- a/stdlib/source/documentation/lux/macro/syntax/declaration.lux +++ b/stdlib/source/documentation/lux/macro/syntax/declaration.lux @@ -19,7 +19,7 @@ quux (foo bar baz)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/syntax/definition.lux b/stdlib/source/documentation/lux/macro/syntax/definition.lux index aad057c03..08706e55c 100644 --- a/stdlib/source/documentation/lux/macro/syntax/definition.lux +++ b/stdlib/source/documentation/lux/macro/syntax/definition.lux @@ -21,7 +21,7 @@ "Only works for typed definitions." [(typed compiler)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/syntax/export.lux b/stdlib/source/documentation/lux/macro/syntax/export.lux index c5bd4ad1d..b0cfb422c 100644 --- a/stdlib/source/documentation/lux/macro/syntax/export.lux +++ b/stdlib/source/documentation/lux/macro/syntax/export.lux @@ -14,7 +14,7 @@ "" [(parser un_exported)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Syntax for marking a definition as an export." diff --git a/stdlib/source/documentation/lux/macro/syntax/input.lux b/stdlib/source/documentation/lux/macro/syntax/input.lux index 13ee20488..3362c356a 100644 --- a/stdlib/source/documentation/lux/macro/syntax/input.lux +++ b/stdlib/source/documentation/lux/macro/syntax/input.lux @@ -16,7 +16,7 @@ (documentation: /.parser "Parser for the common typed-argument syntax used by many macros.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/syntax/type/variable.lux b/stdlib/source/documentation/lux/macro/syntax/type/variable.lux index 6de691019..3b12b4970 100644 --- a/stdlib/source/documentation/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/documentation/lux/macro/syntax/type/variable.lux @@ -16,7 +16,7 @@ (documentation: /.parser "Parser for the common type variable/parameter used by many macros.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/macro/template.lux b/stdlib/source/documentation/lux/macro/template.lux index 0a0191099..1054515f1 100644 --- a/stdlib/source/documentation/lux/macro/template.lux +++ b/stdlib/source/documentation/lux/macro/template.lux @@ -53,11 +53,11 @@ "Lexically-bound templates." [(let [(!square <root>) [(* <root> <root>)]] - (def: (square root) + (def (square root) (-> Nat Nat) (!square root)))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Utilities commonly used while templating." diff --git a/stdlib/source/documentation/lux/math.lux b/stdlib/source/documentation/lux/math.lux index fe8e075b2..36251af9b 100644 --- a/stdlib/source/documentation/lux/math.lux +++ b/stdlib/source/documentation/lux/math.lux @@ -17,7 +17,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/infix.lux b/stdlib/source/documentation/lux/math/infix.lux index f0f2302fc..e2c1f0706 100644 --- a/stdlib/source/documentation/lux/math/infix.lux +++ b/stdlib/source/documentation/lux/math/infix.lux @@ -38,7 +38,7 @@ "=>" (gcd 450 (* 3 9))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/logic.lux b/stdlib/source/documentation/lux/math/logic.lux index bf76966ca..d850565dd 100644 --- a/stdlib/source/documentation/lux/math/logic.lux +++ b/stdlib/source/documentation/lux/math/logic.lux @@ -11,7 +11,7 @@ ["[1][0]" continuous] ["[1][0]" fuzzy]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (all list#composite /continuous.documentation diff --git a/stdlib/source/documentation/lux/math/logic/continuous.lux b/stdlib/source/documentation/lux/math/logic/continuous.lux index a9cffa38b..3a5edbb3f 100644 --- a/stdlib/source/documentation/lux/math/logic/continuous.lux +++ b/stdlib/source/documentation/lux/math/logic/continuous.lux @@ -14,7 +14,7 @@ "" [(implies consequent antecedent)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ (format "Continuous logic using Rev values." diff --git a/stdlib/source/documentation/lux/math/logic/fuzzy.lux b/stdlib/source/documentation/lux/math/logic/fuzzy.lux index 38abc15e7..7698285e7 100644 --- a/stdlib/source/documentation/lux/math/logic/fuzzy.lux +++ b/stdlib/source/documentation/lux/math/logic/fuzzy.lux @@ -45,7 +45,7 @@ "" [(cut treshold set)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Fuzzy logic, implemented on top of the Rev type." diff --git a/stdlib/source/documentation/lux/math/modular.lux b/stdlib/source/documentation/lux/math/modular.lux index d05597f38..4d6be1904 100644 --- a/stdlib/source/documentation/lux/math/modular.lux +++ b/stdlib/source/documentation/lux/math/modular.lux @@ -21,7 +21,7 @@ "" [(adapter reference subject)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/modulus.lux b/stdlib/source/documentation/lux/math/modulus.lux index a1496c4d1..bdf5c1552 100644 --- a/stdlib/source/documentation/lux/math/modulus.lux +++ b/stdlib/source/documentation/lux/math/modulus.lux @@ -25,7 +25,7 @@ ["Failure!" (literal 0)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number.lux b/stdlib/source/documentation/lux/math/number.lux index 2920e4f44..c8c1804b8 100644 --- a/stdlib/source/documentation/lux/math/number.lux +++ b/stdlib/source/documentation/lux/math/number.lux @@ -33,7 +33,7 @@ [/.hex "hexadecimal" (hex "deadBEEF") (hex "dead,BEEF")] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/complex.lux b/stdlib/source/documentation/lux/math/number/complex.lux index 86757d1f3..14e598384 100644 --- a/stdlib/source/documentation/lux/math/number/complex.lux +++ b/stdlib/source/documentation/lux/math/number/complex.lux @@ -19,7 +19,7 @@ ["The imaginary part can be omitted if it's +0.0." (complex real)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Complex arithmetic." diff --git a/stdlib/source/documentation/lux/math/number/frac.lux b/stdlib/source/documentation/lux/math/number/frac.lux index 80c7543c0..ca9f8eda0 100644 --- a/stdlib/source/documentation/lux/math/number/frac.lux +++ b/stdlib/source/documentation/lux/math/number/frac.lux @@ -95,7 +95,7 @@ "" [(log_by base it)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/i16.lux b/stdlib/source/documentation/lux/math/number/i16.lux index 9f5c6d51f..a57c0763c 100644 --- a/stdlib/source/documentation/lux/math/number/i16.lux +++ b/stdlib/source/documentation/lux/math/number/i16.lux @@ -13,7 +13,7 @@ (documentation: /.I16 "A 16-bit integer.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/i32.lux b/stdlib/source/documentation/lux/math/number/i32.lux index ff8550c4f..8c6449332 100644 --- a/stdlib/source/documentation/lux/math/number/i32.lux +++ b/stdlib/source/documentation/lux/math/number/i32.lux @@ -13,7 +13,7 @@ (documentation: /.I32 "A 32-bit integer.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/i64.lux b/stdlib/source/documentation/lux/math/number/i64.lux index bfd9f7bc8..a37f45f3c 100644 --- a/stdlib/source/documentation/lux/math/number/i64.lux +++ b/stdlib/source/documentation/lux/math/number/i64.lux @@ -71,7 +71,7 @@ "Given a width in the interval (0,64), yields an implementation for integers of that width." [(sub width)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/i8.lux b/stdlib/source/documentation/lux/math/number/i8.lux index 96995abed..12990d0cd 100644 --- a/stdlib/source/documentation/lux/math/number/i8.lux +++ b/stdlib/source/documentation/lux/math/number/i8.lux @@ -13,7 +13,7 @@ (documentation: /.I8 "A 8-bit integer.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/int.lux b/stdlib/source/documentation/lux/math/number/int.lux index 8e3e737f9..3a92c5b59 100644 --- a/stdlib/source/documentation/lux/math/number/int.lux +++ b/stdlib/source/documentation/lux/math/number/int.lux @@ -77,7 +77,7 @@ "Signed/arithmetic bitwise right-shift." [(right_shifted parameter subject)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/nat.lux b/stdlib/source/documentation/lux/math/number/nat.lux index 04da382fa..b2069e97d 100644 --- a/stdlib/source/documentation/lux/math/number/nat.lux +++ b/stdlib/source/documentation/lux/math/number/nat.lux @@ -41,7 +41,7 @@ (documentation: /.lcm "Least Common Multiple.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/number/ratio.lux b/stdlib/source/documentation/lux/math/number/ratio.lux index f74bf908d..2b5a80908 100644 --- a/stdlib/source/documentation/lux/math/number/ratio.lux +++ b/stdlib/source/documentation/lux/math/number/ratio.lux @@ -19,7 +19,7 @@ ["The denominator can be omitted if it is 1." (ratio numerator)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Rational numbers." diff --git a/stdlib/source/documentation/lux/math/number/rev.lux b/stdlib/source/documentation/lux/math/number/rev.lux index 67d9a74a6..53f534a92 100644 --- a/stdlib/source/documentation/lux/math/number/rev.lux +++ b/stdlib/source/documentation/lux/math/number/rev.lux @@ -62,7 +62,7 @@ "Rev(olution) reciprocal of a Nat(ural)." [(reciprocal numerator)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/math/random.lux b/stdlib/source/documentation/lux/math/random.lux index 2a76a9395..b20f61853 100644 --- a/stdlib/source/documentation/lux/math/random.lux +++ b/stdlib/source/documentation/lux/math/random.lux @@ -78,7 +78,7 @@ (documentation: /.split_mix_64 "An implementation of the SplitMix64 algorithm.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Pseudo-random number generation (PRNG) algorithms." diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux index 76d2e02c7..038576f0d 100644 --- a/stdlib/source/documentation/lux/meta.lux +++ b/stdlib/source/documentation/lux/meta.lux @@ -153,7 +153,7 @@ "" [(eval type code)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Functions for extracting information from the state of the compiler." diff --git a/stdlib/source/documentation/lux/meta/location.lux b/stdlib/source/documentation/lux/meta/location.lux index 05c46e5a8..3a46da914 100644 --- a/stdlib/source/documentation/lux/meta/location.lux +++ b/stdlib/source/documentation/lux/meta/location.lux @@ -18,7 +18,7 @@ "" [(with location error)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/meta/symbol.lux b/stdlib/source/documentation/lux/meta/symbol.lux index 167295b35..1f43f3bc2 100644 --- a/stdlib/source/documentation/lux/meta/symbol.lux +++ b/stdlib/source/documentation/lux/meta/symbol.lux @@ -16,7 +16,7 @@ (documentation: /.short "The short part of a symbol.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/program.lux b/stdlib/source/documentation/lux/program.lux index fd7a1aa9a..ba3248150 100644 --- a/stdlib/source/documentation/lux/program.lux +++ b/stdlib/source/documentation/lux/program.lux @@ -25,7 +25,7 @@ [data (initialize program with config)] (do_something_with data)))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/static.lux b/stdlib/source/documentation/lux/static.lux index ce5778831..340ce505a 100644 --- a/stdlib/source/documentation/lux/static.lux +++ b/stdlib/source/documentation/lux/static.lux @@ -50,7 +50,7 @@ (is (Random ???) (random data generator)))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target.lux b/stdlib/source/documentation/lux/target.lux index 80110f427..57de0714a 100644 --- a/stdlib/source/documentation/lux/target.lux +++ b/stdlib/source/documentation/lux/target.lux @@ -20,7 +20,7 @@ (format "The name/ID of a platform targetted by a Lux compiler." \n "This information can be used to generate code targetting specific platforms, and to make programs cross-platform.")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/js.lux b/stdlib/source/documentation/lux/target/js.lux index bb18ca694..97e7e1f46 100644 --- a/stdlib/source/documentation/lux/target/js.lux +++ b/stdlib/source/documentation/lux/target/js.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm.lux b/stdlib/source/documentation/lux/target/jvm.lux index 6736fa255..4f0bde18a 100644 --- a/stdlib/source/documentation/lux/target/jvm.lux +++ b/stdlib/source/documentation/lux/target/jvm.lux @@ -12,7 +12,7 @@ ["[0]" / ["[1][0]" type]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type.lux b/stdlib/source/documentation/lux/target/jvm/type.lux index d71e945e4..ca6ebf997 100644 --- a/stdlib/source/documentation/lux/target/jvm/type.lux +++ b/stdlib/source/documentation/lux/target/jvm/type.lux @@ -19,7 +19,7 @@ ["[1][0]" reflection] ["[1][0]" signature]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/alias.lux b/stdlib/source/documentation/lux/target/jvm/type/alias.lux index 8331296ba..94499cbd9 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/alias.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/alias.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/box.lux b/stdlib/source/documentation/lux/target/jvm/type/box.lux index f50af3403..c3caaf93a 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/box.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/box.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/category.lux b/stdlib/source/documentation/lux/target/jvm/type/category.lux index b40c83fb2..01e125b85 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/category.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/category.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/descriptor.lux b/stdlib/source/documentation/lux/target/jvm/type/descriptor.lux index 3aef9988a..6d81713a6 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/descriptor.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/descriptor.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/lux.lux b/stdlib/source/documentation/lux/target/jvm/type/lux.lux index c5d35237e..156d9757b 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/lux.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/lux.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/parser.lux b/stdlib/source/documentation/lux/target/jvm/type/parser.lux index bb8b8f823..d92da573a 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/parser.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/parser.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/reflection.lux b/stdlib/source/documentation/lux/target/jvm/type/reflection.lux index fea87d9e4..44439aa2d 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/reflection.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/reflection.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/jvm/type/signature.lux b/stdlib/source/documentation/lux/target/jvm/type/signature.lux index 47004cd58..f5cdaaf85 100644 --- a/stdlib/source/documentation/lux/target/jvm/type/signature.lux +++ b/stdlib/source/documentation/lux/target/jvm/type/signature.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/lua.lux b/stdlib/source/documentation/lux/target/lua.lux index ea7505684..ce850522c 100644 --- a/stdlib/source/documentation/lux/target/lua.lux +++ b/stdlib/source/documentation/lux/target/lua.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/python.lux b/stdlib/source/documentation/lux/target/python.lux index 7bfd72284..3fa6f0a6a 100644 --- a/stdlib/source/documentation/lux/target/python.lux +++ b/stdlib/source/documentation/lux/target/python.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/target/ruby.lux b/stdlib/source/documentation/lux/target/ruby.lux index 1a8752cc5..0422b06f0 100644 --- a/stdlib/source/documentation/lux/target/ruby.lux +++ b/stdlib/source/documentation/lux/target/ruby.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/test.lux b/stdlib/source/documentation/lux/test.lux index 535deb2a8..f6064a13c 100644 --- a/stdlib/source/documentation/lux/test.lux +++ b/stdlib/source/documentation/lux/test.lux @@ -100,7 +100,7 @@ "Executes multiple tests in parallel (if the host platform supports it) to take advantage of multiple cores." [(in_parallel tests)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Tools for unit & property-based/generative testing." diff --git a/stdlib/source/documentation/lux/time.lux b/stdlib/source/documentation/lux/time.lux index dbec1208c..8e38a8ee9 100644 --- a/stdlib/source/documentation/lux/time.lux +++ b/stdlib/source/documentation/lux/time.lux @@ -55,7 +55,7 @@ (format "Based on ISO 8601." \n "For example: 21:14:51.827")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/time/date.lux b/stdlib/source/documentation/lux/time/date.lux index 56727b114..7c79001e0 100644 --- a/stdlib/source/documentation/lux/time/date.lux +++ b/stdlib/source/documentation/lux/time/date.lux @@ -24,7 +24,7 @@ (format "Based on ISO 8601." \n "For example: 2017-01-15")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/time/day.lux b/stdlib/source/documentation/lux/time/day.lux index 5d9a5191a..dad5e72d3 100644 --- a/stdlib/source/documentation/lux/time/day.lux +++ b/stdlib/source/documentation/lux/time/day.lux @@ -19,7 +19,7 @@ (documentation: /.week "All the days, ordered by when they come in a week.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/time/duration.lux b/stdlib/source/documentation/lux/time/duration.lux index bdff85dfa..e55d85bcf 100644 --- a/stdlib/source/documentation/lux/time/duration.lux +++ b/stdlib/source/documentation/lux/time/duration.lux @@ -20,7 +20,7 @@ "" [(difference from to)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/time/instant.lux b/stdlib/source/documentation/lux/time/instant.lux index 742d4de59..431722137 100644 --- a/stdlib/source/documentation/lux/time/instant.lux +++ b/stdlib/source/documentation/lux/time/instant.lux @@ -46,7 +46,7 @@ "" [(of_date_time date time)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/time/month.lux b/stdlib/source/documentation/lux/time/month.lux index a8a04a2c1..8012bf0a4 100644 --- a/stdlib/source/documentation/lux/time/month.lux +++ b/stdlib/source/documentation/lux/time/month.lux @@ -27,7 +27,7 @@ (documentation: /.year "All the months, ordered by when they come in a year.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/time/year.lux b/stdlib/source/documentation/lux/time/year.lux index 7c138c422..ae9b14fb2 100644 --- a/stdlib/source/documentation/lux/time/year.lux +++ b/stdlib/source/documentation/lux/time/year.lux @@ -36,7 +36,7 @@ (format "Based on ISO 8601." \n "For example: 2017")) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/tool.lux b/stdlib/source/documentation/lux/tool.lux index c29d10467..347781dc6 100644 --- a/stdlib/source/documentation/lux/tool.lux +++ b/stdlib/source/documentation/lux/tool.lux @@ -17,7 +17,7 @@ ["[1][0]" generation] ["[1][0]" synthesis]]]]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (list.together (list /phase.documentation 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 a227efcaf..40b8c3673 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.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 0b7ea6e61..52533cbb9 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/directive.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.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 1582f45d7..e318c61e7 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/generation.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.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 20ff65682..a831b31d4 100644 --- a/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/synthesis.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/tool/compiler/phase.lux b/stdlib/source/documentation/lux/tool/compiler/phase.lux index fbe76ea4c..a91acdeb0 100644 --- a/stdlib/source/documentation/lux/tool/compiler/phase.lux +++ b/stdlib/source/documentation/lux/tool/compiler/phase.lux @@ -10,7 +10,7 @@ [\\library ["[0]" /]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type.lux b/stdlib/source/documentation/lux/type.lux index 3c913198a..c05db6d1e 100644 --- a/stdlib/source/documentation/lux/type.lux +++ b/stdlib/source/documentation/lux/type.lux @@ -153,7 +153,7 @@ [(let [side (Either Int Frac)] (List [side side]))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Basic functionality for working with types." diff --git a/stdlib/source/documentation/lux/type/check.lux b/stdlib/source/documentation/lux/type/check.lux index c0bef5b1b..e65a1ccd6 100644 --- a/stdlib/source/documentation/lux/type/check.lux +++ b/stdlib/source/documentation/lux/type/check.lux @@ -64,7 +64,7 @@ "Resolves every bound type-variable to yield a new type that is as resolved as possible." [(clean inputT)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "Type-checking functionality." diff --git a/stdlib/source/documentation/lux/type/dynamic.lux b/stdlib/source/documentation/lux/type/dynamic.lux index 613fb0167..511642334 100644 --- a/stdlib/source/documentation/lux/type/dynamic.lux +++ b/stdlib/source/documentation/lux/type/dynamic.lux @@ -26,7 +26,7 @@ [(is (try.Try Nat) (static Nat (dynamic 123)))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/implicit.lux b/stdlib/source/documentation/lux/type/implicit.lux index 95cafb20a..869295b0e 100644 --- a/stdlib/source/documentation/lux/type/implicit.lux +++ b/stdlib/source/documentation/lux/type/implicit.lux @@ -50,7 +50,7 @@ (n.= (at n.multiplication composite left right) (a/an composite left right))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/poly.lux b/stdlib/source/documentation/lux/type/poly.lux index 92183f398..5bcc6ceb2 100644 --- a/stdlib/source/documentation/lux/type/poly.lux +++ b/stdlib/source/documentation/lux/type/poly.lux @@ -21,7 +21,7 @@ "" [(code env type)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/primitive.lux b/stdlib/source/documentation/lux/type/primitive.lux index cbb9ac7bf..d8d651188 100644 --- a/stdlib/source/documentation/lux/type/primitive.lux +++ b/stdlib/source/documentation/lux/type/primitive.lux @@ -41,36 +41,36 @@ [(primitive String Text - (def: (string value) + (def (string value) (-> Text String) (abstraction value)) - (def: (text value) + (def (text value) (-> String Text) (representation value)))] ["Type-parameters are optional." (primitive (Duplicate a) [a a] - (def: (duplicate value) + (def (duplicate value) (All (_ a) (-> a (Duplicate a))) (abstraction [value value])))] ["Definitions can be nested." (primitive (Single a) a - (def: (single value) + (def (single value) (All (_ a) (-> a (Single a))) (abstraction value)) (primitive (Double a) [a a] - (def: (double value) + (def (double value) (All (_ a) (-> a (Double a))) (abstraction [value value])) - (def: (single' value) + (def (single' value) (All (_ a) (-> a (Single a))) (abstraction Single [value value])) @@ -89,12 +89,12 @@ (primitive Expression Any) (primitive Statement Any) - (def: (+ x y) + (def (+ x y) (-> (JavaScript Expression) (JavaScript Expression) (JavaScript Expression)) (abstraction (format "(" (representation x) "+" (representation y) ")"))) - (def: (while test body) + (def (while test body) (-> (JavaScript Expression) (JavaScript Statement) (JavaScript Statement)) (abstraction (format "while(" (representation test) ") {" @@ -109,15 +109,15 @@ (primitive Expression Any) (primitive Statement Any) - (def: (statement expression) + (def (statement expression) (-> (JavaScript Expression) (JavaScript Statement)) (transmutation expression)) - (def: (statement' expression) + (def (statement' expression) (-> (JavaScript Expression) (JavaScript Statement)) (transmutation JavaScript expression)))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/quotient.lux b/stdlib/source/documentation/lux/type/quotient.lux index ffa3075ff..573d9bdfd 100644 --- a/stdlib/source/documentation/lux/type/quotient.lux +++ b/stdlib/source/documentation/lux/type/quotient.lux @@ -27,17 +27,17 @@ (documentation: /.type "The Quotient type associated with a Class type." - [(def: even + [(def even (class even?)) - (def: Even + (def Even Type (type even)) (is Even (quotient even 123))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/refinement.lux b/stdlib/source/documentation/lux/type/refinement.lux index ddeee3c95..b663e9f41 100644 --- a/stdlib/source/documentation/lux/type/refinement.lux +++ b/stdlib/source/documentation/lux/type/refinement.lux @@ -38,17 +38,17 @@ (documentation: /.type "The Refined type associated with a Refiner type." - [(def: even + [(def even (refiner even?)) - (def: Even + (def Even Type (type even)) (is (Maybe Even) (even 123))]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/resource.lux b/stdlib/source/documentation/lux/type/resource.lux index 439fbbbce..1fbd8997e 100644 --- a/stdlib/source/documentation/lux/type/resource.lux +++ b/stdlib/source/documentation/lux/type/resource.lux @@ -91,7 +91,7 @@ [/.un_group] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/unit.lux b/stdlib/source/documentation/lux/type/unit.lux index fd518779f..fafcdf14a 100644 --- a/stdlib/source/documentation/lux/type/unit.lux +++ b/stdlib/source/documentation/lux/type/unit.lux @@ -31,11 +31,11 @@ (documentation: /.unit (format "Define a unit of measurement." \n "Both the name of the type, and the name of the Unit implementation must be specified.") - [(def: feet (unit []))]) + [(def feet (unit []))]) (documentation: /.scale "Define a scale of magnitude." - [(def: bajillion (scale [1 1,234,567,890]))]) + [(def bajillion (scale [1 1,234,567,890]))]) (documentation: /.re_scaled "" @@ -66,7 +66,7 @@ [/.second] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/type/variance.lux b/stdlib/source/documentation/lux/type/variance.lux index 6501ab999..4a504d3dd 100644 --- a/stdlib/source/documentation/lux/type/variance.lux +++ b/stdlib/source/documentation/lux/type/variance.lux @@ -22,7 +22,7 @@ (documentation: (/.In it) "A constraint for invariant types.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world.lux b/stdlib/source/documentation/lux/world.lux index afbd6447b..46a62d977 100644 --- a/stdlib/source/documentation/lux/world.lux +++ b/stdlib/source/documentation/lux/world.lux @@ -21,7 +21,7 @@ ["[1][0]" program] ["[1][0]" shell]]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (all list#composite /console.documentation diff --git a/stdlib/source/documentation/lux/world/console.lux b/stdlib/source/documentation/lux/world/console.lux index d601e2012..909f6b665 100644 --- a/stdlib/source/documentation/lux/world/console.lux +++ b/stdlib/source/documentation/lux/world/console.lux @@ -29,7 +29,7 @@ "" [(mock mock init)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (`` (`` ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/file.lux b/stdlib/source/documentation/lux/world/file.lux index 6dacba4eb..b3c4d4a58 100644 --- a/stdlib/source/documentation/lux/world/file.lux +++ b/stdlib/source/documentation/lux/world/file.lux @@ -52,7 +52,7 @@ "Creates a new file with the given content if-and-only-if the file does not already exist." [(make_file monad fs content path)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (`` (`` ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/file/watch.lux b/stdlib/source/documentation/lux/world/file/watch.lux index c25efe7fc..405f88b90 100644 --- a/stdlib/source/documentation/lux/world/file/watch.lux +++ b/stdlib/source/documentation/lux/world/file/watch.lux @@ -38,7 +38,7 @@ "The default watcher for the default file-system.")) (these)) -(.def: .public documentation +(.def .public documentation (.List $.Module) (`` (`` ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/input/keyboard.lux b/stdlib/source/documentation/lux/world/input/keyboard.lux index a5c4fc1da..3a691b94b 100644 --- a/stdlib/source/documentation/lux/world/input/keyboard.lux +++ b/stdlib/source/documentation/lux/world/input/keyboard.lux @@ -19,7 +19,7 @@ (documentation: /.Press "A key-press for a key.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/net.lux b/stdlib/source/documentation/lux/world/net.lux index b0f152785..5cc8b9773 100644 --- a/stdlib/source/documentation/lux/world/net.lux +++ b/stdlib/source/documentation/lux/world/net.lux @@ -23,7 +23,7 @@ (documentation: /.URL "A Uniform Resource Locator.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/net/http/client.lux b/stdlib/source/documentation/lux/world/net/http/client.lux index 866adba7d..653285514 100644 --- a/stdlib/source/documentation/lux/world/net/http/client.lux +++ b/stdlib/source/documentation/lux/world/net/http/client.lux @@ -32,7 +32,7 @@ [/.trace] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) (`` (`` ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/net/http/status.lux b/stdlib/source/documentation/lux/world/net/http/status.lux index 9a6e18691..a320efe02 100644 --- a/stdlib/source/documentation/lux/world/net/http/status.lux +++ b/stdlib/source/documentation/lux/world/net/http/status.lux @@ -93,7 +93,7 @@ [/.network_authentication_required] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/net/uri.lux b/stdlib/source/documentation/lux/world/net/uri.lux index ccaafada9..955eec57c 100644 --- a/stdlib/source/documentation/lux/world/net/uri.lux +++ b/stdlib/source/documentation/lux/world/net/uri.lux @@ -15,7 +15,7 @@ (documentation: /.separator "A separator for the pieces of a URI.") -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/output/video/resolution.lux b/stdlib/source/documentation/lux/world/output/video/resolution.lux index 66c3a8dff..39dcfdba5 100644 --- a/stdlib/source/documentation/lux/world/output/video/resolution.lux +++ b/stdlib/source/documentation/lux/world/output/video/resolution.lux @@ -43,7 +43,7 @@ [/.uhd_4k] ) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/program.lux b/stdlib/source/documentation/lux/world/program.lux index 0d7ab4d1a..52235985e 100644 --- a/stdlib/source/documentation/lux/world/program.lux +++ b/stdlib/source/documentation/lux/world/program.lux @@ -24,7 +24,7 @@ "" [(mock environment home directory)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) ($.module /._ "" diff --git a/stdlib/source/documentation/lux/world/shell.lux b/stdlib/source/documentation/lux/world/shell.lux index f0e7fbfe2..a38d28158 100644 --- a/stdlib/source/documentation/lux/world/shell.lux +++ b/stdlib/source/documentation/lux/world/shell.lux @@ -36,7 +36,7 @@ "" [(mock mock init)]) -(.def: .public documentation +(.def .public documentation (.List $.Module) (`` (`` ($.module /._ "" |