Retrie.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

IsList Quantifiers

Defined in Retrie.Quantifiers

Associated Types

type Item Quantifiers :: Type

Methods

fromList :: [Item Quantifiers] -> Quantifiers

fromListN :: Int -> [Item Quantifiers] -> Quantifiers

toList :: Quantifiers -> [Item Quantifiers]

type Item Quantifiers

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.

unionQ :: Quantifiers -> Quantifiers -> Quantifiers

Set union.