diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux.lux | 68 |
1 files changed, 34 insertions, 34 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index cf7137856..c0edb3240 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -212,15 +212,15 @@ (documentation: /._$ "Left-association for the application of binary functions over variadic arguments." - [(_$ text\composite "Hello, " name ". How are you?") + [(_$ text#composite "Hello, " name ". How are you?") "=>" - (text\composite (text\composite "Hello, " name) ". How are you?")]) + (text#composite (text#composite "Hello, " name) ". How are you?")]) (documentation: /.$_ "Right-association for the application of binary functions over variadic arguments." - [($_ text\composite "Hello, " name ". How are you?") + [($_ text#composite "Hello, " name ". How are you?") "=>" - (text\composite "Hello, " (text\composite name ". How are you?"))]) + (text#composite "Hello, " (text#composite name ". How are you?"))]) (documentation: /.if "Picks which expression to evaluate based on a bit test value." @@ -262,25 +262,25 @@ (documentation: /.|> "Piping macro." [(|> elems - (list\each int\encoded) + (list#each int#encoded) (interposed " ") - (mix text\composite "")) + (mix text#composite "")) "=>" - (mix text\composite "" + (mix text#composite "" (interposed " " - (list\each int\encoded + (list#each int#encoded elems)))]) (documentation: /.<| "Reverse piping macro." - [(<| (mix text\composite "") + [(<| (mix text#composite "") (interposed " ") - (list\each int\encoded) + (list#each int#encoded) elems) "=>" - (mix text\composite "" + (mix text#composite "" (interposed " " - (list\each int\encoded + (list#each int#encoded elems)))]) (documentation: /.template @@ -567,30 +567,30 @@ "Opens a implementation and generates a definition for each of its members (including nested members)." [(open: "i:[0]" order) "=>" - (def: i:= (\ order =)) - (def: i:< (\ order <))]) + (def: i:= (# order =)) + (def: i:< (# order <))]) (documentation: /.|>> "Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it." - [(|>> (list\each int\encoded) + [(|>> (list#each int#encoded) (interposed " ") - (mix text\composite "")) + (mix text#composite "")) "=>" (function (_ <it>) - (mix text\composite "" + (mix text#composite "" (interposed " " - (list\each int\encoded <it>))))]) + (list#each int#encoded <it>))))]) (documentation: /.<<| "Similar to the reverse piping macro, but rather than taking an initial object to work on, creates a function for taking it." - [(<<| (mix text\composite "") + [(<<| (mix text#composite "") (interposed " ") - (list\each int\encoded)) + (list#each int#encoded)) "=>" (function (_ <it>) - (mix text\composite "" + (mix text#composite "" (interposed " " - (list\each int\encoded + (list#each int#encoded <it>))))]) (documentation: /.module: @@ -601,17 +601,17 @@ ["M" monad "*"]] [data maybe - ["[0]" name ("[1]\[0]" codec)]] + ["[0]" name ("[1]#[0]" codec)]] [macro code]] [// [type ("[0]" equivalence)]])]) -(documentation: /.\ +(documentation: /.# "Allows accessing the value of a implementation's member." - [(\ codec encoded)] + [(# codec encoded)] ["Also allows using that value as a function." - (\ codec encoded +123)]) + (# codec encoded +123)]) (documentation: /.with@ "Sets the value of a record at a given tag." @@ -641,7 +641,7 @@ (-> (List Type) Type Type) (case type {.#Primitive name params} - {.#Primitive name (list\each (reduced env) params)} + {.#Primitive name (list#each (reduced env) params)} (^template [<tag>] [{<tag> left right} @@ -709,7 +709,7 @@ [<tests> (template [<function> <parameter> <expected>] [(cover [<function>] (compare <text> - (\ codec encoded <function> <parameter>)))] + (# codec encoded <function> <parameter>)))] [bit #1 "#1"] [int +123 "+123"] @@ -751,7 +751,7 @@ \n "Useful in situations where the result of a branch depends on further refinements on the values being matched.") [(case (split (size static) uri) (^multi {#Some [chunk uri']} - [(text\= static chunk) #1]) + [(text#= static chunk) #1]) (match_uri endpoint? parts' uri') _ @@ -760,7 +760,7 @@ "The example above can be rewritten as..." (case (split (size static) uri) (^multi {#Some [chunk uri']} - (text\= static chunk)) + (text#= static chunk)) (match_uri endpoint? parts' uri') _ @@ -778,7 +778,7 @@ ["In the example below, 0 corresponds to the 'a' variable." (def: .public (of_list list) (All (_ a) (-> (List a) (Row a))) - (list\mix add + (list#mix add (: (Row (:parameter 0)) empty) list))]) @@ -796,9 +796,9 @@ (documentation: /.^@ "Allows you to simultaneously bind and de-structure a value." [(def: (hash (^@ set [member_hash _])) - (list\mix (function (_ elem acc) + (list#mix (function (_ elem acc) (+ acc - (\ member_hash hash elem))) + (# member_hash hash elem))) 0 (set.list set)))]) @@ -993,7 +993,7 @@ ..|>> ..<<| ..module: - ..\ + ..# ..with@ ..revised@ ..^template |