aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/control/region.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-04-08 05:42:36 -0400
committerEduardo Julian2022-04-08 05:42:36 -0400
commit0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (patch)
treec50f12c5e47e3db90c3a701b54ee9953da942210 /stdlib/source/test/lux/control/region.lux
parente5e4c2aff562e5c01fefb808d1d68a40f29c9cc5 (diff)
De-sigil-ification: $
Diffstat (limited to 'stdlib/source/test/lux/control/region.lux')
-rw-r--r--stdlib/source/test/lux/control/region.lux208
1 files changed, 104 insertions, 104 deletions
diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux
index 3cd12740a..eb5ccd30a 100644
--- a/stdlib/source/test/lux/control/region.lux
+++ b/stdlib/source/test/lux/control/region.lux
@@ -82,107 +82,107 @@
(_.for [/.Region])
(do [! random.monad]
[expected_clean_ups (|> random.nat (# ! each (|>> (n.% 100) (n.max 1))))]
- ($_ _.and
- (_.for [/.functor]
- ($functor.spec ..injection ..comparison (is (All (_ ! r)
- (Functor (Region r (thread.Thread !))))
- (/.functor thread.functor))))
- (_.for [/.apply]
- ($apply.spec ..injection ..comparison (is (All (_ ! r)
- (Apply (Region r (thread.Thread !))))
- (/.apply thread.monad))))
- (_.for [/.monad]
- ($monad.spec ..injection ..comparison (is (All (_ ! r)
- (Monad (Region r (thread.Thread !))))
- (/.monad thread.monad))))
-
- (_.cover [/.run!]
- (thread.result
- (do [! thread.monad]
- [clean_up_counter (thread.box 0)
- .let [//@ !
- count_clean_up (function (_ value)
- (do !
- [_ (thread.update! ++ clean_up_counter)]
- (in {try.#Success []})))]
- outcome (/.run! !
- (do [! (/.monad !)]
- [_ (monad.each ! (/.acquire! //@ count_clean_up)
- (enum.range n.enum 1 expected_clean_ups))]
- (in [])))
- actual_clean_ups (thread.read! clean_up_counter)]
- (in (and (..success? outcome)
- (n.= expected_clean_ups
- actual_clean_ups))))))
- (_.cover [/.failure]
- (thread.result
- (do [! thread.monad]
- [clean_up_counter (thread.box 0)
- .let [//@ !
- count_clean_up (function (_ value)
- (do !
- [_ (thread.update! ++ clean_up_counter)]
- (in {try.#Success []})))]
- outcome (/.run! !
- (do [! (/.monad !)]
- [_ (monad.each ! (/.acquire! //@ count_clean_up)
- (enum.range n.enum 1 expected_clean_ups))
- _ (/.failure //@ (exception.error ..oops []))]
- (in [])))
- actual_clean_ups (thread.read! clean_up_counter)]
- (in (and (..throws? ..oops outcome)
- (n.= expected_clean_ups
- actual_clean_ups))))))
- (_.cover [/.except]
- (thread.result
- (do [! thread.monad]
- [clean_up_counter (thread.box 0)
- .let [//@ !
- count_clean_up (function (_ value)
- (do !
- [_ (thread.update! ++ clean_up_counter)]
- (in {try.#Success []})))]
- outcome (/.run! !
- (do [! (/.monad !)]
- [_ (monad.each ! (/.acquire! //@ count_clean_up)
- (enum.range n.enum 1 expected_clean_ups))
- _ (/.except //@ ..oops [])]
- (in [])))
- actual_clean_ups (thread.read! clean_up_counter)]
- (in (and (..throws? ..oops outcome)
- (n.= expected_clean_ups
- actual_clean_ups))))))
- (_.cover [/.acquire! /.clean_up_error]
- (thread.result
- (do [! thread.monad]
- [clean_up_counter (thread.box 0)
- .let [//@ !
- count_clean_up (function (_ value)
- (do !
- [_ (thread.update! ++ clean_up_counter)]
- (in (is (Try Any)
- (exception.except ..oops [])))))]
- outcome (/.run! !
- (do [! (/.monad !)]
- [_ (monad.each ! (/.acquire! //@ count_clean_up)
- (enum.range n.enum 1 expected_clean_ups))]
- (in [])))
- actual_clean_ups (thread.read! clean_up_counter)]
- (in (and (or (n.= 0 expected_clean_ups)
- (..throws? /.clean_up_error outcome))
- (n.= expected_clean_ups
- actual_clean_ups))))))
- (_.cover [/.lifted]
- (thread.result
- (do [! thread.monad]
- [clean_up_counter (thread.box 0)
- .let [//@ !]
- outcome (/.run! !
- (do (/.monad !)
- [_ (/.lifted //@ (thread.write! expected_clean_ups clean_up_counter))]
- (in [])))
- actual_clean_ups (thread.read! clean_up_counter)]
- (in (and (..success? outcome)
- (n.= expected_clean_ups
- actual_clean_ups))))))
- ))))
+ (all _.and
+ (_.for [/.functor]
+ ($functor.spec ..injection ..comparison (is (All (_ ! r)
+ (Functor (Region r (thread.Thread !))))
+ (/.functor thread.functor))))
+ (_.for [/.apply]
+ ($apply.spec ..injection ..comparison (is (All (_ ! r)
+ (Apply (Region r (thread.Thread !))))
+ (/.apply thread.monad))))
+ (_.for [/.monad]
+ ($monad.spec ..injection ..comparison (is (All (_ ! r)
+ (Monad (Region r (thread.Thread !))))
+ (/.monad thread.monad))))
+
+ (_.cover [/.run!]
+ (thread.result
+ (do [! thread.monad]
+ [clean_up_counter (thread.box 0)
+ .let [//@ !
+ count_clean_up (function (_ value)
+ (do !
+ [_ (thread.update! ++ clean_up_counter)]
+ (in {try.#Success []})))]
+ outcome (/.run! !
+ (do [! (/.monad !)]
+ [_ (monad.each ! (/.acquire! //@ count_clean_up)
+ (enum.range n.enum 1 expected_clean_ups))]
+ (in [])))
+ actual_clean_ups (thread.read! clean_up_counter)]
+ (in (and (..success? outcome)
+ (n.= expected_clean_ups
+ actual_clean_ups))))))
+ (_.cover [/.failure]
+ (thread.result
+ (do [! thread.monad]
+ [clean_up_counter (thread.box 0)
+ .let [//@ !
+ count_clean_up (function (_ value)
+ (do !
+ [_ (thread.update! ++ clean_up_counter)]
+ (in {try.#Success []})))]
+ outcome (/.run! !
+ (do [! (/.monad !)]
+ [_ (monad.each ! (/.acquire! //@ count_clean_up)
+ (enum.range n.enum 1 expected_clean_ups))
+ _ (/.failure //@ (exception.error ..oops []))]
+ (in [])))
+ actual_clean_ups (thread.read! clean_up_counter)]
+ (in (and (..throws? ..oops outcome)
+ (n.= expected_clean_ups
+ actual_clean_ups))))))
+ (_.cover [/.except]
+ (thread.result
+ (do [! thread.monad]
+ [clean_up_counter (thread.box 0)
+ .let [//@ !
+ count_clean_up (function (_ value)
+ (do !
+ [_ (thread.update! ++ clean_up_counter)]
+ (in {try.#Success []})))]
+ outcome (/.run! !
+ (do [! (/.monad !)]
+ [_ (monad.each ! (/.acquire! //@ count_clean_up)
+ (enum.range n.enum 1 expected_clean_ups))
+ _ (/.except //@ ..oops [])]
+ (in [])))
+ actual_clean_ups (thread.read! clean_up_counter)]
+ (in (and (..throws? ..oops outcome)
+ (n.= expected_clean_ups
+ actual_clean_ups))))))
+ (_.cover [/.acquire! /.clean_up_error]
+ (thread.result
+ (do [! thread.monad]
+ [clean_up_counter (thread.box 0)
+ .let [//@ !
+ count_clean_up (function (_ value)
+ (do !
+ [_ (thread.update! ++ clean_up_counter)]
+ (in (is (Try Any)
+ (exception.except ..oops [])))))]
+ outcome (/.run! !
+ (do [! (/.monad !)]
+ [_ (monad.each ! (/.acquire! //@ count_clean_up)
+ (enum.range n.enum 1 expected_clean_ups))]
+ (in [])))
+ actual_clean_ups (thread.read! clean_up_counter)]
+ (in (and (or (n.= 0 expected_clean_ups)
+ (..throws? /.clean_up_error outcome))
+ (n.= expected_clean_ups
+ actual_clean_ups))))))
+ (_.cover [/.lifted]
+ (thread.result
+ (do [! thread.monad]
+ [clean_up_counter (thread.box 0)
+ .let [//@ !]
+ outcome (/.run! !
+ (do (/.monad !)
+ [_ (/.lifted //@ (thread.write! expected_clean_ups clean_up_counter))]
+ (in [])))
+ actual_clean_ups (thread.read! clean_up_counter)]
+ (in (and (..success? outcome)
+ (n.= expected_clean_ups
+ actual_clean_ups))))))
+ ))))