diff options
Diffstat (limited to 'stdlib/source/spec/lux/abstract/order.lux')
-rw-r--r-- | stdlib/source/spec/lux/abstract/order.lux | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/spec/lux/abstract/order.lux b/stdlib/source/spec/lux/abstract/order.lux index 35aef0c9d..7fa8c618c 100644 --- a/stdlib/source/spec/lux/abstract/order.lux +++ b/stdlib/source/spec/lux/abstract/order.lux @@ -8,7 +8,7 @@ {1 ["." /]}) -(def: #export (spec (^open "/@.") generator) +(def: #export (spec (^open "@//.") generator) (All [a] (-> (/.Order a) (Random a) Test)) (<| (_.with-cover [/.Order]) ($_ _.and @@ -16,41 +16,41 @@ [parameter generator subject generator] (_.test "Values are either ordered, or they are equal. All options are mutually exclusive." - (cond (/@< parameter subject) - (not (or (/@< subject parameter) - (/@= parameter subject))) + (cond (@//< parameter subject) + (not (or (@//< subject parameter) + (@//= parameter subject))) - (/@< subject parameter) - (not (/@= parameter subject)) + (@//< subject parameter) + (not (@//= parameter subject)) ## else - (/@= parameter subject)))) + (@//= parameter subject)))) (do random.monad [parameter generator - subject (random.filter (|>> (/@= parameter) not) + subject (random.filter (|>> (@//= parameter) not) generator) extra (random.filter (function (_ value) - (not (or (/@= parameter value) - (/@= subject value)))) + (not (or (@//= parameter value) + (@//= subject value)))) generator)] (_.test "Transitive property." - (if (/@< parameter subject) - (let [greater? (and (/@< subject extra) - (/@< parameter extra)) - lesser? (and (/@< extra parameter) - (/@< extra subject)) - in-between? (and (/@< parameter extra) - (/@< extra subject))] + (if (@//< parameter subject) + (let [greater? (and (@//< subject extra) + (@//< parameter extra)) + lesser? (and (@//< extra parameter) + (@//< extra subject)) + in-between? (and (@//< parameter extra) + (@//< extra subject))] (or greater? lesser? in-between?)) - ## (/@< subject parameter) - (let [greater? (and (/@< extra subject) - (/@< extra parameter)) - lesser? (and (/@< parameter extra) - (/@< subject extra)) - in-between? (and (/@< subject extra) - (/@< extra parameter))] + ## (@//< subject parameter) + (let [greater? (and (@//< extra subject) + (@//< extra parameter)) + lesser? (and (@//< parameter extra) + (@//< subject extra)) + in-between? (and (@//< subject extra) + (@//< extra parameter))] (or greater? lesser? in-between?))))) |