diff options
Diffstat (limited to 'stdlib/source/lux/data/store.lux')
| -rw-r--r-- | stdlib/source/lux/data/store.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/data/store.lux b/stdlib/source/lux/data/store.lux index e60c3703c..ef92b68c4 100644 --- a/stdlib/source/lux/data/store.lux +++ b/stdlib/source/lux/data/store.lux @@ -1,6 +1,6 @@ (;module: lux - (lux (control functor + (lux (control ["F" functor] comonad) (type auto))) @@ -13,7 +13,7 @@ {#cursor (get@ #cursor wa) #peek (function [s] (f (set@ #cursor s wa)))}) -(struct: #export Functor<Store> (All [s] (Functor (Store s))) +(struct: #export Functor<Store> (All [s] (F;Functor (Store s))) (def: (map f fa) (extend (function [store] (f (:: store peek (:: store cursor)))) @@ -39,5 +39,5 @@ (|> store (::: split) (peeks change))) (def: #export (experiment Functor<f> change store) - (All [f s a] (-> (Functor f) (-> s (f s)) (Store s a) (f a))) + (All [f s a] (-> (F;Functor f) (-> s (f s)) (Store s a) (f a))) (:: Functor<f> map (::: peek) (change (::: cursor)))) |