Rick Winfrey
|
dbaa0bde92
|
Merge branch 'master' into assignment-macro
|
2017-09-12 17:39:36 -07:00 |
|
Rob Rix
|
7d872a6a88
|
Merge pull request #1332 from github/relocate-json-fields
Relocate ToJSONFields
|
2017-09-12 20:09:47 -04:00 |
|
Rob Rix
|
6b13916136
|
Merge branch 'master' into relocate-json-fields
|
2017-09-12 19:57:43 -04:00 |
|
Rob Rix
|
7d31c314c0
|
Merge pull request #1331 from github/specialized-terms-and-diffs
Specialized Terms and Diffs
|
2017-09-12 19:57:14 -04:00 |
|
Rick Winfrey
|
9d2469a2bf
|
Add pretty-show / colourised pp function
|
2017-09-12 15:40:44 -07:00 |
|
Rick Winfrey
|
a6cbdab2e9
|
🔥 prettyprint
|
2017-09-12 15:40:24 -07:00 |
|
Rick Winfrey
|
3f7755b9e8
|
Add .ghci-template file
|
2017-09-12 13:14:35 -07:00 |
|
Rick Winfrey
|
026efbc1ec
|
Add pretty-show and hscolour
|
2017-09-12 10:26:26 -07:00 |
|
Rob Rix
|
f40fdda887
|
Merge branch 'specialized-terms-and-diffs' into relocate-json-fields
|
2017-09-11 16:43:47 -04:00 |
|
Rob Rix
|
96323a9095
|
Use termIn widely.
|
2017-09-11 16:43:23 -04:00 |
|
Rob Rix
|
6d61c1b683
|
Merge branch 'specialized-terms-and-diffs' into relocate-json-fields
|
2017-09-11 16:12:25 -04:00 |
|
Rob Rix
|
2c83e7e283
|
Merge branch 'master' into specialized-terms-and-diffs
|
2017-09-11 16:01:20 -04:00 |
|
Rob Rix
|
1cd6dd2899
|
Update the tests.
|
2017-09-11 15:48:58 -04:00 |
|
Rob Rix
|
5df09cd261
|
📝 termIn.
|
2017-09-11 15:43:52 -04:00 |
|
Rob Rix
|
56e9982960
|
Define a Term smart constructor.
|
2017-09-11 15:43:31 -04:00 |
|
Rob Rix
|
3cc8440fae
|
Rename the TermF constructor to In.
|
2017-09-11 15:36:23 -04:00 |
|
Rob Rix
|
c29a9671f0
|
Rename termSyntax to termOut.
|
2017-09-11 15:24:09 -04:00 |
|
Rob Rix
|
e555eb8676
|
Merge pull request #1329 from github/explicit-choice
Explicit choice
|
2017-09-11 17:00:30 +01:00 |
|
Rob Rix
|
d0a2687edc
|
🔥 all the LANGUAGE pragmas in Renderer.JSON.
|
2017-09-09 17:46:35 +01:00 |
|
Rob Rix
|
7404b41717
|
Renderer.JSON no longer contains orphan instances.
|
2017-09-09 17:46:08 +01:00 |
|
Rob Rix
|
c83746e74e
|
Move the Output instance for [Value] to Data.Output.
|
2017-09-09 17:45:49 +01:00 |
|
Rob Rix
|
f6f1b21d94
|
Move the Output instance for maps to Data.Output.
|
2017-09-09 17:45:01 +01:00 |
|
Rob Rix
|
5be89f11ee
|
🔥 Renderer.JSON’s export of ToJSONFields.
|
2017-09-09 17:41:24 +01:00 |
|
Rob Rix
|
44aab0edcf
|
Renderer.JSON is decidable.
|
2017-09-09 17:39:46 +01:00 |
|
Rob Rix
|
c6a111b71d
|
🔥 the ToJSON instance for Both.
|
2017-09-09 17:39:08 +01:00 |
|
Rob Rix
|
f30a5d0754
|
Move the ToJSON/ToJSONFields instances for Diff into Diff.
|
2017-09-09 17:37:26 +01:00 |
|
Rob Rix
|
c449ad481e
|
Move the ToJSON/ToJSONFields instances for Term into Term.
|
2017-09-09 17:36:35 +01:00 |
|
Rob Rix
|
8ce60eecb8
|
Lift the Term/Diff ToJSONFields instances to * -> *.
|
2017-09-09 17:35:45 +01:00 |
|
Rob Rix
|
3231d85347
|
Define a lifting of ToJSONFields to * -> *.
|
2017-09-09 17:31:45 +01:00 |
|
Rob Rix
|
aa78f3eaeb
|
Move the ToJSONFields instance for Category into Category.
|
2017-09-09 17:30:34 +01:00 |
|
Rob Rix
|
0845687d51
|
Move the ToJSONFields instance for Syntax into Syntax.
|
2017-09-09 17:25:55 +01:00 |
|
Rob Rix
|
4e3c34d8f7
|
Move the ToJSONFields instance for Patch into Patch.
|
2017-09-09 17:24:56 +01:00 |
|
Rob Rix
|
41ecede023
|
🔥 the ToJSONFields instance for unpopulated Unions.
|
2017-09-09 17:23:58 +01:00 |
|
Rob Rix
|
5b62e4bf5c
|
Move the ToJSONFields instance for populated Unions into Data.JSON.Fields.
|
2017-09-09 17:23:49 +01:00 |
|
Rob Rix
|
7bb92dfd98
|
Move the ToJSONFields instance for [] into Data.JSON.Fields.
|
2017-09-09 17:23:28 +01:00 |
|
Rob Rix
|
c1b521ab9b
|
Move the ToJSONFields instance for Maybe into Data.JSON.Fields.
|
2017-09-09 17:23:14 +01:00 |
|
Rob Rix
|
d7a5ea152d
|
Move the ToJSONFields instance for Span into Data.Span.
|
2017-09-09 17:20:43 +01:00 |
|
Rob Rix
|
42c1795c0a
|
Move the ToJSONFields instance for Range into Data.Range.
|
2017-09-09 17:19:46 +01:00 |
|
Rob Rix
|
62603c803c
|
Move the ToJSONFields/ToJSON instances for Records into Data.Record.
|
2017-09-09 17:18:24 +01:00 |
|
Rob Rix
|
7a88cad094
|
Move the ToJSONFields instance for Both into the Data.JSON.Fields module.
|
2017-09-09 17:18:10 +01:00 |
|
Rob Rix
|
3e12a91359
|
Move ToJSONFields into its own module.
|
2017-09-09 17:16:00 +01:00 |
|
Rob Rix
|
c69e3383e3
|
Define a module for JSONFields.
|
2017-09-09 17:15:22 +01:00 |
|
Rob Rix
|
825990cfce
|
Constrain a type to Int.
|
2017-09-09 14:59:33 +01:00 |
|
Rob Rix
|
9c97ea7c48
|
More 🔥
|
2017-09-09 14:59:03 +01:00 |
|
Rob Rix
|
2a7a937a7e
|
🔥 a bunch more redundant imports.
|
2017-09-09 14:58:07 +01:00 |
|
Rob Rix
|
10b262e069
|
🔥 a stray import.
|
2017-09-09 14:54:49 +01:00 |
|
Rob Rix
|
24914eeb05
|
Move the remaining Listable instances into the tests.
|
2017-09-09 14:51:37 +01:00 |
|
Rob Rix
|
3ad5374b94
|
Move all the Listable stuff into the tests.
|
2017-09-09 14:44:57 +01:00 |
|
Rob Rix
|
eb01f7450a
|
Correct the diffSize helper.
|
2017-09-09 14:30:42 +01:00 |
|
Rob Rix
|
7258682862
|
Fix one of the ToC tests.
|
2017-09-09 14:28:43 +01:00 |
|