diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 65920eca9..e4f567e49 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -38,7 +38,7 @@ (def: short (Random Text) (do {! random.monad} - [size (|> random.nat (\ ! map (n.% 10)))] + [size (|> random.nat (\ ! each (n.% 10)))] (random.unicode size))) (def: name @@ -52,24 +52,24 @@ (let [pairG (random.and recur recur) un_parameterized (: (Random Type) ($_ random.either - (random\map (|>> #.Primitive) (random.and ..short (random.list 0 recur))) - (random\map (|>> #.Primitive) (random.and ..short (random.list 1 recur))) - (random\map (|>> #.Primitive) (random.and ..short (random.list 2 recur))) - (random\map (|>> #.Sum) pairG) - (random\map (|>> #.Product) pairG) - (random\map (|>> #.Function) pairG) + (random\each (|>> #.Primitive) (random.and ..short (random.list 0 recur))) + (random\each (|>> #.Primitive) (random.and ..short (random.list 1 recur))) + (random\each (|>> #.Primitive) (random.and ..short (random.list 2 recur))) + (random\each (|>> #.Sum) pairG) + (random\each (|>> #.Product) pairG) + (random\each (|>> #.Function) pairG) ))] (case parameters 0 un_parameterized _ (|> random.nat - (random\map (|>> (n.% parameters) #.Parameter)) + (random\each (|>> (n.% parameters) #.Parameter)) (random.either un_parameterized))))))) (def: .public (random parameters) (-> Nat (Random Type)) ($_ random.either - (random\map (/.univ_q parameters) (random' parameters)) - (random\map (/.ex_q parameters) (random' parameters)) + (random\each (/.univ_q parameters) (random' parameters)) + (random\each (/.ex_q parameters) (random' parameters)) )) (def: .public test @@ -93,7 +93,7 @@ (_.cover [/.anonymous] (\ /.equivalence = anonymousT (/.anonymous aliasedT))))) (do {! random.monad} - [size (|> random.nat (\ ! map (n.% 3))) + [size (|> random.nat (\ ! each (n.% 3))) members (|> (..random 0) (random.only (function (_ type) (case type @@ -127,7 +127,7 @@ (|> (/.applied (list Bit) Text) (case> #.None #1 _ #0)))) (do {! random.monad} - [size (|> random.nat (\ ! map (n.% 3))) + [size (|> random.nat (\ ! each (n.% 3))) members (monad.all ! (list.repeated size (..random 0))) extra (|> (..random 0) (random.only (function (_ type) @@ -149,7 +149,7 @@ (n.= (list.size members) (list.size tparams)))) )) (do {! random.monad} - [size (|> random.nat (\ ! map (|>> (n.% 3) ++))) + [size (|> random.nat (\ ! each (|>> (n.% 3) ++))) body_type (|> (..random 0) (random.only (function (_ type) (case type @@ -175,7 +175,7 @@ (|> body_type (/.ex_q size) /.quantified?))) ))) (do {! random.monad} - [depth (|> random.nat (\ ! map (|>> (n.% 3) ++))) + [depth (|> random.nat (\ ! each (|>> (n.% 3) ++))) element_type (|> (..random 0) (random.only (function (_ type) (case type |