ghc-6.12.2: The GHC API Source code Contents Index

TcHsType

Documentation

tcHsSigType :: UserTypeCtxt -> LHsType Name -> TcM Type Source

tcHsSigTypeNC :: UserTypeCtxt -> LHsType Name -> TcM Type Source

tcHsDeriv :: HsType Name -> TcM ([TyVar], Class, [Type]) Source

tcHsInstHead :: LHsType Name -> TcM ([TyVar], ThetaType, Type) Source

tcHsQuantifiedType :: [LHsTyVarBndr Name] -> LHsType Name -> TcM ([TyVar], Type) Source

data UserTypeCtxt Source

Constructors FunSigCtxt Name ExprSigCtxt ConArgCtxt Name TySynCtxt Name GenPatCtxt LamPatSigCtxt BindPatSigCtxt ResSigCtxt ForSigCtxt Name DefaultDeclCtxt SpecInstCtxt ThBrackCtxt

kcHsTyVars :: [LHsTyVarBndr Name] -> ([LHsTyVarBndr Name] -> TcM r) -> TcM r Source

kcHsSigType :: LHsType Name -> TcM (LHsType Name) Source

kcHsLiftedSigType :: LHsType Name -> TcM (LHsType Name) Source

kcLHsType :: LHsType Name -> TcM (LHsType Name, TcKind) Source

kcCheckLHsType :: LHsType Name -> ExpKind -> TcM (LHsType Name) Source

kcHsContext :: LHsContext Name -> TcM (LHsContext Name) Source

tcHsKindedContext :: LHsContext Name -> TcM ThetaType Source

tcHsKindedType :: LHsType Name -> TcM Type Source

tcHsBangType :: LHsType Name -> TcM Type Source

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

dsHsType :: LHsType Name -> TcM Type Source

tcLHsConResTy :: LHsType Name -> TcM (TyCon, [TcType]) Source

tcDataKindSig :: Maybe Kind -> TcM [TyVar] Source

data ExpKind Source

Constructors EK TcKind EkCtxt

data EkCtxt Source

Constructors EkUnk EkEqPred EkKindSig EkArg SDoc Int

tcHsPatSigType :: UserTypeCtxt -> LHsType Name -> TcM ([TyVar], Type) Source

tcPatSig :: UserTypeCtxt -> LHsType Name -> BoxySigmaType -> TcM (TcType, [(Name, TcType)], CoercionI) Source

Produced by Haddock version 2.6.1