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/project.lux | |
parent | b491dfff00219d5206075ea65468e00ab657075d (diff) |
Added some simple time-series handling machinery.
Diffstat (limited to 'stdlib/source/test/aedifex/project.lux')
-rw-r--r-- | stdlib/source/test/aedifex/project.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 29f8b1215..decc5007d 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -64,24 +64,24 @@ (not (text#= dummy_name name)) (not (text#= sub_name name)))) (random.alphabetic 1)) - .let [project (all (at /.monoid composite) + .let [project (all (of /.monoid composite) (/.project super_name super_profile) (/.project dummy_name dummy_profile) (/.project sub_name (has //.#parents (list super_name) sub_profile))) - circular (all (at /.monoid composite) + circular (all (of /.monoid composite) (/.project super_name (has //.#parents (list sub_name) super_profile)) (/.project dummy_name dummy_profile) (/.project sub_name (has //.#parents (list super_name) sub_profile)))]] (all _.and (_.coverage [/.profile] (and (|> (/.profile project super_name) - (try#each (at //.equivalence = super_profile)) + (try#each (of //.equivalence = super_profile)) (try.else false)) (|> (/.profile project dummy_name) - (try#each (at //.equivalence = dummy_profile)) + (try#each (of //.equivalence = dummy_profile)) (try.else false)) (|> (/.profile project sub_name) - (try#each (at //.equivalence = (at //.monoid composite sub_profile super_profile))) + (try#each (of //.equivalence = (of //.monoid composite sub_profile super_profile))) (try.else false)))) (_.coverage [/.unknown_profile] (when (/.profile project fake_name) |