| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Retrie.Quantifiers
Synopsis
- data Quantifiers
- emptyQs :: Quantifiers
- exceptQ :: Quantifiers -> [RdrName] -> Quantifiers
- isQ :: RdrName -> Quantifiers -> Bool
- mkQs :: [RdrName] -> Quantifiers
- mkFSQs :: [FastString] -> Quantifiers
- qList :: Quantifiers -> [FastString]
- qSet :: Quantifiers -> UniqSet FastString
- unionQ :: Quantifiers -> Quantifiers -> Quantifiers
Documentation
data Quantifiers Source #
Quantifiers is a set of variable names. If you enable the
OverloadedLists language extension, you can construct using a literal
list of strings.
Instances
| IsList Quantifiers Source # | |
Defined in Retrie.Quantifiers Associated Types type Item Quantifiers :: Type # Methods fromList :: [Item Quantifiers] -> Quantifiers # fromListN :: Int -> [Item Quantifiers] -> Quantifiers # toList :: Quantifiers -> [Item Quantifiers] # | |
| type Item Quantifiers Source # | |
Defined in Retrie.Quantifiers | |
emptyQs :: Quantifiers Source #
The empty set.
exceptQ :: Quantifiers -> [RdrName] -> Quantifiers Source #
Remove a set of RdrNames from the set.
mkFSQs :: [FastString] -> Quantifiers Source #
Construct from FastStrings.
qList :: Quantifiers -> [FastString] Source #
Convert to a list.
qSet :: Quantifiers -> UniqSet FastString Source #
Convert to a UniqSet.
unionQ :: Quantifiers -> Quantifiers -> Quantifiers Source #
Set union.