Rob Rix
|
93937a1bf9
|
Fix the tests.
|
2017-02-08 11:15:37 -05:00 |
|
Rob Rix
|
1ee9a60039
|
🔥 Arbitrary instances.
|
2017-01-09 14:59:04 -05:00 |
|
Rob Rix
|
26d0a634ed
|
Migrate the Diff property tests to leancheck.
|
2017-01-07 23:17:05 -05:00 |
|
joshvera
|
dfe8648a11
|
Fix tests
|
2016-10-12 19:19:36 -04:00 |
|
Rob Rix
|
00689650dd
|
Use the defaultFeatureVectorDecorator in the tests.
|
2016-08-18 14:03:36 -04:00 |
|
Rob Rix
|
8aa0f082a6
|
Bump _q_ in all of the specs.
Figure it’s best if they use the same value for the parameter.
|
2016-08-18 11:23:21 -04:00 |
|
Rob Rix
|
04a4614dfc
|
The diff specs don’t need to generate arbitrary vectors.
|
2016-08-10 09:21:58 -04:00 |
|
Rob Rix
|
a06dd1dc1e
|
Move the Arbitrary instance over Vector into its own module.
|
2016-08-05 10:14:53 -04:00 |
|
Rob Rix
|
3e85be8740
|
Generate arbitrary non-empty vectors.
|
2016-08-05 09:26:21 -04:00 |
|
Rob Rix
|
9fc9827b34
|
rws requires a feature vector.
|
2016-08-04 21:01:54 -04:00 |
|
Rob Rix
|
87e1ce7020
|
Revert "Show the Term itself."
This reverts commit aea84cbec83972add52909b0813ad9362808553f.
|
2016-07-12 17:29:47 -04:00 |
|
Rob Rix
|
4818d723b3
|
Show the Term itself.
|
2016-07-12 17:20:44 -04:00 |
|
Rob Rix
|
3ff027e12c
|
Place hlint about wrap.
|
2016-07-12 17:19:44 -04:00 |
|
Rob Rix
|
28abcd1b38
|
Move Record’s Arbitrary instance into Data.Record.
|
2016-06-30 12:49:50 -04:00 |
|
Rob Rix
|
aa5d6e4deb
|
Test that afterTerm recovers the second term.
|
2016-06-27 13:24:50 -04:00 |
|
Rob Rix
|
8035c1844c
|
Test that beforeTerm recovers the first term.
|
2016-06-27 13:23:43 -04:00 |
|
Rob Rix
|
c70c936d60
|
Use shouldBe instead of == .
|
2016-06-27 13:21:32 -04:00 |
|
Rob Rix
|
1dd10050f6
|
Move some tests around.
|
2016-06-27 13:18:20 -04:00 |
|
Rob Rix
|
10b5bdaab4
|
Use Text, not String.
|
2016-06-27 13:16:48 -04:00 |
|
Rob Rix
|
85f39fd5a8
|
Move some tests out of TermSpec into Diff.Spec.
|
2016-06-27 13:15:03 -04:00 |
|
Rob Rix
|
b4107426de
|
Stub in a spec for Diff.
|
2016-06-27 13:12:06 -04:00 |
|