Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains functions for cleaning up types before they are rendered, e.g. in error messages or annoations.
- tidySpecType :: Tidy -> SpecType -> SpecType
- tidySymbol :: Symbol -> Symbol
- isTmpSymbol :: Symbol -> Bool
Tidying functions
tidySpecType :: Tidy -> SpecType -> SpecType Source
tidySymbol :: Symbol -> Symbol Source
Tidyness tests
isTmpSymbol :: Symbol -> Bool Source