ghc-7.0.3: The GHC API

TcHsType

Documentation

tcTyVarBndrs :: [LHsTyVarBndr Name] -> ([TyVar] -> TcM r) -> TcM r

data ExpKind

Constructors

EK TcKind EkCtxt 

data EkCtxt