Rob Rix
|
0a44a569ad
|
Use GTraversable1 for TypeScript.
|
2020-01-13 14:23:18 -05:00 |
|
Rob Rix
|
4f0a2d708b
|
Use GTraversable1 for TSX.
|
2020-01-13 14:22:33 -05:00 |
|
Rob Rix
|
d606702573
|
Use GTraversable1 for Java.
|
2020-01-13 14:21:51 -05:00 |
|
Rob Rix
|
90b99e200b
|
Use GTraversable1 for Go.
|
2020-01-13 14:21:05 -05:00 |
|
Rob Rix
|
5a57f1b7b4
|
Define a for1 function by analogy with for.
|
2020-01-13 14:11:56 -05:00 |
|
Rob Rix
|
e7dff81e1d
|
Demonstrate how to provide the constraint type.
|
2020-01-13 14:10:04 -05:00 |
|
Patrick Thomson
|
2fbd4be90c
|
Add semantic-scope-graph to ghci-flags
|
2020-01-13 14:06:49 -05:00 |
|
Patrick Thomson
|
c92a6f9a72
|
Make declare return the current scopegraph state.
|
2020-01-13 14:06:23 -05:00 |
|
Patrick Thomson
|
f1bdfcd86e
|
Move ToScopeGraph into its own module to break a cycle.
|
2020-01-13 14:05:31 -05:00 |
|
Rob Rix
|
cd7bfa1217
|
📝 the constraint a bit further.
|
2020-01-13 13:57:48 -05:00 |
|
Rob Rix
|
e4aae306ba
|
📝 the constraint.
|
2020-01-13 13:56:42 -05:00 |
|
Rob Rix
|
a6bb06fb28
|
📝 non-recursiveness.
|
2020-01-13 13:55:25 -05:00 |
|
Rob Rix
|
7521a81021
|
A note on expressiveness.
|
2020-01-13 13:50:57 -05:00 |
|
Timothy Clem
|
aee1dcfe34
|
Fold calls into parent syntax to get spans right
|
2020-01-13 10:49:25 -08:00 |
|
Rob Rix
|
666c09b7e2
|
📝 Traversable1.
|
2020-01-13 13:49:11 -05:00 |
|
Rob Rix
|
de95f25edf
|
Add a FIXME about deriving Traversable1 instances for our syntax types.
|
2020-01-13 13:47:14 -05:00 |
|
Rob Rix
|
73d69bdd15
|
Add some FIXMEs about Traversable1 & GTraversable1.
|
2020-01-13 13:46:36 -05:00 |
|
Rob Rix
|
dbe5eeec9f
|
Define Python tagging using GTraversable1.
|
2020-01-13 13:45:57 -05:00 |
|
Rob Rix
|
37ead274fb
|
📝 Generics.
|
2020-01-13 13:45:24 -05:00 |
|
Rob Rix
|
281d62ba3d
|
Define a Traversable1 instance for Generics t using the GTraversable1 instance for t.
|
2020-01-13 13:42:24 -05:00 |
|
Rob Rix
|
0a869110b6
|
Derive some instances for Generics.
|
2020-01-13 13:39:24 -05:00 |
|
Rob Rix
|
a23ea55bb8
|
Define a Generics newtype.
|
2020-01-13 13:39:06 -05:00 |
|
Rob Rix
|
a8f666ad5b
|
Define a foldMap1 convenience using traverse1.
|
2020-01-13 13:35:18 -05:00 |
|
Rob Rix
|
0c6e09849b
|
📝 traverse1.
|
2020-01-13 13:31:36 -05:00 |
|
Rob Rix
|
222c5642be
|
Give a default signature for traverse1.
|
2020-01-13 13:30:26 -05:00 |
|
Rob Rix
|
32dd435843
|
Reformat.
|
2020-01-13 13:29:21 -05:00 |
|
Rob Rix
|
bf3c17fada
|
Don’t align -#}s in LANGUAGE pragmas.
|
2020-01-13 13:29:17 -05:00 |
|
Rob Rix
|
45ec40f1c3
|
Reformat.
|
2020-01-13 13:28:44 -05:00 |
|
Rob Rix
|
03c017e590
|
Define a Traversable1 class.
|
2020-01-13 13:28:29 -05:00 |
|
Rob Rix
|
34114ef52d
|
📝 gtraverse1.
|
2020-01-13 13:27:03 -05:00 |
|
Rob Rix
|
04c3712f36
|
Define a GTraversable1 instance for Rec1.
|
2020-01-13 13:26:11 -05:00 |
|
Rob Rix
|
87db10b9b3
|
Define a GTraversable1 instance for U1.
|
2020-01-13 13:25:21 -05:00 |
|
Rob Rix
|
925158e717
|
Define a GTraversable1 instance for :.:.
|
2020-01-13 13:24:11 -05:00 |
|
Rob Rix
|
52f0c8b9bd
|
Define a GTraversable1 instance for Par1.
|
2020-01-13 13:23:21 -05:00 |
|
Rob Rix
|
22adcee7d3
|
Pass a parameter for mapping over annotation positions.
|
2020-01-13 13:21:28 -05:00 |
|
Rob Rix
|
e8420faa01
|
Define a GTraversable1 instance for K1.
|
2020-01-13 13:13:14 -05:00 |
|
Rob Rix
|
c574d56e23
|
Define a GTraversable1 instance for :+:.
|
2020-01-13 13:07:43 -05:00 |
|
Rob Rix
|
eecace9024
|
Define a GTraversable1 instance for :*:.
|
2020-01-13 13:07:05 -05:00 |
|
Rob Rix
|
35f7094dab
|
Define a GTraversable1 instance for M1.
|
2020-01-13 13:05:55 -05:00 |
|
Rob Rix
|
e0f6462e78
|
Add a gtraverse1 method to GTraversable1.
|
2020-01-13 13:04:25 -05:00 |
|
Rob Rix
|
c6d658130d
|
Stub in a class for traversal of higher-order subterm positions.
|
2020-01-13 12:59:59 -05:00 |
|
Patrick Thomson
|
1f93cc02ff
|
okay, now we just need to define Assignment
|
2020-01-13 12:43:57 -05:00 |
|
Patrick Thomson
|
92aa4bbd0b
|
even more instances
|
2020-01-13 12:36:42 -05:00 |
|
Patrick Thomson
|
cc37a0c460
|
even more instances, and build onChildren helper
|
2020-01-13 12:26:02 -05:00 |
|
Patrick Thomson
|
79def2cb04
|
even more instances
|
2020-01-13 11:37:56 -05:00 |
|
Patrick Thomson
|
f7c27f8857
|
start defining some instances
|
2020-01-13 10:48:49 -05:00 |
|
Ayman Nadeem
|
8befed9940
|
🔥comments
|
2020-01-13 10:46:59 -05:00 |
|
Ayman Nadeem
|
32123145a0
|
remove ghc-options
|
2020-01-13 10:46:32 -05:00 |
|
Patrick Thomson
|
24053a1477
|
Sample definition for module stuff. Now to write some Generics code.
|
2020-01-13 10:33:29 -05:00 |
|
Patrick Thomson
|
bb01a368fb
|
This reverts commit e7df755bb6 .
|
2020-01-13 10:08:07 -05:00 |
|