5730 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	89537b4f81	Aligned diffs are split diffs.	2016-03-21 13:10:28 -04:00
Rob Rix	a3e253804d	🔥 theseBoth.	2016-03-21 13:06:00 -04:00
Rob Rix	ca1f7ecfef	More docs.	2016-03-21 13:04:32 -04:00
Rob Rix	5588378da9	Document pairWithThese.	2016-03-21 13:03:50 -04:00
Rob Rix	6ac6a96179	Add a (total) convenience to pair the elements of Both with These.	2016-03-21 13:03:15 -04:00
Rob Rix	6422cb38a4	Define AlignedDiff as Joining These two terms.	2016-03-21 12:53:41 -04:00
Rob Rix	de9ad0bd9e	Add an Align instance over lists again.	2016-03-21 09:31:12 -04:00
Rob Rix	c16d725773	Remove a redundant import.	2016-03-21 09:30:54 -04:00
Rob Rix	85fa168cc0	Add a Crosswalk instance over Join These.	2016-03-21 01:42:36 -04:00
Rob Rix	7629c657b4	Add a Crosswalk instance over Identity.	2016-03-21 01:42:30 -04:00
Rob Rix	102d1dcf68	Readd Crosswalk.	2016-03-21 01:41:05 -04:00
Rob Rix	dc0b5f0355	Revert "Stub in a Fix type for the sake of experimentation." ... This reverts commit 91e8730e7e331abf10406c3d866796bb7f8b6d4f.	2016-03-18 15:16:22 -04:00
Rob Rix	9f1b7fc80f	Truncate branches for the moment.	2016-03-18 15:15:05 -04:00
Rob Rix	ee81295592	Don’t bind leaf values.	2016-03-18 15:01:11 -04:00
Rob Rix	35215da076	Construct Aligned in alignSyntax.	2016-03-18 15:00:28 -04:00
Rob Rix	63f6389950	Define alignSyntax by case analysis.	2016-03-18 14:58:49 -04:00
Rob Rix	a11bc809df	Remove the constructor parameter from alignTermBy and rename it.	2016-03-18 14:58:01 -04:00
Rob Rix	30e1da5a12	Use alignSyntax to construct Aligned functors.	2016-03-18 14:56:48 -04:00
Rob Rix	21356e0144	Add alignSyntax to split a leaf by its lines. ... Doesn’t yet operate on branches. Invalidates some other assumptions.	2016-03-18 14:56:32 -04:00
Rob Rix	d318b6565c	Get first and second from Data.Bifunctor instead of Control.Arrow.	2016-03-18 14:53:52 -04:00
Rob Rix	cceeffe360	The annotations are in Join.	2016-03-18 14:30:22 -04:00
Rob Rix	bad7878953	Pass the sources to alignTermBy.	2016-03-18 14:18:19 -04:00
Rob Rix	2900eb1f71	alignPatch takes the sources.	2016-03-18 14:15:49 -04:00
Rob Rix	8c791fb638	Annotate aligned diffs with These Info Info for marginal reductions in dubiousness.	2016-03-18 14:03:13 -04:00
Rob Rix	0e36a8af38	Rename the parameter to note its plurality.	2016-03-18 14:00:19 -04:00
Rob Rix	2a5f465a66	Slightly less dubiously, Aligned diffs carry Both Info.	2016-03-18 13:58:04 -04:00
Rob Rix	b9fc6d86e2	Aligned diffs carry Info. ... This is extremely dubious, but it’s a start.	2016-03-18 13:55:41 -04:00
Rob Rix	77fd84f831	Run alignPatch in Cofree instead of Fix.	2016-03-18 13:46:56 -04:00
Rob Rix	619c16e72d	These definitions of cata and ana admit the usual definition of hylo.	2016-03-18 13:08:59 -04:00
Rob Rix	dfb02c877b	Rename the type variable to something more sensible.	2016-03-18 13:06:53 -04:00
Rob Rix	f45796ab4a	Use the obvious type variable.	2016-03-18 12:59:49 -04:00
Rob Rix	4c6be8d2bb	Implement cata pointfree.	2016-03-18 12:59:06 -04:00
Rob Rix	eccbe10fea	Define unCofree over Cofree.	2016-03-18 12:58:40 -04:00
Rob Rix	53de236860	Generalize cata over Cofree.	2016-03-18 12:51:32 -04:00
Rob Rix	82e29e2df7	Define anamorphisms over Cofree.	2016-03-18 12:50:16 -04:00
Rob Rix	bf87e931b7	Move the annotated hylo from Interpreter into Term.	2016-03-18 12:43:29 -04:00
Rob Rix	495204ce90	Extract a function to align terms.	2016-03-18 12:08:26 -04:00
Rob Rix	e61d8a27ff	Stub in a type synonym for aligned diffs.	2016-03-18 12:02:07 -04:00
Rob Rix	00c3a2ef9f	Spike out a function aligning Terms in Patches.	2016-03-18 12:01:59 -04:00
Rob Rix	23ba7c0ae6	hylo over Fix.	2016-03-18 12:00:00 -04:00
Rob Rix	ea6fd75131	cata over Fix.	2016-03-18 11:59:54 -04:00
Rob Rix	793025e65f	ana over Fix.	2016-03-18 11:59:48 -04:00
Rob Rix	235e2207e8	Stub in a Fix type for the sake of experimentation.	2016-03-18 11:59:37 -04:00
Rob Rix	daba89d6b0	Be precise as to which cata we mean.	2016-03-18 11:59:19 -04:00
Rob Rix	2aee251d2f	Use pattern synonyms to define AlignThese.	2016-03-18 11:43:48 -04:00
Rob Rix	e143245098	Use pattern synonyms to define AlignThat.	2016-03-18 11:42:54 -04:00
Rob Rix	8eb3025d06	Use pattern synonyms to define alignThis.	2016-03-18 11:42:41 -04:00
Rob Rix	b72c4b1f44	Document alignThis/That/These.	2016-03-18 11:23:15 -04:00
Rob Rix	99292baa6a	Add convenience constructors for Aligned.	2016-03-18 11:22:17 -04:00
Rob Rix	61df559751	Add an Aligned type.	2016-03-18 10:50:00 -04:00