diff options
Diffstat (limited to 'stdlib/source/test/aedifex/profile.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index d45ac5fa9..5a040973e 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -79,20 +79,20 @@ (def: (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (# ! each (n.% 5) random.nat)] + [size (at ! each (n.% 5) random.nat)] (random.list size random))) (def: (set_of hash random) (All (_ a) (-> (Hash a) (Random a) (Random (Set a)))) - (# random.functor each - (set.of_list hash) - (..list_of random))) + (at 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)))) - (# random.functor each - (dictionary.of_list key_hash) - (..list_of (random.and key_random value_random)))) + (at random.functor each + (dictionary.of_list key_hash) + (..list_of (random.and key_random value_random)))) (def: info (Random /.Info) @@ -162,11 +162,11 @@ (_.coverage [/.default] (text#= "" /.default)) (_.coverage [/.default_lux] - (|> (# /.monoid identity) + (|> (at /.monoid identity) (the /.#lux) (same? /.default_lux))) (_.coverage [/.default_target] - (|> (# /.monoid identity) + (|> (at /.monoid identity) (the /.#target) (same? /.default_target))) ))))) |