13105 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	7ad8f25919	Always show the root error.	2017-06-07 18:43:36 -04:00
Rob Rix	e39c737115	Define text assignment.	2017-06-07 18:40:33 -04:00
Rob Rix	9445c73bf0	Stub in strong and emphasis assignment.	2017-06-07 18:38:49 -04:00
Rob Rix	5b78a3de21	Stub in assignments for paragraphs and documents.	2017-06-07 18:36:13 -04:00
Rob Rix	20228b8a4d	Qualify the grammar type.	2017-06-07 18:35:19 -04:00
Rob Rix	79389707fb	Define a convenience to construct a Markdown parser.	2017-06-07 18:30:33 -04:00
Rob Rix	6af92900ff	Decouple the AST type in assignment parsers from the grammar type.	2017-06-07 18:30:24 -04:00
Rob Rix	6e5660c49d	Add Syntax.Error to Markdown.	2017-06-07 18:29:53 -04:00
Rob Rix	a0cf560d25	Correct the Markdown ast type.	2017-06-07 18:29:45 -04:00
Rob Rix	8b4b0a10da	Export assignBy.	2017-06-07 18:21:31 -04:00
Rob Rix	14e538fa25	Produce assignment-style AST for Markdown.	2017-06-07 18:20:16 -04:00
Rob Rix	9c49f3366f	Map NodeType onto Grammar.	2017-06-07 18:13:44 -04:00
Rob Rix	e4ad59bb25	Expand the Grammar datatype.	2017-06-07 18:05:14 -04:00
Rob Rix	9b0f6f777d	Move the Grammar datatype into Language.Markdown.	2017-06-07 17:29:35 -04:00
Rob Rix	89c9e546eb	Move the HasCallStack constraint into the Assignment type synonym.	2017-06-07 17:26:04 -04:00
Rob Rix	d01f188d4d	Stub in an assignment for Markdown.	2017-06-07 16:28:26 -04:00
Rob Rix	28ee63a046	Stub in a module for Markdown assignment.	2017-06-07 16:18:49 -04:00
Rob Rix	7707eb8991	Define a withNode smart constructor.	2017-06-07 16:17:51 -04:00
Rob Rix	90e7b5a5c2	Define the interpretation of WithNode assignments.	2017-06-07 16:16:10 -04:00
Rob Rix	8730128c4c	Define a WithNode rule for assignments.	2017-06-07 16:14:22 -04:00
Rob Rix	cc90ee88b7	Add an ast type parameter to Assignment.	2017-06-07 16:12:23 -04:00
Rob Rix	40f86f4b59	Define type synonyms for Ruby and Python assignment so as to not have to keep editing every type signature.	2017-06-07 15:57:39 -04:00
Rob Rix	79724efd67	Clarify a doc comment.	2017-06-07 15:54:21 -04:00
Rob Rix	845e0fa8d6	Export Term type synonyms from Ruby and Python.	2017-06-07 15:53:36 -04:00
Rob Rix	4b4e6871b4	Rename the term parameter to ast.	2017-06-07 15:44:43 -04:00
Rob Rix	0599ae2286	Extend the projection function to return the location as well.	2017-06-07 15:43:21 -04:00
Rob Rix	a8ff3bb588	Generalize to arbitrary comonads.	2017-06-07 15:29:03 -04:00
Rob Rix	549d85a84d	🔥 the AST type synonym.	2017-06-07 15:19:32 -04:00
Rob Rix	bc4284c8a6	Generalize runAssignment &c. to Traversable syntax functors.	2017-06-07 15:16:26 -04:00
Rob Rix	59b671a144	Generalize dropAnonymous to Recursive functors.	2017-06-07 15:09:47 -04:00
Rob Rix	d3e4117295	Generalize runAssignment &c. over the record fields.	2017-06-07 15:08:37 -04:00
Rob Rix	407f68faac	Simplify advanceState’s selection of the record.	2017-06-07 15:03:36 -04:00
Rob Rix	360ef63ab4	Generalize makeState to arbitrary term types.	2017-06-07 15:02:20 -04:00
Rob Rix	9d4fb0920b	Generalize advanceState over the syntax functor.	2017-06-07 15:01:52 -04:00
Rob Rix	f7c1992db1	Parameterize AssignmentState by the term type.	2017-06-07 15:01:24 -04:00
Rob Rix	698b0ac5fe	Use the Location synonym more widely.	2017-06-07 14:55:23 -04:00
Rob Rix	156fa1723c	🔥 Node.	2017-06-07 14:51:08 -04:00
Rob Rix	a8bf5b5e71	Redefine the Syntax type synonyms as just the list of type constructors.	2017-06-07 14:34:32 -04:00
Rob Rix	c0763f7a23	Redefine Location as just the list of fields.	2017-06-07 14:31:37 -04:00
Rob Rix	84c15e3e65	Don’t specify Node in the assignment spec.	2017-06-07 14:27:01 -04:00
Rob Rix	a66a76bb01	Construct the input AST using the node constructor.	2017-06-07 14:26:21 -04:00
Rob Rix	ddc58d3f83	Rename rec to node.	2017-06-07 14:23:37 -04:00
Rob Rix	af80bca937	🔥 Rose.	2017-06-07 14:23:33 -04:00
Rob Rix	52be6902a8	🔥 redundant parens.	2017-06-07 14:15:36 -04:00
Rob Rix	713844423f	Clean up the selection of errors using the Alternative instance.	2017-06-07 13:51:01 -04:00
Rob Rix	54bb4f9455	Rename AssignmentF’s grammar parameter to match every use of it.	2017-06-07 12:39:44 -04:00
Rob Rix	6c69d315a0	Simplify result production in a couple of places.	2017-06-07 12:17:13 -04:00
Rob Rix	5e1cfe7607	Swap the ordering of the result fields.	2017-06-07 12:15:22 -04:00
Rob Rix	9f4f37025c	Generalize the symbolizing function to take the whole CofreeF.	2017-06-07 12:09:59 -04:00
Rob Rix	08e15321c2	Parameterize assignment by a function producing the symbol.	2017-06-07 12:05:46 -04:00