| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Tidy
Contents
Description
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