- type TyConGroup = ([TyCon], UniqSet TyCon)
- classifyTyCons :: UniqFM Bool -> [TyConGroup] -> ([TyCon], [TyCon])
- tyConGroups :: [TyCon] -> [TyConGroup]
Documentation
type TyConGroup = ([TyCon], UniqSet TyCon)Source
classifyTyCons :: UniqFM Bool -> [TyConGroup] -> ([TyCon], [TyCon])Source
Split the given tycons into two sets depending on whether they have to be converted (first list) or not (second list). The first argument contains information about the conversion status of external tycons:
- tycons which have converted versions are mapped to True * tycons which are not changed by vectorisation are mapped to False * tycons which can't be converted are not elements of the map
tyConGroups :: [TyCon] -> [TyConGroup]Source
Compute mutually recursive groups of tycons in topological order