ghc-6.12.2: 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