diff options
Diffstat (limited to 'stdlib/source/documentation/lux')
| -rw-r--r-- | stdlib/source/documentation/lux/extension.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/documentation/lux/type/implicit.lux | 26 |
2 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux index 06fa4e43a..d76d278d5 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/extension.lux @@ -39,9 +39,9 @@ "" [(generation: ("my generation" self phase archive [pass_through <synthesis>.any]) (for @.jvm - (# phase.monad each (|>> {jvm.#Embedded} - sequence.sequence) - (phase archive pass_through)) + (at phase.monad each (|>> {jvm.#Embedded} + sequence.sequence) + (phase archive pass_through)) (phase archive pass_through)))]) (documentation: /.directive: diff --git a/stdlib/source/documentation/lux/type/implicit.lux b/stdlib/source/documentation/lux/type/implicit.lux index 8035de629..be1b19999 100644 --- a/stdlib/source/documentation/lux/type/implicit.lux +++ b/stdlib/source/documentation/lux/type/implicit.lux @@ -13,7 +13,7 @@ [\\library ["[0]" /]]) -(documentation: /.## +(documentation: /.a/an (format "Automatic implementation selection (for type-class style polymorphism)." \n "This feature layers type-class style polymorphism on top of Lux's signatures and implementations." \n "When calling a polymorphic function, or using a polymorphic constant," @@ -26,35 +26,35 @@ \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.") ["Nat equivalence" - (# number.equivalence = x y) - (## = x y)] + (at number.equivalence = x y) + (a/an = x y)] ["Can optionally add the prefix of the module where the signature was defined." - (## equivalence.= x y)] + (a/an equivalence.= x y)] ["(List Nat) equivalence" - (## = - (list.indices 10) - (list.indices 10))] + (a/an = + (list.indices 10) + (list.indices 10))] ["(Functor List) each" - (## each ++ (list.indices 10))]) + (a/an each ++ (list.indices 10))]) (documentation: /.with "Establish lexical bindings for implementations that will be prioritized over non-lexically-bound implementations." [(with [n.addition] - (n.= (# n.addition composite left right) - (## composite left right)))]) + (n.= (at n.addition composite left right) + (a/an composite left right)))]) (documentation: /.implicit: "Establish local definitions for implementations that will be prioritized over foreign definitions." [(implicit: [n.multiplication]) - (n.= (# n.multiplication composite left right) - (## composite left right))]) + (n.= (at n.multiplication composite left right) + (a/an composite left right))]) (.def: .public documentation (.List $.Module) ($.module /._ "" - [..## + [..a/an ..with ..implicit:] [])) |