diff options
| author | Eduardo Julian | 2020-07-01 22:28:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-07-01 22:28:36 -0400 |
| commit | 7853d890ac72cd96851caedadd8525404705286c (patch) | |
| tree | 7bf7d484b0830a7dec16be914beb5817a89ec072 /stdlib/source/test/lux/abstract/monoid.lux | |
| parent | 23ad698f1ad87f9e9838c1e7df1809991c6a1d18 (diff) | |
Moved all spec(ifications) from under "test/" to under "spec/".
Diffstat (limited to 'stdlib/source/test/lux/abstract/monoid.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monoid.lux | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index e1271ed2f..e987e8fb3 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -3,8 +3,6 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)]] - [control - ["." function]] [data [number ["." nat] @@ -16,26 +14,6 @@ [// [equivalence (#+ Equivalence)]]]}) -(def: #export (spec (^open "/@.") (^open "/@.") gen-sample) - (All [a] (-> (Equivalence a) (/.Monoid a) (Random a) Test)) - (do random.monad - [sample gen-sample - left gen-sample - mid gen-sample - right gen-sample] - (<| (_.with-cover [/.Monoid]) - ($_ _.and - (_.test "Left identity." - (/@= sample - (/@compose /@identity sample))) - (_.test "Right identity." - (/@= sample - (/@compose sample /@identity))) - (_.test "Associativity." - (/@= (/@compose left (/@compose mid right)) - (/@compose (/@compose left mid) right))) - )))) - (def: #export test Test (do random.monad |