ghc-9.13: The GHC API

Safe Haskell	None
Language	GHC2021

GHC.Core.TyCon.Set

Contents

TyCons set type
- Manipulating these sets

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

type TyConSet = UniqSet TyCon Source #

Manipulating these sets

emptyTyConSet :: TyConSet Source #

unitTyConSet :: TyCon -> TyConSet Source #

mkTyConSet :: [TyCon] -> TyConSet Source #

unionTyConSet :: TyConSet -> TyConSet -> TyConSet Source #

unionTyConSets :: [TyConSet] -> TyConSet Source #

minusTyConSet :: TyConSet -> TyConSet -> TyConSet Source #

elemTyConSet :: TyCon -> TyConSet -> Bool Source #

extendTyConSet :: TyConSet -> TyCon -> TyConSet Source #

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

delFromTyConSet :: TyConSet -> TyCon -> TyConSet Source #

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

isEmptyTyConSet :: TyConSet -> Bool Source #

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

intersectsTyConSet :: TyConSet -> TyConSet -> Bool Source #

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

disjointTyConSet :: TyConSet -> TyConSet -> Bool Source #

intersectTyConSet :: TyConSet -> TyConSet -> TyConSet Source #

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

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