Enum arithmetic_typing::UnknownLen

#[non_exhaustive]
pub enum UnknownLen {
    Dynamic,
    Var(LengthVar),
}

Unknown / variable length, e.g., of a tuple.

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.

Dynamic

Length that can vary at runtime, similar to lengths of slices in Rust.

Var(LengthVar)

Length variable.

Implementations

impl UnknownLen

pub const fn param(index: usize) -> Self

Creates a bounded type variable that can be used to build functions.

Trait Implementations

impl Add<usize> for UnknownLen

type Output = TupleLen

The resulting type after applying the + operator.

fn add(self, rhs: usize) -> Self::Output

Performs the + operation.

impl Clone for UnknownLen

fn clone(&self) -> UnknownLen

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UnknownLen

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

Formats the value using the given formatter.

impl Display for UnknownLen

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

Formats the value using the given formatter.

impl From<UnknownLen> for TupleLen

fn from(var: UnknownLen) -> Self

Converts to this type from the input type.

impl PartialEq for UnknownLen

fn eq(&self, other: &UnknownLen) -> 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 UnknownLen

impl Eq for UnknownLen

impl StructuralPartialEq for UnknownLen