TcTyClsDecls

ghc-7.6.3: The GHC API

Safe Haskell | None

TcTyClsDecls

# Documentation

tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnv

tcAddImplicits :: [TyThing] -> TcM TcGblEnv

kcTyDefn :: HsTyDefn Name -> TcKind -> TcM ()

tcConDecls :: NewOrData -> Bool -> TyCon -> ([TyVar], Type) -> [LConDecl Name] -> TcM [DataCon]

dataDeclChecks :: Name -> NewOrData -> ThetaType -> [LConDecl Name] -> TcM ()

checkValidTyCon :: TyCon -> TcM ()

tcSynFamInstDecl :: TyCon -> FamInstDecl Name -> TcM ([TyVar], [Type], Type)

tcFamTyPats :: TyCon -> HsWithBndrs [LHsType Name] -> (TcKind -> TcM ()) -> ([TKVar] -> [TcType] -> Kind -> TcM a) -> TcM a

tcAddFamInstCtxt :: FamInstDecl Name -> TcM a -> TcM a

wrongKindOfFamily :: TyCon -> SDoc

badATErr :: Name -> Name -> SDoc

wrongATArgErr :: Type -> Type -> SDoc