diff options
author | Eduardo Julian | 2022-12-19 20:56:06 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-12-19 20:56:06 -0400 |
commit | 240a4465157bb903dd2a3ee4cdc28aadf09f8dcb (patch) | |
tree | 018925b984a788afdd343262010041492978394c /stdlib/source/test/aedifex/profile.lux | |
parent | c2830c26e55da02ac628be9a220cd824264cdc9e (diff) |
Added price-action abstraction.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 591ad4d5d..387a9c2aa 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -5,8 +5,9 @@ [monad (.only do)] [hash (.only Hash)] [\\specification - ["$[0]" equivalence] - ["$[0]" monoid]]] + ["$[0]" equivalence]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["[0]" try]] [data @@ -162,7 +163,7 @@ (_.for [/.equivalence] ($equivalence.spec /.equivalence ..random)) (_.for [/.monoid] - ($monoid.spec /.equivalence /.monoid ..random)) + (monoidT.spec /.equivalence /.monoid ..random)) (_.coverage [/.default] (text#= "" /.default)) |