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

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

Partial is a container for a ContextSensitiveVariant and the least arity a particular instance of this variant currently has. Only used for ContextSensitiveVariant::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 + Sized> Clone for Partial<V>`[src]

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

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

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

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

Auto Trait Implementations

`impl<V> RefUnwindSafe for Partial<V> where V: RefUnwindSafe,` [src]

`impl<V> Send for Partial<V> where V: Send,` [src]

`impl<V> Sync for Partial<V> where V: Sync,` [src]

`impl<V> Unpin for Partial<V> where V: Unpin,` [src]

`impl<V> UnwindSafe for Partial<V> where V: UnwindSafe,` [src]

Blanket Implementations

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

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

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

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

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

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

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

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

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

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

`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]

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

`impl<T, U> TryFrom 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>::Error>`[src]

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

`type Error = >::Error`

The type returned in the event of a conversion error.

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

Fields

Trait Implementations

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

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

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

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

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

Auto Trait Implementations

`impl<V> RefUnwindSafe for Partial<V> where V: RefUnwindSafe,` [src]

`impl<V> Send for Partial<V> where V: Send,` [src]

`impl<V> Sync for Partial<V> where V: Sync,` [src]

`impl<V> Unpin for Partial<V> where V: Unpin,` [src]

`impl<V> UnwindSafe for Partial<V> where V: UnwindSafe,` [src]

Blanket Implementations

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

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

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

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

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

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

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

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

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

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

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

`type Owned = T`

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

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

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

`type Error = Infallible`

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

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

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

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

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

Fields

Trait Implementations

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

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

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

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

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

Auto Trait Implementations

impl<V> RefUnwindSafe for Partial<V> where V: RefUnwindSafe, [src]

impl<V> Send for Partial<V> where V: Send, [src]

impl<V> Sync for Partial<V> where V: Sync, [src]

impl<V> Unpin for Partial<V> where V: Unpin, [src]

impl<V> UnwindSafe for Partial<V> where V: UnwindSafe, [src]

Blanket Implementations

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

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

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

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

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

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

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

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

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

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

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

type Owned = T

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

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

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

type Error = Infallible

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

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

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

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

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

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

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

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

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

`impl<V> RefUnwindSafe for Partial<V> where V: RefUnwindSafe,` [src]

`impl<V> Send for Partial<V> where V: Send,` [src]

`impl<V> Sync for Partial<V> where V: Sync,` [src]

`impl<V> Unpin for Partial<V> where V: Unpin,` [src]

`impl<V> UnwindSafe for Partial<V> where V: UnwindSafe,` [src]

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

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

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

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

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

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

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

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

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

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

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

`type Owned = T`

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

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

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

`type Error = Infallible`

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

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

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

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