GHC.Core.TyCon.Set

TyCons set type

type TyConSet = UniqSet TyCon

Manipulating these sets

emptyTyConSet :: TyConSet

unitTyConSet :: TyCon -> TyConSet

mkTyConSet :: [TyCon] -> TyConSet

unionTyConSet :: TyConSet -> TyConSet -> TyConSet

unionTyConSets :: [TyConSet] -> TyConSet

minusTyConSet :: TyConSet -> TyConSet -> TyConSet

elemTyConSet :: TyCon -> TyConSet -> Bool

extendTyConSet :: TyConSet -> TyCon -> TyConSet

extendTyConSetList :: TyConSet -> [TyCon] -> TyConSet

delFromTyConSet :: TyConSet -> TyCon -> TyConSet

delListFromTyConSet :: TyConSet -> [TyCon] -> TyConSet

isEmptyTyConSet :: TyConSet -> Bool

filterTyConSet :: (TyCon -> Bool) -> TyConSet -> TyConSet

intersectsTyConSet :: TyConSet -> TyConSet -> Bool

True if there is a non-empty intersection. s1 intersectsTyConSet s2 doesn't compute s2 if s1 is empty

disjointTyConSet :: TyConSet -> TyConSet -> Bool

intersectTyConSet :: TyConSet -> TyConSet -> TyConSet

nameSetAny :: (TyCon -> Bool) -> TyConSet -> Bool

nameSetAll :: (TyCon -> Bool) -> TyConSet -> Bool