13966 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	b91f70ec6a	Simplify error construction.	2017-07-22 16:08:12 -04:00
Rob Rix	04fe451ca3	Swap the parameters to nodeError.	2017-07-22 16:05:55 -04:00
Rob Rix	a4a8e85bbb	Extract the computation of errors for a given node.	2017-07-22 16:05:02 -04:00
Rob Rix	0aa86a309f	Reformat Error.	2017-07-22 16:00:50 -04:00
Rob Rix	130b4a0d3e	Write the child chain as a Kleisli composition.	2017-07-22 15:55:30 -04:00
Rob Rix	2c98b31f73	Run child assignments as direct Monadic chain.	2017-07-22 15:52:37 -04:00
Rob Rix	09787f5e93	Combine the Error constructors.	2017-07-22 15:43:48 -04:00
Rob Rix	630d78ae2a	🔥 the Show1 instance for Error.	2017-07-22 15:41:56 -04:00
Rob Rix	1b3a8f1311	Simplify error construction.	2017-07-22 15:34:56 -04:00
Rob Rix	a04a05cf1a	Combine ErrorCause into Error.	2017-07-22 15:31:43 -04:00
Rob Rix	8f492b7a9a	Combine the error clauses.	2017-07-22 15:19:27 -04:00
Rob Rix	126e319b88	Bind the head node.	2017-07-22 15:07:31 -04:00
Rob Rix	fd27976ba6	🔥 the note re: nullability. ... It really only made sense when we were matching stateNodes at the same time.	2017-07-22 15:04:42 -04:00
Rob Rix	6a80c9dae9	🔥 some unneccessary quantifiers.	2017-07-22 15:03:58 -04:00
Rob Rix	8062a7aad4	Spacing.	2017-07-22 15:02:17 -04:00
Rob Rix	1d8c4fdeea	Define a helper to project nodes.	2017-07-22 15:01:29 -04:00
Rob Rix	40313b598f	Simplify the chain for choices.	2017-07-22 14:56:19 -04:00
Rob Rix	f628d22aee	Match the head node with guard clauses.	2017-07-22 14:52:34 -04:00
Rob Rix	140b5cf49b	Simplify how the node is projected out.	2017-07-22 14:50:26 -04:00
Rob Rix	11e83f0413	Define the error cases with guard clauses.	2017-07-22 14:49:14 -04:00
Rob Rix	dc9bfe28d1	Combine the rules for Location assignments.	2017-07-22 14:41:58 -04:00
Rob Rix	e8afa8817e	Preserve backtracking errors via a setter.	2017-07-22 14:34:04 -04:00
Rob Rix	9bac600596	Define advanceState closed over the projection.	2017-07-22 14:27:46 -04:00
Rob Rix	8be255dfd7	Define dropAnonymous closed over the projection.	2017-07-22 14:24:43 -04:00
Rob Rix	8404b320b6	Define expectedSymbols with guard clauses.	2017-07-22 14:23:38 -04:00
Rob Rix	346d87b572	Tighten up the computation of the starting state.	2017-07-22 14:23:01 -04:00
Rob Rix	b97deff731	Tighten up how alternations are run.	2017-07-22 14:12:04 -04:00
Rob Rix	48cfac86f2	Tighten up how catching is run.	2017-07-22 14:10:56 -04:00
Rob Rix	fd20883532	📝 stateError.	2017-07-22 14:09:13 -04:00
Rob Rix	b9353f0d15	📝 the arguments to assignBy.	2017-07-22 14:07:58 -04:00
Rob Rix	53bb412fd3	Align the arguments with the ::.	2017-07-22 14:06:44 -04:00
Rob Rix	83a0d9c60e	Swap the order of the source & assignment.	2017-07-22 14:06:07 -04:00
Rob Rix	455f912941	Swap the order of the projection & source.	2017-07-22 14:04:52 -04:00
Rob Rix	d464da8089	runAssignment is exhaustive.	2017-07-22 13:59:45 -04:00
Rob Rix	a1d03bb6cc	Inline go.	2017-07-22 13:56:56 -04:00
Rob Rix	4eabcf9cfc	Reformat the type signature for go.	2017-07-22 13:50:31 -04:00
Rob Rix	8a1a027e22	🔥 assign.	2017-07-22 13:47:36 -04:00
Rob Rix	9822c85709	🔥 assignAllFrom.	2017-07-22 13:47:08 -04:00
Rob Rix	0666ea03fe	Define assignBy in terms of runAssignment & requireExhaustive.	2017-07-22 13:46:54 -04:00
Rob Rix	353847c5e3	Recur and then require exhaustiveness.	2017-07-22 13:45:50 -04:00
Rob Rix	07b132e631	Define a combinator requiring exhaustiveness.	2017-07-22 13:44:51 -04:00
Rob Rix	15b7735874	Define assignAllFrom using do-notation.	2017-07-22 13:38:16 -04:00
Rob Rix	2b72ca3a8a	Inline runMany.	2017-07-22 13:34:43 -04:00
Rob Rix	fab398e089	Pull runMany out of run.	2017-07-22 13:34:40 -04:00
Rob Rix	a7a04ae3d3	📝 the parameters to runAssignment.	2017-07-22 13:32:51 -04:00
Rob Rix	5b674d1940	runMany closes over the source and projection.	2017-07-22 13:29:41 -04:00
Rob Rix	37494f9c03	go shadows the result type parameter.	2017-07-22 13:29:12 -04:00
Rob Rix	ee66fc74bf	runMany shadows the result type parameter.	2017-07-22 13:28:59 -04:00
Rob Rix	cbed2b82a0	run shadows the result type parameter.	2017-07-22 13:28:45 -04:00
Rob Rix	4b28073c6e	Pull the body of runAssignment into a worker function.	2017-07-22 13:24:09 -04:00