34 Commits

Author	SHA1	Message	Date
Li-yao Xia	239a24b589	Drop support for GHC 7	2021-05-16 00:07:27 -04:00
Li-yao Xia	03af36d496	ci: Switch to Github Actions	2021-01-25 20:50:05 -05:00
Lysxia	aedd4474a1	Allow custom generator lists to not be terminated by ":+ ()"	2019-09-06 17:56:26 -04:00
Lysxia	386f41eb6b	Resolve warnings	2019-09-05 18:32:23 -04:00
Lysxia	de912f0591	Remove dump-simpl option in example package	2018-05-31 10:09:45 -04:00
Lysxia	32c39bc69a	Improve custom field generators, add Gen1, Gen1_	2018-05-29 21:39:05 -04:00
lyxia	1c7d6ef883	Turn tour-example into benchmark	2018-01-05 14:12:38 -05:00
lyxia	1b5b102a79	Fix warnings in examples	2018-01-05 14:12:19 -05:00
lyxia	d202e04550	Add tour-example	2018-01-04 17:06:08 -05:00
lyxia	9fe29979ce	Update example with field-override	2018-01-01 09:54:05 -05:00
lyxia	a282a296f6	Add example usage of explicit generators	2017-12-31 12:26:58 -05:00
lyxia	50ae9f680b	Increase context-stack to compile example with GHC 7.8	2017-08-22 23:03:15 +02:00
lyxia	be5c6eb4a5	Spare user from boilerplate instances	2017-08-22 18:46:41 +02:00
lyxia	cabadf0e03	Compatibility down to GHC 7.8.4	2017-08-21 22:40:14 +02:00
lyxia	bab2c3b499	Update example	2017-08-21 21:23:41 +02:00
lyxia	65d16da0a8	Remove Boltzmann stuff	2017-03-05 15:26:15 -05:00
lyxia	4aa6761548	Update Generic examples	2017-03-05 10:29:07 -05:00
lyxia	952888ff9f	Remove use of TypeApplication	2016-08-22 19:25:40 +02:00
lyxia	ee3ca768f7	Add example with deep BaseCases	2016-08-15 00:16:54 +02:00
lyxia	297f73a77b	Add example for Generic generators	2016-08-15 00:16:54 +02:00
lyxia	8fb1bae8cd	Add example of applicative specification of a combinatorial system	2016-08-13 17:43:24 +02:00
lyxia	521ede2c54	Move to Generic.Random namespace	2016-08-12 18:14:06 +02:00
lyxia	6bbaf6ba8f	Update for GHC 8	2016-06-22 18:16:31 +02:00
lyxia	ba6f6b59b7	Add lambda term example	2016-05-06 11:27:49 +02:00
lyxia	79146fb13c	Clean up xml-example	2016-05-05 21:44:49 +02:00
lyxia	c93e4c71de	Update API	2016-05-04 20:23:31 +02:00
lyxia	6e5d5d5482	Replace PrimRandom with MonadRandomLike typeclass	2016-05-04 16:49:58 +02:00
lyxia	1cbce94868	Add xml example	2016-05-03 20:43:54 +02:00
lyxia	43d5c14691	Update aeson example	2016-05-03 12:50:31 +02:00
lyxia	adb52637ef	Update examples	2016-05-03 12:19:36 +02:00
lyxia	93244e1132	Update documentation ... Restore "Alias"-free functions	2016-04-29 00:06:14 +02:00
lyxia	76fccd8f3f	Update API ... Add examples	2016-04-27 13:50:51 +02:00
lyxia	f09a7b5301	Create benchmark	2016-04-08 20:38:53 +02:00
lyxia	225890081f	Add example	2016-04-08 18:46:22 +02:00