| ghc-6.10.4: The GHC API | Contents | Index

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
kcHsSigType :: LHsType Name -> TcM (LHsType Name)
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.4.2