Given a function f :: a -> NonEmpty c which returns a non-empty list of
characteristics of a, partition a list of as into groups such
that each element in a group shares at least one characteristic
with at least one other element of the group.
ModuleAgda-2.8.0.2Haskell2010
Agda.Utils.Cluster
Create clusters of non-overlapping things.
- PackageAgda-2.8.0.2
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourceCluster.hs
Partition a list of as paired with a non-empty list of
characteristics into groups such that each element in a group
shares at least one characteristic with at least one other
element of the group.
Given a function f :: a -> NonEmpty c which returns a non-empty list of
characteristics of a, partition a non-empty list of as into groups such
that each element in a group shares at least one characteristic
with at least one other element of the group.
Partition a non-empty list of as paired with a non-empty list of
characteristics into groups such that each element in a group
shares at least one characteristic with at least one other
element of the group.