diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/control/cont.lux | 10 |
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) |