Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Provides functions to generate new variable names of different kinds.
Synopsis
- 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.