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

Safe HaskellNone
LanguageHaskell2010

Retrie.Quantifiers

Synopsis

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 # 
Instance details

Defined in Retrie.Quantifiers

Associated Types

type Item Quantifiers :: Type #

type Item Quantifiers Source # 
Instance details

Defined in Retrie.Quantifiers

emptyQs :: Quantifiers Source #

The empty set.

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

Remove a set of RdrNames from the set.

isQ :: RdrName -> Quantifiers -> Bool Source #

Existence check.

mkQs :: [RdrName] -> Quantifiers Source #

Construct from GHC's RdrNames.

qList :: Quantifiers -> [FastString] Source #

Convert to a list.