ghc-7.8.3: The GHC API

Safe HaskellNone
LanguageHaskell98

TcMType

Documentation

type TcTyVar = TyVar

type TcKind = Kind

type TcType = Type

zonkCt :: Ct -> TcM Ct