Documentation
tcHsSigType :: UserTypeCtxt -> LHsType Name -> TcM TypeSource
tcHsSigTypeNC :: UserTypeCtxt -> LHsType Name -> TcM TypeSource
tcHsQuantifiedType :: [LHsTyVarBndr Name] -> LHsType Name -> TcM ([TyVar], Type)Source
data UserTypeCtxt Source
kcHsTyVars :: [LHsTyVarBndr Name] -> ([LHsTyVarBndr Name] -> TcM r) -> TcM rSource
kcHsContext :: LHsContext Name -> TcM (LHsContext Name)Source
tcTyVarBndrs :: [LHsTyVarBndr Name] -> ([TyVar] -> TcM r) -> TcM rSource
tcHsPatSigType :: UserTypeCtxt -> LHsType Name -> TcM ([TyVar], Type)Source