15681 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	a9c3317758	Derive Mergeable instances for pretty much everything.	2017-09-25 19:51:52 -04:00
Rob Rix	267eab6e75	🔥 the old generic mergeable module.	2017-09-25 19:50:47 -04:00
Rob Rix	da14b3c24a	Rework the Rec instance & add a (bad) NonEmpty instance.	2017-09-25 19:49:20 -04:00
Rob Rix	600e05a09d	Merge Data.Mergeable.Generic into Data.Mergeable.	2017-09-25 19:44:00 -04:00
Rob Rix	f6efded7d0	Define a Mergeable instance for Unions.	2017-09-25 19:25:21 -04:00
Rob Rix	8e674538e3	Define Listable1 instances for Functions & Methods.	2017-09-25 19:25:14 -04:00
Rob Rix	f274a9dd7d	Define a Listable1 instance for Context.	2017-09-25 19:20:01 -04:00
Rob Rix	aae77f6e0e	Define a Listable1 instance for Comment.	2017-09-25 19:19:51 -04:00
Rob Rix	b0c79efa9b	Define a Listable1 instance for NonEmpty.	2017-09-25 19:19:37 -04:00
Rob Rix	b32a911484	Define Listable instances for Return and Empty.	2017-09-25 19:14:00 -04:00
Rob Rix	909e199e72	Define Listable instances for If and Identifier.	2017-09-25 19:12:44 -04:00
Rob Rix	468a874168	Define Listable instances for non-empty Unions.	2017-09-25 19:08:55 -04:00
Rob Rix	5ba29e6361	Fix the while-statement diff.	2017-09-25 18:46:47 -04:00
Rob Rix	de1a5f8a23	Fix _most of_ the failures.	2017-09-25 18:45:37 -04:00
Rob Rix	c0a526c264	Simplify the context for comparableByConstructor.	2017-09-25 18:27:09 -04:00
Rob Rix	4c4ae14bf8	Sort the context.	2017-09-25 16:00:37 -04:00
Rob Rix	093a02dc88	🔥 a redundant Functor constraint.	2017-09-25 15:56:31 -04:00
Rob Rix	c7685757d1	Reformat genericAlgorithmFor’s type signature.	2017-09-25 12:24:42 -04:00
Rob Rix	e528bd3c6c	Export the comparability relation driver.	2017-09-25 12:11:29 -04:00
Rob Rix	e142157ab9	Pass decoratingWith the comparability & equivalence relations.	2017-09-25 12:05:31 -04:00
Rob Rix	fb56d8b604	Merge branch 'master' into substructural-diffing	2017-09-25 11:59:14 -04:00
Timothy Clem	f40b6fd1c8	Merge pull request #1348 from github/toc-assignment ... New --toc-assignment flag	2017-09-25 08:55:59 -07:00
Timothy Clem	289b342ba0	Merge branch 'master' into toc-assignment	2017-09-25 08:47:30 -07:00
Rob Rix	c7c1161310	Merge branch 'master' into substructural-diffing	2017-09-25 11:47:26 -04:00
Rob Rix	7e167a75b4	Merge pull request #1341 from github/alternative-algorithms ... Alternative Algorithms	2017-09-25 11:46:47 -04:00
Rob Rix	5d812f3a03	Merge branch 'master' into alternative-algorithms	2017-09-25 11:44:17 -04:00
Timothy Clem	4b311dba8e	Merge pull request #1349 from github/log-tags ... Tag log entries so we can sort, filter, and stat	2017-09-25 08:43:13 -07:00
Rob Rix	8babcb9579	🔥 Symmetrical.	2017-09-25 11:35:10 -04:00
Rob Rix	8975856504	Merge branch 'alternative-algorithms' into substructural-diffing	2017-09-25 11:30:58 -04:00
Rob Rix	76037c08b2	Merge branch 'master' into alternative-algorithms	2017-09-25 11:29:44 -04:00
Rob Rix	7786e35bfe	Opt Context nodes into comparisons.	2017-09-25 11:28:19 -04:00
Timothy Clem	ddebcc044d	Make it really clear where we are headed	2017-09-25 08:24:48 -07:00
Rob Rix	c3e7c62fcf	Limit the Interpreter exports.	2017-09-25 11:24:21 -04:00
Rob Rix	67a6071245	Revert "Provide a diffThese wrapper which falls back by replacing." ... This reverts commit 3a34cd01481bd0aab038faf41c8aaf613e5e3773.	2017-09-25 11:06:56 -04:00
Timothy Clem	0290e63095	Whoops, these need to be tuples	2017-09-25 08:06:11 -07:00
Rob Rix	6df6c80202	Spacing.	2017-09-25 11:02:07 -04:00
Rob Rix	4c87a91f19	Use the correct functions in the diffs.	2017-09-25 10:57:28 -04:00
Rob Rix	919f166f7a	Move diffRecursively into Interpreter & rename.	2017-09-25 10:55:44 -04:00
Rob Rix	e075cf491d	Provide a diffThese wrapper which falls back by replacing.	2017-09-25 10:33:59 -04:00
Rob Rix	3c09621891	Eta-reduce algorithmFor.	2017-09-25 09:10:44 -04:00
Rob Rix	bee5470602	Fix some more indentation.	2017-09-23 09:12:58 -04:00
Rob Rix	345d0d910f	Fix some indentation.	2017-09-23 09:12:19 -04:00
Rob Rix	28c318900d	🔥 redundant parens.	2017-09-23 09:04:19 -04:00
Rob Rix	c9311c0607	Generalize runAlgorithm to produce any result type.	2017-09-23 08:52:11 -04:00
Rob Rix	aa8fe13355	Correct the indentation of the runAlgorithm signature.	2017-09-23 08:51:22 -04:00
Rob Rix	dd9b811aeb	Linearly operates on terms once more.	2017-09-22 23:07:41 -04:00
Rob Rix	528728d01c	Redefine GAlign to merge into an Alternative context.	2017-09-22 23:02:08 -04:00
Rob Rix	af5fc79ed5	Simplify the flow a little.	2017-09-22 22:30:16 -04:00
Rob Rix	9c1ef71a78	Re-abstract Algorithm over the term and result types.	2017-09-22 22:24:50 -04:00
Rob Rix	88b52bed3d	Recur via diff.	2017-09-22 22:24:36 -04:00