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/specification/lux/abstract/enum.lux | |
| parent | c2830c26e55da02ac628be9a220cd824264cdc9e (diff) | |
Added price-action abstraction.
Diffstat (limited to 'stdlib/source/specification/lux/abstract/enum.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/enum.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index 569e67181..0d367f7c0 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -2,15 +2,15 @@ [library [lux (.except) [abstract - [monad (.only do)]] + [monad (.only do)] + ["[0]" order + ["[1]T" \\test]]] [math ["[0]" random (.only Random)]] [test ["_" property (.only Test)]]]] [\\library - ["[0]" /]] - [// - ["[0]S" order]]) + ["[0]" /]]) (def .public (spec (open "/#[0]") random) (All (_ a) (-> (/.Enum a) (Random a) Test)) @@ -19,7 +19,7 @@ (<| (_.for [/.Enum]) (all _.and (_.for [/.order] - (orderS.spec /#order random)) + (orderT.spec /#order random)) (_.coverage [/.succ /.pred] (and (/#= (|> sample /#succ /#pred) sample) |