Struct kailua_types::ty::TVar
[−]
[src]
pub struct TVar(pub u32);
Anonymous, unifiable type variables generated by TypeContext
.
Trait Implementations
impl Copy for TVar
[src]
impl Clone for TVar
[src]
fn clone(&self) -> TVar
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more
impl PartialEq for TVar
[src]
fn eq(&self, __arg_0: &TVar) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &TVar) -> bool
This method tests for !=
.
impl Eq for TVar
[src]
impl Hash for TVar
[src]
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Debug for TVar
[src]
In the debugging output the type variable is denoted <#tvar>
.
impl Lattice for TVar
[src]
fn assert_sub(&self, other: &Self, ctx: &mut TypeContext) -> TypeResult<()>
Asserts that self
is a consistent subtype of other
under the type context.
fn assert_eq(&self, other: &Self, ctx: &mut TypeContext) -> TypeResult<()>
Asserts that self
is a consistent type equal to other
under the type context.