diff options
author | Eduardo Julian | 2021-07-12 00:03:36 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-12 00:03:36 -0400 |
commit | 86df87512966e8038d70624ab654262ce14a915c (patch) | |
tree | e96d6709c04e7f3fc77f9d9912b86ef34e9c7ef7 /stdlib/source/test/lux/math/number/ratio.lux | |
parent | abe24425ced15fd784ef6c62d6f186af72b491db (diff) |
Better syntax for parallel-hierarchy imports.
Diffstat (limited to 'stdlib/source/test/lux/math/number/ratio.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/ratio.lux | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index f031810d9..8e8aeb0d0 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -3,21 +3,20 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." order] - ["$." monoid] - ["$." codec]]}] + [\spec + ["$." equivalence] + ["$." order] + ["$." monoid] + ["$." codec]]] [data ["." bit ("#\." equivalence)] ["." maybe ("#\." functor)]] [math ["." random (#+ Random)]]] - {1 + [\\ ["." / [// - ["n" nat ("#\." equivalence)]]]}) + ["n" nat ("#\." equivalence)]]]]) (def: part (Random Nat) |