retrie-1.2.2: A powerful, easy-to-use codemodding tool for Haskell.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Retrie.Quantifiers

Synopsis

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

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 RdrNames from the set.

isQ :: RdrName -> Quantifiers -> Bool #

Existence check.

mkQs :: [RdrName] -> Quantifiers #

Construct from GHC's RdrNames.

mkFSQs :: [FastString] -> Quantifiers #

Construct from FastStrings.

qList :: Quantifiers -> [FastString] #

Convert to a list.

qSet :: Quantifiers -> UniqSet FastString #

Convert to a UniqSet.