Struct Choice 

pub struct Choice(/* private fields */);

A branch-free boolean whose value is never observable through control flow.

Stored as 0 or 1 so it can be expanded to a full-width bitmask by Choice::mask and consumed by the select_* helpers.

Implementations

impl Choice

pub const FALSE: Choice

The false value.

pub const TRUE: Choice

The true value.

pub fn from_u8(v: u8) -> Self

Build a Choice that is true whenever v is non-zero.

pub fn unwrap_u8(self) -> u8

Reveal the boolean as 0 or 1.

This is the one place a secret becomes branchable; call it once, at the API boundary.

pub fn mask(self) -> u8

Full-width mask: 0x00 when false, 0xFF when true.

pub fn not(self) -> Self

Logical negation, branch-free.

Deliberately an inherent method rather than core::ops::Not: callers use it in constant-time chains where the operator form would invite an accidental ! on a bool instead.

pub fn and(self, other: Self) -> Self

Logical AND, branch-free.

pub fn or(self, other: Self) -> Self

Logical OR, branch-free.

Trait Implementations

impl Clone for Choice

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Choice

impl Debug for Choice

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Choice

impl From<Choice> for bool

fn from(c: Choice) -> bool

Converts to this type from the input type.

impl PartialEq for Choice

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Choice