3728 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	fb78fa7535	Extract an adjoin binding in termToLines.	2015-12-21 14:30:20 -05:00
Rob Rix	aa0dd5d2ca	Define splitTermByLines over actualLineRanges.	2015-12-21 14:24:32 -05:00
Rob Rix	6088777b69	Add an actualLineRanges function.	2015-12-21 14:24:14 -05:00
Rob Rix	d500810f90	Define a splitTermsByLines function over leaves.	2015-12-21 14:20:13 -05:00
Rob Rix	31afc5de11	Replace some $s with some .s.	2015-12-21 13:36:08 -05:00
Rob Rix	3ef66954b6	Remove the Monoid instance for Row a.	2015-12-21 13:29:21 -05:00
Rob Rix	e1b15b7bdc	Handle empty rows without reference to the Monoid instance for Row.	2015-12-21 13:29:04 -05:00
Rob Rix	ce5911b9b6	Remove a redundant mappend case.	2015-12-21 13:26:59 -05:00
Rob Rix	cefbdd400e	Simplify mappend over Lines.	2015-12-21 13:26:51 -05:00
Rob Rix	b857464c44	Reformat a comment.	2015-12-21 13:25:32 -05:00
Rob Rix	fc819fb48d	Remove rightLines.	2015-12-21 13:21:31 -05:00