diff options
author | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
commit | 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e (patch) | |
tree | fe0af9e70413e9fc4f3848e0642920fca501c626 /stdlib/source/spec/lux/abstract/enum.lux | |
parent | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (diff) |
Re-named "spec" hierarchy to "specification".
Diffstat (limited to 'stdlib/source/spec/lux/abstract/enum.lux')
-rw-r--r-- | stdlib/source/spec/lux/abstract/enum.lux | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux deleted file mode 100644 index ddb2a80f1..000000000 --- a/stdlib/source/spec/lux/abstract/enum.lux +++ /dev/null @@ -1,27 +0,0 @@ -(.module: - [library - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [math - ["." random (#+ Random)]]]] - [\\library - ["." /]]) - -(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)))) - )))) |