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

impl StructuralPartialEq for LengthVar