861 Commits

Author	SHA1	Message	Date
Rob Rix	1edc6a2718	Rename the Range module to Data.Range.	2017-06-24 09:46:28 -04:00
Rob Rix	4097d4bfc0	Rename SourceSpan to Span and SourcePos to Pos.	2017-06-24 09:30:34 -04:00
Rob Rix	1bf7863186	Define recordSummary at the top level.	2017-06-16 13:00:46 -04:00
Rob Rix	fa74d323a9	tableOfContentsBy employs termTableOfContentsBy.	2017-06-16 12:57:23 -04:00
Rob Rix	a9dd289aae	Define a ToC rendering function for parse trees.	2017-06-16 12:26:14 -04:00
Rob Rix	87082918a4	Return term ToCs without a wrapping Entry.	2017-06-16 12:25:20 -04:00
Rob Rix	8fdd1bdf0d	Define a function computing the table of contents for a term.	2017-06-16 12:21:40 -04:00
Rob Rix	e392ac01da	Rename renderToC to renderToCDiff	2017-06-16 12:03:39 -04:00
Rob Rix	e11b56127f	Take the range of headings’ children instead of the whole heading. ... We don’t want to include the ## in a section entry, so we union the ranges of the children (if any).	2017-06-16 10:59:23 -04:00
Rob Rix	15f7f81b54	InUnion -> :<	2017-06-08 13:18:44 -04:00
Rob Rix	cf1bded457	Merge branch 'master' into union-unity	2017-06-08 13:13:59 -04:00
Rob Rix	bb1cad8555	Define an algebra for a markup table of contents with section headings.	2017-06-08 12:42:39 -04:00
Rob Rix	5deba93c3e	Migrate everything over to Data.Union.	2017-06-08 11:42:57 -04:00
Timothy Clem	572c24d36d	Auto derive ToJSON right in Language.hs	2017-06-08 07:01:03 -07:00
Timothy Clem	feb54b14ad	Return language field in parse JSON response	2017-06-07 14:59:19 -07:00
Rob Rix	18db448df2	🔥 ToC’s dependence on Category.	2017-06-05 17:03:00 -04:00
Rob Rix	bda8746224	🔥 dedupe’s dependence on Category.	2017-06-05 17:02:50 -04:00
Rob Rix	7a753baf78	🔥 declaration’s dependence on Category.	2017-06-05 17:02:39 -04:00
Rob Rix	ff7234074d	Define sameCategory in terms of the toCategoryName computation.	2017-06-05 16:59:36 -04:00
Rob Rix	d3edae8671	🔥 entrySummary’s dependency on Category.	2017-06-05 16:57:42 -04:00
Rob Rix	26c59dc7cb	Pick the category name based on the declaration.	2017-06-05 16:56:45 -04:00
Rob Rix	a8538e2287	Drop values missing declarations.	2017-06-05 16:54:32 -04:00
Rob Rix	95047d10a2	Factor the Just construction into recordSummary.	2017-06-05 16:53:20 -04:00
Rob Rix	af841480a7	Pattern match on the declaration directly.	2017-06-05 16:52:14 -04:00
Rob Rix	cff0571b37	Use getDeclaration in entrySummary.	2017-06-05 16:46:32 -04:00
Rob Rix	99197b96d9	JSONSummary holds Text rather than a Category.	2017-06-05 12:45:18 -04:00
Rob Rix	020e4d2066	Indicate errors solely with ErrorDeclaration.	2017-06-05 11:54:20 -04:00
Rob Rix	41e6180e7b	Extract the declaration getter to the top level.	2017-06-05 11:53:49 -04:00
Rob Rix	5fecc68324	🔥 Summarizable.	2017-06-05 11:31:37 -04:00
Rob Rix	200c85f480	Reformat JSONSummary.	2017-06-05 11:28:30 -04:00
Rob Rix	30fd038730	Define the declaration algebras with the RAlgebra type synonym.	2017-06-05 11:04:52 -04:00
Rob Rix	64d19d2a5c	Define a declarationAlgebra over à la carte syntax.	2017-06-05 10:59:22 -04:00
Rob Rix	31921d7dac	Generalize diffTOC and renderToC to arbitrary Traversable functors.	2017-06-05 10:58:15 -04:00
Rob Rix	2086a8a0a2	Avoid rewriting categories.	2017-06-05 10:51:31 -04:00
Rob Rix	727edb5db6	Rename declarationAlgebra to syntaxDeclarationAlgebra	2017-06-05 10:44:09 -04:00
Rob Rix	b862c8186a	Don’t append a space after the last field.	2017-05-31 15:51:00 -04:00
Rob Rix	a9a6c34a6f	Generalize the s-expression renderers to show all fields.	2017-05-31 15:22:55 -04:00
Rob Rix	6c16b15a13	🔥 a redundant extension.	2017-05-31 15:20:56 -04:00
Rob Rix	91ffd5d621	Resume rendering JSON diffs & terms differently.	2017-05-30 11:19:54 -04:00
Rob Rix	1475646281	Derive an Eq instance for Summaries.	2017-05-30 10:25:45 -04:00
Rob Rix	cef554a91b	🔥 SourceText.	2017-05-30 10:11:08 -04:00
Rob Rix	a2be3a69b6	Rename the ToC renderer.	2017-05-29 16:55:49 -04:00
Rob Rix	6d2992250b	Rename the JSON renderer.	2017-05-29 16:55:10 -04:00
Rob Rix	4f35f16883	Rename the patch renderer & move File into its module.	2017-05-29 16:54:13 -04:00
Rob Rix	7610ae675b	Rename the s-expression renderer functions.	2017-05-29 16:51:32 -04:00
Rob Rix	71666d349b	Patch rendering is performed in ByteString.	2017-05-29 15:54:26 -04:00
Rob Rix	f75f5da7a4	🔥 redundant parens.	2017-05-29 14:36:34 -04:00
Rob Rix	8b05610e52	🔥 the redundant SourceSpan constraints on s-expression rendering.	2017-05-29 14:18:10 -04:00
Rob Rix	7081b3f8b8	Define inductive ToJSONFields instances for Unions.	2017-05-29 12:34:16 -04:00
Rob Rix	8c5d0bf2da	Generalize patch rendering over the syntax functor.	2017-05-26 10:42:39 -04:00