Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tidyOpenTyCoVars :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])ghc GHC.Plugins No documentation available.
tidyOpenType :: TidyEnv -> Type -> (TidyEnv, Type)ghc GHC.Plugins No documentation available.
tidyOpenTypes :: TidyEnv -> [Type] -> (TidyEnv, [Type])ghc GHC.Plugins Grabs the free type variables, tidies them and then uses tidyType to work over the type itself
-
ghc GHC.Plugins Calls tidyType on a top-level type (i.e. with an empty tidying environment)
tidyTyCoVarOcc :: TidyEnv -> TyCoVar -> TyCoVarghc GHC.Plugins No documentation available.
tidyType :: TidyEnv -> Type -> Typeghc GHC.Plugins Tidy a Type See Note [Strictness in tidyType and friends]
tidyTypes :: TidyEnv -> [Type] -> [Type]ghc GHC.Plugins Tidy a list of Types See Note [Strictness in tidyType and friends]
tidyVarBndr :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)ghc GHC.Plugins No documentation available.
tidyVarBndrs :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])ghc GHC.Plugins 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.
transferPolyIdInfo :: Id -> [Var] -> Id -> Idghc GHC.Plugins No documentation available.