retrie-1.2.3: A powerful, easy-to-use codemodding tool for Haskell.
Safe HaskellNone
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 
Instance details

Defined in Retrie.Quantifiers

Show Quantifiers # 
Instance details

Defined in Retrie.Quantifiers

type Item Quantifiers # 
Instance details

Defined in Retrie.Quantifiers

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.