|
|
|
|
|
|
| Synopsis |
|
|
|
|
| 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.4.2 |
