2435 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	8fe1fc6ff2	Unified rendering of terms.	2015-11-19 17:23:12 -08:00
Rob Rix	7abc918f18	Hide foldl.	2015-11-19 17:23:06 -08:00
Rob Rix	389f0a0983	Unpack Annotated separately.	2015-11-19 17:22:55 -08:00
Rob Rix	f40fc7e117	cata over Term.	2015-11-19 17:17:17 -08:00
Rob Rix	d916df923c	Stub in unifiedTerm.	2015-11-19 16:27:31 -08:00
Rob Rix	ec0c6fb584	Unified rendering of keyed diffs.	2015-11-19 16:24:07 -08:00
Rob Rix	7b6277994f	Delete the String/Range ord.	2015-11-19 16:23:45 -08:00
Rob Rix	4474739427	Range is ordered.	2015-11-19 16:23:18 -08:00
Rob Rix	417f27cc39	String/range pairs are ordered.	2015-11-19 16:07:30 -08:00
Rob Rix	0702ad277d	Import Data.Map.	2015-11-19 15:59:24 -08:00
Rob Rix	8970033077	Unified rendering of fixed diffs.	2015-11-19 15:58:56 -08:00
Rob Rix	360b134438	Unified rendering of indexed diffs.	2015-11-19 15:58:41 -08:00
Rob Rix	6fa7204728	Accumulate context between children.	2015-11-19 15:56:58 -08:00
Rob Rix	b133e572c7	Implement unifiedRange w/o initial context.	2015-11-19 15:53:37 -08:00
Rob Rix	14e7b6ae08	Return pairs of strings/ranges.	2015-11-19 15:53:23 -08:00
Rob Rix	73838c7844	Extract the range from patches.	2015-11-19 15:30:37 -08:00
Rob Rix	69e2efc977	Get the after state out of Patches.	2015-11-19 15:26:40 -08:00
Rob Rix	a254d1168e	Stub in unifiedRange.	2015-11-19 15:08:11 -08:00
Rob Rix	660e21345c	Unified rendering of leaves produces the substring.	2015-11-19 15:06:42 -08:00
Rob Rix	0d7261454e	unified operates over diffs annotated with Info.	2015-11-19 15:06:25 -08:00
Rob Rix	4103cfb1e2	Substrings.	2015-11-19 15:05:33 -08:00
Rob Rix	222aba8e46	Ranges have Int bounds.	2015-11-19 15:05:29 -08:00
Rob Rix	0cd3b8c16c	Stub in the implementation of unified over Diff.	2015-11-19 14:37:07 -08:00
Rob Rix	a5729774d0	Stub in the type of unified.	2015-11-19 14:36:32 -08:00
Rob Rix	0c6ba1f3a6	Info uses the Category type.	2015-11-19 14:36:07 -08:00
Rob Rix	1394b60d2c	Add a Category type name.	2015-11-19 14:35:46 -08:00
Rob Rix	0fdb2469f9	Stub in a Unified diff renderer file.	2015-11-19 13:35:06 -08:00
Rob Rix	486f3a4732	Factor out a pattern match.	2015-11-19 12:20:57 -08:00
Rob Rix	0cced151ea	Remove some obsolete imports.	2015-11-19 12:13:45 -08:00
Rob Rix	4298956f37	Info is Categorizable.	2015-11-19 12:06:34 -08:00
Rob Rix	7138d9fb1b	Info has a Range and a set of categories.	2015-11-19 12:04:18 -08:00
Rob Rix	891d2b75a1	Use unit in the fixtures.	2015-11-19 12:04:07 -08:00
Rob Rix	53b6c6846c	Ranges are equatable and showable.	2015-11-19 12:02:53 -08:00
Rob Rix	c925543305	constructAndRun for equal terms.	2015-11-19 11:56:45 -08:00
Rob Rix	87c7a0b6b0	Implement hylomorphism.	2015-11-19 11:56:35 -08:00
Rob Rix	6c6d72601d	Factor out more annotation unpacking.	2015-11-19 11:37:19 -08:00
Rob Rix	c2dc659a57	Factor out annotation unpacking.	2015-11-19 11:36:14 -08:00
Rob Rix	e6385e2832	Diffs are annotated.	2015-11-19 11:27:31 -08:00
Rob Rix	2a081c5aa0	Keyed nodes.	2015-11-18 18:00:10 -08:00
Rob Rix	21d9bb3670	Compose some more functions.	2015-11-18 17:38:48 -08:00
Rob Rix	e91bdbd981	Factor out the operator section.	2015-11-18 17:35:03 -08:00
Rob Rix	63dfb9d08b	Zip Fixed terms.	2015-11-18 17:35:03 -08:00
Rob Rix	d317e32284	Zip Indexed terms.	2015-11-18 17:35:03 -08:00
Rob Rix	0b3c04fe1b	Zip leaf terms.	2015-11-18 17:35:03 -08:00
Rob Rix	e8274ed379	Zip terms.	2015-11-18 17:35:03 -08:00
Rob Rix	ee4da4218d	Add an Annotated syntax type.	2015-11-18 17:35:03 -08:00
Rob Rix	c595fda525	Ranges are bounded by integers.	2015-11-18 17:35:03 -08:00
Rob Rix	680465dfbf	Abstract Diff over an annotation type.	2015-11-18 13:23:47 -08:00
Rob Rix	359c1818d0	Use const.	2015-11-18 12:09:08 -08:00
Rob Rix	c7336dae2c	Remove Data.Fix.	2015-11-18 11:54:08 -08:00