pub trait SpecPartialIsoFn: SpecPartialIso {
// Required methods
spec fn spec_apply(
s: Self::Src,
) -> Result<Self::Dst, <Self::Dst as SpecTryFrom<Self::Src>>::Error>;
spec fn spec_rev_apply(
s: Self::Dst,
) -> Result<Self::Src, <Self::Src as SpecTryFrom<Self::Dst>>::Error>;
}Expand description
The fallible functions of SpecPartialIso
Required Methods§
Sourcespec fn spec_apply(
s: Self::Src,
) -> Result<Self::Dst, <Self::Dst as SpecTryFrom<Self::Src>>::Error>
spec fn spec_apply( s: Self::Src, ) -> Result<Self::Dst, <Self::Dst as SpecTryFrom<Self::Src>>::Error>
Applies the fallible conversion to the source type.
Sourcespec fn spec_rev_apply(
s: Self::Dst,
) -> Result<Self::Src, <Self::Src as SpecTryFrom<Self::Dst>>::Error>
spec fn spec_rev_apply( s: Self::Dst, ) -> Result<Self::Src, <Self::Src as SpecTryFrom<Self::Dst>>::Error>
Applies the reverse fallible conversion to the destination type.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.