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

impl StructuralPartialEq for TypeVar