Safe Haskell | None |
---|
TcTyClsDecls
Documentation
tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnv
tcAddImplicits :: [TyThing] -> TcM TcGblEnv
kcDataDecl :: TyClDecl Name -> TcM ()
checkValidTyCon :: TyCon -> TcM ()
tcFamTyPats :: TyCon -> [LHsTyVarBndr Name] -> [LHsType Name] -> (TcKind -> TcM any) -> ([KindVar] -> [TcKind] -> Kind -> TcM a) -> TcM a
wrongKindOfFamily :: TyCon -> SDoc
wrongATArgErr :: Type -> Type -> SDoc