diff options
| author | Eduardo Julian | 2017-11-28 20:09:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-28 20:09:42 -0400 |
| commit | 1ef969c8ce0f1a83ffa8d26d779806190ac3eced (patch) | |
| tree | debedcd02aa199bad9acf161525fe51ac74334fa /stdlib/source/lux/control/cont.lux | |
| parent | 54030fb3b9cf985863a4d972573e59c9098c3076 (diff) | |
- Re-named the "." function to "compose" and moved it to lux/function.
Diffstat (limited to 'stdlib/source/lux/control/cont.lux')
| -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) |