GHC.Tc.TyCl

Typecheck type and class declarations

Documentation

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

kcConDecls :: NewOrData -> Kind -> [LConDecl GhcRn] -> TcM ()

tcConDecls :: NewOrData -> DataDeclInfo -> KnotTied TyCon -> [TyConBinder] -> TcKind -> [LConDecl GhcRn] -> TcM [DataCon]

data DataDeclInfo

Constructors

DDataType

DDataInstance Type

dataDeclChecks :: Name -> NewOrData -> Maybe (LHsContext GhcRn) -> [LConDecl GhcRn] -> TcM Bool

checkValidTyCon :: TyCon -> TcM ()

tcFamTyPats :: TyCon -> HsTyPats GhcRn -> TcM (TcType, TcKind)

tcTyFamInstEqn :: TcTyCon -> AssocInstInfo -> LTyFamInstEqn GhcRn -> TcM (KnotTied CoAxBranch)

tcAddTyFamInstCtxt :: TyFamInstDecl GhcRn -> TcM a -> TcM a

tcMkDataFamInstCtxt :: DataFamInstDecl GhcRn -> SDoc

tcAddDataFamInstCtxt :: DataFamInstDecl GhcRn -> TcM a -> TcM a

unravelFamInstPats :: TcType -> [TcType]

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

wrongKindOfFamily :: TyCon -> SDoc