github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity
16,236 Commits 19 Branches 16 Tags 46 MiB
df5a75375b
Commit Graph

16236 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
df5a75375b Define a HasDeclaration instance for markup sections. 2017-10-04 12:55:03 -04:00
Rob Rix
deb199e4fe Parameterize HasDeclaration by the term type. 2017-10-04 12:49:31 -04:00
Rob Rix
20564b5a11 toDeclaration is an R-algebra. 2017-10-04 12:42:01 -04:00
Rob Rix
67b4da98c9 toDeclaration takes the Blob. 2017-10-04 12:38:31 -04:00
Rob Rix
9cb072ed8d Sort the language extensions. 2017-10-04 12:35:31 -04:00
Rob Rix
e30fe8f9bf Define a HasDeclaration instance in terms of strategies. 2017-10-04 12:35:14 -04:00
Rob Rix
5ab89d2850 Define a type family to select the strategy for a given type. 2017-10-04 12:34:34 -04:00
Rob Rix
29f112e379 The Custom strategy uses toDeclaration. 2017-10-04 12:33:48 -04:00
Rob Rix
5a44b078ce The Default strategy produces Nothing. 2017-10-04 12:33:26 -04:00
Rob Rix
d9921b34a2 Define a class to produce Declarations using a Strategy. 2017-10-04 12:32:49 -04:00
Rob Rix
533452f150 Define a type representing strategies for producing Declarations. 2017-10-04 12:30:22 -04:00
Rob Rix
f43ab13f7b Define a typeclass to produce Declarations. 2017-10-04 12:29:58 -04:00
Rob Rix
2813d221a6 Discard the Range & Span immediately for Syntax, too. 2017-10-04 11:11:06 -04:00
Rob Rix
dd4060ae36 Discard the Range & Span immediately. 2017-10-04 11:09:40 -04:00
Rob Rix
76bee8e693 🔥 keepConstructorLabel. 2017-10-04 11:09:09 -04:00
Rob Rix
3c38aea3a3 📝 ApplyAll. 2017-10-04 10:57:39 -04:00
Rob Rix
73fe3aa62c Explain the example. 2017-10-04 10:54:01 -04:00
Rob Rix
093acc84dd Note the Language. 2017-10-04 10:53:56 -04:00
Rob Rix
7738433555 📝 someParser. 2017-10-04 10:50:07 -04:00
Rob Rix
274b9edee0 📝 SomeParser. 2017-10-04 10:46:26 -04:00
Rob Rix
db082b8b5f Merge branch 'abstract-high-level-flow-over-syntax-types' of https://github.com/github/semantic-diff into abstract-high-level-flow-over-syntax-types 2017-10-04 09:40:10 -04:00
Rob Rix
fc4be0c778 Merge branch 'master' into abstract-high-level-flow-over-syntax-types 2017-10-04 09:25:16 -04:00
Rob Rix
dacd0861cb Merge pull request #1384 from github/generic-term-comparability-and-equivalence 
Generic term comparability and equivalence
 2017-10-04 09:23:28 -04:00
Rob Rix
51928473a7 Spacing. 2017-10-03 17:23:21 -04:00
Josh Vera
03d528dda6 Merge branch 'master' into generic-term-comparability-and-equivalence 2017-10-03 14:10:25 -07:00
Josh Vera
fa8f718297 Merge pull request #1381 from github/typescript-cleanup 
Typescript cleanup
 2017-10-03 13:59:44 -07:00
Rob Rix
abde14cd95 Combine the code paths for JSON diffs of à la carte terms. 2017-10-03 16:28:37 -04:00
Rob Rix
79395e9af3 Combine the code paths for patch diffs of à la carte terms. 2017-10-03 16:27:44 -04:00
Rob Rix
0c5b268530 Combine the code paths for s-expression diffs of à la carte terms. 2017-10-03 16:26:45 -04:00
Rob Rix
684af38fe9 Merge branch 'generic-term-comparability-and-equivalence' into simplified-high-level-flow 2017-10-03 16:23:50 -04:00
Rob Rix
d9a0a87531 📝 comparableTo on Union. 2017-10-03 16:04:22 -04:00
Rob Rix
0c1f0b0e46 Correct the docs for the Diffable instance for Unions. 2017-10-03 16:02:23 -04:00
Rob Rix
b4f0cee138 📝 Equivalence. 2017-10-03 16:00:35 -04:00
Rob Rix
2c7e901043 📝 equivalentTerms. 2017-10-03 15:58:52 -04:00
Rob Rix
8f09c1c1bc 📝 comparableTerms. 2017-10-03 15:55:12 -04:00
Rob Rix
e7306fa43e 📝 comparableTo. 2017-10-03 15:51:56 -04:00
Rob Rix
048f66dec8 📝 equivalentBySubterm. 2017-10-03 15:49:06 -04:00
Rob Rix
8e9158c7f0 🔥 subequivalenceTo. 2017-10-03 15:37:51 -04:00
Rob Rix
cceed47743 Determine subequivalence using Equivalence & subalgorithmFor. 2017-10-03 15:37:42 -04:00
Rob Rix
8c9be81e51 Define an Equivalence functor. 2017-10-03 15:37:17 -04:00
Rob Rix
2e2d32c985 Merge branch 'master' into generic-term-comparability-and-equivalence 2017-10-03 15:31:58 -04:00
Rob Rix
b0723ee027 Clarify the comment on the inclusion of Method in Python. 2017-10-03 15:31:18 -04:00
Rob Rix
1a10479af6 🔥 Declaration.Function, Declaration.Method, & Syntax.Context from JSON syntax. 2017-10-03 15:30:13 -04:00
Rob Rix
d2382539d1 🔥 Declaration.Function, Declaration.Method, & Syntax.Context from Markdown syntax. 2017-10-03 15:29:37 -04:00
Rob Rix
4717bde7a8 Generalize diffTerms over the syntax functor. 2017-10-03 15:28:40 -04:00
Rob Rix
d2c9faf96f 🔥 the membership constraints on diffTerms. 2017-10-03 15:27:36 -04:00
Rob Rix
0fecda703a Update the fixtures. 2017-10-03 15:26:50 -04:00
Rob Rix
27758821e8 Use the comparableTerms relation in the RWS tests. 2017-10-03 15:10:11 -04:00
Rob Rix
0d790823ab Use comparableTerms as the comparability relation for à la carte terms. 2017-10-03 14:59:41 -04:00
Rob Rix
ecfb920291 🔥 the export of equivalentTerms from Interpreter. 2017-10-03 14:59:19 -04:00