Struct arithmetic_typing::TypeVar

pub struct TypeVar { /* private fields */ }

Type variable.

A variable represents a certain unknown type. Variables can be either free or bound to a Function (these are known as type params in Rust). Types input to a TypeEnvironment can only have bounded variables (this is verified in runtime), but types output by the inference process can contain both.

Notation

• Bounded type variables are represented as 'T, 'U, 'V, etc. The tick is inspired by lifetimes in Rust and implicit type params in F*. It allows to easily distinguish between vars and primitive types.
• Free variables are represented as _.

Implementations

impl TypeVar

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

Creates a bounded type 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 TypeVar

fn clone(&self) -> TypeVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeVar

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

Formats the value using the given formatter.

impl Display for TypeVar

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

Formats the value using the given formatter.

impl Hash for TypeVar

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 TypeVar

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

impl Eq for TypeVar

impl StructuralPartialEq for TypeVar