diff options
Diffstat (limited to 'stdlib/source/library/lux/data/store.lux')
-rw-r--r-- | stdlib/source/library/lux/data/store.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/store.lux b/stdlib/source/library/lux/data/store.lux index 005c9d69c..627a52440 100644 --- a/stdlib/source/library/lux/data/store.lux +++ b/stdlib/source/library/lux/data/store.lux @@ -22,7 +22,7 @@ (def: (each f fa) (extend (function (_ store) - (f (\ store peek (\ store cursor)))) + (f (# store peek (# store cursor)))) fa))) (implementation: .public comonad @@ -32,23 +32,23 @@ ..functor) (def: (out wa) - (\\ peek (\\ cursor))) + (## peek (## cursor))) (def: disjoint (extend id))) (def: .public (peeks trans store) (All (_ s a) (-> (-> s s) (Store s a) a)) - (|> (\\ cursor) trans (\\ peek))) + (|> (## cursor) trans (## peek))) (def: .public (seek cursor store) (All (_ s a) (-> s (Store s a) (Store s a))) - (\ (\\ disjoint store) peek cursor)) + (# (## disjoint store) peek cursor)) (def: .public (seeks change store) (All (_ s a) (-> (-> s s) (Store s a) (Store s a))) - (|> store (\\ disjoint) (peeks change))) + (|> store (## disjoint) (peeks change))) (def: .public (experiment Functor<f> change store) (All (_ f s a) (-> (Functor f) (-> s (f s)) (Store s a) (f a))) - (\ Functor<f> each (\\ peek) (change (\\ cursor)))) + (# Functor<f> each (## peek) (change (## cursor)))) |