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

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

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

The variant represented by this Partial.

least_arity: usize

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]

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

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]

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

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

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

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

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

type Owned = T

The resulting type after obtaining ownership.

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.

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.