ghc-9.13: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.TyCl

Description

Typecheck type and class declarations

Documentation

tcTyAndClassDecls :: [TyClGroup GhcRn] -> TcM (TcGblEnv, [InstInfo GhcRn], [DerivInfo], ThBindEnv) Source #

kcConDecls :: TcKind -> DataDefnCons (LConDecl GhcRn) -> TcM () Source #

tcConDecls :: DataDeclInfo -> KnotTied TyCon -> [TcTyConBinder] -> TcKind -> DataDefnCons (LConDecl GhcRn) -> TcM (DataDefnCons DataCon) Source #

data DataDeclInfo Source #

Constructors

DDataType 
DDataInstance Type 

dataDeclChecks :: Name -> Maybe (LHsContext GhcRn) -> DataDefnCons (LConDecl GhcRn) -> TcM Bool Source #

checkValidTyCon :: TyCon -> TcM () Source #

tcFamTyPats :: TyCon -> HsFamEqnPats GhcRn -> TcM (TcType, TcKind) Source #

tcTyFamInstEqn :: TcTyCon -> AssocInstInfo -> LTyFamInstEqn GhcRn -> TcM (KnotTied CoAxBranch, TyFamEqnValidityInfo) Source #

tcAddOpenTyFamInstCtxt :: AssocInstInfo -> TyFamInstDecl GhcRn -> TcM a -> TcM a Source #

tcMkDataFamInstCtxt :: AssocInstInfo -> NewOrData -> DataFamInstDecl GhcRn -> ErrCtxtMsg Source #

tcAddDataFamInstCtxt :: AssocInstInfo -> NewOrData -> DataFamInstDecl GhcRn -> TcM a -> TcM a Source #

unravelFamInstPats :: TcType -> [TcType] Source #

addConsistencyConstraints :: AssocInstInfo -> TcType -> TcM () Source #

checkFamTelescope :: TcLevel -> HsOuterFamEqnTyVarBndrs GhcRn -> [TcTyVar] -> TcM () Source #

data IsPrefixConGADT Source #

Constructors

IsPrefixConGADT 
IsNotPrefixConGADT 

Instances

Instances details
Eq IsPrefixConGADT Source # 
Instance details

Defined in GHC.Tc.TyCl

Methods

(==) :: IsPrefixConGADT -> IsPrefixConGADT -> Bool #

(/=) :: IsPrefixConGADT -> IsPrefixConGADT -> Bool #

unannotatedMultIsLinear :: IsPrefixConGADT -> TcRnIf gbl lcl Bool Source #