Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 type Item Quantifiers # 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 RdrName
s from the set.
mkFSQs :: [FastString] -> Quantifiers Source #
Construct from FastString
s.
qList :: Quantifiers -> [FastString] Source #
Convert to a list.
qSet :: Quantifiers -> UniqSet FastString Source #
Convert to a UniqSet
.
unionQ :: Quantifiers -> Quantifiers -> Quantifiers Source #
Set union.