pub trait ConditionallyNegatable {
    // Required method
    fn conditional_negate(&mut self, choice: Choice);
}
Expand description

A type which can be conditionally negated in constant time.

Note

A generic implementation of ConditionallyNegatable is provided for types T which are ConditionallySelectable and have Neg implemented on &T.

Required Methods§

source

fn conditional_negate(&mut self, choice: Choice)

Negate self if choice == Choice(1); otherwise, leave it unchanged.

This function should execute in constant time.

Implementors§

source§

impl<T> ConditionallyNegatable for Twhere T: ConditionallySelectable, for<'a> &'a T: Neg<Output = T>,