16793 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	f970aeddc7	Label the empty list like before.	2017-11-22 16:58:47 -05:00
Rob Rix	5a49d44516	Specialize for [] with a CustomConstructorName instance.	2017-11-22 16:55:33 -05:00
Rob Rix	e5726442ab	📝 ConstructorName.	2017-11-22 16:53:36 -05:00
Rob Rix	10ba1e46b7	Refactor qualify to use guard.	2017-11-22 16:50:12 -05:00
Rob Rix	5dc52688df	Refactor diffBlobPair to abstract over the syntax type only once.	2017-11-22 16:42:32 -05:00
Rob Rix	c83427c4cf	Merge branch 'master' into existential-syntax-without-the-fire	2017-11-22 16:25:31 -05:00
Rob Rix	75bfb1903d	Refactor parseBlob to abstract over syntax only once.	2017-11-22 16:10:39 -05:00
Rob Rix	8c2bf9fe59	Sort Data.Bifoldable up.	2017-11-22 16:09:09 -05:00
Josh Vera	95ba4f5fcf	Merge pull request #1443 from github/🔥-patch-output ... 🔥 patch output	2017-11-22 15:58:06 -05:00
Rob Rix	8268101695	Define an eliminator for SomeParser.	2017-11-22 15:32:32 -05:00
Rob Rix	e1ee3264a1	Generalize SomeParser over the annotation type.	2017-11-22 15:31:51 -05:00
Rob Rix	384178ec56	Merge branch 'master' into 🔥-patch-output	2017-11-21 17:13:51 -05:00
Rob Rix	3542037659	Merge pull request #1442 from github/fix-markdown-timeouts ... Fix markdown timeouts	2017-11-21 17:12:30 -05:00
Rob Rix	aa8f6883e8	🔥 Alignment.	2017-11-21 17:12:00 -05:00
Rob Rix	94ce3fe8f6	🔥 Renderer.Patch.	2017-11-21 17:11:54 -05:00
Rob Rix	0ebcf1c7dc	🔥 PatchDiffRenderer.	2017-11-21 17:11:43 -05:00
Rob Rix	f714521f31	🔥 the --patch flag.	2017-11-21 17:11:16 -05:00
Rob Rix	8dea7d4194	🔥 AlignmentSpec.	2017-11-21 17:08:52 -05:00
Rob Rix	efa454edcc	🔥 PatchOutputSpec.	2017-11-21 17:08:40 -05:00
Rob Rix	2fbea81d9c	Merge branch 'master' into fix-markdown-timeouts	2017-11-21 17:05:14 -05:00
Rob Rix	6c5cb81b36	Export ApplyAll.	2017-11-21 12:19:06 -05:00
Rob Rix	5ff0f21583	🔥 unSomeParser.	2017-11-21 12:19:00 -05:00
Rob Rix	004a0390a7	Generalize someParser over the syntax types.	2017-11-21 11:47:49 -05:00
Rob Rix	6108aa1b64	Define ConstructorName using advanced overlap.	2017-11-21 11:46:48 -05:00
Timothy Clem	994345f0d3	Merge pull request #1436 from github/fix-markdown-sourceLineRangesByLineNumber ... Catch all forms of newlines in sourceLineRangesWithin	2017-11-20 15:34:06 -08:00
Timothy Clem	a4d11b6e63	Merge branch 'master' into fix-markdown-sourceLineRangesByLineNumber	2017-11-20 15:23:33 -08:00
Timothy Clem	16ef56d742	Merge remote-tracking branch 'origin/master' into fix-markdown-timeouts	2017-11-20 15:22:58 -08:00
Timothy Clem	94690bebaf	Extract function instead of lambda	2017-11-20 15:09:13 -08:00
Timothy Clem	2f6cbe1f82	Merge pull request #1417 from github/generate-tags-with-context ... Generate tags (round 2)	2017-11-20 14:38:09 -08:00
Timothy Clem	9df8c2f8a5	Add .tsx extension	2017-11-20 14:21:49 -08:00
Timothy Clem	57dd145dc2	Fix tests and demonstrate removes too	2017-11-20 14:20:34 -08:00
Timothy Clem	4aedbf9647	Track contents as children of the heading	2017-11-20 14:20:23 -08:00
Timothy Clem	631594e01e	Don't nest markdown sections/headings ... There's a major performance problem with the `while` approach to detecting hierarchy in markdown headings/sections. This works around by just having headings stay flat (like they are returned from the cmark parser).	2017-11-20 13:47:46 -08:00
Timothy Clem	fcf455f9b1	Use choice for markdown assignment	2017-11-20 13:45:52 -08:00