770 Commits

Author	SHA1	Message	Date
Rob Rix	e5a2c384fc	Test that alignBranch covers every line of the input ranges.	2016-05-25 11:13:34 -04:00
Rob Rix	6caf9d3930	Extract alignment from the property test.	2016-05-25 10:59:16 -04:00
Rob Rix	5c1b0809ec	Shrink BranchElement by crosswalking.	2016-05-25 10:54:41 -04:00
Rob Rix	5237c7ccc5	Revert "Add a BranchAlignment type." ... This reverts commit c85b9fcca08b147c8f2c7bae573f7b30c08f14f4.	2016-05-25 10:43:24 -04:00
Rob Rix	3663cc612b	Revert "Add an Arbitrary instance over BranchAlignment." ... This reverts commit 17e215b1aec6fdb80212133fe362a9c5120e0b8f.	2016-05-25 10:43:20 -04:00
Rob Rix	e524b4e0fe	Revert "Add a Show instance over BranchAlignment." ... This reverts commit afd605d4e80d759c8d75b3d912e2e5f36bcc217c.	2016-05-25 10:43:15 -04:00
Rob Rix	d42c071a08	Add a Show instance over BranchAlignment.	2016-05-25 10:42:44 -04:00
Rob Rix	366dba33b3	Add an Arbitrary instance over BranchAlignment.	2016-05-25 10:42:35 -04:00
Rob Rix	03ec660dbc	Add a BranchAlignment type.	2016-05-25 10:41:17 -04:00
Rob Rix	13aaee7526	Correct branch element alignment to use crosswalk.	2016-05-25 10:34:22 -04:00
Rob Rix	dbd1030a34	Derive the Show instance for BranchElement.	2016-05-25 10:26:44 -04:00
Rob Rix	1f0d0eb714	Test that alignBranch covers every child in the input.	2016-05-25 09:54:42 -04:00
Rob Rix	c1198065e2	Correct the assignment of ranges to lines.	2016-05-25 09:54:21 -04:00
Rob Rix	6fb9383fb1	Rewrite keysOfAlignedChildren in tacit style in hopes of finding an infinite loop.	2016-05-24 16:21:12 -04:00
Rob Rix	79ef67e6e3	Find the keys of aligned children.	2016-05-24 13:36:12 -04:00
Rob Rix	10a689090b	Implement a function to find the key in branch elements that have any.	2016-05-24 13:36:04 -04:00
Rob Rix	a594f54279	Implement construction of arbitrary PrettyDiffs.	2016-05-24 13:04:28 -04:00
Rob Rix	e0e7f0fa4a	Add a toPrettyDiff function to abstract the construction of pretty diffs away.	2016-05-24 13:04:10 -04:00
Rob Rix	24a732322c	Forgot to commit the import of Control.Monad.State.	2016-05-24 12:00:03 -04:00
Rob Rix	f3f7b5e6b9	Aligned children contain ranges.	2016-05-21 00:08:01 -04:00
Rob Rix	f720901dbc	Compute the aligned children from a list of branch elements.	2016-05-20 23:51:24 -04:00
Rob Rix	e4dd1e7cd8	Compute the sources and ranges in a single step.	2016-05-20 23:49:17 -04:00
Rob Rix	bdb02a4bf4	Compute the ranges for a list of elements.	2016-05-20 23:46:14 -04:00
Rob Rix	db6f2b6430	Arbitrary BranchElements’ contents contain their key, not a fresh key.	2016-05-20 23:19:44 -04:00
Rob Rix	96f94c9bdb	Shrink Child contents respecting their prefixes/suffixes.	2016-05-20 23:13:36 -04:00
Rob Rix	ff3691eac4	🔥 showThese.	2016-05-20 23:13:17 -04:00
Rob Rix	9acdb24243	🔥 toSource.	2016-05-20 22:42:46 -04:00
Rob Rix	5d9de67ecc	Use the Applicative instance to generate BranchElements.	2016-05-20 22:41:48 -04:00
Rob Rix	ea79ce4f04	Rewrite BranchElement/Source computations correctly.	2016-05-20 22:41:38 -04:00
Rob Rix	61c2bf0ccc	Simplify the Show instance for BranchElement.	2016-05-20 22:33:06 -04:00
Rob Rix	111b12846a	Arbitrary BranchElements have their contents set appropriately up front.	2016-05-20 22:32:00 -04:00
Rob Rix	bfcd3193da	Add a convenience to extract the contents from a branch element.	2016-05-20 22:25:41 -04:00
Rob Rix	26d31fa12a	Remove the comments describing the contents of Margin & Child since we no longer guarantee them.	2016-05-20 22:19:35 -04:00
Rob Rix	24af4c4af5	Add a function to align branch elements into their lines.	2016-05-20 22:17:39 -04:00
Rob Rix	30bfae37aa	Child, not Child'.	2016-05-20 22:13:36 -04:00
Rob Rix	e1110869e3	🔥 Child.	2016-05-20 22:11:48 -04:00
Rob Rix	2eba6e726e	toSource(s)/toChildLists operate over BranchElements.	2016-05-20 22:11:22 -04:00
Rob Rix	ed00a34bee	Shrink BranchElements.	2016-05-20 22:08:22 -04:00
Rob Rix	c7ed296e8b	Don’t re-quote the contents of branch elements.	2016-05-20 22:04:09 -04:00
Rob Rix	f830256a5c	Pretty-print Margin elements.	2016-05-20 22:03:39 -04:00
Rob Rix	f09f9cf3a2	Extract showThese to the top.	2016-05-20 22:03:13 -04:00
Rob Rix	097220a454	Pretty-print Child elements differently.	2016-05-20 22:02:29 -04:00
Rob Rix	919f32a650	Spike out an Arbitrary instance for BranchElement.	2016-05-20 21:59:46 -04:00
Rob Rix	419bcfe776	Add a Show instance over BranchElement.	2016-05-20 21:54:33 -04:00
Rob Rix	3aaa9f79ca	Stub in a type representing the elements of branches.	2016-05-20 21:50:52 -04:00
Rob Rix	6eabdd06eb	Compute a pair of Sources from a list of child lines.	2016-05-20 21:50:41 -04:00
Rob Rix	048c9d34c2	Add a function to compute lists of children.	2016-05-20 21:50:08 -04:00
Rob Rix	2541405fdc	Compute a Source from a list of children.	2016-05-20 21:49:29 -04:00
Rob Rix	aff7fbbc47	Ensure that we do not shrink when both childContents and childMargin are empty.	2016-05-20 16:40:25 -04:00
Rob Rix	0e86c8149a	Ensure that we can shrink when either childContents or childMargin is empty.	2016-05-20 16:39:58 -04:00