329 Commits

Author	SHA1	Message	Date
Rob Rix	c750a98f4b	Use alignRows in the tests.	2016-03-10 19:48:28 -05:00
Rob Rix	62cdbacdfe	Test that child alignment is preserved.	2016-03-10 17:48:17 -05:00
Rob Rix	736e7b95c7	Write the closed rows as Closed "".	2016-03-10 15:47:10 -05:00
Rob Rix	257c538300	Correct the expectation of the aligning test.	2016-03-10 15:46:31 -05:00
Rob Rix	68c34c11b4	Align the rows.	2016-03-10 15:45:55 -05:00
Rob Rix	9c0b512092	Make that Row Char.	2016-03-10 15:45:23 -05:00
Rob Rix	3d8df9bc4f	Test against Row String.	2016-03-10 15:44:36 -05:00
Rob Rix	bfb02f420e	Fix the open row test.	2016-03-10 15:44:07 -05:00
Rob Rix	1812bd6415	Construct arbitrary closed lines.	2016-03-10 15:38:19 -05:00
Rob Rix	5e950062e4	Correct the test of line count preservation.	2016-03-10 15:25:00 -05:00
Rob Rix	b2e8a0698a	Correct the row prepending test.	2016-03-10 15:18:55 -05:00
Rob Rix	8ff5cd101d	Rename the adjoinRows spec.	2016-03-10 14:52:06 -05:00
Rob Rix	8d36c20e9c	Use Both’s Monoid instance directly.	2016-03-10 09:24:15 -05:00
Rob Rix	68a1fb9cf8	Simplify the open row merging test.	2016-03-10 09:23:47 -05:00
Rob Rix	0e07398b59	🔥 the predicate parameters in coalescing and adjoining.	2016-03-10 09:19:47 -05:00
Rob Rix	a965894d16	Correct the test of aligning closed lines.	2016-03-10 01:04:42 -05:00
Rob Rix	324fcfab31	Correct the test of prepending closed rows.	2016-03-10 01:03:38 -05:00
Rob Rix	9614994e53	Use the isEmpty predicate to test for line emptiness.	2016-03-10 00:37:21 -05:00
Rob Rix	ec0c1c448e	Migrate the splitAnnotatedByLines tests to splitAbstractedTerm.	2016-03-09 09:32:51 -05:00
Rob Rix	5d150fd816	Abstract splitAbstractedTerm over an alignment function.	2016-03-09 05:02:54 -05:00
Rob Rix	789a7d1be8	Abstract splitAbstractedTerm over an Applicative Traversable Functor.	2016-03-09 04:57:30 -05:00
Rob Rix	73aa926bdc	Generalize adjoinRowsBy to any Applicative with an aligning function.	2016-03-09 04:13:09 -05:00
Rob Rix	d18e044d5c	Use Line, not makeLine.	2016-03-09 01:56:41 -05:00
Rob Rix	64384f407b	Use the existing totalRange function in the alignment spec.	2016-03-09 01:44:36 -05:00
Rob Rix	086a3d53cb	🔥 Row.	2016-03-09 01:39:18 -05:00
Rob Rix	820d38847c	🔥 makeRow.	2016-03-09 01:35:47 -05:00
Rob Rix	cb66328f79	Replace Row with a type synonym for Both.	2016-03-09 01:35:01 -05:00
Rob Rix	43ab2d4523	Avoid isOpenRowBy.	2016-03-09 01:05:06 -05:00
Rob Rix	ebbf19953e	Stop treating EmptyLine as distinct from an empty line.	2016-03-09 00:58:09 -05:00
Rob Rix	9f26748f3b	Abstract splitAnnotatedByLines over a makeTerm parameter function.	2016-03-08 23:37:11 -05:00
Rob Rix	3cb0cd4ac4	Remove some obsolete tests.	2016-03-08 22:14:22 -05:00
Rob Rix	cef2be6495	Correct the predicate.	2016-03-08 22:10:35 -05:00
Rob Rix	0bc811e3c1	Replace MaybeOpen with simple predicates.	2016-03-08 22:07:38 -05:00
Rob Rix	b6edbcd078	Test that adjoinRowsBy aligns on closed lines.	2016-03-08 21:51:42 -05:00
Rob Rix	50a99fe500	More predictable test of empty line promotion.	2016-03-08 10:19:05 -05:00
Rob Rix	c9f5154cc6	Correct the non-promotion test.	2016-03-07 19:56:57 -05:00
Rob Rix	368d943abc	Correct the prepending test.	2016-03-07 19:54:55 -05:00
Rob Rix	acad320b73	Remove isEmptyLine.	2016-03-07 19:46:18 -05:00
Rob Rix	6bf8d10efd	Remove isClosedBy.	2016-03-07 19:45:57 -05:00
Rob Rix	b100eb9674	Use isClosedRowBy as a predicate in the tests.	2016-03-07 19:45:39 -05:00
Rob Rix	a8286d66b1	Fix the isOpenRowBy use.	2016-03-07 19:45:25 -05:00
Rob Rix	1e31552397	Remove the tests of openLineBy.	2016-03-07 19:43:14 -05:00
Rob Rix	bf725daa90	Remove isOpenBy.	2016-03-07 19:43:01 -05:00
Rob Rix	a8cdb23694	Use isOpenRowBy.	2016-03-07 19:42:56 -05:00
Rob Rix	f7b4ecc1c1	Rename adjoinRowsByR to adjoinRowsBy.	2016-03-07 19:36:16 -05:00
Rob Rix	e81941f53d	Migrate the tests to adjoinRowsByR.	2016-03-07 19:33:32 -05:00
Rob Rix	b47bc5bc16	Apply some of hlint’s advice.	2016-03-07 16:33:30 -05:00
Rob Rix	488ec69895	shouldBe gives better error messages.	2016-03-07 16:28:39 -05:00
Rob Rix	abcd9803f3	Pass the Info & Syntax in directly.	2016-03-04 21:12:49 -05:00
Rob Rix	5c06ecc6d0	Define splitAbstractedTerm by catamorphism (more or less).	2016-03-04 21:07:26 -05:00
Rob Rix	f546977b33	splitAnnotatedByLines takes Both Infos directly.	2016-03-04 20:25:33 -05:00
Rob Rix	7cb85f6571	Define splitDiffByLines by catamorphism.	2016-03-04 19:53:47 -05:00
Rob Rix	651f0106e3	Migrate a couple of tests over to splitDiffByLines.	2016-03-04 19:53:28 -05:00
Rob Rix	3a555df147	Swap the order of the operands to splitPatchByLines.	2016-03-04 19:07:54 -05:00
Rob Rix	61e43f8c02	splitPatchByLines doesn’t take previous indices.	2016-03-04 12:28:48 -05:00
Rob Rix	0cf7ba393d	Alignment returns ranged Rows.	2016-03-04 12:26:40 -05:00
Rob Rix	e1f12e3c35	Verify that splitPatchByLines obeys the initial indices.	2016-03-03 15:40:41 -05:00
Rob Rix	aa389a9e99	Add a function to construct a leaf within a source.	2016-03-03 15:34:07 -05:00
Rob Rix	7a71b76d99	Simplify leafWithRangesInSources.	2016-03-03 15:33:31 -05:00
Rob Rix	1d89c90e38	Add a function to construct a patch from Both input terms.	2016-03-03 15:00:01 -05:00
Rob Rix	7104835753	Add an Arbitrary instance for Patch.	2016-03-03 14:59:33 -05:00
Rob Rix	7a3da76448	splitAbstractedTerm returns lines containing diff/range pairs.	2016-03-03 13:41:56 -05:00
Rob Rix	723f14aa4c	Test splitAbstractedTerm.	2016-03-03 11:39:23 -05:00
Rob Rix	8e78339c39	🔥 openTerm.	2016-03-03 09:02:33 -05:00
Rob Rix	ae149c94ff	Use runBothWith to tidy up a few computations.	2016-02-29 19:43:57 -05:00
Rob Rix	7548e148dc	Rename runLeft/runRight to fst/snd.	2016-02-29 19:39:04 -05:00
Rob Rix	ac39e73691	Line’s Monoid instance will do just fine here.	2016-02-29 10:38:39 -05:00
Rob Rix	665ffa4133	We don’t need to destructure the Rows in the append test.	2016-02-29 10:33:29 -05:00
Rob Rix	df2b684229	Simplify how we compute combineIntoLeaves.	2016-02-29 10:31:53 -05:00
Rob Rix	7048a61660	Define leafWIthRangesInSources over Both.	2016-02-29 10:30:33 -05:00
Rob Rix	c889174aee	Use Both to represent Diff annotations.	2016-02-29 10:12:34 -05:00
Rob Rix	0628793ab4	Use the Applicative instance in a test.	2016-02-29 09:29:50 -05:00
Rob Rix	a8efcb539a	Row wraps a Both.	2016-02-29 09:22:52 -05:00
Rob Rix	1abab2bbce	adjoinRowsBy applies Both MaybeOpen tests.	2016-02-29 08:55:30 -05:00
joshvera	2c4acfb14f	Disambiguate the tests.	2016-02-29 07:45:24 -05:00
Rob Rix	0d77576a52	Represent categories in Both.	2016-02-28 22:10:02 -05:00
Rob Rix	81a1a14d4c	Represent the input Ranges in Both.	2016-02-28 22:01:21 -05:00
Rob Rix	863251183f	Represent alignment sources in Both.	2016-02-28 21:43:47 -05:00
Rob Rix	d6fb451ebd	Rename SplitSpec to AlignmentSpec.	2016-02-28 14:05:19 -05:00