9508 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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