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