Moduleghc-9.14.1GHC2021

GHC.Tc.TyCl

Typecheck type and class declarations

valuetcTyAndClassDecls

valuekcConDecls :: TcKind -> DataDefnCons (LConDecl GhcRn) -> TcM ()

valuetcConDecls

datadata DataDeclInfo

valuedataDeclChecks

valuecheckValidTyCon :: TyCon -> TcM ()

valuetcFamTyPats :: TyCon -> HsFamEqnPats GhcRn -> TcM (TcType, TcKind)

valuetcTyFamInstEqn

valuetcAddOpenTyFamInstCtxt

valuetcMkDataFamInstCtxt

valuetcAddDataFamInstCtxt

valueunravelFamInstPats :: TcType -> [TcType]

valueaddConsistencyConstraints :: AssocInstInfo -> TcType -> TcM ()

valuecheckFamTelescope

datadata IsPrefixConGADT

Instances1Eq

valueunannotatedMultIsLinear :: IsPrefixConGADT -> TcRnIf gbl lcl Bool