ghc-6.10.1: The GHC API 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 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

type IdSet = UniqSet Id

type TyVarSet = UniqSet TyVar

Manipulating these sets

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

lookupVarSet :: VarSet -> Var -> Maybe Var

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

sizeVarSet :: VarSet -> Int

seqVarSet :: VarSet -> ()

elemVarSetByKey :: Unique -> VarSet -> Bool

Produced by Haddock version 2.3.0