github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
7,931 Commits 19 Branches 16 Tags 46 MiB
0a7d5fa124
Commit Graph

7931 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
2b81c34d8d Define a genericSequenceAlt function suitable for Sequenceable definitions. 2016-07-22 16:08:13 -04:00
Rob Rix
1ede2d2a23 Syntax uses the generically derived GSequenceable implementation. 2016-07-22 16:07:07 -04:00
Rob Rix
e780689400 Syntax is GSequenceable. 2016-07-22 16:06:52 -04:00
Rob Rix
ba90fdac88 Define a GSequenceable instance over []. 2016-07-22 16:06:29 -04:00
Rob Rix
ac6c451ab8 Sequenceable implies Functor. 2016-07-22 16:05:50 -04:00
Rob Rix
735f8128cf Define GSequenceable over products. 2016-07-22 16:01:07 -04:00
Rob Rix
21370a49a0 Define GSequenceable over sums. 2016-07-22 16:00:01 -04:00
Rob Rix
3913e078f4 Define GSequenceable over M1. 2016-07-22 15:58:36 -04:00
Rob Rix
9a94dddd2b Define GSequenceable over Rec1. 2016-07-22 15:57:47 -04:00
Rob Rix
bc5f05494d Define a default implementation of gsequenceAlt. 2016-07-22 15:42:31 -04:00
Rob Rix
ff869ec517 Define GSequenceable over K1. 2016-07-22 15:40:05 -04:00
Rob Rix
5b36bf1507 Define GSequenceable over Par1. 2016-07-22 15:40:01 -04:00
Rob Rix
7203942df2 Implement GSequenceable over unit constructors. 2016-07-22 15:36:17 -04:00
Rob Rix
e93a826f52 Stub in a GSequenceable typeclass. 2016-07-22 15:34:28 -04:00
Rob Rix
808f15d40e Stub in a generic Sequenceable module. 2016-07-22 15:33:01 -04:00
Rob Rix
dd0e4d890f Define mergeMaybe’s algebra using sequenceAlt. 2016-07-22 15:32:11 -04:00
Rob Rix
22476895c6 Define mergeMaybe’s algebra by iteration. 
This is a restricted class of catamorphism which happens to line up
exactly with what we’re doing here.
 2016-07-22 15:31:10 -04:00
Rob Rix
9b322da2be Add a Sequenceable instance over Syntax. 2016-07-22 15:30:35 -04:00
Rob Rix
a9829e67cd Add a Sequenceable instance over []. 2016-07-22 15:29:12 -04:00
Rob Rix
f53cf8f05e Stub in a Sequenceable typeclass. 2016-07-22 15:28:47 -04:00
joshvera
b5119dab1e Include Info 2016-07-22 14:51:08 -04:00
joshvera
485fc884a4 Merge branch 'syntax-redux' into property-tests 2016-07-22 14:39:54 -04:00
joshvera
5fe5da65b0 Use unwrap 2016-07-22 14:20:03 -04:00
Rob Rix
da42f2402f Define mergeMaybe’s algebra by iteration. 
This is a restricted class of catamorphism which happens to line up
exactly with what we’re doing here.
 2016-07-22 14:17:45 -04:00
Rob Rix
be23bd05cf Turn off RankNTypes in the Parser module. 2016-07-22 13:59:22 -04:00
Rob Rix
aa2b6a277c 🔥 unused inner functions. 2016-07-22 13:54:46 -04:00
Rob Rix
c92cc987ed Put some formatting back. 2016-07-22 13:52:48 -04:00
joshvera
819470afea use biseuqnceL for comments 2016-07-22 12:55:54 -04:00
Rob Rix
4717617fbe Merge branch 'master' into precompute-p,q-grams 2016-07-22 12:42:48 -04:00
Rob Rix
1b229e32b9 📝 decorateParser. 2016-07-22 12:39:03 -04:00
Rob Rix
b64b965893 📝 decorateTerm. 2016-07-22 12:38:59 -04:00
joshvera
b27eac56d9 Merge remote-tracking branch 'origin/master' into syntax-redux 2016-07-22 12:38:34 -04:00
Josh Vera
092fe3752a Merge pull request #643 from github/🔥-orphan-instances 
🔥 orphan instances
 2016-07-22 12:37:54 -04:00
Rob Rix
163f94b87e 📝 termCost. 2016-07-22 12:36:49 -04:00
joshvera
70f9329f1a Merge remote-tracking branch 'origin/master' into syntax-redux 2016-07-22 12:36:03 -04:00
Rob Rix
093048b736 Stop hiding a symbol we don’t shadow. 2016-07-22 11:58:09 -04:00
Rob Rix
041aea8f4c 🔥 the orphan Crosswalk instance over Join of Bicrosswalkable bifunctors. 2016-07-22 11:42:00 -04:00
Rob Rix
d8f8b50cb9 Compute Leaf alignment using the Bicrosswalk instance. 2016-07-22 11:41:45 -04:00
Rob Rix
389b2ddfa6 Use joinCrosswalk in the spec. 2016-07-22 11:40:04 -04:00
Rob Rix
faa195ea8f Add a drop-in for Crosswalk over Bicrosswalkable Joins. 2016-07-22 11:39:56 -04:00
Rob Rix
4f8ef622aa Use the Bicrosswalk instance directly. 2016-07-22 11:39:30 -04:00
Rob Rix
4447807bf6 Merge branch 'master' into precompute-p,q-grams 2016-07-22 11:28:58 -04:00
Josh Vera
224332fb86 Merge pull request #639 from github/generalize-rws-over-the-functor 
Generalize rws over the functor
 2016-07-22 11:24:00 -04:00
Rob Rix
23690a28f0 📝 updateRCons, updateField, and maybeGetField. 2016-07-22 10:18:43 -04:00
Rob Rix
ca15d9db93 🔥 a redundant constraint. 2016-07-22 10:08:02 -04:00
Rob Rix
d37b9be8d2 Specify the export list for the record module. 2016-07-22 10:07:04 -04:00
Rob Rix
ab4b0d4563 Revert "Annotate with costs when any are provided." 
This reverts commit 214fdc3b25ad04e2feeb90e088861b2dcf30fe62.
 2016-07-22 10:03:43 -04:00
Rob Rix
831dad15d4 Revert "🔥 the Cost constraints." 
This reverts commit 555418568439514a83b98444840d3df038d82750.
 2016-07-22 10:02:52 -04:00
Rob Rix
405850a4a2 Revert "Update costs." 
This reverts commit 1905bda8deebed96a502ea8e8bd97e5f78eba943.
 2016-07-22 10:02:37 -04:00
Rob Rix
880b660f6f Revert "Define maybeCost in Info." 
This reverts commit 28b097f2f37abe6ee155f19b89dad86009997b6e.
 2016-07-22 10:02:27 -04:00