Rob Rix
|
8f7559f81c
|
Define smart constructors for the Command instructions.
|
2017-04-03 12:09:05 -04:00 |
|
Rob Rix
|
2f10158596
|
Placate hlint.
|
2017-04-03 12:05:52 -04:00 |
|
Rob Rix
|
42b0c2503f
|
The ReadFilesAtSHAs command takes a list of alternative object dirs.
|
2017-04-03 12:04:54 -04:00 |
|
Rob Rix
|
20504b9991
|
Extract the evaluators into their own functions.
|
2017-04-03 12:02:40 -04:00 |
|
joshvera
|
b087a35c77
|
Remove openssl from Brewfile
|
2017-04-03 11:56:48 -04:00 |
|
Rob Rix
|
28c57f84b1
|
🔥 term renderers.
|
2017-04-03 11:53:27 -04:00 |
|
Rob Rix
|
614124a070
|
🔥 a redundant comment.
|
2017-04-03 11:29:53 -04:00 |
|
Rob Rix
|
eaddc5965e
|
Tidy up the type signature for identifierFor.
|
2017-04-03 10:40:15 -04:00 |
|
Rob Rix
|
89e1017f9e
|
Define an identifier decorator.
|
2017-04-03 10:40:05 -04:00 |
|
Rob Rix
|
442746ddb8
|
Term decorators operate over complete subterms.
|
2017-04-03 10:39:58 -04:00 |
|
Rob Rix
|
c2fc77faeb
|
Tighten up termSourceTextDecorator.
|
2017-04-03 10:39:28 -04:00 |
|
Rob Rix
|
4a8311892b
|
🔥 some unnecessary foralls.
|
2017-04-03 10:35:00 -04:00 |
|
Rob Rix
|
cb0950ed64
|
Define an Identifier type.
|
2017-04-03 10:10:58 -04:00 |
|
Rob Rix
|
b374a7be9d
|
Define a term renderer command.
|
2017-03-31 23:03:23 -04:00 |
|
Rob Rix
|
87fc2afafa
|
Define term renderers.
|
2017-03-31 23:03:12 -04:00 |
|
Rob Rix
|
2aa1bf934b
|
Define runDiffRenderer' in tacit style.
|
2017-03-31 23:02:56 -04:00 |
|
Rob Rix
|
551e4e37dd
|
Sort the Diff import up.
|
2017-03-31 23:02:41 -04:00 |
|
Rob Rix
|
90c2290183
|
Define an evaluator for TermProjection.
|
2017-03-31 22:39:52 -04:00 |
|
Rob Rix
|
db5d3ba11a
|
Generalize identifierFor.
|
2017-03-31 22:39:37 -04:00 |
|
Rob Rix
|
c3b849105f
|
Define a TermProjection datatype.
|
2017-03-31 22:32:29 -04:00 |
|
Rob Rix
|
1cd2b5456b
|
🔥 redundant parens in sacrifice to hlint.
|
2017-03-31 19:44:04 -04:00 |
|
Rob Rix
|
c183f0ab75
|
Tighten up makeNode.
|
2017-03-31 19:43:53 -04:00 |
|
Rob Rix
|
0a6612d504
|
roll parseNodeForTermF into parseRoot.
|
2017-03-31 19:35:16 -04:00 |
|
Rob Rix
|
3b37f6f2b8
|
Fold buildParseNodes back into parseRoot.
|
2017-03-31 19:29:48 -04:00 |
|
Rob Rix
|
3484b04960
|
Replace parseRoot’s algebra with a constructor for the recursive structure.
|
2017-03-31 19:25:28 -04:00 |
|
Rob Rix
|
c18e332e28
|
ParseNode is a leaf in a list and a rose tree.
|
2017-03-31 19:15:20 -04:00 |
|
Rob Rix
|
9d7ee81064
|
Base, Recursive, and Corecursive instances for Rose.
|
2017-03-31 19:14:42 -04:00 |
|
Rob Rix
|
2477035b9d
|
Define a Rose tree type.
|
2017-03-31 19:13:03 -04:00 |
|
Rob Rix
|
c0578deeca
|
Extract a parseRoot function out of parseIndex and parseTree.
|
2017-03-31 18:02:10 -04:00 |
|
Rob Rix
|
9c83be8b99
|
Application instead of composition.
|
2017-03-31 17:51:24 -04:00 |
|
Rob Rix
|
90a2f97d47
|
Tidy up the buildParseNodes signature with RAlgebra.
|
2017-03-31 17:47:48 -04:00 |
|
Rob Rix
|
2d830b57bb
|
Pull the for out of buildParseNodes.
|
2017-03-31 17:44:50 -04:00 |
|
Rob Rix
|
d172d9440f
|
Use an R-algebra type synonym to tidy up the type signatures.
🎩 @patrickt.
|
2017-03-31 17:17:15 -04:00 |
|
Rob Rix
|
a0995343a3
|
Define a command to render a diff.
|
2017-03-31 17:03:17 -04:00 |
|
Rob Rix
|
70b5505852
|
Define an alternative evaluator producing the output type.
|
2017-03-31 16:54:55 -04:00 |
|
Rob Rix
|
bbe8d05e71
|
Export DiffRenderer and runDiffRenderer.
|
2017-03-31 16:50:13 -04:00 |
|
Rob Rix
|
0c6c57d3b3
|
Evaluate DiffRenderers.
|
2017-03-31 16:49:29 -04:00 |
|
Rob Rix
|
8dcc7703dc
|
Constrain ToCRenderer appropriately.
|
2017-03-31 16:49:09 -04:00 |
|
Rob Rix
|
d612dccb8d
|
🔥 toSummaryKey.
|
2017-03-31 16:48:58 -04:00 |
|
Rob Rix
|
4c24cdf1ad
|
🔥 TOC’s dependency on Renderer.
|
2017-03-31 16:48:06 -04:00 |
|
Rob Rix
|
a9ca469ea7
|
TermRenderer has a fields type parameter.
|
2017-03-31 16:39:51 -04:00 |
|
Rob Rix
|
1cd5b2bfec
|
Constrain the SummaryRenderer.
|
2017-03-31 16:39:40 -04:00 |
|
Rob Rix
|
b30c19e68b
|
🔥 JSON’s dependency on Renderer.
|
2017-03-31 16:37:16 -04:00 |
|
Rob Rix
|
45b34c7444
|
🔥 Summary’s dependency on Renderer.
|
2017-03-31 16:37:08 -04:00 |
|
Rob Rix
|
5ee44d4642
|
🔥 Patch’s dependency on Renderer.
|
2017-03-31 16:20:48 -04:00 |
|
Rob Rix
|
fd2b24b714
|
🔥 Split’s dependency on Renderer.
|
2017-03-31 16:17:20 -04:00 |
|
Rob Rix
|
30ab7102bb
|
Constrain & parametricize SExpressionDiffRenderer & SExpressionTermRenderer appropriately.
|
2017-03-31 16:14:44 -04:00 |
|
Rob Rix
|
92092f6136
|
SExpression does not import Renderer.
|
2017-03-31 16:12:26 -04:00 |
|
Rob Rix
|
1d360e6534
|
Define DiffRenderer and TermRenderer types.
|
2017-03-31 16:08:39 -04:00 |
|
Rob Rix
|
b7a1cf11ea
|
Reformat the Renderer exports list.
|
2017-03-31 15:55:57 -04:00 |
|