Moduleghc-9.14.1GHC2021

GHC.Core.TyCon.Set

TyCons set type

1 declaration

typetype TyConSet = UniqSet TyCon

valueemptyTyConSet :: TyConSet

valueunitTyConSet :: TyCon -> TyConSet

valuemkTyConSet :: [TyCon] -> TyConSet

valueunionTyConSet :: TyConSet -> TyConSet -> TyConSet

valueunionTyConSets :: [TyConSet] -> TyConSet

valueminusTyConSet :: TyConSet -> TyConSet -> TyConSet

valueelemTyConSet :: TyCon -> TyConSet -> Bool

valueextendTyConSet :: TyConSet -> TyCon -> TyConSet

valueextendTyConSetList :: TyConSet -> [TyCon] -> TyConSet

valuedelFromTyConSet :: TyConSet -> TyCon -> TyConSet

valuedelListFromTyConSet :: TyConSet -> [TyCon] -> TyConSet

valueisEmptyTyConSet :: TyConSet -> Bool

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

valueintersectsTyConSet :: TyConSet -> TyConSet -> Bool

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

valuedisjointTyConSet :: TyConSet -> TyConSet -> Bool

valueintersectTyConSet :: TyConSet -> TyConSet -> TyConSet

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

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