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

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

kcHsLPred :: LHsPred Name -> TcM (LHsPred Name)Source

dsHsLPred :: LHsPred Name -> TcM PredTypeSource

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

data ExpKind Source

data EkCtxt Source

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

tcPatSig :: UserTypeCtxt -> LHsType Name -> TcSigmaType -> TcM (TcType, [(Name, TcType)], HsWrapper)Source