diff options
author | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
commit | 94e5802f594a73245fce0fbd885103b8bf210d57 (patch) | |
tree | 65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /stdlib/source/library/lux/control/region.lux | |
parent | b491dfff00219d5206075ea65468e00ab657075d (diff) |
Added some simple time-series handling machinery.
Diffstat (limited to 'stdlib/source/library/lux/control/region.lux')
-rw-r--r-- | stdlib/source/library/lux/control/region.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/control/region.lux b/stdlib/source/library/lux/control/region.lux index 4216a1e78..50801fc4f 100644 --- a/stdlib/source/library/lux/control/region.lux +++ b/stdlib/source/library/lux/control/region.lux @@ -59,13 +59,13 @@ [[cleaners output] (computation [[] (list)])] (|> cleaners (monad.each ! (function (_ cleaner) (cleaner []))) - (at ! each (list#mix clean output))))) + (of ! each (list#mix clean output))))) (def .public (acquire! monad cleaner value) (All (_ ! a) (-> (Monad !) (-> a (! (Try Any))) a (All (_ r) (Region r ! a)))) (function (_ [region cleaners]) - (at monad in [{.#Item (function (_ region) (cleaner value)) + (of monad in [{.#Item (function (_ region) (cleaner value)) cleaners} {try.#Success value}]))) @@ -77,7 +77,7 @@ (def (each f) (function (_ fa) (function (_ region+cleaners) - (at super each + (of super each (function (_ [cleaners' temp]) [cleaners' (when temp {try.#Success value} @@ -122,7 +122,7 @@ (def (in value) (function (_ [region cleaners]) - (at super in [cleaners {try.#Success value}]))) + (of super in [cleaners {try.#Success value}]))) (def (conjoint ffa) (function (_ [region cleaners]) @@ -140,7 +140,7 @@ (-> (Monad !) Text (All (_ r) (Region r ! a)))) (function (_ [region cleaners]) - (at monad in [cleaners {try.#Failure error}]))) + (of monad in [cleaners {try.#Failure error}]))) (def .public (except monad exception message) (All (_ ! e a) @@ -153,6 +153,6 @@ (-> (Monad !) (! a) (All (_ r) (Region r ! a)))) (function (_ [region cleaners]) - (at monad each + (of monad each (|>> {try.#Success} [cleaners]) operation))) |