ghc-7.4.2: The GHC API

Safe HaskellNone

TcHsType

Documentation

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

tcTyClTyVars :: Name -> [LHsTyVarBndr Name] -> ([TyVar] -> Kind -> TcM a) -> TcM a

data ExpKind

Constructors

EK TcKind SDoc 

Instances