diff options
author | Eduardo Julian | 2020-12-10 00:15:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-10 00:15:15 -0400 |
commit | 14287585025b2d8fff1991691def9e643b039ac8 (patch) | |
tree | 4fdbe2aafa907d1dd0f47150c545adf3eabeb124 /stdlib/source/spec/lux/abstract/order.lux | |
parent | 893c76ad530ca0e81cd84602543c3114407f4592 (diff) |
Re-named "with-cover" to "for".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/spec/lux/abstract/order.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/spec/lux/abstract/order.lux b/stdlib/source/spec/lux/abstract/order.lux index 7fa8c618c..6d259a465 100644 --- a/stdlib/source/spec/lux/abstract/order.lux +++ b/stdlib/source/spec/lux/abstract/order.lux @@ -10,7 +10,7 @@ (def: #export (spec (^open "@//.") generator) (All [a] (-> (/.Order a) (Random a) Test)) - (<| (_.with-cover [/.Order]) + (<| (_.for [/.Order]) ($_ _.and (do random.monad [parameter generator |