Proposal for generalized function partition in List-library

[Michal Gajda]

On Thu, 17 May 2001, Bernd [iso-8859-2] Holzm=FCller wrote:
> This partitioning function builds equivalence classes from the list
> argument, where each element list within the result list consists of
> elements that all map to the same value when applying f to it.
> Thus: partition (`div` 2) [1..5] yields [[1],[2,3],[4,5]]
>=20
> This is much more general than the existing partitioning function and
> applicable in many practical cases.

But here generality comes at the expense of speed I think.

=09Greetings :-)
=09=09Michal Gajda
=09=09korek@icm.edu.pl