From 240a4465157bb903dd2a3ee4cdc28aadf09f8dcb Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 19 Dec 2022 20:56:06 -0400 Subject: Added price-action abstraction. --- stdlib/source/test/aedifex/project.lux | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'stdlib/source/test/aedifex/project.lux') diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index decc5007d..f7040ca66 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] - ["$[0]" monoid]]] + ["$[0]" equivalence]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] @@ -45,7 +46,7 @@ (_.for [/.equivalence] ($equivalence.spec /.equivalence ..random)) (_.for [/.monoid] - ($monoid.spec /.equivalence /.monoid ..random)) + (monoidT.spec /.equivalence /.monoid ..random)) (_.coverage [/.file] (|> /.file -- cgit v1.2.3