diff options
Diffstat (limited to 'stdlib/source/lux/control/region.lux')
| -rw-r--r-- | stdlib/source/lux/control/region.lux | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/stdlib/source/lux/control/region.lux b/stdlib/source/lux/control/region.lux index cfd074f6b..e014777dd 100644 --- a/stdlib/source/lux/control/region.lux +++ b/stdlib/source/lux/control/region.lux @@ -6,7 +6,7 @@ ["." monad (#+ Monad do)] ["ex" exception (#+ Exception exception:)]] [data - ["e" error (#+ Error)] + ["." error (#+ Error)] ["." text format] [collection @@ -32,20 +32,20 @@ {output (Error a)}) (format error (case output - (#e.Success _) + (#error.Success _) "" - (#e.Error error|output) + (#error.Failure error|output) (format separator error|output)))) (def: (combine-outcomes clean-up output) (All [a] (-> (Error Any) (Error a) (Error a))) (case clean-up - (#e.Success _) + (#error.Success _) output - (#e.Error error|clean-up) + (#error.Failure error|clean-up) (ex.throw clean-up-error [error|clean-up output]))) (def: #export (run Monad<m> computation) @@ -64,7 +64,7 @@ (function (_ [region cleaners]) (:: Monad<m> wrap [(#.Cons (function (_ region) (cleaner value)) cleaners) - (#e.Success value)]))) + (#error.Success value)]))) (structure: #export (Functor<Region> Functor<m>) (All [m] @@ -77,11 +77,11 @@ (:: Functor<m> map (function (_ [cleaners' temp]) [cleaners' (case temp - (#e.Success value) - (#e.Success (f value)) + (#error.Success value) + (#error.Success (f value)) - (#e.Error error) - (#e.Error error))]) + (#error.Failure error) + (#error.Failure error))]) (fa region+cleaners)))))) (structure: #export (Apply<Region> Monad<m>) @@ -98,12 +98,12 @@ [[cleaners ef] (ff [region cleaners]) [cleaners ea] (fa [region cleaners])] (case [ef ea] - [(#e.Success f) (#e.Success a)] - (wrap [cleaners (#e.Success (f a))]) + [(#error.Success f) (#error.Success a)] + (wrap [cleaners (#error.Success (f a))]) - (^or [(#e.Error error) _] - [_ (#e.Error error)]) - (wrap [cleaners (#e.Error error)])))))) + (^or [(#error.Failure error) _] + [_ (#error.Failure error)]) + (wrap [cleaners (#error.Failure error)])))))) (structure: #export (Monad<Region> Monad<m>) (All [m] @@ -115,25 +115,25 @@ (def: (wrap value) (function (_ [region cleaners]) - (:: Monad<m> wrap [cleaners (#e.Success value)]))) + (:: Monad<m> wrap [cleaners (#error.Success value)]))) (def: (join ffa) (function (_ [region cleaners]) (do Monad<m> [[cleaners efa] (ffa [region cleaners])] (case efa - (#e.Success fa) + (#error.Success fa) (fa [region cleaners]) - (#e.Error error) - (wrap [cleaners (#e.Error error)])))))) + (#error.Failure error) + (wrap [cleaners (#error.Failure error)])))))) (def: #export (fail Monad<m> error) (All [m a] (-> (Monad m) Text (All [r] (Region r m a)))) (function (_ [region cleaners]) - (:: Monad<m> wrap [cleaners (#e.Error error)]))) + (:: Monad<m> wrap [cleaners (#error.Failure error)]))) (def: #export (throw Monad<m> exception message) (All [m e a] @@ -149,4 +149,4 @@ (function (_ [region cleaners]) (do Monad<m> [output operation] - (wrap [cleaners (#e.Success output)])))) + (wrap [cleaners (#error.Success output)])))) |