12224 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	96d6210a4c	Use wrap/pure instead of free $ Free/Pure.	2017-05-08 13:29:04 -04:00
Rob Rix	2d6c485ace	Tighten up how we compute the summary key.	2017-05-08 13:21:40 -04:00
Rob Rix	301266a237	📝 foldDiff/foldDiffWith.	2017-05-08 12:48:49 -04:00
Rob Rix	2471b15e0d	Reformat the type signatures.	2017-05-08 12:44:36 -04:00
Rob Rix	d2f71809e6	Swap the order of the merge & algebra parameters.	2017-05-08 12:43:29 -04:00
Rob Rix	c6172239dd	s/Monoid/Semigroup/	2017-05-08 12:42:56 -04:00
Rob Rix	6f56bc980a	Define a convenience wrapper for foldDiffWith when the result is a Monoid.	2017-05-08 12:42:36 -04:00
Rob Rix	a4cb5c5a30	Add a merging function to foldDiff.	2017-05-08 12:41:26 -04:00
Rob Rix	9fee3b2bc5	🔥 modifyAnnotations.	2017-05-08 11:54:50 -04:00
Rob Rix	4fe2a4cec1	Simplify mapAnnotations with the Bifunctor instance.	2017-05-08 11:53:23 -04:00
Rob Rix	d1c9c69ed8	🔥 ScopedTypeVariables.	2017-05-08 11:52:36 -04:00
Rob Rix	535403e326	Define an eliminator for diffs.	2017-05-08 11:46:12 -04:00
Rob Rix	d74c5fc2d2	🔥 ScopedTypeVariables.	2017-05-08 11:37:20 -04:00
Rob Rix	60782087de	🔥 a redundant forall.	2017-05-08 11:37:10 -04:00
Rob Rix	cba78c805f	Specialize the leaf type.	2017-05-08 11:36:45 -04:00
Rob Rix	92be6ee6d1	Use the full types diffs & terms.	2017-05-08 11:35:34 -04:00
Rob Rix	b3fcde2abb	Avoid indirection for error summaries.	2017-05-08 11:32:25 -04:00
Rob Rix	3cede7da09	Represent NotSummarizable as Nothing.	2017-05-08 11:31:30 -04:00
Rob Rix	821b598e2a	Further tighten toTermName.	2017-05-08 11:24:25 -04:00
Rob Rix	6e411c7c85	Compute toTermName as a paramorphism.	2017-05-08 11:22:04 -04:00
Rob Rix	1b487b6907	🔥 offsetting in toTermName. ... toTermName is a shallow traversal, so there’s little or no point in offsetting before recursive calls.	2017-05-08 11:18:23 -04:00
Rob Rix	2e98b4570d	Contextualize summaries in diffToTOCSummaries directly.	2017-05-08 11:16:37 -04:00
Rob Rix	9df2a73e38	Tighten up toTermName.	2017-05-08 11:16:23 -04:00
Rob Rix	76002f08c0	🔥 redundant parens.	2017-05-08 09:56:11 -04:00
Rob Rix	f3cf3cb1d1	🔥 SummarizableTerm.	2017-05-08 09:55:56 -04:00
Rob Rix	4894a5b286	Merge branch 'master' into generalize-alignment-over-the-syntax-functor	2017-05-08 09:50:38 -04:00
Rob Rix	08e4377b65	Merge pull request #1097 from github/opt-in-anonymous-nodes ... Match against token nodes when necessary	2017-05-08 09:49:40 -04:00
Rob Rix	7c100f5bfa	Clarify the indentation of assignment operators.	2017-05-08 09:47:09 -04:00
Rob Rix	6ce4496f14	Merge branch 'master' into opt-in-anonymous-nodes	2017-05-08 08:33:14 -04:00
Rob Rix	4274fdf6e3	Merge branch 'master' into generalize-alignment-over-the-syntax-functor	2017-05-08 08:28:01 -04:00
Timothy Clem	6cebe6eccc	Merge pull request #1106 from github/fix-json-output-again ... Take 2 on fixing JSON parse output	2017-05-05 13:34:48 -07:00
Rob Rix	8d8fa78b47	Simplify summarizable.	2017-05-05 16:34:16 -04:00
Timothy Clem	ab0a6d59dd	Merge branch 'master' into fix-json-output-again	2017-05-05 13:30:48 -07:00
Rob Rix	0c7af370f7	Define termToDiffInfo as a paramorphism.	2017-05-05 16:28:46 -04:00
Rob Rix	c73a79eb83	No need to qualify sourceSpan.	2017-05-05 16:19:49 -04:00
Rob Rix	a55b97b017	Use the named field accessor.	2017-05-05 16:08:51 -04:00
Rob Rix	02dec7980f	Merge pull request #1099 from github/diffs-a-la-carte ... Diffs à la carte	2017-05-05 16:05:14 -04:00
Rob Rix	2491dde0f9	Don’t bind the individual info functions.	2017-05-05 16:00:52 -04:00
Rob Rix	e667657d94	Bind the diff info functions at the top level.	2017-05-05 16:00:10 -04:00
Rob Rix	b6cc1cfac1	🔥 redundant parens.	2017-05-05 15:56:15 -04:00
Rob Rix	628bf46ed3	Don’t bind syntax.	2017-05-05 15:56:04 -04:00
Rob Rix	274095720b	Tighten up diffToTOCSummaries.	2017-05-05 15:54:38 -04:00
Rob Rix	f820af4f5a	Factor the application of toLeafInfos out.	2017-05-05 15:48:54 -04:00
Rob Rix	c3f510f83d	Rename toLeafInfos' to toLeafInfos.	2017-05-05 15:45:51 -04:00
Rob Rix	c6b49cba94	Simplify the termToDiffInfo definition by closing over the source.	2017-05-05 15:44:37 -04:00
Rob Rix	0ab53b002a	Flatten toTOCSummaries.	2017-05-05 15:33:16 -04:00
Rob Rix	948869066c	Even tighter.	2017-05-05 15:28:09 -04:00
Rob Rix	2ac1baef7a	Tighten up the definition of afterOrBefore.	2017-05-05 15:27:50 -04:00
Rob Rix	8cd74f6ea2	afterOrBefore always returns a value.	2017-05-05 15:26:26 -04:00
Rob Rix	286d751b7b	Merge branch 'master' into opt-in-anonymous-nodes	2017-05-05 13:47:07 -04:00