diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/order.lux | 26 |
1 files changed, 4 insertions, 22 deletions
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index dff849034..d0bbab29b 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -6,7 +6,7 @@ {[0 #spec] [/ [functor - ["." contravariant]]]}] + ["$." contravariant]]]}] [data ["." bit ("#@." equivalence)] [number @@ -14,7 +14,7 @@ [math ["." random (#+ Random)]]] {1 - ["." / (#+ Order) + ["." / [// [equivalence (#+ Equivalence)]]]}) @@ -24,7 +24,7 @@ (do random.monad [left random.nat right (|> random.nat (random.filter (|>> (n.= left) not))) - #let [equivalence (: (Equivalence (Order Nat)) + #let [equivalence (: (Equivalence (/.Order Nat)) (structure (def: (= leftO rightO) (and (bit@= (:: leftO < left left) @@ -35,7 +35,7 @@ (:: rightO < left right))))))]]) ($_ _.and (_.with-cover [/.functor] - (contravariant.spec equivalence n.order /.functor)) + ($contravariant.spec equivalence n.order /.functor)) (_.cover [/.Choice /.min /.max] (n.< (/.max n.order left right) (/.min n.order left right))) @@ -53,21 +53,3 @@ (bit@= (/.> n.order left right) (/.>= n.order left right)))) ))) - -(def: #export (spec (^open "/@.") generator) - (All [a] (-> (Order a) (Random a) Test)) - (<| (_.with-cover [/.Order]) - (do random.monad - [parameter generator - subject generator]) - ($_ _.and - (_.test "Values are either ordered, or they are equal. All options are mutually exclusive." - (cond (/@< parameter subject) - (not (or (/@< subject parameter) - (/@= parameter subject))) - - (/@< subject parameter) - (not (/@= parameter subject)) - - ## else - (/@= parameter subject)))))) |