Trait otter_base::zcoord::AddSubOffset

pub trait AddSubOffset {
    const CARRY_DELTA: LimbVal;
    const NEW_LIMBS: LimbVal;
    const SEALED_TRAIT: Sealed;

    fn init_delta(&self) -> LimbVal;
    fn check_underflow(m: &Mutable, i: usize, nv: LimbVal) -> Option<()>;
    fn final_undo_delta() -> LimbVal;

    fn check_nospace(i: usize) -> Option<()> { ... }
    fn start_limb(&self, m: &Mutable) -> usize { ... }
}

Required Associated Constants

const CARRY_DELTA: LimbVal

const NEW_LIMBS: LimbVal

const SEALED_TRAIT: Sealed

Required Methods

fn init_delta(&self) -> LimbVal

fn check_underflow(m: &Mutable, i: usize, nv: LimbVal) -> Option<()>

fn final_undo_delta() -> LimbVal

Provided Methods

fn check_nospace(i: usize) -> Option<()>

fn start_limb(&self, m: &Mutable) -> usize

Implementors

impl AddSubOffset for AddSubRangeDelta

const CARRY_DELTA: LimbVal = ONE

const NEW_LIMBS: LimbVal = ZERO

const SEALED_TRAIT: Sealed = Sealed(())

impl AddSubOffset for Decrement

const CARRY_DELTA: LimbVal = MINUS_ONE

const NEW_LIMBS: LimbVal = LIMB_MASK

const SEALED_TRAIT: Sealed = Sealed(())

impl AddSubOffset for Increment

const CARRY_DELTA: LimbVal = ONE

const NEW_LIMBS: LimbVal = ZERO

const SEALED_TRAIT: Sealed = Sealed(())