diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/type/implicit.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/documentation/lux/type/implicit.lux b/stdlib/source/documentation/lux/type/implicit.lux index 934557429..fe9cfe21a 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: /.## (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)] + (# number.equivalence = x y) + (## = x y)] ["Can optionally add the prefix of the module where the signature was defined." - (\\ equivalence.= x y)] + (## equivalence.= x y)] ["(List Nat) equivalence" - (\\ = + (## = (list.indices 10) (list.indices 10))] ["(Functor List) each" - (\\ each ++ (list.indices 10))]) + (## 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.= (# n.addition composite left right) + (## 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.= (# n.multiplication composite left right) + (## composite left right))]) (.def: .public documentation (.List $.Module) ($.module /._ "" - [..\\ + [..## ..with ..implicit:] [])) |