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