Struct Even 

pub struct Even<T>(/* private fields */);

Proof that a value is even — the parity sibling of Odd.

A bare proof (no consuming op in this crate), provided for symmetry with Odd and to complete the masked-constructor set (Even::new_ct).

Implementations

impl<T: CtParity + Copy> Even<T>

pub fn new_ct(value: T) -> CtOption<Even<T>>

Available on crate feature ct only.

Constant-time new: None-masked when value is odd.

impl<T> Even<T>

pub const unsafe fn new_unchecked(value: T) -> Self

Safety

value must be even.

pub fn get(self) -> T

The proven-even value.

impl<T: Parity + Copy> Even<T>

pub fn new(value: T) -> Option<Self>

where T: Parity,

Some iff value is even. const-callable on nightly when T: [const] Parity (sibling of Odd::new); plain on stable.

impl<T> Even<T>

where for<'a> &'a T: Parity,

pub fn from_ref(value: &T) -> Option<&Self>

Zero-cost borrowed proof.

Trait Implementations

impl<T> AsRef<T> for Even<T>

Borrows the proven-even value without consuming the proof.

fn as_ref(&self) -> &T

Converts this type into a shared reference of the (usually inferred) input type.

impl<T: Clone> Clone for Even<T>

fn clone(&self) -> Even<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Copy> Copy for Even<T>

impl<T: Debug> Debug for Even<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for Even<T>

impl<T: PartialEq> PartialEq for Even<T>

fn eq(&self, other: &Even<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: PartialEq> StructuralPartialEq for Even<T>

impl TryFrom<i8> for Even<i8>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: i8) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<i16> for Even<i16>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: i16) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<i32> for Even<i32>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: i32) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<i64> for Even<i64>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: i64) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<i128> for Even<i128>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: i128) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<isize> for Even<isize>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: isize) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<u8> for Even<u8>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: u8) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<u16> for Even<u16>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: u16) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<u32> for Even<u32>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: u32) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<u64> for Even<u64>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: u64) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<u128> for Even<u128>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: u128) -> Result<Self, TypestateError>

Performs the conversion.

impl TryFrom<usize> for Even<usize>

type Error = TypestateError

The type returned in the event of a conversion error.

fn try_from(value: usize) -> Result<Self, TypestateError>

Performs the conversion.