Safe Haskell | None |
---|---|
Language | Haskell2010 |
GHC.Tc.TyCl
Description
Typecheck type and class declarations
Documentation
tcConDecls :: KnotTied TyCon -> NewOrData -> [TyConBinder] -> TcKind -> KnotTied Type -> [LConDecl GhcRn] -> TcM [DataCon] #
dataDeclChecks :: Name -> NewOrData -> LHsContext GhcRn -> [LConDecl GhcRn] -> TcM Bool #
checkValidTyCon :: TyCon -> TcM () #
tcTyFamInstEqn :: TcTyCon -> AssocInstInfo -> LTyFamInstEqn GhcRn -> TcM (KnotTied CoAxBranch) #
tcAddTyFamInstCtxt :: TyFamInstDecl GhcRn -> TcM a -> TcM a #
tcAddDataFamInstCtxt :: DataFamInstDecl GhcRn -> TcM a -> TcM a #
unravelFamInstPats :: TcType -> [TcType] #
addConsistencyConstraints :: AssocInstInfo -> TcType -> TcM () #
wrongKindOfFamily :: TyCon -> SDoc #