1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Commit Graph

17424 Commits

Author SHA1 Message Date
Rob Rix
296569da6a Clean up the LANGUAGE pragma for Analysis.Decorator. 2017-11-27 14:54:01 -05:00
Rob Rix
8454467b61 Move the cyclomatic complexity analysis into its own module. 2017-11-27 14:52:27 -05:00
Rob Rix
ae985ef4e5 Factor ConstructorName into its own module. 2017-11-27 14:45:13 -05:00
Rob Rix
a844fec2bd Move the algebras into their own module. 2017-11-27 14:36:20 -05:00
Rob Rix
2102ab41cf Rename Decorating to Analysis. 2017-11-27 14:32:13 -05:00
Rob Rix
a6cdcc2c55 Add section headers to the .cabal file. 2017-11-27 14:28:28 -05:00
Rob Rix
87d533cc2b Rename Language to Data.Language. 2017-11-27 14:17:48 -05:00
Rob Rix
46970445ff 🔥 some unused machinery in the Language module. 2017-11-27 14:10:33 -05:00
Rob Rix
bcb64b3187 Rename the Integration spec. 2017-11-27 14:06:12 -05:00
Rob Rix
59fc8bffc9 Rename the TOC spec. 2017-11-27 14:04:58 -05:00
Rob Rix
69595553d6 Rename the Interpreter spec. 2017-11-27 14:03:45 -05:00
Rob Rix
a442bfeea1 Rename the Term spec. 2017-11-27 14:02:03 -05:00
Rob Rix
a079638c5b Rename the Semantic spec. 2017-11-27 14:00:53 -05:00
Rob Rix
80fce5b41e Rename the Diff spec. 2017-11-27 13:59:44 -05:00
Rob Rix
4b06df7db4 Rename the Stat spec. 2017-11-27 13:58:23 -05:00
Rob Rix
59166b50bb Rename the CLI spec. 2017-11-27 13:57:25 -05:00
Rob Rix
b98375b58f Rename the IO spec. 2017-11-27 13:52:48 -05:00
Rob Rix
8a3d34a1fc Rename the SES spec. 2017-11-27 13:51:05 -05:00
Rob Rix
f4960b0a0d Rename the Source spec. 2017-11-27 13:49:52 -05:00
Rob Rix
266bd1199a Rename the RWS spec. 2017-11-27 13:48:43 -05:00
Rob Rix
a8e8489fcb Rename the assignment spec. 2017-11-27 13:47:04 -05:00
Rob Rix
3ebb972bd8 Move the Node datatype & AST synonym into Data.AST. 2017-11-27 13:45:37 -05:00
Rob Rix
fd31babd62 Rename Decorator to Decorating.Decorator. 2017-11-27 13:36:00 -05:00
Rob Rix
3a3ed72f96 Rename Renderer to Rendering.Renderer. 2017-11-27 13:30:38 -05:00
Rob Rix
dbb1a33fca Rename Parser to Parsing.Parser. 2017-11-27 13:24:45 -05:00
Rob Rix
9bfd64905d Rename Data.Syntax.Assignment to Assigning.Assignment. 2017-11-27 13:19:20 -05:00
Rob Rix
062d9cbfa9 Rename Files to Semantic.IO. 2017-11-27 13:09:03 -05:00
Rob Rix
1e95b0270e Rename SemanticCmdLine to Semantic.CLI. 2017-11-27 11:57:27 -05:00
Rob Rix
bb21a24a93 Rename RWS to Diffing.Algorithm.RWS. 2017-11-27 11:51:39 -05:00
Rob Rix
dad5abb189 Rename SES to Diffing.Algorithm.SES. 2017-11-27 11:48:39 -05:00
Rob Rix
cdefcdb33d Rename Interpreter to Diffing.Interpreter. 2017-11-27 11:45:08 -05:00
Rob Rix
cfd27ec20c Rename Algorithm -> Diffing.Algorithm. 2017-11-27 11:42:57 -05:00
Rob Rix
088c58f405 🔥 identifierAlgebra. 2017-11-24 14:06:46 -05:00
Rob Rix
4a7e5f6055 Align the argument docs. 2017-11-24 14:02:25 -05:00
Rob Rix
b9bca6f567 Rename the f type parameter to syntax. 2017-11-24 14:02:06 -05:00
Rob Rix
610a420023 Define some promotions of algebras to OpenRAlgebra. 2017-11-24 14:01:12 -05:00
Rob Rix
6d5f4a83f9 Links in the docs for fToR. 2017-11-24 13:59:54 -05:00
Rob Rix
58dc2d7b75 Define synonyms for open-recursive F- and R-algebras. 2017-11-24 13:58:46 -05:00
Rob Rix
b70e5ead7e Correct the docs for FAlgebra & RAlgebra. 2017-11-24 13:16:02 -05:00
Rob Rix
85c3754934 🔥 the Comonad & ComonadCofree instances for Term. 2017-11-23 13:27:21 -05:00
Rob Rix
35da07249e termAnnotation & termOut act on Term, not TermF. 2017-11-23 13:21:37 -05:00
Rob Rix
89338a8570 Define eliminators for TermF. 2017-11-23 13:14:46 -05:00
Rick Winfrey
b4247c41ca 🔥 choice and rename for clarity 2017-11-22 16:59:41 -08:00
Rick Winfrey
5a818411e5 Refactor forStatement 2017-11-22 16:50:25 -08:00
Rick Winfrey
90de7fafc0 Merge branch 'go-assignment' of github.com:github/semantic-diff into go-assignment 2017-11-22 15:38:04 -08:00
Rick Winfrey
e11ee4a940 Update channel-types tests 2017-11-22 15:36:34 -08:00
Rick Winfrey
cb4d5a4938 Update tests 2017-11-22 15:34:20 -08:00
Rick Winfrey
48ff89e4fb Refactor variadicParameterDeclaration 2017-11-22 15:28:25 -08:00
Rick Winfrey
53a86743dd Reformating 2017-11-22 15:16:44 -08:00
Rick Winfrey
180b8c5959 Constructing term here is unnecessary 2017-11-22 15:15:18 -08:00