diff options
Diffstat (limited to 'stdlib/source/documentation')
| -rw-r--r-- | stdlib/source/documentation/lux.lux | 12 | ||||
| -rw-r--r-- | stdlib/source/documentation/lux/meta/type/implicit.lux | 6 |
2 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index 07e6a2dc2..13b7e6d8a 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -561,8 +561,8 @@ "Opens a implementation and generates a definition for each of its members (including nested members)." ($.example (use "i:[0]" order)) ($.comment "=>") - ($.example (def i:= (at order =))) - ($.example (def i:< (at order <)))) + ($.example (def i:= (of order =))) + ($.example (def i:< (of order <)))) ($.definition /.|>> "Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it." @@ -603,10 +603,10 @@ ($.definition /.at "Allows accessing the value of a implementation's member." - ($.example (at codec encoded)) + ($.example (of codec encoded)) ($.comment "Also allows using that value as a function.") - ($.example (at codec encoded +123))) + ($.example (of codec encoded +123))) ($.definition /.has "Sets the value of a record at a given tag." @@ -706,7 +706,7 @@ [<tests> (with_template [<function> <parameter> <expected>] [(cover [<function>] (compare <text> - (at codec encoded <function> <parameter>)))] + (of codec encoded <function> <parameter>)))] [bit #1 "#1"] [int +123 "+123"] @@ -797,7 +797,7 @@ ... ($.example (def (hash (^let set [member_hash _])) ... (list#mix (function (_ elem acc) ... (+ acc - ... (at member_hash hash elem))) + ... (of member_hash hash elem))) ... 0 ... (set.list set))))) diff --git a/stdlib/source/documentation/lux/meta/type/implicit.lux b/stdlib/source/documentation/lux/meta/type/implicit.lux index 4803008c0..8afc69184 100644 --- a/stdlib/source/documentation/lux/meta/type/implicit.lux +++ b/stdlib/source/documentation/lux/meta/type/implicit.lux @@ -26,7 +26,7 @@ \n \n "Caveat emptor: You need to make sure to import the module of any implementation you want to use." \n "Otherwise, this macro will not find it.") ($.example ($.comment "Nat equivalence")) - ($.example (at number.equivalence = x y)) + ($.example (of number.equivalence = x y)) ($.example (a/an = x y)) ($.comment "Can optionally add the prefix of the module where the signature was defined.") @@ -43,12 +43,12 @@ ($.definition /.with "Establish lexical bindings for implementations that will be prioritized over non-lexically-bound implementations." ($.example (with [n.addition] - (n.= (at n.addition composite left right) + (n.= (of n.addition composite left right) (a/an composite left right))))) ($.definition /.implicitly "Establish local definitions for implementations that will be prioritized over foreign definitions." ($.example (implicitly n.multiplication)) - ($.example (n.= (at n.multiplication composite left right) + ($.example (n.= (of n.multiplication composite left right) (a/an composite left right)))) )) |