2 % (c) The GRASP/AQUA Project, Glasgow University, 1998
4 \section[NameSet]{@NameSets@}
10 emptyNameSet, unitNameSet, mkNameSet, unionNameSets, unionManyNameSets,
11 minusNameSet, elemNameSet, nameSetToList, addOneToNameSet, addListToNameSet, isEmptyNameSet,
14 #include "HsVersions.h"
21 %************************************************************************
23 \subsection[Sets of names}
25 %************************************************************************
28 type NameSet = UniqSet Name
29 emptyNameSet :: NameSet
30 unitNameSet :: Name -> NameSet
31 addListToNameSet :: NameSet -> [Name] -> NameSet
32 addOneToNameSet :: NameSet -> Name -> NameSet
33 mkNameSet :: [Name] -> NameSet
34 unionNameSets :: NameSet -> NameSet -> NameSet
35 unionManyNameSets :: [NameSet] -> NameSet
36 minusNameSet :: NameSet -> NameSet -> NameSet
37 elemNameSet :: Name -> NameSet -> Bool
38 nameSetToList :: NameSet -> [Name]
39 isEmptyNameSet :: NameSet -> Bool
41 isEmptyNameSet = isEmptyUniqSet
42 emptyNameSet = emptyUniqSet
43 unitNameSet = unitUniqSet
45 addListToNameSet = addListToUniqSet
46 addOneToNameSet = addOneToUniqSet
47 unionNameSets = unionUniqSets
48 unionManyNameSets = unionManyUniqSets
49 minusNameSet = minusUniqSet
50 elemNameSet = elementOfUniqSet
51 nameSetToList = uniqSetToList