aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux32
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux25
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))))))