| Safe Haskell | Safe-Inferred |
|---|
Language.Haskell.FreeTheorems.NameStores
Description
Provides functions to generate new variable names of different kinds.
- typeNameStore :: [String]
- relationNameStore :: [String]
- typeExpressionNameStore :: [String]
- functionNameStore1 :: [String]
- functionNameStore2 :: [String]
- variableNameStore :: [String]
Documentation
typeNameStore :: [String]Source
An infinite list of names for type variables.
relationNameStore :: [String]Source
An infinite list of names for relation variables.
typeExpressionNameStore :: [String]Source
An infinite list of names for type expressions.
functionNameStore1 :: [String]Source
An infinite list of names for function variables.
functionNameStore2 :: [String]Source
Another infinite list of names for function variables.
variableNameStore :: [String]Source
An infinite list of names for term variables.