ghc-7.6.1: The GHC API

Safe HaskellNone

TcMType

Documentation

type TcTyVar = TyVar

type TcKind = Kind

type TcType = Type

data Rank

arityErr :: Outputable a => String -> a -> Int -> Int -> SDoc

zonkCt :: Ct -> TcM Ct