github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Code Issues Projects Releases Wiki Activity
12,963 Commits 19 Branches 16 Tags 46 MiB
a8538e2287
Commit Graph

840 Commits

Author SHA1 Message Date
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
Rob Rix
e719230ee5 🔥 a redundant import. 2017-05-26 10:18:48 -04:00
Rob Rix
d556dcb395 🔥 the TreeAndRanges format of sexpr rendering. 2017-05-26 10:15:15 -04:00
Rob Rix
4748cac0ac Drop the SourceBlob parameters from s-expression rendering. 2017-05-26 10:07:22 -04:00
Rob Rix
104687a7ab 🔥 redundant parse tree JSON rendering setup. 2017-05-26 10:02:22 -04:00
Rob Rix
de9751f1fc Generalize JSON rendering to take a Foldable structure of blobs. 2017-05-25 16:55:22 -04:00
Rob Rix
180346be84 Render JSON diffs to a list of Values. 2017-05-25 15:48:09 -04:00
Rob Rix
2a9eb68067 🔥 redundant constraints on JSON renderers. 2017-05-25 11:15:10 -04:00
Rob Rix
64074faa4c Merge branch 'master' into unaligned-json-diff-rendering 2017-05-17 13:21:10 -04:00
Rob Rix
7f72974e27 🔥 the summary renderer. 2017-05-17 12:32:17 -04:00
Rob Rix
18cecf4303 🔥 some more extensions. 2017-05-16 13:28:34 -04:00
Rob Rix
23e04cdf60 Sort the extensions. 2017-05-16 13:27:46 -04:00
Rob Rix
9fffd18260 🔥 a couple of redundant extensions. 2017-05-16 13:27:26 -04:00
Rob Rix
036e472aab 🔥 NumberedLine. 2017-05-16 13:07:55 -04:00
Rob Rix
cbf17cdc22 Clean up the definition of toJSON for Both. 2017-05-16 13:07:21 -04:00
Rob Rix
e6a8ce8bd6 Define toEncoding for Both. 2017-05-16 13:06:32 -04:00
Rob Rix
6b60a572f5 🔥 the ToJSON instance for Join These. 2017-05-16 12:43:12 -04:00
Rob Rix
cb9ec9e65e Render diffs to JSON w/o aligning. 2017-05-16 12:42:50 -04:00
Rob Rix
c4504acaa5 Represent entryPayload as a field selector. 2017-05-11 17:32:43 -04:00
Rob Rix
a788495961 Take the after side of replacements. 
Otherwise we have no way of knowing which side they occurred on.
 2017-05-11 17:08:21 -04:00
Rob Rix
5dd5ce8160 Pull the patch entries function into the where clause. 2017-05-11 17:05:56 -04:00
Rob Rix
a536e5d71e Don’t special-case for the ParseError category. 2017-05-11 17:02:28 -04:00