Tidy a Type
See Note [Strictness in tidyType and friends]
Moduleghc-9.14.1GHC2021
GHC.Core.TyCo.Tidy
Tidying types and coercions for printing in error messages.
Synopsis
- value tidyType
- value tidyTypes
- value tidyCo
- value tidyCos
- value tidyTopType
- value tidyOpenType
- value tidyOpenTypes
- value tidyOpenTypeX
- value tidyOpenTypesX
- value tidyFreeTyCoVars
- value tidyFreeTyCoVarX
- value tidyFreeTyCoVarsX
- value tidyAvoiding
- value tidyVarBndr
- value tidyVarBndrs
- value avoidNameClashes
- value tidyForAllTyBinder
- value tidyForAllTyBinders
- value tidyTyCoVarOcc
- Packageghc-9.14.1
- Exports19
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceTidy.hs
Tidying type related things up for printing
Tidy a list of Types
See Note [Strictness in tidyType and friends]
Tidy a Coercion
See Note [Strictness in tidyType and friends]
Calls tidyType on a top-level type (i.e. with an empty tidying environment)
Grabs the free type variables, tidies them and then uses tidyType to work over the type itself
Add the free TyVars to the env in tidy form, so that we can tidy the type they are free in Precondition: input free vars are closed over kinds and This function does a scopedSort, so that tidied variables have tidied kinds. See Note [Tidying is idempotent]
Treat a new TyCoVar as a binder, and give it a fresh tidy name using the environment if one has not already been allocated. See also tidyVarBndr See Note [Tidying is idempotent]
This tidies up a type for printing in an error message, or in an interface file.
It doesn't change the uniques at all, just the print names.