13325 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	e1f2e988ed	Moving/sliding doesn’t need to close over anything in searchAlongK.	2017-06-14 14:55:34 -04:00
Rob Rix	36392ca0f9	Avoid a let binding in searchAlongK.	2017-06-14 14:44:22 -04:00
Rob Rix	7a8780f8e8	🔥 the cost centres for prev/next.	2017-06-14 14:41:54 -04:00
Rob Rix	cc72a864e0	Bind getK, prev, & next in the where clause.	2017-06-14 14:41:28 -04:00
Rob Rix	641653bb5e	Factor the k pairing into searchAlongK.	2017-06-14 13:03:59 -04:00
Rob Rix	6971dc8220	Factor out the predicate on endpoints.	2017-06-14 13:03:09 -04:00
Rob Rix	7937ad4569	Replace state and update at most once per envelope.	2017-06-14 12:58:07 -04:00
Rob Rix	c3b0e95c0f	Rename the cost centre for the insert.	2017-06-14 10:40:23 -04:00
Rob Rix	e43882e056	Use the standard definition of for.	2017-06-14 10:07:17 -04:00
Rob Rix	6b30cadb66	Give a simpler definition of for.	2017-06-14 10:06:35 -04:00
Rob Rix	a9bd12115e	Revert "Inline the rightward/downward moves." ... This reverts commit a0078718556c3590de47ac79afb120de61aafb47.	2017-06-14 10:03:48 -04:00
Rob Rix	a48ee6aa99	Revert "Rename prev to up and next to left." ... This reverts commit 6d37db67bc5917c50c8d5d405c324971fbe72e2a.	2017-06-14 10:03:13 -04:00
Rob Rix	a86101d203	Revert "Rename the cost centres for the up/left endpoints." ... This reverts commit f3b6a973fe060d619743f69472f39c811f2964f9.	2017-06-14 10:03:03 -04:00
Rob Rix	5fef78a739	Revert "🔥 Diagonal and Distance." ... This reverts commit 7944ab5fb6e38fb54f81620ecca19911e6238add.	2017-06-14 10:02:53 -04:00
Rob Rix	7e272594de	Revert "Swap up/left." ... This reverts commit 790b53f306710a2607026d21a563208be0d57966.	2017-06-14 10:02:40 -04:00
Rob Rix	04f13ab227	Swap up/left.	2017-06-14 09:51:34 -04:00
Rob Rix	98ac94cd0c	Ignore profiling files.	2017-06-14 09:41:53 -04:00
Rob Rix	f63eee027e	🔥 🔥 🔥	2017-06-14 09:41:12 -04:00
Rob Rix	182aea8fa6	🔥 Diagonal and Distance.	2017-06-14 09:34:50 -04:00
Rob Rix	3044292140	Derive Eq & Show instances for Endpoint.	2017-06-14 09:33:32 -04:00
Rob Rix	a599a903d7	🔥 the Step synonym.	2017-06-14 09:33:13 -04:00
Rob Rix	b95c17bce6	Rename the cost centres for the up/left endpoints.	2017-06-14 09:28:17 -04:00
Rob Rix	334c066b48	🔥 Haddock markers.	2017-06-14 09:27:54 -04:00
Rob Rix	59183dda18	Rename prev to up and next to left.	2017-06-14 09:26:47 -04:00
Rob Rix	bd26ea2a8c	Inline the rightward/downward moves.	2017-06-14 09:23:59 -04:00
Rob Rix	7d674a7123	Merge branch 'master' into optimize-for-large-nested-branches	2017-06-14 08:45:49 -04:00
Rob Rix	e8165a0d28	Merge pull request #1159 from github/simpler-simplifying ... Simpler simplifying	2017-06-14 08:44:30 -04:00
Rob Rix	78e4a53534	Rename the manual SCCs.	2017-06-13 22:21:25 -04:00
Rob Rix	d804c7336f	Use an IntMap for the state.	2017-06-13 22:18:23 -04:00
Rob Rix	dfd9f3f0ce	Reintroduce Endpoint.	2017-06-13 21:52:38 -04:00
Rob Rix	15c1c43e4b	🔥 Endpoint.	2017-06-13 21:33:57 -04:00
Rob Rix	9ab7a3ca28	Correct the selection of y-index.	2017-06-13 21:28:24 -04:00
Rob Rix	4f79384094	Factor out the bindings of prev & next.	2017-06-13 21:19:23 -04:00
Rob Rix	2078aca839	Give a pointfree definition of getK.	2017-06-13 21:00:45 -04:00
Rob Rix	767a2a36a4	Avoid unnecessary do notation.	2017-06-13 20:53:01 -04:00
Rob Rix	54149c5000	Close over the distance.	2017-06-13 20:44:11 -04:00
Rob Rix	47e183db52	Inline the definition of moveFromAdjacent.	2017-06-13 20:40:27 -04:00
Rob Rix	04ac16f410	Endpoints don’t carry the y-coordinate.	2017-06-13 20:37:51 -04:00
Rob Rix	6c95429a27	🔥 redundant bindings of n & m.	2017-06-13 20:30:20 -04:00
Rob Rix	3ed7e1da53	Factor out the Diagonal construction.	2017-06-13 18:22:48 -04:00
Rob Rix	9b916d3619	Avoid recomputing the lengths.	2017-06-13 18:13:48 -04:00
Rob Rix	cebdbf2e0c	🔥 a let.	2017-06-13 18:12:08 -04:00
Rob Rix	bc838ab72f	Factor out a return.	2017-06-13 18:10:25 -04:00
Rob Rix	727a8d06fb	Avoid entering the monad for slideFrom.	2017-06-13 18:09:51 -04:00
Rob Rix	f78ab2259c	Avoid another monadic step.	2017-06-13 18:09:09 -04:00
Rob Rix	088df05b73	Redefine MyersState as a type synonym.	2017-06-13 18:05:56 -04:00
Rob Rix	a74c0665fd	Inline the definition of setK.	2017-06-13 18:04:32 -04:00
Rob Rix	8d3b0ceaa2	Close over the state in getK.	2017-06-13 18:03:04 -04:00
Rob Rix	2cd1816aa7	Don’t re-get the state to modify it.	2017-06-13 17:58:15 -04:00
Rob Rix	46ffff3454	Get the state once.	2017-06-13 17:57:02 -04:00