Documentation

tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnvSource

tcAddImplicits :: [TyThing] -> TcM TcGblEnvSource

kcDataDefn :: Name -> HsDataDefn Name -> TcKind -> TcM ()Source

tcConDecls :: NewOrData -> Name -> TyCon -> ([TyVar], Type) -> [LConDecl Name] -> TcM [DataCon]Source

dataDeclChecks :: Name -> NewOrData -> ThetaType -> [LConDecl Name] -> TcM BoolSource

checkValidTyCon :: TyCon -> RoleAnnots -> TcM ()Source

tcSynFamInstDecl :: TyCon -> TyFamInstDecl Name -> TcM CoAxBranchSource

tcFamTyPats :: Name -> Kind -> HsWithBndrs [LHsType Name] -> (TcKind -> TcM ()) -> ([TKVar] -> [TcType] -> Kind -> TcM a) -> TcM aSource

tcAddTyFamInstCtxt :: TyFamInstDecl Name -> TcM a -> TcM aSource

tcAddDataFamInstCtxt :: DataFamInstDecl Name -> TcM a -> TcM aSource

wrongKindOfFamily :: TyCon -> SDocSource