I'm not sure I propose adding it to base either :) Relaxing `t` as the output is certainly correct. I'm not sure if there is a correct choice between Alternative or Monoid. That would be an indicator that a generic function of this form is arbitrarily opinionated. On Thu, Oct 20, 2016 at 3:18 PM, Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Thu, 20 Oct 2016, evan@evan-borden.com wrote:
I've given the performance hypothesis a test and it seems that a generic
implementation outperforms the list implementation. I'm not terribly sure why this is the case, but I also haven't dumped core.
Implementation and bench: https://github.com/eborden/partition
I do not propose to add this to 'base', but if you are after a generic implementation why is the input container type the same as the output type (both 't')? Why not using Alternative.<|> instead of Monoid.<> ?