From 6f1bf11af05bd03183fee7721ac99eca826ca041 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 22 Dec 2022 17:21:26 -0400
Subject: Added some explicit machinery for the Any type.

---
 stdlib/source/specification/lux/abstract/enum.lux | 32 -----------------------
 stdlib/source/specification/lux/abstract/mix.lux  | 25 ------------------
 2 files changed, 57 deletions(-)
 delete mode 100644 stdlib/source/specification/lux/abstract/enum.lux
 delete mode 100644 stdlib/source/specification/lux/abstract/mix.lux

(limited to 'stdlib/source/specification')

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))))))
-- 
cgit v1.2.3