diff options
author | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
commit | 94e5802f594a73245fce0fbd885103b8bf210d57 (patch) | |
tree | 65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /stdlib/source/test/aedifex/profile.lux | |
parent | b491dfff00219d5206075ea65468e00ab657075d (diff) |
Added some simple time-series handling machinery.
Diffstat (limited to '')
-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))) ))))) |