| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Core.TyCon.Set
Synopsis
- type TyConSet = UniqSet TyCon
- 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
- disjointTyConSet :: TyConSet -> TyConSet -> Bool
- intersectTyConSet :: TyConSet -> TyConSet -> TyConSet
- nameSetAny :: (TyCon -> Bool) -> TyConSet -> Bool
- nameSetAll :: (TyCon -> Bool) -> TyConSet -> Bool
TyCons set type
Manipulating these sets
unitTyConSet :: TyCon -> TyConSet Source #
mkTyConSet :: [TyCon] -> TyConSet Source #
unionTyConSets :: [TyConSet] -> TyConSet Source #
isEmptyTyConSet :: TyConSet -> Bool Source #
intersectsTyConSet :: TyConSet -> TyConSet -> Bool Source #
True if there is a non-empty intersection.
s1 doesn't compute intersectsTyConSet s2s2 if s1 is empty