Safe Haskell | None |
---|---|
Language | Haskell98 |
VarSet
- type VarSet = UniqSet Var
- type IdSet = UniqSet Id
- type TyVarSet = UniqSet TyVar
- type CoVarSet = UniqSet CoVar
- 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
- partitionVarSet :: (Var -> Bool) -> VarSet -> (VarSet, VarSet)
Var, Id and TyVar set types
Manipulating these sets
unitVarSet :: Var -> VarSetSource
extendVarSet :: VarSet -> Var -> VarSetSource
extendVarSetList :: VarSet -> [Var] -> VarSetSource
elemVarSet :: Var -> VarSet -> BoolSource
varSetElems :: VarSet -> [Var]Source
unionVarSet :: VarSet -> VarSet -> VarSetSource
unionVarSets :: [VarSet] -> VarSetSource
intersectVarSet :: VarSet -> VarSet -> VarSetSource
intersectsVarSet :: VarSet -> VarSet -> BoolSource
disjointVarSet :: VarSet -> VarSet -> BoolSource
isEmptyVarSet :: VarSet -> BoolSource
delVarSetList :: VarSet -> [Var] -> VarSetSource
delVarSetByKey :: VarSet -> Unique -> VarSetSource
minusVarSet :: VarSet -> VarSet -> VarSetSource
foldVarSet :: (Var -> a -> a) -> a -> VarSet -> aSource
sizeVarSet :: VarSet -> IntSource
elemVarSetByKey :: Unique -> VarSet -> BoolSource