Enum SplitByDifference 

pub enum SplitByDifference<const AMIN: i128, const AMAX: i128, const BMIN: i128, const BMAX: i128>
where
    Assert<{ _ }>: IsAllowed,
    Assert<{ _ }>: IsAllowed,
    Assert<{ _ }>: IsAllowed,
    Assert<{ _ }>: IsAllowed,
    Assert<{ _ }>: IsAllowed,
    Assert<{ _ }>: IsAllowed,
    Assert<{ _ }>: IsAllowed,
{
    Greater {
        minuend: Ranged<{ _ }, AMAX>,
        subtrahend: Ranged<BMIN, { _ }>,
        difference: Ranged<1, { _ }>,
    },
    Equal {
        minuend: Ranged<{ _ }, { _ }>,
        subtrahend: Ranged<{ _ }, { _ }>,
        difference: Ranged<0, 0>,
    },
    Less {
        minuend: Ranged<AMIN, { _ }>,
        subtrahend: Ranged<{ _ }, BMAX>,
        difference: Ranged<{ _ }, -1>,
    },
}

Case-analyzed difference (subtraction result) of two values

Is created by Ranged::split_subtract method call.

Variants

Greater

Minuend is greater than subtrahend

Fields

minuend: Ranged<{ _ }, AMAX>

Minuend (first parameter) with narrower bounds

subtrahend: Ranged<BMIN, { _ }>

Subtrahend (second parameter) with narrower bounds

difference: Ranged<1, { _ }>

Subtraction result

Equal

Minuend and subtrahend are equal

Fields

minuend: Ranged<{ _ }, { _ }>

Minuend (first parameter) with narrower bounds

subtrahend: Ranged<{ _ }, { _ }>

Subtrahend (second parameter) with narrower bounds

difference: Ranged<0, 0>

Subtraction result

Less

Minuend is less than subtrahend

Fields

minuend: Ranged<AMIN, { _ }>

Minuend (first parameter) with narrower bounds

subtrahend: Ranged<{ _ }, BMAX>

Subtrahend (second parameter) with narrower bounds

difference: Ranged<{ _ }, -1>

Subtraction result