3539 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	97ec8a2e94	Compute the rows to the end of the range.	2015-12-21 22:42:58 -05:00
Rob Rix	7414c09c18	Compute the rows for child diffs.	2015-12-21 22:42:27 -05:00
Rob Rix	08c9b84253	Stub in splitDiffByLines over Free values.	2015-12-21 22:42:08 -05:00
Rob Rix	6c877fd042	contextRows uses the constructor it’s passed.	2015-12-21 22:41:19 -05:00
Rob Rix	9dba0887c8	Remove the local contextLines binding from splitAnnotatedByLines.	2015-12-21 22:37:38 -05:00
Rob Rix	ac01a7939c	Use the global contextLines definition in splitTermByLines.	2015-12-21 22:34:47 -05:00
Rob Rix	f43bbe415b	Add a global contextLines definition.	2015-12-21 22:34:20 -05:00
Rob Rix	b9ed84b7b6	Pass categories to contextLines explicitly.	2015-12-21 22:34:08 -05:00
Rob Rix	5f7b33db85	Add some range-handling bindings.	2015-12-21 22:27:19 -05:00
Rob Rix	27c66b5588	Add an adjoin binding.	2015-12-21 22:27:10 -05:00
Rob Rix	aa42b88df5	adjoinRowsBy takes two different adjoining functions.	2015-12-21 22:26:43 -05:00
Rob Rix	2d383b57c8	Abbreviate sumRows.	2015-12-21 22:26:26 -05:00
Rob Rix	a78ae5a8de	Correct the indentation of Line’s Monoid instance.	2015-12-21 21:00:53 -05:00
Rob Rix	739e999233	Extract a contextRows binding.	2015-12-21 20:48:55 -05:00
Rob Rix	45cf368356	Rename adjoinTermLines → adjoinChildLines.	2015-12-21 20:46:03 -05:00
Rob Rix	09034a8fda	We never need to adjoin leaf lines.	2015-12-21 20:39:51 -05:00
Rob Rix	2c3ff54dc6	Assertive assertions.	2015-12-21 20:23:56 -05:00
Rob Rix	a69366cf4b	Always drop the initial range.	2015-12-21 20:21:55 -05:00
Rob Rix	d99be907d6	Fix the inverted sense of openTerm.	2015-12-21 20:08:47 -05:00
Rob Rix	1f6440e7a1	Test that openTerm returns Just for open terms.	2015-12-21 20:08:05 -05:00
Rob Rix	41e03beb85	Tweak the test name’s wording.	2015-12-21 20:07:53 -05:00
Rob Rix	7ee39b2d40	Test that openTerm classifies strings ending with newlines as closed.	2015-12-21 20:06:19 -05:00
Rob Rix	d1abf65cdd	Test openLineBy over openTerm.	2015-12-21 20:04:05 -05:00
Rob Rix	60edd3b19a	Omit the categories in the splitTermByLines test.	2015-12-21 20:02:17 -05:00
Rob Rix	b45e10eb92	Port the termToLines test to splitTermByLines.	2015-12-21 19:54:40 -05:00
Rob Rix	61067a6f2a	Remove the ranges from the annotatedToRows tests.	2015-12-21 19:44:07 -05:00
Rob Rix	8cdb0a582a	Add a splitAnnotatedByLines function defined over leaves.	2015-12-21 19:40:00 -05:00
Rob Rix	4486cb90a3	Define zipWithMaybe in terms of zipWithDefaults.	2015-12-21 19:38:57 -05:00
Rob Rix	65cb2837cb	Add a zipWithDefaults function.	2015-12-21 19:38:11 -05:00
Rob Rix	6a80813d19	Use contextLines to define splitTermByLines over leaves.	2015-12-21 19:21:29 -05:00
Rob Rix	07a90b7d09	Apply the constructor to mempty outside of contextLines.	2015-12-21 19:20:53 -05:00
Rob Rix	d6da1daac1	Merge branch 'master' into split-refactoring	2015-12-21 18:55:59 -05:00
Rob Rix	955874560e	Move the ranges from annotatedToRows into diffToRows.	2015-12-21 18:55:54 -05:00
Rob Rix	7956c7d21c	Merge pull request #356 from github/delete-the-prototype ... 🔥 Delete the prototype 🔥	2015-12-21 16:59:57 -05:00
Rob Rix	5bd9684a1d	Remove weird backticks.	2015-12-21 15:14:26 -05:00
Rob Rix	bd680b966d	Define splitTermByLines over Keyed terms.	2015-12-21 15:13:57 -05:00
Rob Rix	66e6c0d69b	Define contextLines over Monoids using mempty.	2015-12-21 15:13:37 -05:00
Rob Rix	d2e4646b5b	Drop redundant parentheses.	2015-12-21 15:12:26 -05:00
Rob Rix	bba1dd7f4b	Eta reduce fromList.	2015-12-21 15:12:05 -05:00
Rob Rix	fcfe258014	Implement ! using fromMaybe.	2015-12-21 15:11:59 -05:00
Rob Rix	4a15e11f3b	OrderedMaps of Eq keys are Monoids.	2015-12-21 15:09:39 -05:00
Rob Rix	4030b8d9e2	Define splitTermByLines over Fixed terms.	2015-12-21 15:00:40 -05:00
Rob Rix	29c136c80f	Define splitTermByLines over Indexed terms using adjoinTermLines.	2015-12-21 15:00:03 -05:00
Rob Rix	cf6f96dcd2	Extract a function to adjoin the lines in child terms.	2015-12-21 14:59:43 -05:00
Rob Rix	426d83a60a	Define splitTermByLines over Indexed terms.	2015-12-21 14:57:33 -05:00
Rob Rix	8fa370cb62	Add a childLines function. ... This serves the same purpose as `sumLines` does in `termToLines`, but I find the name preferable for this use case.	2015-12-21 14:57:22 -05:00
Rob Rix	8e652e80ee	Add a contextLines function.	2015-12-21 14:56:55 -05:00
Rob Rix	ab79e9d99f	Extract the adjoining fold into an adjoin binding.	2015-12-21 14:32:59 -05:00
Rob Rix	dc2c130936	Tidy up the sumLines definition.	2015-12-21 14:31:56 -05:00
Rob Rix	50d82831cd	Inline the definition of separatorLines.	2015-12-21 14:30:55 -05:00