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

9686 Commits

Author SHA1 Message Date
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
Rick Winfrey
154f88532e Add syntax functions for indexed terms in both Cofree and CofreeF shapes 2016-11-17 15:00:18 -06:00
Rick Winfrey
33d07755c1 Add leafTerm documentation function
- Describe Cofree shape
- Describe helper functions for Cofree
2016-11-17 14:47:36 -06:00
Rick Winfrey
7efc0dad6d Add leafTermF documentation function
- Describe the shape of CofreeF
- Describe helper functions
2016-11-17 14:47:08 -06:00
joshvera
0cebe10ef6 Just say children 2016-11-14 21:03:48 -05:00
joshvera
6c9b5efb7e formatting 2016-11-14 21:00:48 -05:00
joshvera
a3824eb5e0 use toExpression here 2016-11-14 20:53:23 -05:00
joshvera
807752e33d Map indexed expressions to subscript access 2016-11-14 19:12:17 -05:00
joshvera
30a3961409 Add go, defer, and subscript access statements 2016-11-14 19:05:02 -05:00
joshvera
6e248e76f0 Add select statements 2016-11-14 17:47:04 -05:00
joshvera
a1d9ccdcc9 ++type switch tests 2016-11-14 17:26:06 -05:00
joshvera
666452da18 Parse type switch statements 2016-11-14 17:22:51 -05:00
Timothy Clem
4c2e24bd35 Merge pull request #906 from github/ruby-kw-args
Handle Ruby keyword params and args
2016-11-10 15:55:11 -08:00
Timothy Clem
b368c80fb7 Last tree-sitter-parser bump 2016-11-10 15:47:18 -08:00
joshvera
ed532220d1 Match on case 2016-11-10 16:36:46 -05:00
joshvera
8dbac2c98a switch statements 2016-11-10 16:19:53 -05:00
Timothy Clem
c4df3ec5ab Some documentation for these parameter types 2016-11-10 12:59:48 -08:00
Timothy Clem
d8b260e35e Remove new_ruby 2016-11-10 12:55:42 -08:00
Timothy Clem
59356c0395 Spell out parameter 2016-11-10 12:55:06 -08:00
Timothy Clem
3f5e78c483 Slightly different approach to hash arg summaries 2016-11-10 12:51:48 -08:00
Timothy Clem
3986e0ae1a Optional parameter error case, note about keyword parameter fall through 2016-11-10 12:51:26 -08:00
joshvera
524c151968 ++tests 2016-11-10 15:36:44 -05:00
Timothy Clem
9ca3308ea4 Updates for new tree-sitter productions 2016-11-10 09:56:36 -08:00
Rick Winfrey
9e9e48bdc2 Preliminary step towards outputting the JSON representation of the ParseJSON structures, but this only traverses one level of depth. 2016-11-09 17:46:08 -06:00
Rick Winfrey
92337cd70b First time making ana work in semantic-code! 🎩 to @joshvera for the 🍐 2016-11-09 17:45:00 -06:00
Rick Winfrey
849da23323 Uncurry parser and blob pairs over the folder function 2016-11-09 17:44:11 -06:00