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/test/lux/meta/type/unit.lux | |
parent | b491dfff00219d5206075ea65468e00ab657075d (diff) |
Added some simple time-series handling machinery.
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))) |