Rob Rix
bc13823887
Don’t pass the BlobPair to the render function.
2019-10-01 21:43:00 -04:00
Rob Rix
64c2287874
Move the BlobPair to the final position.
2019-10-01 21:35:45 -04:00
Rob Rix
05103d8324
Reformat the doDiff signature.
2019-10-01 21:33:43 -04:00
Rob Rix
6050f10ecf
🔥 redundant parens.
2019-10-01 21:29:42 -04:00
Rob Rix
fdb6d96ab5
Use a class to constrain diffable terms.
2019-10-01 21:23:44 -04:00
Rob Rix
4843d44d7c
Merge branch 'master' into abstract-actions-over-terms
2019-10-01 21:18:10 -04:00
Patrick Thomson
cf327f6529
Merge branch 'master' into document-env-vars
2019-10-01 19:21:39 -04:00
Patrick Thomson
2336e0591d
Merge branch 'master' into remove-project-readfile
2019-10-01 18:13:07 -04:00
Patrick Thomson
4f350ee0c1
Merge pull request #295 from github/parse-effect
...
Parse effect
2019-10-01 18:11:29 -04:00
Patrick Thomson
99683992cf
Remove Data.Project.readFile and 🔥 error handling in Graph.
...
Because `Data.Project.readFile` could throw an `FileNotFound` error
when looking up `Blob` values in a project for a given `File`, the
code that kicks off graphing required an error constraint. Turns out
we don't even need it: if we have a project, we can access its blobs
directly, since `Blob`s contain `File`s. This allows us to obviate
`Project.readFile` in the first place, which allows us to entirely
sidestep the need to handle errors.
2019-10-01 18:05:47 -04:00
Rob Rix
81847425fa
Rename JSONTerm to JSONTreeTerm.
2019-10-01 17:20:37 -04:00
Rob Rix
2034359841
Resume grouping the constraints up.
2019-10-01 17:15:27 -04:00
Rob Rix
f644a452b2
Export less.
2019-10-01 17:04:51 -04:00
Rob Rix
f9e05fc234
🔥 a redundant language extension.
2019-10-01 16:11:19 -04:00
Rob Rix
7b256bffef
Define a ShowTerm instance for precise Python terms.
2019-10-01 16:03:41 -04:00
Rob Rix
235b2e868b
Abstract doParse over the constraints.
2019-10-01 16:03:26 -04:00
Rob Rix
aab52d5e36
🔥 redundant parens.
2019-10-01 15:43:36 -04:00
Rob Rix
3c37459f31
Spacing.
2019-10-01 15:41:50 -04:00
Rob Rix
50105fd525
Express all the necessary constraints over terms, not syntax.
2019-10-01 15:39:50 -04:00
Rob Rix
51dbc97226
Abstract rendering terms to JSON graphs.
2019-10-01 15:36:36 -04:00
Rob Rix
9d4b7cec29
Use the abstract interface for timing.
2019-10-01 15:33:58 -04:00
Rob Rix
bf26428ac0
Abstract JSON term serialization.
2019-10-01 15:33:15 -04:00
Rob Rix
897304ce03
Use the abstract definitions directly.
2019-10-01 15:27:45 -04:00
Rob Rix
c6cfa944d4
Use the abstracted definitions.
2019-10-01 15:25:01 -04:00
Rob Rix
97400fba94
Define a class abstracting DOT graphing.
2019-10-01 15:24:21 -04:00
Rob Rix
0cc79bb866
Define a class abstract s-expression serialization.
2019-10-01 15:23:13 -04:00
Rob Rix
2f77374b9b
Define a class abstracting term showing.
2019-10-01 15:21:58 -04:00
Rob Rix
12a07c252b
Factor the parse out of dotGraphTerm.
2019-10-01 15:15:53 -04:00
Rob Rix
8c6bf14d8f
Factor the parse out of showTerm.
2019-10-01 15:13:34 -04:00
Rob Rix
41a61e37ad
Specialize sexpTerm to Term.
2019-10-01 15:11:49 -04:00
Rob Rix
197ffdd404
Refactor sexpTerm to eliminate the parse.
2019-10-01 15:09:22 -04:00
Rob Rix
e727b3c81b
Eliminate the terms directly in doParse.
2019-10-01 15:05:19 -04:00
Rob Rix
19ac4d2c9a
Align the blobs.
2019-10-01 15:02:09 -04:00
Rob Rix
6f5e2ff8e4
Eliminate the term directly in doParse.
2019-10-01 15:00:33 -04:00
Rob Rix
a060a15d43
Align all the blobs.
2019-10-01 14:56:36 -04:00
Rob Rix
710173303e
Reformat the doParse signature.
2019-10-01 14:54:49 -04:00
Patrick Thomson
78cb4de477
Merge branch 'master' into document-env-vars
2019-10-01 14:54:16 -04:00
Patrick Thomson
aec521155f
Merge branch 'master' into parse-effect
2019-10-01 14:52:50 -04:00
Rob Rix
5e1b21c773
Export ToSExpression.
2019-10-01 13:00:38 -04:00
Rob Rix
13e3788422
Reformat the signature for doParse.
2019-10-01 12:53:47 -04:00
Rob Rix
02f46c650d
Define TermConstraints as a class.
2019-10-01 12:52:42 -04:00
Rob Rix
7aaaa6433c
🔥 redundant parens.
2019-10-01 12:47:40 -04:00
Rob Rix
cca474b0e9
🔥 the Declarations1 obligation.
2019-10-01 12:46:43 -04:00
Rob Rix
5c6df16782
Move SomeTerm/withSomeTerm into Semantic.Api.Terms.
2019-10-01 12:45:01 -04:00
Rob Rix
a97e42a19e
Simplify the Traversable obligation down to just Foldable/Functor.
2019-10-01 12:42:56 -04:00
Rob Rix
5de3d14bcc
🔥 the HasTextElement & Taggable obligations from TermConstraints.
2019-10-01 12:39:55 -04:00
Rob Rix
05e0086c82
Factor out the term construction.
2019-10-01 12:38:59 -04:00
Rob Rix
598dce7fc8
🔥 ParseEffects.
2019-10-01 12:35:06 -04:00
Rob Rix
0f8da488b0
Don’t specialize parseSymbols for the PerLanguageModes.
2019-10-01 12:33:26 -04:00
Rob Rix
152e94a844
doParse handles the PerLanguageModes.
2019-10-01 12:32:13 -04:00