Necessary and sufficient conditions are given for a Banach space operator with the single-valued extension property to satisfy Weyl's theorem and $a$-Weyl's theorem. It is shown that if $T$ or $T^{\ast}$ has the single-valued extension property and $T$ is transaloid, then Weyl's theorem holds for $f(T)$ for every $f\in H(\sigma (T))$. When $T^{\ast}$ has the single-valued extension property, $T$ is transaloid and $T$ is $a$-isoloid, then <formula form="inline" disc="math" id="ffm012"><formtex notation="AMSTeX">$a$-Weyl's theorem holds for $f(T)$ for every $f\in H(\sigma(T))$. It is also proved that if $T$ or $T^{\ast}$ has the single-valued extension property, then the spectral mapping theorem holds for the Weyl spectrum and for the essential approximate point spectrum.
