diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/functor.lux')
| -rw-r--r-- | stdlib/source/library/lux/abstract/functor.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/abstract/functor.lux b/stdlib/source/library/lux/abstract/functor.lux index 50ad52f37..c72ae415b 100644 --- a/stdlib/source/library/lux/abstract/functor.lux +++ b/stdlib/source/library/lux/abstract/functor.lux @@ -15,7 +15,7 @@ (type: .public (Or f g) (All (_ a) (.Or (f a) (g a)))) -(def: .public (sum (^open "f\.") (^open "g\.")) +(def: .public (sum (^open "f\[0]") (^open "g\[0]")) (All (_ F G) (-> (Functor F) (Functor G) (Functor (..Or F G)))) (implementation (def: (each f fa|ga) @@ -29,7 +29,7 @@ (type: .public (And f g) (All (_ a) (.And (f a) (g a)))) -(def: .public (product (^open "f\.") (^open "g\.")) +(def: .public (product (^open "f\[0]") (^open "g\[0]")) (All (_ F G) (-> (Functor F) (Functor G) (Functor (..And F G)))) (implementation (def: (each f [fa ga]) @@ -39,7 +39,7 @@ (type: .public (Then f g) (All (_ a) (f (g a)))) -(def: .public (composite (^open "f\.") (^open "g\.")) +(def: .public (composite (^open "f\[0]") (^open "g\[0]")) (All (_ F G) (-> (Functor F) (Functor G) (Functor (..Then F G)))) (implementation (def: (each f fga) |