15097 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	de318561dd	Correct a test’s expectation.	2017-09-01 11:25:30 -04:00
Rob Rix	25230f8c2f	Don’t bother with a shared thunk.	2017-09-01 11:11:33 -04:00
Rob Rix	aa15d3e0fd	Unique the symbols with an IntSet.	2017-09-01 11:01:11 -04:00
Rob Rix	2e51edbc97	Unique the symbols with a Set.	2017-09-01 10:57:59 -04:00
Rob Rix	5a94cc1a8a	Use a uniqued list of symbols.	2017-09-01 10:56:03 -04:00
Rob Rix	7e3000bc5a	Chain error handlers on after continuations.	2017-09-01 10:51:11 -04:00
Rob Rix	9b7f335a9d	Implement MonadError in terms of Choose error handlers.	2017-09-01 10:49:49 -04:00
Rob Rix	a6b1d4e9a9	Add a Fail rule & MonadFail instance.	2017-09-01 10:36:32 -04:00
Rob Rix	d6c8947350	Store the addresses in an IntSet.	2017-09-01 10:16:15 -04:00
Rob Rix	4c852dd107	Array-backed jump tables hold a set of indices.	2017-09-01 10:12:07 -04:00
Rob Rix	aed5ba4c76	Revert "foldMap tables together directly." ... This reverts commit 7e17b36f199e9bc464d1c4bc912a062ab60eef05.	2017-09-01 10:02:36 -04:00
Rob Rix	761fdaef30	foldMap tables together directly.	2017-09-01 10:02:28 -04:00
Rob Rix	baf20927f4	Define a Semigroup instance for Assignment.	2017-09-01 09:59:03 -04:00
Rob Rix	d06927f604	Define a Monoid instance for Assignment.	2017-09-01 09:58:54 -04:00
Rob Rix	ddb5518878	Define a Monoid instance for IntMap-based jump tables.	2017-09-01 09:56:21 -04:00
Rob Rix	1c79fc59cc	Unique the symbols.	2017-09-01 09:48:26 -04:00
Rob Rix	cb73a6c55e	Merge branch 'master' into explicit-choice	2017-09-01 09:27:01 -04:00
Rob Rix	8f9efc83d4	Use the IntMap jump table.	2017-08-31 23:28:00 -04:00
Rob Rix	81f89f8dcd	Replace Bounded constraints with Enum constraints wherever necessary.	2017-08-31 23:27:39 -04:00
Rob Rix	6da1cf9a0e	List the exports explicitly.	2017-08-31 23:22:25 -04:00
Rob Rix	6929b6955d	Define a Show1 instance for IntMap-based Table.	2017-08-31 23:22:18 -04:00
Rob Rix	216381fb4c	Define table lookup.	2017-08-31 23:22:04 -04:00
Rob Rix	5906f85c61	Define table elimination.	2017-08-31 23:21:57 -04:00
Rob Rix	2161284541	Define merging table construction.	2017-08-31 23:21:34 -04:00
Rob Rix	5de3acd374	Define singleton table construction.	2017-08-31 23:21:01 -04:00
Rob Rix	93a990ce43	Stub in a datatype for an IntMap-based jump table.	2017-08-31 23:20:48 -04:00
Rob Rix	fcbefe2a11	Derive Eq & Show instances for Table.	2017-08-31 23:12:29 -04:00
Rob Rix	4d07a6d7f2	Define Choose in terms of Table.	2017-08-31 23:10:38 -04:00
Rob Rix	8bbf7e0c5e	Define a function to lookup a branch in a Table.	2017-08-31 23:09:08 -04:00
Rob Rix	d742af2c28	Define a function to produce a list of associations from a Table.	2017-08-31 23:08:54 -04:00
Rob Rix	aede0519c5	Define a fromListWith constructor.	2017-08-31 22:56:18 -04:00
Rob Rix	f1b406fc16	Rename tableSingleton to singleton.	2017-08-31 22:43:11 -04:00
Rob Rix	90b0475b1a	Define a function to construct singleton tables.	2017-08-31 22:40:50 -04:00
Rob Rix	a827e8d331	Derive Foldable, Functor, & Traversable instances.	2017-08-31 22:40:40 -04:00
Rob Rix	238d0fdb4a	Only show the populated branches.	2017-08-31 22:32:56 -04:00
Rob Rix	ea01aa9e2b	Define a Show1 instance for Table.	2017-08-31 22:29:42 -04:00
Rob Rix	207db7c0a1	Explicitly export the Table datatype & its addresses selector.	2017-08-31 22:15:27 -04:00
Rob Rix	9c94c36c3e	Stub in a datatype for the array-based jump table.	2017-08-31 22:15:13 -04:00
Rob Rix	20e10ff3a4	Re-export the Array module.	2017-08-31 22:08:17 -04:00
Rob Rix	e0d2debad5	Stub in a module for IntMap-based jump tables.	2017-08-31 22:07:38 -04:00
Rob Rix	e0a9b5681e	Stub in a module for array-based jump tables.	2017-08-31 22:07:12 -04:00
Rob Rix	d89d82924a	Stub in a module for jump tables.	2017-08-31 22:04:49 -04:00
Rob Rix	2e8043938d	Merge pull request #1326 from github/task-errors ... Task errors	2017-08-31 17:40:55 -04:00
Rob Rix	78e4ffb8f7	Merge branch 'master' into task-errors	2017-08-31 17:36:42 -04:00
Rob Rix	14dfcfa170	Attach the error handler to the choice.	2017-08-31 17:34:55 -04:00
Rob Rix	7df83715dd	catchError adds handlers to choices.	2017-08-31 16:04:13 -04:00
Rob Rix	3f00e0a1af	Add a committed failure handler to choices.	2017-08-31 16:01:52 -04:00
Rob Rix	c82cb8c9e9	Choose holds full assignments.	2017-08-31 15:49:00 -04:00
Rob Rix	0d492cc899	Unpack Alt rules in choices.	2017-08-31 15:16:01 -04:00
Rob Rix	ca16c9c0c3	Rename Jump to Choose.	2017-08-31 14:55:24 -04:00