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

9711 Commits

Author SHA1 Message Date
Rick Winfrey
ce70771084 Remove redundant import 2016-11-23 13:42:44 -06:00
Rick Winfrey
b86edc3a54 Add writeToOutput function (prints to standard out by default, or a file if specified) 2016-11-23 13:33:01 -06:00
Rick Winfrey
421da39ce7 Rewrite algebra as TermF -> ParseJSON 2016-11-23 13:32:25 -06:00
Rick Winfrey
32b323c892 🔥 dead code 2016-11-23 13:31:59 -06:00
Rick Winfrey
800f1b4c13 Use zipWithM (because Monad zippers are the best zippers) 2016-11-23 13:31:27 -06:00
Rick Winfrey
eb88b46d6f Formatting of ParseJSON data type 2016-11-23 13:30:15 -06:00
Rick Winfrey
a7e21d1ebb Don't encodePretty when constructing new Terms 2016-11-22 18:50:57 -06:00
Rick Winfrey
81079b1241 Remove functor from ParseJSON 2016-11-22 18:50:39 -06:00
Rick Winfrey
bbfed7cf34 ++ tree-sitter-parsers 2016-11-22 16:42:28 -06:00
Rick Winfrey
bab0debf6d Merge branch 'master' into parser-option 2016-11-22 15:19:30 -06:00
Josh Vera
14fe319ade Merge pull request #910 from github/go-parser
Go parser
2016-11-22 15:17:24 -05:00
joshvera
f71c35d617 Handle every case by pattern matching on name in termConstructor instead of (name, children) 2016-11-22 15:10:10 -05:00
joshvera
4605197d20 Cover every case 2016-11-22 15:10:10 -05:00
Josh Vera
75daa6d42e Merge branch 'master' into go-parser 2016-11-22 14:07:33 -05:00
joshvera
165b6bae6f update tests 2016-11-22 13:51:11 -05:00
joshvera
0ea0ff83d0 update tests 2016-11-22 13:34:21 -05:00
joshvera
ec1ebbbef5 format TypeAssertion and TypeConversion summaries better 2016-11-22 13:24:51 -05:00
joshvera
5a9f1dad1a formatting 2016-11-22 13:24:30 -05:00
Rick Winfrey
a88c829c42 Merge pull request #908 from github/fdocs
Functional Documentation
2016-11-22 11:48:09 -06:00
joshvera
c434f79162 Merge remote-tracking branch 'origin/master' into go-parser 2016-11-22 11:30:48 -05:00
Rick Winfrey
e6d1c3e3ec s/suboject/value 2016-11-21 17:52:02 -06:00
Rick Winfrey
9c4046463f Remove equivalency comment 2016-11-21 17:51:14 -06:00
Rick Winfrey
96ad346784 Original value over subobject 2016-11-21 17:51:04 -06:00
Rick Winfrey
fede68ad6e Soft wrap rather than hard wrap 2016-11-21 17:49:45 -06:00
Rick Winfrey
a7f87e2594 Reword hylomorphism explanation 2016-11-21 17:48:38 -06:00
Rick Winfrey
578d38426c Better define hidden functor 2016-11-21 17:48:22 -06:00
Rick Winfrey
5b52870b35 Handle merge conflicts 2016-11-21 17:44:06 -06:00
joshvera
fbd87fc618 exhaust some cases 2016-11-21 16:20:55 -05:00
joshvera
2f542a3952 update tests 2016-11-21 15:47:41 -05:00
joshvera
2ea54313a4 Add type conversions 2016-11-21 15:44:31 -05:00
joshvera
83453dd54f Add type assertions 2016-11-21 15:27:06 -05:00
joshvera
231310a484 update tests 2016-11-21 14:39:16 -05:00
joshvera
6eb6f91227 Fixed node term names should be the sources of their children 2016-11-21 13:01:38 -05:00
joshvera
0a06cfebc5 Parse slice expressions 2016-11-21 12:23:05 -05:00
Rick Winfrey
4170137bf9 🔥 () 2016-11-21 10:47:14 -06:00
Rick Winfrey
bbdad9b2ae Add simple count example
- Shows how a fixed point functor works with a base functor in isolation
- Shows cata, ana, hylo and para examples
2016-11-21 10:47:02 -06:00
Rick Winfrey
2d0769d0e0 Update hylomorphism example to be more interesting 2016-11-20 12:58:14 -06:00
Rick Winfrey
e5f36bb29e 📝 anamorphism example with more detail 2016-11-20 12:54:33 -06:00
Rick Winfrey
6df195dfa0 📝 paramorphism operation and how the resulting structure is built 2016-11-20 12:32:12 -06:00
Rick Winfrey
91d9c05c52 Add paramorphism example 2016-11-18 17:12:26 -06:00
Rick Winfrey
6a77dbd868 🔥 whitespace 2016-11-18 17:12:10 -06:00
Rick Winfrey
29ed06ce9d Add hylomorphism example for Terms 2016-11-18 11:33:47 -06:00
Rick Winfrey
8b7966b6ce Comment formatting 2016-11-18 11:33:27 -06:00
Rick Winfrey
0a794439f7 Mappend values 2016-11-17 17:28:14 -06:00
Rick Winfrey
5bbccf1861 Add catamorphism example showing how to tear down terms into a list of String 2016-11-17 17:26:54 -06:00
Rick Winfrey
90ba2a73ab Add anamorphism example showing how to construct terms from strings 2016-11-17 17:26:32 -06:00
Rick Winfrey
c093eb6838 Formatting changes 2016-11-17 17:25:40 -06:00
Rick Winfrey
766a7236b8 Add catamorphism example 2016-11-17 16:17:45 -06:00
Rick Winfrey
255490d680 Add FDoc.RecursionSchemes to cabal file 2016-11-17 16:17:26 -06:00
Rick Winfrey
ab4b56dcd8 Add FDoc.RecursionSchemes and anamorphism example 2016-11-17 16:17:09 -06:00