Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Tc.TyCl
Description
Typecheck type and class declarations
Documentation
tcConDecls :: NewOrData -> DataDeclInfo -> KnotTied TyCon -> [TyConBinder] -> TcKind -> [LConDecl GhcRn] -> TcM [DataCon] #
data DataDeclInfo #
Constructors
DDataType | |
DDataInstance Type |
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 #