diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/enum.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux index e598179ad..6d28dead8 100644 --- a/stdlib/source/spec/lux/abstract/enum.lux +++ b/stdlib/source/spec/lux/abstract/enum.lux @@ -8,19 +8,19 @@ {1 ["." /]}) -(def: #export (spec (^open "@//.") gen-sample) +(def: #export (spec (^open "\.") gen-sample) (All [a] (-> (/.Enum a) (Random a) Test)) (do random.monad [sample gen-sample] (<| (_.for [/.Enum]) ($_ _.and (_.test "Successor and predecessor are inverse functions." - (and (@//= (|> sample @//succ @//pred) - sample) - (@//= (|> sample @//pred @//succ) - sample) - (not (@//= (@//succ sample) - sample)) - (not (@//= (@//pred sample) - sample)))) + (and (\= (|> sample \succ \pred) + sample) + (\= (|> sample \pred \succ) + sample) + (not (\= (\succ sample) + sample)) + (not (\= (\pred sample) + sample)))) )))) |