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