Derive Macro SaturatingAddSigned 

#[derive(SaturatingAddSigned)]
{
    // Attributes available to this derive:
    #[saturating_add_signed]
}

Implements mkutils::SaturatingAddSigned for a struct by delegating to each field. Set the Signed associated type and bounds with #[saturating_add_signed(assoc(type Signed = Point<<T as SaturatingAddSigned>::Signed>)), bound = "T: SomeTrait"]

Example

#[derive(Debug, mkutils_macros::SaturatingAddSigned, PartialEq)]
#[saturating_add_signed(assoc(type Signed = MyStruct<<T as SaturatingAddSigned>::Signed>))]
struct MyStruct<T>(T, T);

adds

impl mkutils::SaturatingAddSigned for MyStruct<T> {
    fn saturating_add_signed(&self, v: &Other) -> Self {
        Self(self.0.saturating_add_signed(&v.0), self.1.saturating_add_signed(&v.1))
    }
}

as can be seen in

std::assert_eq!(MyStruct(2, 2).saturating_add_signed(MyStruct(-1, -1)), MyStruct(1, 1));