Rob Rix
|
bf0d8e1b12
|
Move diffTerms into the where clause.
|
2018-05-14 18:39:20 -04:00 |
|
Rob Rix
|
b9cd02d8f1
|
Move runDiff into Semantic.Diff.
|
2018-05-14 18:25:47 -04:00 |
|
Rob Rix
|
938f08998b
|
Rename withParsedBlob to withParsedBlobs.
|
2018-05-14 17:09:35 -04:00 |
|
Rob Rix
|
978abee421
|
🔥 a redundant constraint.
|
2018-05-14 17:07:59 -04:00 |
|
Rob Rix
|
e9f64a3181
|
Bind left to right.
|
2018-05-14 17:05:31 -04:00 |
|
Rob Rix
|
96d1c877a1
|
Rename the import of Semantic.Diff.
|
2018-05-14 17:04:27 -04:00 |
|
Rob Rix
|
89456551b2
|
Separate rendering & serialization for parsing.
|
2018-05-14 17:02:59 -04:00 |
|
Rob Rix
|
adb2b6e8aa
|
Move withSomeTerm into parseBlob.
|
2018-05-14 16:36:02 -04:00 |
|
Rob Rix
|
b72856d3b3
|
Export Vertex & DiffTag.
|
2018-05-14 16:35:01 -04:00 |
|
Rob Rix
|
1fb6359497
|
The serializers already produce Builders.
|
2018-05-14 16:27:48 -04:00 |
|
Rob Rix
|
f047b57ecc
|
Encoding order is significant.
|
2018-05-14 16:18:57 -04:00 |
|
Rob Rix
|
a4f7f44394
|
Fix some copypasta.
|
2018-05-14 16:12:26 -04:00 |
|
Rob Rix
|
03749d008e
|
We can just say diff now.
|
2018-05-14 16:11:31 -04:00 |
|
Rob Rix
|
5bae88724b
|
Move the diffTermPair tests into the interpreter spec.
|
2018-05-14 16:09:39 -04:00 |
|
Rob Rix
|
0c9e8be58d
|
Refactor the JSON stuff to use type-level keys.
|
2018-05-14 15:58:29 -04:00 |
|
Rob Rix
|
842f902b41
|
Rename JSONTerms to JSONTrees.
|
2018-05-14 15:33:40 -04:00 |
|
Rob Rix
|
556c70317b
|
Abstract over ToJSON instances.
|
2018-05-14 15:32:47 -04:00 |
|
Rob Rix
|
f387637e77
|
Serialize to JSON.
|
2018-05-14 15:12:37 -04:00 |
|
Rob Rix
|
274c9ffd84
|
Render ASTs to JSON using an intermediate datatype.
|
2018-05-14 15:10:50 -04:00 |
|
Rob Rix
|
24fc5ab8d8
|
JSON serialization appends a newline.
|
2018-05-14 15:04:06 -04:00 |
|
Rob Rix
|
f549a7bbc1
|
Tidy up the CLI module.
|
2018-05-14 14:58:21 -04:00 |
|
Rob Rix
|
8d190c2930
|
Factor the ts-parse command into its own module.
|
2018-05-14 14:57:19 -04:00 |
|
Rob Rix
|
5601c80408
|
🔥 redundant parens.
|
2018-05-14 14:20:32 -04:00 |
|
Rob Rix
|
b76812ec91
|
Factor the language-specific parts of diffBlobPair out.
|
2018-05-14 14:15:28 -04:00 |
|
Rob Rix
|
c22b9f6beb
|
Factor the parser out of run.
|
2018-05-14 13:55:16 -04:00 |
|
Rob Rix
|
76fa3371ac
|
Move rendering out of run.
|
2018-05-14 13:35:11 -04:00 |
|
Rob Rix
|
cf756afc4a
|
Move diffTermPair into Diffing.Interpreter.
|
2018-05-14 13:30:35 -04:00 |
|
Rob Rix
|
1dadae7d3d
|
Specialize diffTermPair to call diffTerms itself.
|
2018-05-14 13:24:55 -04:00 |
|
Rob Rix
|
fbb7b4ef60
|
Strengthen the constraints on ASTParser.
|
2018-05-14 13:00:36 -04:00 |
|
Rob Rix
|
da76c29afa
|
rename renderJSONTerm' to renderJSONAST.
|
2018-05-14 12:44:52 -04:00 |
|
Rob Rix
|
da24a70cf5
|
Simplify how we render terms to JSON.
|
2018-05-14 12:35:41 -04:00 |
|
Rob Rix
|
28ad7818f5
|
Don’t export renderJSONDiffs.
|
2018-05-14 12:31:32 -04:00 |
|
Rob Rix
|
d8e205d476
|
Don’t export renderJSONTerms.
|
2018-05-14 12:30:42 -04:00 |
|
Rob Rix
|
81be264bc6
|
DRY up the WrapTask stuff.
|
2018-05-14 12:19:58 -04:00 |
|
Rob Rix
|
a6124fa1a8
|
Add options to print branches by ConstructorName or by Show.
|
2018-05-14 11:46:11 -04:00 |
|
Rob Rix
|
a00a27b4e3
|
Pull a namedBranch helper back out of the ToSExpression instances.
|
2018-05-14 11:26:21 -04:00 |
|
Rob Rix
|
d65a184d40
|
Further placation of hlint.
|
2018-05-14 11:21:44 -04:00 |
|
Rob Rix
|
b1ff4aa210
|
Rename printTermF to branch.
|
2018-05-14 11:20:14 -04:00 |
|
Rob Rix
|
7908bd8e49
|
Pass the name to printTermF.
|
2018-05-14 11:13:56 -04:00 |
|
Rob Rix
|
347c18861e
|
🔥 the CustomConstructorName typeclass.
We can define ConstructorNameWithStrategy 'Custom instances instead.
|
2018-05-14 11:07:49 -04:00 |
|
Rob Rix
|
7532511c99
|
Placate hlint.
|
2018-05-14 11:01:58 -04:00 |
|
Rob Rix
|
02e14169e9
|
🔥 Rendering.SExpression.
|
2018-05-14 10:59:47 -04:00 |
|
Rob Rix
|
fca9278881
|
Always produce a "trees" key for JSON terms.
|
2018-05-14 10:56:05 -04:00 |
|
Rob Rix
|
1128537b6a
|
Correct a bunch of fixtures.
|
2018-05-14 10:50:57 -04:00 |
|
Rob Rix
|
609c3076d9
|
Terminate a bunch of output with newlines.
|
2018-05-14 10:39:24 -04:00 |
|
Rob Rix
|
75ab25d443
|
Generalize the type of toOutput.
|
2018-05-14 10:31:40 -04:00 |
|
Rob Rix
|
436063142c
|
Derive Eq & Show instances for Handle.
|
2018-05-14 10:28:58 -04:00 |
|
Rob Rix
|
b979e9757c
|
Run the builders.
|
2018-05-14 10:28:01 -04:00 |
|
Rob Rix
|
fc70382d5b
|
Correct the handle types.
|
2018-05-14 10:27:58 -04:00 |
|
Rob Rix
|
5813258037
|
Add a runBuilder helper.
|
2018-05-14 10:27:45 -04:00 |
|