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§
Object Safety§
This trait is not object safe.