3241 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	039e5849ca	Revert "Shadow the outer function’s name." ... This reverts commit 4cb7c975334d540b9ef08d59724536d2bbd8fda0.	2015-12-14 12:17:35 -05:00
Rob Rix	c004eb739e	Revert "Push the inner function out and operate within substrings." ... This reverts commit 435ba7a2e35d9a4bb61413b91895b88bf3cb2be9.	2015-12-14 12:17:30 -05:00
Rob Rix	b08bb04767	Push the inner function out and operate within substrings.	2015-12-14 12:16:44 -05:00
Rob Rix	1c3db7ae47	Shadow the outer function’s name.	2015-12-14 12:15:55 -05:00
Rob Rix	ae047f3012	Reorder the parameters for partial application.	2015-12-14 12:15:28 -05:00
Rob Rix	6dbaf9f53a	Replace wordy leaves in both terms.	2015-12-14 12:13:18 -05:00
Rob Rix	36747be406	Add a function replacing wordy leaves in a term with branches of per-word leaves.	2015-12-14 12:09:21 -05:00
Rob Rix	0944591fab	Add a function computing the ranges of non-whitespace substrings within a string.	2015-12-14 12:08:33 -05:00
Rob Rix	253f21d885	Invert the test.	2015-12-11 17:36:19 -05:00
Rob Rix	56fcf84f22	Add unions.	2015-12-11 17:34:35 -05:00
Rob Rix	d806e7407a	Add union.	2015-12-11 17:34:31 -05:00
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