aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control/cont.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/control/cont.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/control/cont.lux b/stdlib/source/lux/control/cont.lux
index 81f62eccb..1d5576ca0 100644
--- a/stdlib/source/lux/control/cont.lux
+++ b/stdlib/source/lux/control/cont.lux
@@ -1,7 +1,7 @@
(;module:
lux
- (lux (control ["F" functor]
- ["A" applicative]
+ (lux (control [functor #+ Functor]
+ [applicative #+ Applicative]
monad)
function
[macro #+ with-gensyms]
@@ -22,11 +22,11 @@
(All [a] (-> (Cont a a) a))
(cont id))
-(struct: #export Functor<Cont> (All [o] (F;Functor (All [i] (Cont i o))))
+(struct: #export Functor<Cont> (All [o] (Functor (All [i] (Cont i o))))
(def: (map f fv)
- (function [k] (fv (. k f)))))
+ (function [k] (fv (compose k f)))))
-(struct: #export Applicative<Cont> (All [o] (A;Applicative (All [i] (Cont i o))))
+(struct: #export Applicative<Cont> (All [o] (Applicative (All [i] (Cont i o))))
(def: functor Functor<Cont>)
(def: (wrap value)