Commit Graph

265 Commits

Author SHA1 Message Date
Li-yao Xia
a3a958ec44 README: Update ci badge 2022-05-08 18:33:11 -04:00
Li-yao Xia
6aa25d2afe Bump version to 1.5.0.1 2021-11-22 19:36:42 -05:00
Li-yao Xia
d94ac917a5 CHANGELOG: Update 2021-11-22 19:36:25 -05:00
Li-yao Xia
4a2a3261e6 ci: Add 9.2 2021-11-22 19:35:03 -05:00
Li-yao Xia
85f9cc8993 Make case exhaustive 2021-11-22 18:58:22 -05:00
Richard Eisenberg
04e9d74f2e Fix build with GHC 9.2.1
This adds two logically redundant constraints, but
restrictions in GHC (intended to avoid bottom dictionaries)
mean that GHC is not clever enough to deduce these.
2021-11-22 17:55:17 -05:00
Li-yao Xia
88342bc1f5 CHANGELOG: Credit 2021-07-10 20:36:11 -04:00
Li-yao Xia
58de670f0c Bump version to 1.5.0.0 2021-07-10 20:24:36 -04:00
Li-yao Xia
ca65df0da0 doc: Nit 2021-07-10 20:24:36 -04:00
Li-yao Xia
8cf1658b10 CHANGELOG: Update 2021-07-10 20:24:36 -04:00
Li-yao Xia
601b6810de Resolve star-is-type warning 2021-07-10 20:24:36 -04:00
Li-yao Xia
2fcbc68455 doc: Improve toplevel doc for DerivingVia
Add some "since" annotations
2021-07-10 20:24:36 -04:00
Li-yao Xia
6c0562dee9 Add lower bound on QuickCheck 2021-07-09 17:06:51 -04:00
Li-yao Xia
efa33db1ad ci: Bump stack resolver 2021-07-09 17:06:51 -04:00
Li-yao Xia
d8bf86aee9 Drop GHC 8.0 and 8.2
8.2 doesn't like AndShrinking
2021-07-09 16:47:06 -04:00
Li-yao Xia
6f6b439119 test: Add use of AndShrinking 2021-07-09 16:47:06 -04:00
Li-yao Xia
a3f5e45b75 Add AndShrinking 2021-07-09 16:47:06 -04:00
Gautier DI FOLCO
a8262e5217
Add DerivingVia capabilities (#28) 2021-07-01 18:50:50 -04:00
Li-yao Xia
d148a66b00 Bump version to 1.4.0.0 2021-05-16 10:41:00 -04:00
Li-yao Xia
be282260b1 doc: Add @since annotations 2021-05-16 10:41:00 -04:00
Li-yao Xia
1e08a539ca CHANGELOG: Update 2021-05-16 10:41:00 -04:00
Li-yao Xia
a0b54ddb4c Add tests for new coherence option 2021-05-16 00:07:27 -04:00
Li-yao Xia
239a24b589 Drop support for GHC 7 2021-05-16 00:07:27 -04:00
Li-yao Xia
f84ded2041 Add option to use coherent instances 2021-05-16 00:07:27 -04:00
Li-yao Xia
1f3d66002b ci: Update actions/cache 2021-05-16 00:07:27 -04:00
Li-yao Xia
cb02d1f78d tutorial: Word smith 2021-01-31 19:32:42 -05:00
Li-yao Xia
9120d8731b ci: Use haskell/actions instead of actions/setup-haskell 2021-01-31 18:34:50 -05:00
Li-yao Xia
03af36d496 ci: Switch to Github Actions 2021-01-25 20:50:05 -05:00
Li-yao Xia
03856f8af7 Add random constraints to make inspection test pass 2021-01-25 20:50:05 -05:00
Li-yao Xia
249d19aed3 test: Move Test.Tree back into Unit 2020-07-27 13:59:30 -04:00
Li-yao Xia
700b753260 Hide inspection tests behind a flag 2020-07-27 13:55:38 -04:00
Li-yao Xia
67bad80312 Clean up output of inspection test 2020-07-27 13:54:29 -04:00
Li-yao Xia
c2e9708f1c doc: Improve doc about Sizing option 2020-07-26 18:09:10 -04:00
Li-yao Xia
adf276fce8 Add SetSized and SetUnsized 2020-07-26 17:58:43 -04:00
Li-yao Xia
80d39b42be doc: Improve documentation about custom generators 2020-07-26 17:58:35 -04:00
Lysxia
e334690e52 Bump version to 1.3.0.1 2020-03-23 22:48:32 -04:00
Lysxia
69e5eaf482 CHANGELOG: Update 2020-03-21 19:15:35 -04:00
Lysxia
ce0d46523a doc: word smith tutorial 2020-03-21 19:13:36 -04:00
Lysxia
75aa08f27d doc: Typesetting doesn't work in synopsis 2020-03-20 20:10:17 -04:00
Lysxia
9281b7e27f doc: Add more prominent mentions of Arbitrary 2020-03-20 19:51:25 -04:00
Lysxia
1a091b66a6 Stability is stable 2019-09-16 19:50:28 -04:00
Lysxia
fe12344d8a test: skip inspection tests on 8.0.1 and older 2019-09-16 19:43:04 -04:00
Lysxia
464e27cf00 test: add inspection tests 2019-09-16 19:32:33 -04:00
Lysxia
c17636cc43 cabal: uniform style 2019-09-16 19:32:12 -04:00
Lysxia
835c352e46 doc: typos 2019-09-07 20:11:39 -04:00
Lysxia
3fb7ae1565 README: Add related projects 2019-09-07 18:08:41 -04:00
Lysxia
8efce4b253 doc: typo 2019-09-07 17:58:27 -04:00
Lysxia
96c69842f1 Bump version to 1.3.0.0 2019-09-07 17:05:48 -04:00
Lysxia
27984d856a doc: Reword note about overriding default list generator 2019-09-07 16:44:12 -04:00
Lysxia
e367f86f5c doc: Add note about incoherent instances 2019-09-07 16:44:07 -04:00