Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
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 #
intersectsTyConSet :: TyConSet -> TyConSet -> Bool #
True if there is a non-empty intersection.
s1
doesn't compute intersectsTyConSet
s2s2
if s1
is empty
disjointTyConSet :: TyConSet -> TyConSet -> Bool #
intersectTyConSet :: TyConSet -> TyConSet -> TyConSet #