diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/enum.lux | 32 | ||||
| -rw-r--r-- | stdlib/source/specification/lux/abstract/mix.lux | 25 |
2 files changed, 0 insertions, 57 deletions
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux deleted file mode 100644 index 0d367f7c0..000000000 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ /dev/null @@ -1,32 +0,0 @@ -(.require - [library - [lux (.except) - [abstract - [monad (.only do)] - ["[0]" order - ["[1]T" \\test]]] - [math - ["[0]" random (.only Random)]] - [test - ["_" property (.only Test)]]]] - [\\library - ["[0]" /]]) - -(def .public (spec (open "/#[0]") random) - (All (_ a) (-> (/.Enum a) (Random a) Test)) - (do random.monad - [sample random] - (<| (_.for [/.Enum]) - (all _.and - (_.for [/.order] - (orderT.spec /#order random)) - (_.coverage [/.succ /.pred] - (and (/#= (|> sample /#succ /#pred) - sample) - (/#= (|> sample /#pred /#succ) - sample) - (not (/#= (/#succ sample) - sample)) - (not (/#= (/#pred sample) - sample)))) - )))) diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux deleted file mode 100644 index 614b7439f..000000000 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ /dev/null @@ -1,25 +0,0 @@ -(.require - [library - [lux (.except) - [abstract - [monad (.only do)] - [functor - [\\test (.only Injection Comparison)]]] - [math - ["[0]" random] - [number - ["n" nat]]] - [test - ["_" property (.only Test)]]]] - [\\library - ["[0]" /]]) - -(def .public (spec injection comparison (open "/#[0]")) - (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test)) - (do random.monad - [subject random.nat - parameter random.nat] - (<| (_.for [/.Mix]) - (_.coverage [/.mix] - (n.= (/#mix n.+ parameter (injection subject)) - (n.+ parameter subject)))))) |