Happy.Tabular.NameSet

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 #

Constructors

MkNameSet IntSet |

#### Instances

Instances details

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

# Construction

empty :: NameSet #

singleton :: Name -> NameSet #

fromList :: [Name] -> NameSet #

# Deletion

delete :: Name -> NameSet -> NameSet #

# Query

member :: Name -> NameSet -> Bool #

null :: NameSet -> Bool #

# Combine

union :: NameSet -> NameSet -> NameSet #

unions :: [NameSet] -> NameSet #

difference :: NameSet -> NameSet -> NameSet #

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

# Folds

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

# Conversion

## List

toAscList :: NameSet -> [Name] #