Moduleghc-9.10.3GHC2021

GHC.Tc.TyCl

Typecheck type and class declarations

valuetcTyAndClassDecls

valuekcConDecls

valuetcConDecls

datadata DataDeclInfo

valuedataDeclChecks

valuecheckValidTyCon :: TyCon -> TcM ()

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

valuetcTyFamInstEqn

valuetcAddTyFamInstCtxt :: TyFamInstDecl GhcRn -> TcM a -> TcM a

valuetcMkDataFamInstCtxt :: DataFamInstDecl GhcRn -> SDoc

valuetcAddDataFamInstCtxt :: DataFamInstDecl GhcRn -> TcM a -> TcM a

valueunravelFamInstPats :: TcType -> [TcType]

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

valuecheckFamTelescope