16 Commits

Author	SHA1	Message	Date
Rob Rix	a43400b920	Add field names to ArbitraryTerm.	2016-07-12 17:45:50 -04:00
Rob Rix	2d821fec97	Construct ArbitraryTerm using the extracted syntaxOfSize function.	2016-06-30 14:13:39 -04:00
Rob Rix	84b550262e	Shrink ArbitraryTerm generically.	2016-06-30 14:13:29 -04:00
Rob Rix	72a909ac52	ArbitraryTerm does not wrap CofreeF.	2016-06-30 14:01:54 -04:00
Rob Rix	d9e4602c67	Spacing.	2016-06-30 13:45:44 -04:00
Rob Rix	441d617ae3	Move the Base and Unfoldable instances for ArbitraryTerm into Term.Arbitrary.	2016-06-06 12:30:16 -04:00
Rob Rix	632b222f48	Add a function to compute the size of an ArbitraryTerm.	2016-06-06 12:15:16 -04:00
Rob Rix	1e049c7dcb	Generate arbitrarily-sized terms.	2016-06-01 12:17:42 -04:00
Rob Rix	5b5add0c2d	Only generate leaves when the size is <= 1.	2016-06-01 12:07:16 -04:00
Rob Rix	13277ddc51	Terminate on n < 0.	2016-06-01 11:48:16 -04:00
Rob Rix	5c33cd1038	Add a section header above the Arbitrary instance.	2016-06-01 09:23:01 -04:00
Rob Rix	3b04523bb9	Extract termOfSize to the top level.	2016-06-01 09:22:48 -04:00
Rob Rix	29c3f203ce	Define a linear Arbitrary instance for ArbitraryTerm.	2016-06-01 09:14:59 -04:00
Rob Rix	d9a13717b6	Define toTerm in Term.Arbitrary.	2016-06-01 09:14:29 -04:00
Rob Rix	6206f8ae93	Define ArbitraryTerm in Term.Arbitrary.	2016-06-01 09:14:06 -04:00
Rob Rix	3ada142796	Stub in a module for arbitrary Terms.	2016-06-01 09:03:15 -04:00