diff options
Diffstat (limited to 'stdlib/source/lux/data/store.lux')
| -rw-r--r-- | stdlib/source/lux/data/store.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/data/store.lux b/stdlib/source/lux/data/store.lux index 4cacb8329..69ad7d734 100644 --- a/stdlib/source/lux/data/store.lux +++ b/stdlib/source/lux/data/store.lux @@ -1,7 +1,7 @@ (.module: [lux #* [control - ["F" functor] + [functor (#+ Functor)] comonad] [type implicit]]) @@ -15,14 +15,14 @@ {#cursor (get@ #cursor wa) #peek (function (_ s) (f (set@ #cursor s wa)))}) -(structure: #export Functor<Store> (All [s] (F.Functor (Store s))) +(structure: #export functor (All [s] (Functor (Store s))) (def: (map f fa) (extend (function (_ store) (f (:: store peek (:: store cursor)))) fa))) -(structure: #export CoMonad<Store> (All [s] (CoMonad (Store s))) - (def: functor Functor<Store>) +(structure: #export comonad (All [s] (CoMonad (Store s))) + (def: &functor ..functor) (def: (unwrap wa) (::: peek (::: cursor))) @@ -41,5 +41,5 @@ (|> store (::: split) (peeks change))) (def: #export (experiment Functor<f> change store) - (All [f s a] (-> (F.Functor f) (-> s (f s)) (Store s a) (f a))) + (All [f s a] (-> (Functor f) (-> s (f s)) (Store s a) (f a))) (:: Functor<f> map (::: peek) (change (::: cursor)))) |