12074 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	c53076b071	Replace identifiable with its R-algebra.	2017-04-24 15:43:29 -04:00
Rob Rix	d429d77b15	Define a type synonym for R-algebras.	2017-04-24 15:43:22 -04:00
Rob Rix	fa520d6089	Move the definition of FAlgebra up.	2017-04-24 15:41:17 -04:00
Rob Rix	82a40d19ff	cyclomaticComplexityAlg is an F-algebra.	2017-04-24 15:40:31 -04:00
Rob Rix	46c044d448	Replace cyclomaticComplexity with its algebra.	2017-04-24 15:39:46 -04:00
Rob Rix	1e40f9b823	📝 decoratorWithAlgebra’s parameters.	2017-04-24 15:38:34 -04:00
Rob Rix	292969a5df	Reformat decoratorWithAlgebra’s signature.	2017-04-24 15:38:22 -04:00
Rob Rix	0a6555351b	📝 decoratorWithAlgebra.	2017-04-24 15:35:47 -04:00
Rob Rix	5201cb3f46	📝 FAlgebra.	2017-04-24 15:35:19 -04:00
Rob Rix	07c13859e2	Define a function lifting an algebra into a decorator.	2017-04-24 15:34:28 -04:00
Rob Rix	8b7d416164	Simplify the cyclomatic complexity computation to just the value.	2017-04-24 15:28:21 -04:00
Rob Rix	c4393ace0b	Define a cyclomatic complexity decorator.	2017-04-24 15:23:21 -04:00
Rob Rix	90737f6e5f	Generalize identifiable over the union.	2017-04-24 15:07:19 -04:00
Rob Rix	76513638a6	Merge branch 'master' into clean-parse-and-diff-interface	2017-04-24 14:56:06 -04:00
Rob Rix	9e34c589c0	Merge branch 'master' into a-la-carte-folds	2017-04-24 14:55:49 -04:00
Rob Rix	bfacfc783f	Merge pull request #1085 from github/run-assignment-with-source ... Run assignment with source	2017-04-24 14:55:07 -04:00
Rob Rix	fb477828e6	📝 advanceState.	2017-04-24 13:57:41 -04:00
Rob Rix	a7b47952eb	📝 AssignmentState itself.	2017-04-24 13:55:12 -04:00
Rob Rix	8caea50b14	📝 AssignmentState’s fields.	2017-04-24 13:54:33 -04:00
Rob Rix	806aa944d0	SourcePos is 1-indexed in both line and column.	2017-04-24 13:51:08 -04:00
Rob Rix	3705f960f4	Reformat AssignmentState across several lines.	2017-04-24 13:47:21 -04:00
Rob Rix	d3517ab60f	Methods are identifiable.	2017-04-24 13:41:20 -04:00
Rob Rix	54108f0019	Classes are identifiable.	2017-04-24 13:41:16 -04:00
Rob Rix	d5b512d094	Stub in a function producing the list of identifiable subterms of a term.	2017-04-24 13:38:55 -04:00
Rob Rix	d66e425e56	Derive Functor and Traversable instances for à la carte syntax types.	2017-04-24 13:38:21 -04:00
Rob Rix	0ad31e7887	Define Traversable instances for Unions.	2017-04-24 13:37:59 -04:00
Rob Rix	09d4dbcb8e	Define Functor instances for unions of Functors.	2017-04-24 13:29:10 -04:00
Rob Rix	3dd4d12af8	Define the strengthening of a single-member union.	2017-04-24 13:28:56 -04:00
Timothy Clem	c1be28de3b	Switch over to mapConcurrently in Command.Git too	2017-04-24 09:59:58 -07:00
Rob Rix	cbe44c66e7	Merge branch 'master' into run-assignment-with-source	2017-04-24 12:53:45 -04:00
Timothy Clem	5181a11455	Use StandaloneDeriving for Arguments	2017-04-24 09:42:58 -07:00
Timothy Clem	196a0d28e8	Not using ViewPatterns here	2017-04-24 09:33:12 -07:00
Timothy Clem	77b9b6f909	Few doc fixes	2017-04-24 09:17:28 -07:00
Josh Vera	ed8b07e64b	Merge branch 'master' into clean-parse-and-diff-interface	2017-04-24 12:03:09 -04:00
Josh Vera	4af987ed57	Merge pull request #1080 from github/rws-effect ... RWS Effect	2017-04-24 12:02:52 -04:00
Josh Vera	afc4790383	Merge branch 'master' into rws-effect	2017-04-24 11:53:26 -04:00
Timothy Clem	5b3ea87e57	Revert "Write my own takeExtension" ... This reverts commit c18cabe7b583e039d96138b8b219bf99c52dd995.	2017-04-24 08:12:53 -07:00
Timothy Clem	56f9a7ba40	Change naming to diffBlobPair(s)	2017-04-24 07:46:32 -07:00
Rob Rix	55934f656b	Correct indentation.	2017-04-24 10:44:37 -04:00
Timothy Clem	bb71fd7b71	s/renderAsync/renderConcurrently	2017-04-24 07:37:41 -07:00
Timothy Clem	d38724f39b	Write my own takeExtension	2017-04-24 07:37:32 -07:00
Rob Rix	de0cdc98aa	Add SourcePos information to the tests.	2017-04-24 10:27:45 -04:00
Rob Rix	5500b7534e	term can match empty lists by taking the current offset.	2017-04-24 10:19:15 -04:00
Rob Rix	59b7478caf	📝 AST.	2017-04-24 10:18:42 -04:00
Rob Rix	7868979cee	📝 Node.	2017-04-24 10:18:02 -04:00
Rob Rix	ec65a199dc	Define a location combinator.	2017-04-24 10:17:10 -04:00
Rob Rix	25ebe64d83	Define state assignments.	2017-04-24 10:01:09 -04:00
Rob Rix	96affb1f05	Carry the current position through assignment.	2017-04-24 09:53:30 -04:00
Timothy Clem	5e9df83f9c	Listable instance changes with move of debug flag	2017-04-21 18:07:30 -07:00
Timothy Clem	d4933b3aaf	Easier way to get output dir	2017-04-21 18:07:16 -07:00