diff options
author | Eduardo Julian | 2017-12-04 19:10:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-04 19:10:12 -0400 |
commit | 0b946aa762f777682c53c6171b4797f8869204bb (patch) | |
tree | 5a4438c3e5c7c9ee70f20dfa96fe597074e8e8c1 /stdlib/test | |
parent | 880b1a68c0b92a9271ebe028202dd9d71e8e69c6 (diff) |
- Implemented unit types on top of abstract types.
Diffstat (limited to 'stdlib/test')
-rw-r--r-- | stdlib/test/test/lux/data/format/json.lux | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/stdlib/test/test/lux/data/format/json.lux b/stdlib/test/test/lux/data/format/json.lux index 5cbef91b0..e08478993 100644 --- a/stdlib/test/test/lux/data/format/json.lux +++ b/stdlib/test/test/lux/data/format/json.lux @@ -100,10 +100,9 @@ (derived: (poly/eq.Eq<?> Recursive)) -(def: (qty carrier) - (All [unit] (-> unit (r.Random (unit.Qty unit)))) - (|> r.int - (:: r.Monad<Random> map (unit.in carrier)))) +(def: qty + (All [unit] (r.Random (unit.Qty unit))) + (|> r.int (:: r.Monad<Random> map unit.in))) (def: gen-record (r.Random Record) @@ -123,7 +122,7 @@ _instant.instant _duration.duration _date.date - (qty unit.@Gram) + qty ))) (derived: (poly/json.Codec<JSON,?> Record)) |