ghc-6.12.2: The GHC APISource codeContentsIndex
TcHsType
Documentation
tcHsSigType :: UserTypeCtxt -> LHsType Name -> TcM TypeSource
tcHsSigTypeNC :: UserTypeCtxt -> LHsType Name -> TcM TypeSource
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 rSource
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 ThetaTypeSource
tcHsKindedType :: LHsType Name -> TcM TypeSource
tcHsBangType :: LHsType Name -> TcM TypeSource
tcTyVarBndrs :: [LHsTyVarBndr Name] -> ([TyVar] -> TcM r) -> TcM rSource
dsHsType :: LHsType Name -> TcM TypeSource
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