Trait Tagged

pub trait Tagged<A> {
    type Tag: Copy + Eq + Debug;

    // Required method
    fn tag(&self, address: &A) -> Self::Tag;
}

Expand description

A type whose values can be used to produce “tag” values of a different type.

This can be used to provide a summary value, e.g. even or odd for an integer-like type.

Required Associated Types§

The tag type.

Returns the tag value for self at the given address.

This function must be deterministic, such that calling Tagged::tag on the same values always returns the same tag value.

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".