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