diff options
Diffstat (limited to 'stdlib/source/test/aedifex/profile.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 25eccfa43..591ad4d5d 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -80,18 +80,18 @@ (def (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (at ! each (n.% 5) random.nat)] + [size (of ! each (n.% 5) random.nat)] (random.list size random))) (def (set_of hash random) (All (_ a) (-> (Hash a) (Random a) (Random (Set a)))) - (at random.functor each + (of random.functor each (set.of_list hash) (..list_of random))) (def (dictionary_of key_hash key_random value_random) (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v)))) - (at random.functor each + (of random.functor each (dictionary.of_list key_hash) (..list_of (random.and key_random value_random)))) @@ -167,11 +167,11 @@ (_.coverage [/.default] (text#= "" /.default)) (_.coverage [/.default_lux] - (|> (at /.monoid identity) + (|> (of /.monoid identity) (the /.#lux) (same? /.default_lux))) (_.coverage [/.default_target] - (|> (at /.monoid identity) + (|> (of /.monoid identity) (the /.#target) (same? /.default_target))) ))))) |