From 0b946aa762f777682c53c6171b4797f8869204bb Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 4 Dec 2017 19:10:12 -0400 Subject: - Implemented unit types on top of abstract types. --- stdlib/test/test/lux/data/format/json.lux | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'stdlib/test') 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 map (unit.in carrier)))) +(def: qty + (All [unit] (r.Random (unit.Qty unit))) + (|> r.int (:: r.Monad 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 Record)) -- cgit v1.2.3