Rob Rix
|
bba39a5524
|
diffBlobPairs takes a decorator to apply.
|
2017-05-10 15:21:35 -04:00 |
|
Rob Rix
|
6a07e1ca29
|
diffBlobPair applies a decorator to the terms.
|
2017-05-10 15:21:00 -04:00 |
|
Rob Rix
|
f3392042e7
|
Derive Generic & NFData instances for Declaration.
|
2017-05-10 15:11:59 -04:00 |
|
Rob Rix
|
4ecd6d4211
|
Export SExpressionFormat from Renderer.
|
2017-05-10 15:10:44 -04:00 |
|
Rob Rix
|
8930f8d1ff
|
Rename the entries binding.
|
2017-05-10 14:29:28 -04:00 |
|
Rob Rix
|
11a1fa9f6f
|
Clarify diffAlgebra substantially.
|
2017-05-10 14:28:10 -04:00 |
|
Rob Rix
|
066b2cb965
|
Define a toc2 function depending on declarations in the annotations.
|
2017-05-10 14:00:58 -04:00 |
|
Rob Rix
|
13d088e6b8
|
Define a function to compute a JSONSummary from an Entry.
|
2017-05-10 13:18:47 -04:00 |
|
Rob Rix
|
284f358d7a
|
Align the field selectors.
|
2017-05-10 12:40:07 -04:00 |
|
Rob Rix
|
f7e52a2934
|
Combine Declaration/DeclarationType.
|
2017-05-10 12:39:12 -04:00 |
|
Rob Rix
|
f20d0464ee
|
🔥 ClassDeclaration, since we never use it.
|
2017-05-10 12:29:02 -04:00 |
|
Rob Rix
|
38010818b0
|
📝 declarationAlgebra.
|
2017-05-10 12:10:46 -04:00 |
|
Rob Rix
|
6228c9ac40
|
Define an algebra to compute declarations for terms.
|
2017-05-10 12:09:43 -04:00 |
|
Rob Rix
|
ea7de8e68b
|
📝 declaration.
|
2017-05-10 12:01:26 -04:00 |
|
Rob Rix
|
9eac08919f
|
Simplify declaration to accept any node with a Declaration attached.
|
2017-05-10 12:00:13 -04:00 |
|
Rob Rix
|
63482dc151
|
Define a function selecting the annotations of nodes representing declarations.
|
2017-05-10 11:58:08 -04:00 |
|
Rob Rix
|
fdcf96cd4c
|
Define a type for declarations.
|
2017-05-10 11:57:28 -04:00 |
|
Rob Rix
|
40d8a7ac5c
|
Export Entry.
|
2017-05-10 11:57:10 -04:00 |
|
Rob Rix
|
ca14a5ef90
|
Reformat the exports list.
|
2017-05-10 11:56:06 -04:00 |
|
Rob Rix
|
6577852d75
|
Generalize tableOfContentsBy over the annotation type.
|
2017-05-10 11:47:19 -04:00 |
|
Rob Rix
|
14f6c8c2c2
|
Revert "Invert the patches using the Crosswalk instance."
This reverts commit 7bd6285475bfd94ee2e3d714e610194b5dda7d03.
|
2017-05-10 11:26:48 -04:00 |
|
Rob Rix
|
b021910df6
|
Represent changes inside/outside of patches with different constructors.
|
2017-05-10 10:34:00 -04:00 |
|
Rob Rix
|
4f0fee6d2c
|
📝 the Entry constructors.
|
2017-05-10 10:27:50 -04:00 |
|
Rob Rix
|
d21c408af3
|
📝 Entry.
|
2017-05-10 10:24:43 -04:00 |
|
Rob Rix
|
bc5b6acf04
|
📝 the arguments to tableOfContentsBy.
|
2017-05-10 10:24:16 -04:00 |
|
Rob Rix
|
a2356def79
|
📝 tableOfContentsBy.
|
2017-05-10 10:21:00 -04:00 |
|
Rob Rix
|
37f8afdf7f
|
Reformat the tableOfContentsBy signature.
|
2017-05-10 10:20:51 -04:00 |
|
Rob Rix
|
e4556e2ae2
|
Export tableOfContentsBy.
|
2017-05-10 10:05:29 -04:00 |
|
Rob Rix
|
fe18e38284
|
Replace tableOfContentsBy’s predicate with a map onto the values of entries.
|
2017-05-10 10:05:12 -04:00 |
|
Rob Rix
|
86f852c8f0
|
Simplify tableOfContentsBy.
|
2017-05-10 10:00:20 -04:00 |
|
Rob Rix
|
0534c3303d
|
Define a function to compute the table of contents for a diff given some relevance predicate.
|
2017-05-10 09:55:05 -04:00 |
|
Rob Rix
|
bf2a12cbf4
|
Invert the patches using the Crosswalk instance.
This acts like a zip rather than like the cartesian product.
|
2017-05-10 08:50:33 -04:00 |
|
Rob Rix
|
50263ae4f1
|
Define a Crosswalk instance for Patch.
|
2017-05-10 08:37:40 -04:00 |
|
Rob Rix
|
617cbf681e
|
Revert "Don’t pattern match against the term functor."
This reverts commit e30138d20144257a49d93b8ec2e2af54f551422a.
|
2017-05-09 13:54:22 -04:00 |
|
Rob Rix
|
55907f4ee0
|
Revert "Pass the term functor to identifierFor."
This reverts commit 59f1f1ba0affe5c782bda7d11b8411026b70d781.
|
2017-05-09 13:53:51 -04:00 |
|
Rob Rix
|
6c9d7d03bf
|
Revert "Unwrap TermFs recursively."
This reverts commit d5738afaebd32eb65c0fc1dc249df8c952bdfd54.
|
2017-05-09 13:53:40 -04:00 |
|
Rob Rix
|
b0aae13648
|
Unwrap TermFs recursively.
|
2017-05-09 13:48:55 -04:00 |
|
Rob Rix
|
1474c63c12
|
Pass the term functor to identifierFor.
|
2017-05-09 13:43:39 -04:00 |
|
Rob Rix
|
0a522a386d
|
Don’t pattern match against the term functor.
|
2017-05-09 13:39:49 -04:00 |
|
Rob Rix
|
aaf9b2b7d4
|
🔥 foldDiff & foldDiffWith.
|
2017-05-09 13:34:03 -04:00 |
|
Rob Rix
|
c166973676
|
Simplify mapAnnotations.
|
2017-05-09 13:33:17 -04:00 |
|
Rob Rix
|
118e94a2a7
|
Merge branch 'master' into generalize-table-of-contents-over-the-syntax-functor
|
2017-05-09 13:21:49 -04:00 |
|
Rob Rix
|
663452a71d
|
Merge pull request #1104 from github/generalize-alignment-over-the-syntax-functor
Generalize alignment over the syntax functor
|
2017-05-09 13:21:30 -04:00 |
|
Rob Rix
|
3c6d311255
|
🔥 a type signature mentioning Syntax.
|
2017-05-09 12:51:26 -04:00 |
|
Rob Rix
|
dde54fed6f
|
Move diffSource into the where clause.
|
2017-05-09 12:44:02 -04:00 |
|
Rob Rix
|
fd3dded127
|
Extract toInfo to the top level (again).
|
2017-05-09 12:40:18 -04:00 |
|
Rob Rix
|
a4a2425ada
|
Use a single code path for diff/term source.
|
2017-05-09 12:09:02 -04:00 |
|
Rob Rix
|
e578772376
|
More straightforward computation of the source for a given diff/term.
|
2017-05-09 12:04:25 -04:00 |
|
Rob Rix
|
58ed93f559
|
Don’t call toTermName for Pure nodes.
|
2017-05-09 11:58:35 -04:00 |
|
Rob Rix
|
a3ac8c308a
|
Don’t call toTermName for Free nodes.
|
2017-05-09 11:56:03 -04:00 |
|