3280 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	3f7e74e3cb	Add the empty OrderedMap.	2015-12-11 17:25:43 -05:00
Rob Rix	ddf1a05e4e	Add size.	2015-12-11 17:24:01 -05:00
Rob Rix	faddaa3bbe	Provide a lookup function.	2015-12-11 17:23:03 -05:00
Rob Rix	2170232547	Hide Prelude’s definition of lookup.	2015-12-11 17:19:14 -05:00
Rob Rix	d9f56ee632	Implement !.	2015-12-11 17:16:28 -05:00
Rob Rix	ae9a9a0e4d	Format the exports list.	2015-12-11 17:12:24 -05:00
Rob Rix	dfadb116aa	Add keys.	2015-12-11 17:11:44 -05:00
Rob Rix	d4941c954c	Derive: Show, Eq, Functor, Foldable, and Traversable.	2015-12-11 17:10:31 -05:00
Rob Rix	71696188c5	Implement toList.	2015-12-11 17:07:34 -05:00
Rob Rix	3b0dc863e0	Implement fromList.	2015-12-11 17:07:34 -05:00
Rob Rix	187cecefdb	Stub in an OrderedMap type.	2015-12-11 17:07:34 -05:00
Rob Rix	7bc4c62151	Increase the probability of leaves as a cheap way speed up the tests.	2015-12-11 16:11:10 -05:00
Rob Rix	14e861da35	Test that diffing a term against itself produces a zero-cost diff.	2015-12-11 16:10:22 -05:00
Rob Rix	3077bdaebd	Remove FlexibleInstances.	2015-12-11 16:07:30 -05:00
Rob Rix	3bb9e704bf	Remove the Arbitrary instance for Diff.	2015-12-11 16:07:11 -05:00
Rob Rix	0aa3154434	Test properties over ArbitraryDiff.	2015-12-11 16:07:06 -05:00
Rob Rix	c79113c18c	ArbitraryDiff is Arbitrary.	2015-12-11 16:06:14 -05:00
Rob Rix	86d95d1d86	unDiff interprets diffs.	2015-12-11 16:04:41 -05:00
Rob Rix	21b2d7fdfd	Stub in an ArbitraryDiff type.	2015-12-11 16:03:04 -05:00
Rob Rix	fa4e5011ac	Test diff equality reflexivity.	2015-12-11 16:02:08 -05:00
Rob Rix	f9a72f75e1	Add a silly Arbitrary instance for Diff.	2015-12-11 16:02:02 -05:00
Rob Rix	d07cd36e40	CategorySet is Arbitrary.	2015-12-11 16:01:46 -05:00
Rob Rix	64c4787d81	CategorySet is Categorizable.	2015-12-11 16:01:40 -05:00
Rob Rix	90b3da2291	Add a fixed-member CategorySet type.	2015-12-11 16:01:28 -05:00
Rob Rix	77870a069b	Enable FlexibleInstances.	2015-12-11 16:01:09 -05:00
Rob Rix	f667109c28	Test _Term_ equality, not ArbitraryTerm equality.	2015-12-11 15:51:25 -05:00
Rob Rix	97ff45bd28	Remove an obsolete import.	2015-12-11 15:50:35 -05:00
Rob Rix	066e0511d1	🔥 arbitraryBounded.	2015-12-11 15:47:43 -05:00
Rob Rix	50090dd73a	Make leaves likelier.	2015-12-11 15:47:23 -05:00
Rob Rix	91317207fe	Resume generating arbitrary keyed nodes.	2015-12-11 15:47:19 -05:00
Rob Rix	9ece0af975	Bound depth by the cube root of the size parameter, and length by the square root.	2015-12-11 15:41:35 -05:00
Rob Rix	d9bb395f2c	Remove the Arbitrary instance for Syntax.	2015-12-11 15:03:30 -05:00
Rob Rix	2646ebf4ae	We need this import for liftM.	2015-12-11 15:03:19 -05:00
Rob Rix	77c9970f25	Don’t bind a variable for n.	2015-12-11 15:03:03 -05:00
Rob Rix	3efa6e6ff4	Recur into arbitrary, and produce arbitrary Keyed nodes.	2015-12-11 15:02:29 -05:00
Rob Rix	76f78234aa	Define shrink by case analysis.	2015-12-11 15:01:44 -05:00
Rob Rix	2e97bf44fc	Generate arbitrary Fixed terms with bounds &c.	2015-12-11 14:40:29 -05:00
Rob Rix	c4326d54a0	Composition 🎉	2015-12-11 14:39:56 -05:00
Rob Rix	2764c34b8d	Generate arbitrary terms using frequency & sized bounds.	2015-12-11 14:38:57 -05:00
Rob Rix	046c3d1813	Try to simplify syntax shrinking in terms.	2015-12-11 14:38:52 -05:00
Rob Rix	ed929f07a0	Bind in the opposite direction.	2015-12-11 14:17:04 -05:00
Rob Rix	02c19d1d93	Shrink Keyed syntax values to subsequences.	2015-12-11 14:14:58 -05:00
Rob Rix	b643e9ce5a	Shrink indexed/fixed nodes to subsequences.	2015-12-11 14:07:31 -05:00
Rob Rix	68bf2cecfc	Add an Arbitrary instance for Syntax.	2015-12-11 14:05:59 -05:00
Rob Rix	913d484a67	Hide Fixed.	2015-12-11 14:05:46 -05:00
Rob Rix	46dfff2b7c	Derive the genericity of ArbitraryTerm.	2015-12-11 13:37:42 -05:00
Rob Rix	07060e8137	DeriveGeneric.	2015-12-11 13:37:33 -05:00
Rob Rix	7e185f8f7a	Merge branch 'master' into quickcheck	2015-12-11 13:35:48 -05:00
Rob Rix	6622c06860	Merge branch 'master' into split-rendering-of-keyed-nodes	2015-12-11 12:48:34 -05:00
Josh Vera	75d76afeb5	Merge pull request #313 from github/split-rendering-of-fixed-nodes ... Split rendering of fixed nodes	2015-12-11 12:09:43 -05:00