Rob Rix
|
bd010a4ca4
|
Merge branch 'join-these-blobs-with-this-one-weird-trick' into abstract-a-la-carte-terms
|
2019-10-18 18:00:36 -04:00 |
|
Rob Rix
|
54c6948e44
|
Queswish!
Co-Authored-By: Patrick Thomson <patrickt@github.com>
|
2019-10-18 17:38:02 -04:00 |
|
Rob Rix
|
d8b730c34a
|
Port everything over to Ruby.Term.
|
2019-10-18 17:33:26 -04:00 |
|
Rob Rix
|
179e610344
|
Port everything over to Markdown.Term.
|
2019-10-18 17:29:25 -04:00 |
|
Rob Rix
|
9d9c9bea5d
|
Port everything over to Go.Term.
|
2019-10-18 17:24:04 -04:00 |
|
Rob Rix
|
3f48a9da5a
|
Port everything over to Python.Term.
|
2019-10-18 17:19:52 -04:00 |
|
Rob Rix
|
ff30229d53
|
Rename the imports of Language.Python.
|
2019-10-18 17:16:02 -04:00 |
|
Rob Rix
|
af85945d03
|
Port everything over to PHP.Term.
|
2019-10-18 17:12:02 -04:00 |
|
Rob Rix
|
05e372d772
|
Port everything over to TypeScript.Term.
|
2019-10-18 17:01:20 -04:00 |
|
Rob Rix
|
293c2f77df
|
Derive an AcessControls instance for TypeScript.Term.
|
2019-10-18 16:57:52 -04:00 |
|
Rob Rix
|
dbc12c4ee6
|
Bring in a TypeScript term type.
|
2019-10-18 16:57:37 -04:00 |
|
Rob Rix
|
e29be5db78
|
Sort the import of Data.Diff up.
|
2019-10-18 16:55:27 -04:00 |
|
Rob Rix
|
db546c7d2e
|
Return TSX.Term from the top-level assignment.
|
2019-10-18 16:47:13 -04:00 |
|
Rob Rix
|
14ddc257db
|
Derive a VertexDeclaration instance for TSX.Term.
|
2019-10-18 16:43:50 -04:00 |
|
Rob Rix
|
4f53dcf310
|
Derive Eq, Ord, & Show instances for TSX.Term.
|
2019-10-18 16:42:40 -04:00 |
|
Rob Rix
|
49ed23d6fc
|
Define a HasSpan instance for TSX.Term.
|
2019-10-18 16:42:08 -04:00 |
|
Rob Rix
|
df815545eb
|
Derive a FreeVariables instances for TSX.Term.
|
2019-10-18 16:39:45 -04:00 |
|
Rob Rix
|
9cb6c69a1b
|
Define a Recursive instance for TSX.Term.
|
2019-10-18 16:39:01 -04:00 |
|
Rob Rix
|
78e332d5ba
|
Derive an AccessControls instance for TSX.Term.
|
2019-10-18 16:35:08 -04:00 |
|
Rob Rix
|
cbb366235d
|
Derive a Declarations instance for TSX.Term.
|
2019-10-18 16:34:56 -04:00 |
|
Rob Rix
|
bb2a325f4a
|
Derive .Diffs instances for TSX.Term.
|
2019-10-18 16:34:44 -04:00 |
|
Rob Rix
|
11905c6086
|
Derive a ToTags instance for TSX.Term.
|
2019-10-18 16:34:35 -04:00 |
|
Rob Rix
|
cacb3f0072
|
Derive all of the .Terms instances for TSX.
|
2019-10-18 16:34:24 -04:00 |
|
Rob Rix
|
15615fc4de
|
Define a DiffTerms instance for TSX.
|
2019-10-18 16:28:37 -04:00 |
|
Rob Rix
|
8a9a209c01
|
Define a Diff datatype specialized to TSX.
|
2019-10-18 16:27:24 -04:00 |
|
Rob Rix
|
ae68b69705
|
Derive a HasErrors instance.
|
2019-10-18 16:15:33 -04:00 |
|
Rob Rix
|
0ca1ea02aa
|
Derive some instances for Term.
|
2019-10-18 16:09:00 -04:00 |
|
Rob Rix
|
da2bb2ffb4
|
Define a Term type for TSX.
|
2019-10-18 16:08:31 -04:00 |
|
Rob Rix
|
00411293a5
|
Use the qualified term type.
|
2019-10-18 16:05:38 -04:00 |
|
Rob Rix
|
148b94c368
|
Extract TSX.Syntax into a new module.
|
2019-10-18 16:04:04 -04:00 |
|
Rob Rix
|
b3516fda6a
|
Generalize AssignmentParser over the term type.
|
2019-10-18 16:01:04 -04:00 |
|
Rob Rix
|
f64a028254
|
Use HasErrors in Measured assignment.
|
2019-10-18 16:00:04 -04:00 |
|
Rob Rix
|
fa34b0bab0
|
Express HasErrors at * -> *.
|
2019-10-18 15:59:52 -04:00 |
|
Rob Rix
|
70bbffc827
|
Replace errors with getErrors.
|
2019-10-18 15:57:58 -04:00 |
|
Rob Rix
|
aa17940852
|
Define a typeclass abstracting getting errors out of a term.
|
2019-10-18 15:57:17 -04:00 |
|
Rob Rix
|
85356d9050
|
These constraints are implied.
|
2019-10-18 15:50:07 -04:00 |
|
Rob Rix
|
d1b15cdb4f
|
Define all of the constraints over the term types.
|
2019-10-18 15:47:46 -04:00 |
|
Rob Rix
|
5b2745a67f
|
Define TSX.Term at * -> *.
|
2019-10-18 15:45:41 -04:00 |
|
Rob Rix
|
a3f8ca31bd
|
Define TypeScript.Term at * -> *.
|
2019-10-18 15:43:49 -04:00 |
|
Rob Rix
|
c7122040cb
|
Define PHP.Term at * -> *.
|
2019-10-18 15:39:23 -04:00 |
|
Rob Rix
|
7efbbcb424
|
Define Python.Term at * -> *.
|
2019-10-18 15:38:04 -04:00 |
|
Rob Rix
|
98c6e06d10
|
Define Go.Term at * -> *.
|
2019-10-18 15:36:31 -04:00 |
|
Rob Rix
|
51b64388ea
|
Define Markdown.Term at * -> *.
|
2019-10-18 15:34:42 -04:00 |
|
Rob Rix
|
a960957a3b
|
Define Ruby.Term at * -> *.
|
2019-10-18 15:33:14 -04:00 |
|
Rob Rix
|
4429055323
|
🔥 SomeAnalysisParser.
|
2019-10-18 15:18:14 -04:00 |
|
Rob Rix
|
9e3e383493
|
Use SomeParser instead of SomeAnalysisParser.
|
2019-10-18 15:16:17 -04:00 |
|
Rob Rix
|
04b922c014
|
Factor the language reification out of SomeAnalysisParser.
|
2019-10-18 15:13:37 -04:00 |
|
Rob Rix
|
a350eda24d
|
Don’t bind a variable for the parse function.
|
2019-10-18 15:05:42 -04:00 |
|
Rob Rix
|
e0115a8579
|
🔥 a kind signature.
|
2019-10-18 15:02:19 -04:00 |
|
Rob Rix
|
3dcc0de5b2
|
Facror the common part of runGraph out.
|
2019-10-18 15:00:41 -04:00 |
|