aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/abstract/functor.lux
diff options
context:
space:
mode:
authorEduardo Julian2020-12-01 09:27:58 -0400
committerEduardo Julian2020-12-01 09:27:58 -0400
commitcfa0a075b89a0df4618e7009f05c157393cbba72 (patch)
tree4bb658a44cfade42e27f9f6bf87d7118c69af6e0 /stdlib/source/lux/abstract/functor.lux
parent7444deb1b80d469280fcb0684d91c13f752a86d6 (diff)
Added specialized root/2 and root/3 functions in lux/math.
Diffstat (limited to 'stdlib/source/lux/abstract/functor.lux')
-rw-r--r--stdlib/source/lux/abstract/functor.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/abstract/functor.lux b/stdlib/source/lux/abstract/functor.lux
index 9ba47aaf8..03c10eaaf 100644
--- a/stdlib/source/lux/abstract/functor.lux
+++ b/stdlib/source/lux/abstract/functor.lux
@@ -12,33 +12,33 @@
(type: #export (Or f g)
(All [a] (| (f a) (g a))))
-(def: #export (sum (^open "f@.") (^open "g@."))
+(def: #export (sum (^open "f\.") (^open "g\."))
(All [F G] (-> (Functor F) (Functor G) (Functor (..Or F G))))
(structure
(def: (map f fa|ga)
(case fa|ga
(#.Left fa)
- (#.Left (f@map f fa))
+ (#.Left (f\map f fa))
(#.Right ga)
- (#.Right (g@map f ga))))))
+ (#.Right (g\map f ga))))))
(type: #export (And f g)
(All [a] (& (f a) (g a))))
-(def: #export (product (^open "f@.") (^open "g@."))
+(def: #export (product (^open "f\.") (^open "g\."))
(All [F G] (-> (Functor F) (Functor G) (Functor (..And F G))))
(structure
(def: (map f [fa ga])
- [(f@map f fa)
- (g@map f ga)])))
+ [(f\map f fa)
+ (g\map f ga)])))
(type: #export (Then f g)
(All [a] (f (g a))))
-(def: #export (compose (^open "f@.") (^open "g@."))
+(def: #export (compose (^open "f\.") (^open "g\."))
{#.doc "Functor composition."}
(All [F G] (-> (Functor F) (Functor G) (Functor (..Then F G))))
(structure
(def: (map f fga)
- (f@map (g@map f) fga))))
+ (f\map (g\map f) fga))))