diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/type/unit.lux')
-rw-r--r-- | stdlib/source/test/lux/meta/type/unit.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/meta/type/unit.lux b/stdlib/source/test/lux/meta/type/unit.lux index 734400ade..6c27c1900 100644 --- a/stdlib/source/test/lux/meta/type/unit.lux +++ b/stdlib/source/test/lux/meta/type/unit.lux @@ -29,9 +29,9 @@ [(def (<name> range) (-> Nat (Random (/.Measure Any <type>))) (|> random.int - (at random.monad each (i.% (.int range))) + (of random.monad each (i.% (.int range))) (random.only (|>> (i.= +0) not)) - (at random.monad each (at <unit> in))))] + (of random.monad each (of <unit> in))))] [meter /.Meter /.meter] [second /.Second /.second] @@ -62,12 +62,12 @@ (,, (with_template [<type> <unit>] [(_.coverage [<type> <unit>] (and (|> expected - (at <unit> in) - (at <unit> out) + (of <unit> in) + (of <unit> out) (i.= expected)) (let [it (|> expected - (at <unit> in) - (at <unit> format))] + (of <unit> in) + (of <unit> format))] (and (not (text#= (%.int expected) it)) (text.starts_with? (%.int expected) it)))))] @@ -83,13 +83,13 @@ (i.= expected))) (_.coverage [/.unit /.type] (and (|> expected - (at ..what in) + (of ..what in) (is (/.Measure Any What)) - (at ..what out) + (of ..what out) (i.= expected)) (let [it (|> expected - (at ..what in) - (at ..what format))] + (of ..what in) + (of ..what format))] (and (text.contains? (%.int expected) it) (text.contains? <descriptor> it))))) )))))) @@ -97,7 +97,7 @@ (def arithmetic Test (do random.monad - [.let [zero (at /.meter in +0) + [.let [zero (of /.meter in +0) (open "meter#[0]") (is (Equivalence (/.Measure Any /.Meter)) /.equivalence)] left (random.only (|>> (meter#= zero) not) (..meter 1,000)) @@ -106,14 +106,14 @@ (`` (all _.and (,, (with_template [<q> <i>] [(_.coverage [<q>] - (i.= (<i> (at /.meter out left) (at /.meter out right)) - (at /.meter out (<q> left right))))] + (i.= (<i> (of /.meter out left) (of /.meter out right)) + (of /.meter out (<q> left right))))] [/.+ i.+] [/.- i.-] )) (_.coverage [/.*] - (let [expected (i.* (at /.meter out left) (at /.meter out right)) + (let [expected (i.* (of /.meter out left) (of /.meter out right)) actual (/.number (is (/.Measure Any [/.Meter /.Meter]) (/.* left right)))] (i.= expected actual))) |