David Feuer
David Feuer
Even $O(1)$ is quite wrong for that edge case, so we need to fix this.
I won't be able to evaluate this until the weekend. I'm currently traveling.
I will be available to do it on Monday. Please ping me then if you remember.
Why drop `Magma`? This whole PR slipped under my radar. I'll try to take a look shortly.
I started working on this today. The main difficulty I'm having is finding a good (not too awkward) way to get `Sized` evidence when we need it—which is sometimes a...
Hmmm ... Even that split leaves us with similar awkwardness. Bleh.
Okay, I think I've worked through the `Sized` issue reasonably well. Now I'm left with a pile of judgement calls about `FingerTree` vs. `Seq`, and various inlining issues. We can...
The folds for digits and nodes can inline into the other folds. But GHC can't inline the folds going down `FingerTree` spines. With the GADTy version, that changes. We can...
I'm a bit skeptical about this one, though I won't rule it out entirely. Would it be possible to speed it up without being eager about those binary searches? I...
More concretely, use this building block: ```haskell array3 :: Ix i => (i, i) -> [(i, a, b, c)] -> (Array i a, Array i b, Array i c) ```...