joshvera
e7f017b5b5
Remove old definitions of Identity and Product
2018-05-29 14:28:15 -04:00
joshvera
dec43883ab
Update Data.Term instance for dotProto
2018-05-29 14:27:29 -04:00
joshvera
2410589fb6
++proto3-suite
2018-05-25 19:00:37 -04:00
joshvera
64a2f81001
Try to derive Message1 for Array
2018-05-25 18:59:58 -04:00
joshvera
8c933df67d
++proto3-suite
2018-05-25 18:28:45 -04:00
joshvera
1e5899dfa8
Replace NameOf1 with GenericNamed
2018-05-25 18:28:12 -04:00
joshvera
9a7d9a4abf
++proto3-suite
2018-05-25 12:39:22 -04:00
joshvera
a921d5a279
++fastsum
2018-05-25 12:38:15 -04:00
joshvera
07cd7233c3
Add liftDotProto for Sums over lists of functors with Message1 and NameOf1 instances
2018-05-25 12:38:06 -04:00
joshvera
c361978271
Add liftDecodeMessage
2018-05-25 09:59:23 -04:00
joshvera
e33ef0f8f5
Stub Sum instance
2018-05-24 18:46:48 -04:00
joshvera
5dd3f68368
hlint
2018-05-24 17:39:01 -04:00
joshvera
80cf96ecbf
Use aeson 1.3 and bump proto3-suite
2018-05-24 17:33:25 -04:00
joshvera
0fb3ea0c84
Add a Message1 instance for Term
2018-05-24 17:32:42 -04:00
joshvera
800f2bc858
Change type of product and remove instances from Error
2018-05-24 16:23:47 -04:00
joshvera
a33b4851a6
Add Message1 for Empty
2018-05-24 16:20:12 -04:00
joshvera
84c3bef78e
Add Identity and Product
2018-05-24 16:19:58 -04:00
joshvera
7ca9969966
Add Message instances for JSON types
2018-05-24 14:55:01 -04:00
joshvera
131ffe0fad
Depend on proto3-suite and derive Named instances for Empty and Identifier
2018-05-24 13:43:51 -04:00
joshvera
0b01255884
Add the proto3-suite and proto3-wire repos back as submodules;
2018-05-24 12:54:17 -04:00
Rob Rix
ec3aa1f05d
Merge pull request #1880 from github/pretty,-pretty-colours
...
Pretty, pretty colours
2018-05-24 09:30:20 -04:00
Rob Rix
8911ea7393
Pass a FormatStyle to runSerialize.
2018-05-24 09:02:55 -04:00
Rob Rix
8fb48d29a5
Add a FormatStyle datatype.
2018-05-24 08:59:53 -04:00
Rob Rix
ab3b353a0d
Stub in a module for the Options.
2018-05-24 08:49:30 -04:00
Rob Rix
87b31ff772
Merge branch 'master' into pretty,-pretty-colours
2018-05-24 08:45:13 -04:00
Rick Winfrey
0c8c544cdd
Merge pull request #1882 from github/bump-haskell-tree-sitter
...
Bump haskell-tree-sitter and add minimal Haskell assignment boilerplate
2018-05-23 15:13:00 -07:00
Rick Winfrey
34d4b3d154
Update Haskell.Syntax.Module to take single term for module body
2018-05-23 14:30:05 -07:00
Josh Vera
242ea3e41f
Merge branch 'master' into pretty,-pretty-colours
2018-05-23 16:13:28 -04:00
Rick Winfrey
bd3001a359
Merge branch 'master' into bump-haskell-tree-sitter
2018-05-23 13:10:41 -07:00
Rick Winfrey
de94112e45
Remove Program syntax
2018-05-23 11:48:29 -07:00
Rick Winfrey
2a4e5bf010
Remove commented out instance body
2018-05-23 11:45:46 -07:00
Rick Winfrey
7bc88d088c
Boilerplate and minimal syntax for Haskell assignment
2018-05-23 11:32:15 -07:00
Rick Winfrey
a11fa704f9
Bump haskell-tree-sitter
...
- Adds tree-sitter-haskell bindings
2018-05-23 09:44:58 -07:00
Patrick Thomson
168f1bea3c
Merge pull request #1881 from github/strict-equals
...
Add strict-equality function.
2018-05-23 12:38:56 -04:00
Patrick Thomson
a7f9633319
typo
2018-05-23 12:10:16 -04:00
Patrick Thomson
7da61bd4c9
Merge branch 'master' into strict-equals
2018-05-23 11:33:32 -04:00
Patrick Thomson
eaa54a3230
Add strict-equality function.
...
TypeScript, JavaScript, and PHP support an === operator, which
corresponds to strict equality (usually the equality you want). I've
added a constructor to Comparison that takes care of this. Actually
implementing non-strict equality for the above languages will have to
wait until we can build behavior a la carte.
I chose not to add Ruby's case-equality operator, though it uses ===,
since the behavior is so different. (For example, a === a is not
always true over Ruby's ===).
2018-05-23 11:28:31 -04:00
Josh Vera
c868aba53e
Merge pull request #1865 from github/fix-module-inclusion-edges
...
Fix module inclusion edges
2018-05-23 10:31:21 -04:00
Rob Rix
39e4f6cc0a
Use prettyShow from .ghci.
2018-05-23 09:48:14 -04:00
Rob Rix
6c1a4e4aca
Add a helper to pretty-print Show-able values.
2018-05-23 09:48:02 -04:00
Rob Rix
5718ebadff
Add a flag to diff with Show.
2018-05-23 09:41:50 -04:00
Rob Rix
cfd6292746
Add a flag to parse with Show.
2018-05-23 09:41:13 -04:00
Rob Rix
f7e0a6b6cc
Add a Show term renderer.
2018-05-23 09:40:20 -04:00
Rob Rix
544890f40b
Alphabetize.
2018-05-23 09:39:33 -04:00
Rob Rix
552bc8f468
Alphabetize.
2018-05-23 09:38:42 -04:00
Rob Rix
001c1cab16
Add a Show diff renderer.
2018-05-23 09:38:06 -04:00
Rob Rix
3808a5ef8c
Add a CanDiff synonym abstracting the typeclasses we need for diffing.
2018-05-23 09:37:11 -04:00
Rob Rix
3a03fbb1c1
Add a CLI arg to Show ts-parse trees.
2018-05-23 09:32:45 -04:00
Rob Rix
a48356d287
Add support to serialize ASTs by Show.
2018-05-23 09:31:53 -04:00
Rob Rix
266d03d240
Left-to-right flow.
2018-05-23 09:30:30 -04:00