227 Commits

Author	SHA1	Message	Date
Rick Winfrey	9d1f4f19ca	Update ErrorSummary to use MaybeLanguage	2017-07-18 17:18:09 -07:00
Rick Winfrey	c7eb0dc482	🔥 language from Summaries; 🔥 language from JSONSummary ... - We only care about the language when there's a parse error, so language is added to ErrorSummary only	2017-07-18 16:49:39 -07:00
Rick Winfrey	565445039e	Add language to Summaries	2017-07-18 15:59:55 -07:00
Rick Winfrey	9d2119ffc8	Add language field to JSONSummary	2017-07-18 15:58:37 -07:00
Rob Rix	7b888cd760	Merge branch 'master' into parse-error-symbols	2017-07-13 10:58:28 -04:00
Rob Rix	1e4eb2d24e	Remove the error parameter from Syntax.Error.	2017-07-12 16:20:24 -04:00
Timothy Clem	7fff9cc64a	Merge branch 'master' into ruby-assignment	2017-07-12 10:49:19 -07:00
Timothy Clem	c314330e14	Handle === style markdown headings	2017-07-11 09:37:24 -07:00
Timothy Clem	bd684d0ed6	Merge remote-tracking branch 'origin/master' into ruby-assignment	2017-07-10 14:09:00 -07:00
Timothy Clem	f715e6fdf1	Show 'Heading N' instead of 'Section' for md toc summaries	2017-07-10 11:15:03 -07:00
Timothy Clem	60c932acd3	Singleton methods	2017-07-07 08:46:06 -07:00
Rob Rix	2cc9f28e37	Rename Source.null to nullSource.	2017-06-24 10:28:39 -04:00
Rob Rix	0d1967edb3	Rename the blob fields.	2017-06-24 10:21:54 -04:00
Rob Rix	bed2c473b2	Rename SourceBlob to Blob.	2017-06-24 10:15:31 -04:00
Rob Rix	fc51c92425	Move SourceBlob into Data.Blob.	2017-06-24 10:09:50 -04:00
Rob Rix	fc09d74b73	Rename the Source module to Data.Source.	2017-06-24 09:59:41 -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
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	1475646281	Derive an Eq instance for Summaries.	2017-05-30 10:25:45 -04:00
Rob Rix	a2be3a69b6	Rename the ToC renderer.	2017-05-29 16:55:49 -04:00