5708 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	ac247fa315	Stub in a Data.Aligned module.	2016-03-18 10:41:55 -04:00
Rob Rix	80bf429126	Merge branch 'master' into joining-adjoining	2016-03-18 10:38:55 -04:00
Rob Rix	d16c4bfe82	Merge pull request #523 from github/add-atom-build-config ... Add atom-build config	2016-03-18 10:38:28 -04:00
Rob Rix	9ec169e3df	Add a regexp to match errors.	2016-03-18 10:34:41 -04:00
Rob Rix	e36d4f470f	We don’t have to quote stuff in YAML.	2016-03-18 10:24:54 -04:00
Rob Rix	ac98bacb4d	What is this even for?	2016-03-18 10:20:16 -04:00
Rob Rix	4e4e8f66f5	Add a keymap for the tests.	2016-03-18 10:18:39 -04:00
Rob Rix	3289ea187c	Add the git integration as a target.	2016-03-18 10:18:33 -04:00
Rob Rix	3dcd34e04f	Add the difftool as a target.	2016-03-18 10:18:27 -04:00
Rob Rix	6ccc15a0b7	Add the tests as a target.	2016-03-18 10:18:20 -04:00
Rob Rix	a3b837da31	Add a reasonable PATH (I guess?).	2016-03-18 10:17:56 -04:00
Rob Rix	3b7fbd198a	Name the default target.	2016-03-18 10:17:42 -04:00
Rob Rix	f42f999b67	Stub in an atom-build config file.	2016-03-18 10:15:52 -04:00
Rob Rix	33ef0d13dc	Depend on bifunctors.	2016-03-17 20:07:28 -04:00
Rob Rix	3c60d111af	Merge pull request #522 from github/fix-filemode-change-header ... Fix filemode change header	2016-03-17 14:15:23 -04:00
Josh Vera	666b56b713	Merge branch 'master' into fix-filemode-change-header	2016-03-17 14:12:38 -04:00
joshvera	190729a156	fmap null over sources and check that they're both null	2016-03-17 14:12:25 -04:00
Rob Rix	00da8bc641	Merge pull request #520 from github/fix-deleted-file-mode-header ... Fix deleted file mode header format	2016-03-17 14:08:14 -04:00
joshvera	cdd96b2deb	blobOidHeader should be on a new line if there's a mode change	2016-03-17 13:58:49 -04:00
joshvera	77f7b8ff02	Use the empty hunk if the sources are equal	2016-03-17 13:51:52 -04:00
joshvera	98c0242056	add a space after old mode	2016-03-17 13:51:38 -04:00
joshvera	339c0c5376	s/old/deleted	2016-03-17 13:11:14 -04:00