11874 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	862fb3654b	Define a ToJSONFields instance for SourceSpan.	2017-04-27 18:51:41 -04:00
Rob Rix	70dd381f26	Simplify the ToJSONFields instance for Syntax.	2017-04-27 18:28:52 -04:00
Rob Rix	fed06ff0e1	Define ToJSONFields instances for Free & FreeF.	2017-04-27 18:23:10 -04:00
Rob Rix	3bf4f63e0c	Define a ToJSONFields instance for CofreeF.	2017-04-27 18:17:05 -04:00
Rob Rix	607d4f0398	Define a ToJSONFields instance for SplitPatch.	2017-04-27 18:10:31 -04:00
Rob Rix	1520fb0c2b	Replace syntaxToTermField with a ToJSONFields instance.	2017-04-27 18:10:12 -04:00
Rob Rix	43a5580bf5	Define a ToJSONFields instance for Terms.	2017-04-27 18:05:08 -04:00
Rob Rix	5afd5b8fa6	Distribute ToJSONFields through Maybe.	2017-04-27 17:56:24 -04:00
Rob Rix	5beff62cbc	Define ToJSONFields instances for Range and Category.	2017-04-27 17:53:36 -04:00
Rob Rix	adf868e5c8	Add a class to produce JSON fields for a type.	2017-04-27 17:49:37 -04:00
Rob Rix	17d413d267	Get all the fields uniformly.	2017-04-27 16:58:39 -04:00
Rob Rix	a5a86b33ea	Don’t pass the syntax around.	2017-04-27 16:58:13 -04:00
Rob Rix	96d2ccf92e	Decorate the term with the identifier algebraically.	2017-04-27 16:57:47 -04:00
Rob Rix	4abace2490	🔥 an unnecessary Functor constraint.	2017-04-27 16:47:08 -04:00
Rob Rix	f0b89c508c	🔥 parseDecorator.	2017-04-27 16:21:06 -04:00
Rob Rix	9dac0260e3	🔥 Identifier.	2017-04-27 16:18:11 -04:00
Rob Rix	448bde4861	Merge pull request #1087 from github/a-la-carte-folds ... À la carte folds	2017-04-25 13:57:39 -04:00
Rob Rix	c2607ffc4c	📝 Union’s constructors.	2017-04-25 13:53:18 -04:00
Rob Rix	03c57f2ef4	Merge branch 'master' into a-la-carte-folds	2017-04-25 12:47:47 -04:00
Rob Rix	8e2c1ffd5f	Correct the docs of identifierAlg.	2017-04-25 12:39:05 -04:00
Rob Rix	4644bcc2ef	Use Traversable as shorthand for Functor + Foldable. ... This is not generally a good idea, but we strictly control these unions & syntax types, and it’s hard to imagine non-`Traversable` syntax.	2017-04-25 12:35:49 -04:00
Rob Rix	b6723c56f2	Panic! Our system.	2017-04-25 12:33:41 -04:00
Rob Rix	0db2c73a1e	Replace the identifiable algebra with an identifier algebra.	2017-04-25 12:30:36 -04:00
Rob Rix	69bbc13da3	Methods must be part of the syntax.	2017-04-25 12:27:42 -04:00
Rob Rix	30e72f3344	Methods are declarations, not statements.	2017-04-25 12:27:27 -04:00
Timothy Clem	168444acb8	Merge pull request #1086 from github/clean-parse-and-diff-interface ... Parse and diff interface that knows nothing about Git or the filesystem	2017-04-25 09:17:17 -07:00
Rob Rix	00200d7822	📝 some cases cyclomaticComplexityAlg doesn’t handle.	2017-04-25 12:17:17 -04:00
Rob Rix	a00ff68f32	Control exits methods at least once.	2017-04-25 12:15:28 -04:00
Rob Rix	390297aa56	📝 cyclomaticComplexityAlg.	2017-04-25 12:13:33 -04:00
Rob Rix	91366b0ba4	📝 CyclomaticComplexity.	2017-04-25 12:11:57 -04:00
Rob Rix	42d8b42f60	Merge branch 'a-la-carte-folds' of https://github.com/github/semantic-diff into a-la-carte-folds	2017-04-25 12:10:56 -04:00
Rob Rix	7bf60eb2ff	🔥 CVAlgebra handling. ... We run the risk of making paramorphisms quadratic if we use histomorphisms to decorate, so we compromise on the added flexibility.	2017-04-25 12:10:48 -04:00
Rob Rix	2b703d1f31	Generalize decoratorWithAlgebra to take an R-algebra.	2017-04-25 12:09:10 -04:00
Timothy Clem	975304097c	Remove TODO and leave readFile behavior alone for now	2017-04-25 09:07:51 -07:00
Timothy Clem	6be9b9c3cd	🔥 concurrently	2017-04-25 09:05:48 -07:00
Timothy Clem	12948181c5	Merge remote-tracking branch 'origin/master' into clean-parse-and-diff-interface	2017-04-25 09:02:41 -07:00
Rob Rix	68e5042155	Merge branch 'master' into a-la-carte-folds	2017-04-25 10:55:26 -04:00
Rob Rix	6c38ec2b77	Correct the deprecation pragma.	2017-04-24 19:16:50 -04:00
Rob Rix	22ac1e3441	Add a deprecation notice to rToCV.	2017-04-24 18:42:35 -04:00
Rob Rix	7e21c167e1	Define an adaptor from F-algebras to CV-algebras.	2017-04-24 18:35:22 -04:00
Rob Rix	22be6c30f0	Factor Base out of the algebra type synonyms to avoid ambiguity.	2017-04-24 18:34:28 -04:00
Rob Rix	4f7c9a9fa7	Merge pull request #1088 from github/remove-random-walk-similarity ... Remove Data.RandomWalkSimilarity	2017-04-24 18:26:08 -04:00
Rob Rix	5b32f9d1b6	Note the awful complexity of rToCV.	2017-04-24 16:09:49 -04:00
Rob Rix	440cc2e792	📝 rToCV.	2017-04-24 16:00:06 -04:00
Rob Rix	4ac68417a2	Define the promotion of R-algebras into CV-algebras.	2017-04-24 15:58:29 -04:00
Rob Rix	bee4b4b06e	Define a type synonym for course-of-value algebras.	2017-04-24 15:55:09 -04:00
joshvera	7395e88ab0	Remove Data.RandomWalkSimilarity	2017-04-24 15:53:11 -04:00
Rob Rix	bc3fc4b4af	📝 fToR.	2017-04-24 15:46:51 -04:00
Rob Rix	d6cb7890b9	Define a function to promote F-algebras into R-algebras.	2017-04-24 15:45:50 -04:00
Rob Rix	953034ccb3	Define FAlgebra in terms of the Base of some type.	2017-04-24 15:44:46 -04:00