pub trait Zip<I>: Debugwhere
I: Interner,{
// Required method
fn zip_with<Z: Zipper<I>>(
zipper: &mut Z,
variance: Variance,
a: &Self,
b: &Self,
) -> Fallible<()>;
}Expand description
The Zip trait walks two values, invoking the Zipper methods where
appropriate, but otherwise requiring strict equality.
See Zipper trait for more details.
To implement the trait, typically you would use one of the macros
like eq_zip!, struct_zip!, or enum_zip!.
Required Methods§
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.