6 Jan
2012
6 Jan
'12
5:56 a.m.
groupBy is currently implemented using span. It strikes me that we ought to specify some properties for what we want. Start by defining: pairwiseInOrderBy p l = all (uncurry p) (l `zip` drop 1 l) giving all (pairwiseInOrderBy p) (groupCut p l) and we would want concat (groupCut p l) == l (all modulo nontermination side conditions). Anything else? To be honest, I've worked out what's going on in this case and I have an implementation or two of what I'd want in case I need it, plus I've
On 06/01/2012 10:39, Jon Fairbairn wrote: posted it in case it was useful to the OP. There's nothing I really want to persue any further.