Struct arithmetic_typing::LengthVar

pub struct LengthVar { /* private fields */ }

Length variable.

A variable represents a certain unknown length. Variables can be either free or bound to a Function (similar to const params in Rust, except lengths always have the usize type). Just as with TypeVars, types input to a TypeEnvironment can only have bounded length variables (this is verified in runtime), but types output by the inference process can contain both.

Notation

• Bounded length variables are represented as N, M, L, etc.
• Free variables are represented as _.

Implementations

impl LengthVar

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

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

pub fn index(self) -> usize

Returns the 0-based index of this variable.

pub fn is_free(self) -> bool

Is this variable free (not bounded in a function declaration)?

Trait Implementations

impl Clone for LengthVar

fn clone(&self) -> LengthVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LengthVar

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

Formats the value using the given formatter.

impl Display for LengthVar

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

Formats the value using the given formatter.

impl Hash for LengthVar

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 for LengthVar

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

impl Eq for LengthVar

impl StructuralPartialEq for LengthVar