Enum arithmetic_typing::defs::Assertions

#[non_exhaustive]
pub enum Assertions {
    Assert,
    AssertEq,
    AssertFails,
}

Definitions for assert and assert_eq functions.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Assert

Type of the assert function.

AssertEq

Type of the assert_eq function.

AssertFails

Type of the assert_fails function.

Implementations

impl Assertions

pub fn iter<Prim: WithBoolean>( ) -> impl Iterator<Item = (&'static str, Type<Prim>)>

Returns an iterator over all type definitions in Assertions.

pub fn assert_close<T: PrimitiveType>(value: T) -> Function<T>

Returns the type of the assert_close function from the eval crate.

This function is not included into Self::iter() because in the general case we don’t know the type of arguments it accepts.

Trait Implementations

impl Clone for Assertions

fn clone(&self) -> Assertions

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Assertions

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

Formats the value using the given formatter.

impl<Prim: WithBoolean> From<Assertions> for Type<Prim>

fn from(value: Assertions) -> Self

Converts to this type from the input type.

impl Hash for Assertions

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Assertions> for Assertions

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for Assertions

impl Eq for Assertions

impl StructuralEq for Assertions

impl StructuralPartialEq for Assertions