aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/region.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/region.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/control/region.lux b/stdlib/source/library/lux/control/region.lux
index 0082844a2..b17393bda 100644
--- a/stdlib/source/library/lux/control/region.lux
+++ b/stdlib/source/library/lux/control/region.lux
@@ -11,7 +11,7 @@
["[0]" text
["%" format {"+" [format]}]]
[collection
- ["[0]" list ("[1]\[0]" mix)]]]]]
+ ["[0]" list ("[1]#[0]" mix)]]]]]
[//
["[0]" exception {"+" [Exception exception:]}]])
@@ -59,13 +59,13 @@
[[cleaners output] (computation [[] (list)])]
(|> cleaners
(monad.each ! (function (_ cleaner) (cleaner [])))
- (\ ! each (list\mix clean output)))))
+ (# ! 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])
- (\ monad in [{.#Item (function (_ region) (cleaner value))
+ (# monad in [{.#Item (function (_ region) (cleaner value))
cleaners}
{try.#Success value}])))
@@ -77,7 +77,7 @@
(def: (each f)
(function (_ fa)
(function (_ region+cleaners)
- (\ super each
+ (# super each
(function (_ [cleaners' temp])
[cleaners' (case temp
{try.#Success value}
@@ -122,7 +122,7 @@
(def: (in value)
(function (_ [region cleaners])
- (\ super in [cleaners {try.#Success value}])))
+ (# 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])
- (\ monad in [cleaners {try.#Failure error}])))
+ (# 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])
- (\ monad each
+ (# monad each
(|>> {try.#Success} [cleaners])
operation)))