diff options
Diffstat (limited to 'stdlib/source/test/lux/math/number/frac.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/frac.lux | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index 0e4f99ed6..fbfeb7021 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -6,10 +6,13 @@ [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" order] - ["$[0]" monoid] - ["$[0]" codec]]] + ["$[0]" hash]] + ["[0]" codec + ["[1]T" \\test]] + ["[0]" order + ["[1]T" \\test]] + ["[0]" monoid + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math @@ -105,10 +108,10 @@ (_.for [/.hash] ($hash.spec /.hash random.frac)) (_.for [/.order /.<] - ($order.spec /.order random.safe_frac)) + (orderT.spec /.order random.safe_frac)) (,, (with_template [<composite> <monoid>] [(_.for [<monoid> <composite>] - ($monoid.spec /.equivalence <monoid> ..random))] + (monoidT.spec /.equivalence <monoid> ..random))] [/.+ /.addition] [/.* /.multiplication] @@ -118,7 +121,7 @@ )) (,, (with_template [<codec>] [(_.for [<codec>] - ($codec.spec /.equivalence <codec> random.safe_frac))] + (codecT.spec /.equivalence <codec> random.safe_frac))] [/.binary] [/.octal] [/.decimal] [/.hex] )) |