ghc-7.10.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcMType

Synopsis

Documentation

instSkolTyVars :: (Unique -> Name -> Kind -> TyVar) -> [TyVar] -> TcRnIf gbl lcl (TvSubst, [TyVar]) Source

freshenTyVarBndrs :: [TyVar] -> TcRnIf gbl lcl (TvSubst, [TyVar]) Source

Give fresh uniques to a bunch of TyVars, but they stay as TyVars, rather than becoming TcTyVars Used in FamInst.newFamInst, and Inst.newClsInst

newWildcardVar :: Name -> Kind -> TcM TcTyVar Source

Create a new meta var with the given kind. This meta var should be used to replace a wildcard in a type. Such a wildcard meta var can be distinguished from other meta vars with the isWildcardVar function.

newWildcardVarMetaKind :: Name -> TcM TcTyVar Source

Create a new meta var (which can unify with a type of any kind). This meta var should be used to replace a wildcard in a type. Such a wildcard meta var can be distinguished from other meta vars with the isWildcardVar function.