ghc-6.10.1: The GHC APIContentsIndex
TcHsType
Documentation
tcHsSigType :: UserTypeCtxt -> LHsType Name -> TcM Type
tcHsDeriv :: HsType Name -> TcM ([TyVar], Class, [Type])
tcHsInstHead :: LHsType Name -> TcM ([TyVar], ThetaType, Type)
tcHsQuantifiedType :: [LHsTyVarBndr Name] -> LHsType Name -> TcM ([TyVar], Type)
data UserTypeCtxt
Constructors
FunSigCtxt Name
ExprSigCtxt
ConArgCtxt Name
TySynCtxt Name
GenPatCtxt
LamPatSigCtxt
BindPatSigCtxt
ResSigCtxt
ForSigCtxt Name
DefaultDeclCtxt
SpecInstCtxt
kcHsTyVars :: [LHsTyVarBndr Name] -> ([LHsTyVarBndr Name] -> TcM r) -> TcM r
kcHsLiftedSigType :: LHsType Name -> TcM (LHsType Name)
kcCheckHsType :: LHsType Name -> TcKind -> TcM (LHsType Name)
kcHsContext :: LHsContext Name -> TcM (LHsContext Name)
kcHsType :: LHsType Name -> TcM (LHsType Name, TcKind)
tcHsKindedContext :: LHsContext Name -> TcM ThetaType
tcHsKindedType :: LHsType Name -> TcM Type
tcHsBangType :: LHsType Name -> TcM Type
tcTyVarBndrs :: [LHsTyVarBndr Name] -> ([TyVar] -> TcM r) -> TcM r
dsHsType :: LHsType Name -> TcM Type
tcLHsConResTy :: LHsType Name -> TcM (TyCon, [TcType])
tcDataKindSig :: Maybe Kind -> TcM [TyVar]
tcHsPatSigType :: UserTypeCtxt -> LHsType Name -> TcM ([TyVar], Type)
tcPatSig :: UserTypeCtxt -> LHsType Name -> BoxySigmaType -> TcM (TcType, [(Name, TcType)], CoercionI)
Produced by Haddock version 2.3.0