happy-lib-2.1.7: Happy is a parser generator for Haskell implemented using this library

Safe Haskell | None
Language | Haskell98

Happy.Tabular.NameSet

Contents

- Set type
- Construction
- Deletion
- Query
- Combine
- Folds
- Conversion
  - List

Synopsis

- newtype NameSet = MkNameSet IntSet
- empty :: NameSet
- singleton :: Name -> NameSet
- fromList :: [Name] -> NameSet
- delete :: Name -> NameSet -> NameSet
- member :: Name -> NameSet -> Bool
- null :: NameSet -> Bool
- union :: NameSet -> NameSet -> NameSet
- unions :: [NameSet] -> NameSet
- difference :: NameSet -> NameSet -> NameSet
- (\\) :: NameSet -> NameSet -> NameSet
- foldr :: (Name -> b -> b) -> b -> NameSet -> b
- toAscList :: NameSet -> [Name]

# Set type

newtype NameSet Source #

Constructors

MkNameSet IntSet |

#### Instances

Instances details

Read NameSet Source # |
Instance details Defined in Happy.Tabular.NameSet Methods readsPrec :: Int -> ReadS NameSet Source # readList :: ReadS [NameSet] Source # readPrec :: ReadPrec NameSet Source # readListPrec :: ReadPrec [NameSet] Source #
Show NameSet Source # |
Instance details Defined in Happy.Tabular.NameSet Methods showsPrec :: Int -> NameSet -> ShowS Source # show :: NameSet -> String Source # showList :: [NameSet] -> ShowS Source #
Eq NameSet Source # |
Instance details Defined in Happy.Tabular.NameSet Methods (==) :: NameSet -> NameSet -> Bool Source # (/=) :: NameSet -> NameSet -> Bool Source #
Ord NameSet Source # |
Instance details Defined in Happy.Tabular.NameSet Methods compare :: NameSet -> NameSet -> Ordering Source # (<) :: NameSet -> NameSet -> Bool Source # (<=) :: NameSet -> NameSet -> Bool Source # (>) :: NameSet -> NameSet -> Bool Source # (>=) :: NameSet -> NameSet -> Bool Source # max :: NameSet -> NameSet -> NameSet Source # min :: NameSet -> NameSet -> NameSet Source #

# Construction

empty :: NameSet Source #

singleton :: Name -> NameSet Source #

fromList :: [Name] -> NameSet Source #

# Deletion

delete :: Name -> NameSet -> NameSet Source #

# Query

member :: Name -> NameSet -> Bool Source #

null :: NameSet -> Bool Source #

# Combine

union :: NameSet -> NameSet -> NameSet Source #

unions :: [NameSet] -> NameSet Source #

difference :: NameSet -> NameSet -> NameSet Source #

(\\) :: NameSet -> NameSet -> NameSet Source #

# Folds

foldr :: (Name -> b -> b) -> b -> NameSet -> b Source #

# Conversion

## List

toAscList :: NameSet -> [Name] Source #