GHC.Core.TyCon.Set

ghc-9.2.2: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

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 #