1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

15077 Commits

Author SHA1 Message Date
Rob Rix
33192c3ce0 Define lifted showing of Both. 2017-09-09 12:28:54 +01:00
Rob Rix
cd154559c4 Reformat the exports from Both. 2017-09-09 12:28:47 +01:00
Rob Rix
af31840ee9 Define an Eq2 instance for DiffF. 2017-09-09 12:24:55 +01:00
Rob Rix
221cf89b5b Derive Eq1 & Show1 instances for Patch. 2017-09-09 12:24:48 +01:00
Rob Rix
dab0e4d044 Define a Show1 instance for Syntax. 2017-09-09 12:15:54 +01:00
Rob Rix
7ca2e9ed4d Define a Traversable instance for Term. 2017-09-09 12:04:37 +01:00
Rob Rix
748ecbb104 Define a Bitraversable instance for TermF. 2017-09-09 12:03:55 +01:00
Rob Rix
ce02539dab Define a Foldable instance for Term. 2017-09-09 12:02:11 +01:00
Rob Rix
a358be60cc 🔥 a redundant Functor constraint. 2017-09-09 12:01:17 +01:00
Rob Rix
cfd583cd51 Define a Bifoldable instance for TermF. 2017-09-09 12:00:28 +01:00
Rob Rix
2454096b2b Spacing. 2017-09-09 12:00:21 +01:00
Rob Rix
3e496176cc Use the copy helper widely. 2017-09-09 11:57:56 +01:00
Rob Rix
30fe4d520b Define a copy helper. 2017-09-09 11:54:29 +01:00
Rob Rix
69cba8430f 🔥 wrapTermF. 2017-09-09 11:53:57 +01:00
Rob Rix
9d1d1717d9 Rename tailF to termSyntax. 2017-09-09 11:51:41 +01:00
Rob Rix
e2ffba2401 Rename headF to termAnnotation. 2017-09-09 11:50:29 +01:00
Rob Rix
b7e211c9c2 Redefine Term as a wrapper for TermF. 2017-09-09 11:47:10 +01:00
Rob Rix
1267fe5ea7 Rename the In constructor to Copy. 2017-09-09 11:27:04 +01:00
Rob Rix
9e40e9a09a Give our own definition of Diff. 2017-09-09 11:23:57 +01:00
Rob Rix
adf884def0 Rename expr to syntax. 2017-09-08 17:41:31 +01:00
Rob Rix
14e8bb46ec 🔥 UndecidableInstances in Assignment. 2017-09-08 17:40:54 +01:00
Rob Rix
e4c5d6bb82 Rename the Term/TermF type parameters. 2017-09-08 17:40:35 +01:00
Rob Rix
20758f1c31 🔥 the orphan instance disabling in Diff. 2017-09-08 17:38:51 +01:00
Rob Rix
c551923eff 🔥 some unnecessary extensions. 2017-09-08 17:38:35 +01:00
Rob Rix
d5af300094 Specialize the Pretty1 instance for Term to only apply to Terms of Unions. 2017-09-08 17:38:12 +01:00
Rob Rix
07bef3f75e 🔥 deepseq. 2017-09-08 17:35:55 +01:00
Rob Rix
d1ced22ce8 🔥 the NFData instances for Term. 2017-09-08 17:32:24 +01:00
Rob Rix
0ce48d5248 🔥 the NFData instances for Diff. 2017-09-08 17:32:05 +01:00
Rob Rix
ec8f535b2a Define decidable NFData instances. 2017-09-08 17:31:17 +01:00
Rob Rix
9e4ae0ee34 Rename cofree to term. 2017-09-08 17:23:16 +01:00
Rob Rix
dfccae778a Rename hoistCofree to hoistTerm. 2017-09-08 17:21:39 +01:00
Rob Rix
a16c6e4f75 Extract union pretty-printing to the top level. 2017-09-08 17:20:55 +01:00
Rob Rix
053954cc97 🔥 alignTermWith. 2017-09-08 17:18:46 +01:00
Rob Rix
ee27d73747 🔥 zipTerms. 2017-09-08 17:18:03 +01:00
Rob Rix
fe3fa0e811 Define Pretty, Pretty1, & Pretty2 instances for TermF. 2017-09-08 17:02:30 +01:00
Rob Rix
c358bfad08 Define a Show1 instance for TermF. 2017-09-08 17:00:09 +01:00
Rob Rix
0ca7a4bdcf Define a Show2 instance for TermF. 2017-09-08 16:59:40 +01:00
Rob Rix
3231b16399 Define Term printing via Show1. 2017-09-08 16:58:15 +01:00
Rob Rix
a8f0a965c3 Give fixity for :<<. 2017-09-08 16:56:29 +01:00
Rob Rix
d572c64b32 Define Term equality via Eq1. 2017-09-08 16:55:36 +01:00
Rob Rix
ea5107c484 Define Listable instances for Term/TermF. 2017-09-08 16:50:21 +01:00
Rob Rix
185818d8bd Rename runCofree to unTerm. 2017-09-08 16:46:35 +01:00
Rob Rix
f2cd05d5fc Rename Cofree/CofreeF to Term/TermF. 2017-09-08 16:45:08 +01:00
Rob Rix
aa9d4c4f19 Give our own definition of CofreeF. 2017-09-08 16:40:23 +01:00
Rob Rix
1a6af2179b Give our own definition of Cofree. 2017-09-08 16:24:11 +01:00
Rob Rix
a296ec4ca3 Re-enable the orphan instance warning in Term. 2017-09-08 15:54:35 +01:00
Rob Rix
2e8043938d Merge pull request #1326 from github/task-errors
Task errors
2017-08-31 17:40:55 -04:00
Rob Rix
78e4ffb8f7 Merge branch 'master' into task-errors 2017-08-31 17:36:42 -04:00
Timothy Clem
8baf0d7775 Merge pull request #1328 from github/ruby-singleton-class-fix
++tree-sitter-ruby - singleton class fix
2017-08-30 13:27:31 -07:00
Timothy Clem
ebf6395427 ++tree-sitter-ruby 2017-08-30 13:08:23 -07:00