retrie-1.2.2: A powerful, easy-to-use codemodding tool for Haskell.

Safe Haskell | Safe-Inferred
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 #

`Quantifiers` is a set of variable names. If you enable the OverloadedLists language extension, you can construct using a literal list of strings.

#### Instances

Instances details

IsList Quantifiers # |
Instance details Defined in Retrie.Quantifiers Associated Types type Item Quantifiers Methods fromList :: [Item Quantifiers] -> Quantifiers fromListN :: Int -> [Item Quantifiers] -> Quantifiers toList :: Quantifiers -> [Item Quantifiers]
Show Quantifiers # |
Instance details Defined in Retrie.Quantifiers Methods showsPrec :: Int -> Quantifiers -> ShowS show :: Quantifiers -> String showList :: [Quantifiers] -> ShowS
type Item Quantifiers # |
Instance details Defined in Retrie.Quantifiers type Item Quantifiers = String

emptyQs :: Quantifiers #

The empty set.

exceptQ :: Quantifiers -> [RdrName] -> Quantifiers #

Remove a set of `RdrName`s from the set.

isQ :: RdrName -> Quantifiers -> Bool #

Existence check.

mkQs :: [RdrName] -> Quantifiers #

Construct from GHC's `RdrName`s.

mkFSQs :: [FastString] -> Quantifiers #

Construct from `FastString`s.

qList :: Quantifiers -> [FastString] #

Convert to a list.

qSet :: Quantifiers -> UniqSet FastString #

Convert to a `UniqSet`.

unionQ :: Quantifiers -> Quantifiers -> Quantifiers #

Set union.