16827 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	41020b7eae	Extract the Declaration algebras into a new module.	2017-11-28 09:17:41 -05:00
Rob Rix	296569da6a	Clean up the LANGUAGE pragma for Analysis.Decorator.	2017-11-27 14:54:01 -05:00
Rob Rix	8454467b61	Move the cyclomatic complexity analysis into its own module.	2017-11-27 14:52:27 -05:00
Rob Rix	ae985ef4e5	Factor ConstructorName into its own module.	2017-11-27 14:45:13 -05:00
Rob Rix	a844fec2bd	Move the algebras into their own module.	2017-11-27 14:36:20 -05:00
Rob Rix	2102ab41cf	Rename Decorating to Analysis.	2017-11-27 14:32:13 -05:00
Rob Rix	a6cdcc2c55	Add section headers to the .cabal file.	2017-11-27 14:28:28 -05:00
Rob Rix	87d533cc2b	Rename Language to Data.Language.	2017-11-27 14:17:48 -05:00
Rob Rix	46970445ff	🔥 some unused machinery in the Language module.	2017-11-27 14:10:33 -05:00
Rob Rix	bcb64b3187	Rename the Integration spec.	2017-11-27 14:06:12 -05:00
Rob Rix	59fc8bffc9	Rename the TOC spec.	2017-11-27 14:04:58 -05:00
Rob Rix	69595553d6	Rename the Interpreter spec.	2017-11-27 14:03:45 -05:00
Rob Rix	a442bfeea1	Rename the Term spec.	2017-11-27 14:02:03 -05:00
Rob Rix	a079638c5b	Rename the Semantic spec.	2017-11-27 14:00:53 -05:00
Rob Rix	80fce5b41e	Rename the Diff spec.	2017-11-27 13:59:44 -05:00
Rob Rix	4b06df7db4	Rename the Stat spec.	2017-11-27 13:58:23 -05:00
Rob Rix	59166b50bb	Rename the CLI spec.	2017-11-27 13:57:25 -05:00
Rob Rix	b98375b58f	Rename the IO spec.	2017-11-27 13:52:48 -05:00
Rob Rix	8a3d34a1fc	Rename the SES spec.	2017-11-27 13:51:05 -05:00
Rob Rix	f4960b0a0d	Rename the Source spec.	2017-11-27 13:49:52 -05:00
Rob Rix	266bd1199a	Rename the RWS spec.	2017-11-27 13:48:43 -05:00
Rob Rix	a8e8489fcb	Rename the assignment spec.	2017-11-27 13:47:04 -05:00
Rob Rix	3ebb972bd8	Move the Node datatype & AST synonym into Data.AST.	2017-11-27 13:45:37 -05:00
Rob Rix	fd31babd62	Rename Decorator to Decorating.Decorator.	2017-11-27 13:36:00 -05:00
Rob Rix	3a3ed72f96	Rename Renderer to Rendering.Renderer.	2017-11-27 13:30:38 -05:00
Rob Rix	dbb1a33fca	Rename Parser to Parsing.Parser.	2017-11-27 13:24:45 -05:00
Rob Rix	9bfd64905d	Rename Data.Syntax.Assignment to Assigning.Assignment.	2017-11-27 13:19:20 -05:00
Rob Rix	062d9cbfa9	Rename Files to Semantic.IO.	2017-11-27 13:09:03 -05:00
Rob Rix	1e95b0270e	Rename SemanticCmdLine to Semantic.CLI.	2017-11-27 11:57:27 -05:00
Rob Rix	bb21a24a93	Rename RWS to Diffing.Algorithm.RWS.	2017-11-27 11:51:39 -05:00
Rob Rix	dad5abb189	Rename SES to Diffing.Algorithm.SES.	2017-11-27 11:48:39 -05:00
Rob Rix	cdefcdb33d	Rename Interpreter to Diffing.Interpreter.	2017-11-27 11:45:08 -05:00
Rob Rix	cfd27ec20c	Rename Algorithm -> Diffing.Algorithm.	2017-11-27 11:42:57 -05:00
Rob Rix	088c58f405	🔥 identifierAlgebra.	2017-11-24 14:06:46 -05:00
Rob Rix	4a7e5f6055	Align the argument docs.	2017-11-24 14:02:25 -05:00
Rob Rix	b9bca6f567	Rename the f type parameter to syntax.	2017-11-24 14:02:06 -05:00
Rob Rix	610a420023	Define some promotions of algebras to OpenRAlgebra.	2017-11-24 14:01:12 -05:00
Rob Rix	6d5f4a83f9	Links in the docs for fToR.	2017-11-24 13:59:54 -05:00
Rob Rix	58dc2d7b75	Define synonyms for open-recursive F- and R-algebras.	2017-11-24 13:58:46 -05:00
Rob Rix	b70e5ead7e	Correct the docs for FAlgebra & RAlgebra.	2017-11-24 13:16:02 -05:00
Rob Rix	85c3754934	🔥 the Comonad & ComonadCofree instances for Term.	2017-11-23 13:27:21 -05:00
Rob Rix	35da07249e	termAnnotation & termOut act on Term, not TermF.	2017-11-23 13:21:37 -05:00
Rob Rix	89338a8570	Define eliminators for TermF.	2017-11-23 13:14:46 -05:00
Rob Rix	d17b6399f2	Specialize RAlgebra to use Base.	2017-11-22 17:36:35 -05:00
Rob Rix	10a17b139e	🔥 irregular uses of RAlgebra.	2017-11-22 17:35:40 -05:00
Rob Rix	e12c3577de	Parameterize FAlgebra by the type family.	2017-11-22 17:33:38 -05:00
Rob Rix	72c804dc48	Rename Language.Markdown to Parser.CMark.	2017-11-22 17:26:14 -05:00
Rob Rix	1c0101a269	Rename TreeSitter to Parser.TreeSitter.	2017-11-22 17:24:10 -05:00
Rob Rix	3a06686361	Rename Data.Syntax.Algebra to Decorator.	2017-11-22 17:21:22 -05:00
Rob Rix	2e7da5e2c1	🔥 withParser.	2017-11-22 17:05:26 -05:00