|
|
|
|
|
Documentation |
|
tcHsSigType :: UserTypeCtxt -> LHsType Name -> TcM Type |
|
tcHsSigTypeNC :: 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 | | ThBrackCtxt | |
|
|
|
kcHsTyVars :: [LHsTyVarBndr Name] -> ([LHsTyVarBndr Name] -> TcM r) -> TcM r |
|
kcHsSigType :: LHsType Name -> TcM (LHsType Name) |
|
kcHsLiftedSigType :: LHsType Name -> TcM (LHsType Name) |
|
kcLHsType :: LHsType Name -> TcM (LHsType Name, TcKind) |
|
kcCheckLHsType :: LHsType Name -> ExpKind -> TcM (LHsType Name) |
|
kcHsContext :: LHsContext Name -> TcM (LHsContext Name) |
|
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] |
|
data ExpKind |
|
|
data EkCtxt |
Constructors | EkUnk | | EkEqPred | | EkKindSig | | EkArg SDoc Int | |
|
|
|
tcHsPatSigType :: UserTypeCtxt -> LHsType Name -> TcM ([TyVar], Type) |
|
tcPatSig :: UserTypeCtxt -> LHsType Name -> BoxySigmaType -> TcM (TcType, [(Name, TcType)], CoercionI) |
|
Produced by Haddock version 2.6.1 |