Rob Rix
|
859f94b1ab
|
Merge branch 'master' into open-toc-rendering
|
2017-10-06 12:37:08 -04:00 |
|
Rob Rix
|
3a03a279b8
|
Merge pull request #1385 from github/abstract-high-level-flow-over-syntax-types
Abstract high level flow over syntax types
|
2017-10-06 12:36:26 -04:00 |
|
Rob Rix
|
7f63b78941
|
📝 the arguments & return type of SomeParser.
|
2017-10-06 12:22:14 -04:00 |
|
Rob Rix
|
b9360fbdc8
|
Reformat the someParser signature.
|
2017-10-06 12:20:43 -04:00 |
|
Rob Rix
|
5e163648da
|
Link to AdvancedOverlap.
|
2017-10-06 11:30:06 -04:00 |
|
Rob Rix
|
c474b15ee2
|
Note that you don’t want new instances of HasDeclarationWithStrategy.
|
2017-10-06 11:29:10 -04:00 |
|
Rob Rix
|
88477db7fa
|
📝 the HasDeclarationWithStrategy instances.
|
2017-10-06 11:28:07 -04:00 |
|
Rob Rix
|
f7cec59848
|
📝 DeclarationStrategy.
|
2017-10-06 11:26:30 -04:00 |
|
Rob Rix
|
5b0479e724
|
Rename the part type parameter to syntax.
|
2017-10-06 11:23:07 -04:00 |
|
Rob Rix
|
63afadfb8e
|
📝 HasDeclarationWithStrategy.
|
2017-10-06 11:22:36 -04:00 |
|
Rob Rix
|
28dc2ce1dd
|
📝 the Union instance.
|
2017-10-06 11:21:58 -04:00 |
|
Rob Rix
|
1b8836b0ec
|
📝 the Declaration.Method instance.
|
2017-10-06 11:20:57 -04:00 |
|
Rob Rix
|
e3e120ad74
|
📝 the Declaration.Function instance.
|
2017-10-06 11:19:34 -04:00 |
|
Rob Rix
|
552e3c0a5d
|
Clarify the Markup.Section instance docs.
|
2017-10-06 11:18:27 -04:00 |
|
Rob Rix
|
c8a3116cf6
|
📝 the Syntax.Error instance.
|
2017-10-06 11:18:02 -04:00 |
|
Rob Rix
|
ef8a734c17
|
📝 the Markup.Section instance.
|
2017-10-06 11:17:40 -04:00 |
|
Rob Rix
|
a746547fd2
|
📝 customToDeclaration.
|
2017-10-06 11:17:01 -04:00 |
|
Rob Rix
|
0aa58d68a7
|
📝 CustomHasDeclaration.
|
2017-10-06 11:16:54 -04:00 |
|
Rob Rix
|
2027e94622
|
📝 the HasDeclaration instance.
|
2017-10-06 11:15:22 -04:00 |
|
Rob Rix
|
926f9a256d
|
📝 toDeclaration.
|
2017-10-06 11:09:47 -04:00 |
|
Rob Rix
|
570c5c3327
|
📝 HasDeclaration.
|
2017-10-06 11:09:42 -04:00 |
|
Rob Rix
|
4ab27365da
|
Move the HasDeclaration instance up next to the typeclass.
|
2017-10-06 11:07:20 -04:00 |
|
Rob Rix
|
1ce6693dc2
|
📝 declarationAlgebra.
|
2017-10-06 11:06:42 -04:00 |
|
Rob Rix
|
b305182f50
|
Sort the declarationAlgebra higher.
|
2017-10-06 11:02:42 -04:00 |
|
Rob Rix
|
981eda3b61
|
📝 Strategy.
|
2017-10-06 11:01:36 -04:00 |
|
Rob Rix
|
1501f3506c
|
Fix a fixture.
|
2017-10-06 10:55:46 -04:00 |
|
Rob Rix
|
59c2a64770
|
Remove the inner bind in the lambda rule.
|
2017-10-06 10:50:37 -04:00 |
|
Rob Rix
|
faf3215124
|
Remove the outer bind in the lambda rule.
|
2017-10-06 10:49:25 -04:00 |
|
Rob Rix
|
f22ed8fb9d
|
Use emptyTerm when constructing lambdas.
|
2017-10-06 10:48:37 -04:00 |
|
Rob Rix
|
f86fcf32cd
|
Abbreviate the location of empty terms.
|
2017-10-06 10:48:22 -04:00 |
|
Rob Rix
|
5ac488f164
|
Revert "Use the declarationAlgebra in the tests."
This reverts commit d42f9b01b42f1d0d4b769f89642b3ed7e47a5c34.
|
2017-10-06 10:30:20 -04:00 |
|
Rob Rix
|
5510e5b0fd
|
Revert "Add Syntax to the DeclarationStrategy predicate."
This reverts commit dc841faff44ea966969563f729ee23edc03e2db8.
|
2017-10-06 10:30:17 -04:00 |
|
Rob Rix
|
ba850e9853
|
Combine the code paths for ToC rendering.
|
2017-10-06 10:29:38 -04:00 |
|
Rob Rix
|
3830324818
|
🔥 the first parameter to HasDeclaration.
|
2017-10-06 10:25:59 -04:00 |
|
Rob Rix
|
7ae35a79c2
|
Revert "Define a CustomHasDeclaration instance for Syntax."
This reverts commit 91510ce6e8c93f1728c138905b26bb93630f8864.
|
2017-10-06 10:24:50 -04:00 |
|
Rob Rix
|
e9c0377d03
|
Revert "Decorate Syntax with declarationAlgebra."
This reverts commit 4a4f799bdb63824d6e403ff292ac9fda8059876b.
|
2017-10-06 10:24:06 -04:00 |
|
Rob Rix
|
913d0f6979
|
Revert "🔥 syntaxDeclarationAlgebra."
This reverts commit 042d42db1a9df6876ec061de35517f3e823f16e3.
|
2017-10-06 10:23:56 -04:00 |
|
Rob Rix
|
a644e46efc
|
Test for emptiness without a membership constraint.
|
2017-10-06 10:17:17 -04:00 |
|
Rob Rix
|
53e6f80d93
|
Add Syntax to the DeclarationStrategy predicate.
|
2017-10-06 10:14:05 -04:00 |
|
Rob Rix
|
ec3dff1c66
|
Use the declarationAlgebra in the tests.
|
2017-10-06 09:34:15 -04:00 |
|
Rob Rix
|
58e4a5fcf1
|
Spacing.
|
2017-10-05 20:54:29 -04:00 |
|
Rob Rix
|
37845baa08
|
Reorder the re-exports.
|
2017-10-05 20:38:45 -04:00 |
|
Rob Rix
|
5b55bb37a9
|
🔥 syntaxDeclarationAlgebra.
|
2017-10-05 20:38:35 -04:00 |
|
Rob Rix
|
9bf11258a5
|
Decorate Syntax with declarationAlgebra.
|
2017-10-05 20:38:30 -04:00 |
|
Rob Rix
|
e6ad277ef7
|
Define a CustomHasDeclaration instance for Syntax.
|
2017-10-05 20:37:20 -04:00 |
|
Rob Rix
|
25ca026c83
|
🔥 markupSectionAlgebra.
|
2017-10-05 20:36:33 -04:00 |
|
Rob Rix
|
f09621444f
|
Decorate Markdown declarations using declarationAlgebra.
|
2017-10-05 20:36:14 -04:00 |
|
Rob Rix
|
30fb1bb324
|
Silence a warning in Semantic.Util.
|
2017-10-05 20:35:18 -04:00 |
|
Rob Rix
|
072f3e1e0a
|
Replace declarationAlgebra with toDeclarationAlgebra.
|
2017-10-05 20:32:57 -04:00 |
|
Rob Rix
|
6082c5090e
|
Export HasDeclaration.
|
2017-10-05 20:30:33 -04:00 |
|