aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/store.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-08-27 20:59:34 -0400
committerEduardo Julian2021-08-27 20:59:34 -0400
commitc5b61d2f46ac19bf511197f3a537c4be0f47df33 (patch)
treecd62d188403e9b3998ba293dc5308719a430f1fe /stdlib/source/library/lux/data/store.lux
parente814f667aed509a70bd386dcd54628929134def4 (diff)
Updates to the Ruby compiler.
Diffstat (limited to 'stdlib/source/library/lux/data/store.lux')
-rw-r--r--stdlib/source/library/lux/data/store.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/data/store.lux b/stdlib/source/library/lux/data/store.lux
index 5fc594957..24f7005fd 100644
--- a/stdlib/source/library/lux/data/store.lux
+++ b/stdlib/source/library/lux/data/store.lux
@@ -13,12 +13,12 @@
#peek (-> s a)}))
(def: (extend f wa)
- (All [s a b] (-> (-> (Store s a) b) (Store s a) (Store s b)))
+ (All (_ s a b) (-> (-> (Store s a) b) (Store s a) (Store s b)))
{#cursor (value@ #cursor wa)
#peek (function (_ s) (f (with@ #cursor s wa)))})
(implementation: .public functor
- (All [s] (Functor (Store s)))
+ (All (_ s) (Functor (Store s)))
(def: (each f fa)
(extend (function (_ store)
@@ -26,7 +26,7 @@
fa)))
(implementation: .public comonad
- (All [s] (CoMonad (Store s)))
+ (All (_ s) (CoMonad (Store s)))
(def: &functor
..functor)
@@ -38,17 +38,17 @@
(extend id)))
(def: .public (peeks trans store)
- (All [s a] (-> (-> s s) (Store s a) a))
+ (All (_ s a) (-> (-> s s) (Store s a) a))
(|> (\\ cursor) trans (\\ peek)))
(def: .public (seek cursor store)
- (All [s a] (-> s (Store s a) (Store s a)))
+ (All (_ s a) (-> s (Store s a) (Store s a)))
(\ (\\ disjoint store) peek cursor))
(def: .public (seeks change store)
- (All [s a] (-> (-> s s) (Store s a) (Store s a)))
+ (All (_ s a) (-> (-> s s) (Store s a) (Store s a)))
(|> 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)))
+ (All (_ f s a) (-> (Functor f) (-> s (f s)) (Store s a) (f a)))
(\ Functor<f> each (\\ peek) (change (\\ cursor))))