ghc-6.12.3: The GHC API Source code Contents Index

VarSet

Contents Var, Id and TyVar set types Manipulating these sets

Synopsis

type VarSet = UniqSet Var type IdSet = UniqSet Id type TyVarSet = UniqSet TyVar emptyVarSet :: VarSet unitVarSet :: Var -> VarSet mkVarSet :: [Var] -> VarSet extendVarSet :: VarSet -> Var -> VarSet extendVarSetList :: VarSet -> [Var] -> VarSet extendVarSet_C :: (Var -> Var -> Var) -> VarSet -> Var -> VarSet elemVarSet :: Var -> VarSet -> Bool varSetElems :: VarSet -> [Var] subVarSet :: VarSet -> VarSet -> Bool unionVarSet :: VarSet -> VarSet -> VarSet unionVarSets :: [VarSet] -> VarSet intersectVarSet :: VarSet -> VarSet -> VarSet intersectsVarSet :: VarSet -> VarSet -> Bool disjointVarSet :: VarSet -> VarSet -> Bool isEmptyVarSet :: VarSet -> Bool delVarSet :: VarSet -> Var -> VarSet delVarSetList :: VarSet -> [Var] -> VarSet delVarSetByKey :: VarSet -> Unique -> VarSet minusVarSet :: VarSet -> VarSet -> VarSet foldVarSet :: (Var -> a -> a) -> a -> VarSet -> a filterVarSet :: (Var -> Bool) -> VarSet -> VarSet fixVarSet :: (VarSet -> VarSet) -> VarSet -> VarSet lookupVarSet :: VarSet -> Var -> Maybe Var mapVarSet :: (Var -> Var) -> VarSet -> VarSet sizeVarSet :: VarSet -> Int seqVarSet :: VarSet -> () elemVarSetByKey :: Unique -> VarSet -> Bool

Var, Id and TyVar set types

type VarSet = UniqSet Var Source

type IdSet = UniqSet Id Source

type TyVarSet = UniqSet TyVar Source

Manipulating these sets

emptyVarSet :: VarSet Source

unitVarSet :: Var -> VarSet Source

mkVarSet :: [Var] -> VarSet Source

extendVarSet :: VarSet -> Var -> VarSet Source

extendVarSetList :: VarSet -> [Var] -> VarSet Source

extendVarSet_C :: (Var -> Var -> Var) -> VarSet -> Var -> VarSet Source

elemVarSet :: Var -> VarSet -> Bool Source

varSetElems :: VarSet -> [Var] Source

subVarSet :: VarSet -> VarSet -> Bool Source

unionVarSet :: VarSet -> VarSet -> VarSet Source

unionVarSets :: [VarSet] -> VarSet Source

intersectVarSet :: VarSet -> VarSet -> VarSet Source

intersectsVarSet :: VarSet -> VarSet -> Bool Source

disjointVarSet :: VarSet -> VarSet -> Bool Source

isEmptyVarSet :: VarSet -> Bool Source

delVarSet :: VarSet -> Var -> VarSet Source

delVarSetList :: VarSet -> [Var] -> VarSet Source

delVarSetByKey :: VarSet -> Unique -> VarSet Source

minusVarSet :: VarSet -> VarSet -> VarSet Source

foldVarSet :: (Var -> a -> a) -> a -> VarSet -> a Source

filterVarSet :: (Var -> Bool) -> VarSet -> VarSet Source

fixVarSet :: (VarSet -> VarSet) -> VarSet -> VarSet Source

lookupVarSet :: VarSet -> Var -> Maybe Var Source

mapVarSet :: (Var -> Var) -> VarSet -> VarSet Source

sizeVarSet :: VarSet -> Int Source

seqVarSet :: VarSet -> () Source

elemVarSetByKey :: Unique -> VarSet -> Bool Source

Produced by Haddock version 2.6.1