Struct rusttyc::types::Partial[−][src]

pub struct Partial<V: Variant> {
    pub variant: V,
    pub least_arity: usize,
}
Expand description

Partial is a container for a Variant and the least arity a particular instance of this variant currently has. Only used for Variant::meet().

The least_arity indicates how many children this instance of the variance has according to the current state of the type checker. The value might increase in the future but never decrease.

Fields

variant: V
Expand description

The variant represented by this Partial.

least_arity: usize
Expand description

The least number of children the variant will have after completing the type check.

Trait Implementations

impl<V: Clone + Variant> Clone for Partial<V>[src]

fn clone(&self) -> Partial<V>[src]

Returns a copy of the value. Read more

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl<V: Debug + Variant> Debug for Partial<V>[src]

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

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl<V> RefUnwindSafe for Partial<V> where
    V: RefUnwindSafe, 

impl<V> Send for Partial<V> where
    V: Send, 

impl<V> Sync for Partial<V> where
    V: Sync, 

impl<V> Unpin for Partial<V> where
    V: Unpin, 

impl<V> UnwindSafe for Partial<V> where
    V: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T[src]

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)[src]

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.