Agda.Utils.Cluster

Create clusters of non-overlapping things.

Documentation

cluster :: forall a. (a -> (C, [C])) -> [a] -> [[a]]

Given a function f :: a -> (C,[C]) which returns a non-empty list of characteristics C of a, partition a list of as into groups that share at least one characteristics.

cluster' :: forall a. [(a, (C, [C]))] -> [[a]]

Partition a list of as paired with a non-empty list of characteristics $C$ into groups that share at least one characteristics.

tests :: IO Bool