diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/meta/type/unit/scale.lux | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/test/lux/meta/type/unit/scale.lux b/stdlib/source/test/lux/meta/type/unit/scale.lux index 64e6cd1ef..836bc5b99 100644 --- a/stdlib/source/test/lux/meta/type/unit/scale.lux +++ b/stdlib/source/test/lux/meta/type/unit/scale.lux @@ -22,7 +22,7 @@ (def natural (syntax (_ []) - (at meta.monad each + (of meta.monad each (|>> code.nat list) meta.seed))) @@ -43,25 +43,25 @@ (_.for [/.Scale]) (do [! random.monad] [small (|> random.int - (at ! each (i.% +1,000)) - (at ! each (at //.meter in))) + (of ! each (i.% +1,000)) + (of ! each (of //.meter in))) large (|> random.int - (at ! each (i.% +1,000)) - (at ! each (i.* +1,000,000,000)) - (at ! each (at //.meter in))) + (of ! each (i.% +1,000)) + (of ! each (i.* +1,000,000,000)) + (of ! each (of //.meter in))) .let [(open "meter#[0]") (is (Equivalence (//.Measure Any //.Meter)) //.equivalence)] unscaled (|> random.int - (at ! each (|>> (i.% +1,000) + (of ! each (|>> (i.% +1,000) (i.* (.int how::to)) - (at //.meter in))))] + (of //.meter in))))] (`` (all _.and (,, (with_template [<type> <scale>] [(_.coverage [<type> <scale>] (|> small - (at <scale> up) + (of <scale> up) (is (//.Measure <type> //.Meter)) - (at <scale> down) + (of <scale> down) (is (//.Measure Any //.Meter)) (meter#= small)))] @@ -72,9 +72,9 @@ (,, (with_template [<type> <scale>] [(_.coverage [<type> <scale>] (|> large - (at <scale> up) + (of <scale> up) (is (//.Measure <type> //.Meter)) - (at <scale> down) + (of <scale> down) (is (//.Measure Any //.Meter)) (meter#= large)))] @@ -84,18 +84,18 @@ )) (_.coverage [/.re_scaled] (|> large (is (//.Measure Any //.Meter)) - (at /.kilo up) (is (//.Measure /.Kilo //.Meter)) + (of /.kilo up) (is (//.Measure /.Kilo //.Meter)) (/.re_scaled /.kilo /.milli) (is (//.Measure /.Milli //.Meter)) (/.re_scaled /.milli /.kilo) (is (//.Measure /.Kilo //.Meter)) - (at /.kilo down) (is (//.Measure Any //.Meter)) + (of /.kilo down) (is (//.Measure Any //.Meter)) (meter#= large))) (_.coverage [/.scale /.type] (and (|> unscaled - (at ..how up) + (of ..how up) (is (//.Measure How //.Meter)) - (at ..how down) + (of ..how down) (meter#= unscaled)) (ratio#= [ratio.#denominator ..how::from ratio.#numerator ..how::to] - (at ..how ratio)))) + (of ..how ratio)))) ))))) |