[−][src]Struct chalk_ir::TyData

pub struct TyData<I: Interner> {
    pub kind: TyKind<I>,
}

Contains the data for a Ty

Fields

kind: TyKind

The kind

Trait Implementations

`impl<I: Clone + Interner> Clone for TyData`[src]

`pub fn clone(&self) -> TyData`[src]

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

`impl<I: Interner> Debug for TyData`[src]

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

`impl<I: Eq + Interner> Eq for TyData`[src]

`impl<I: Interner> HasInterner for TyData`[src]

`type Interner = I`

The interner associated with the type.

`impl<I: Hash + Interner> Hash for TyData`[src]

`pub fn hash<H: Hasher>(&self, state: &mut H)`[src]

`pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0[src]

`impl<I: PartialEq + Interner> PartialEq<TyData> for TyData`[src]

`pub fn eq(&self, other: &TyData) -> bool`[src]

`pub fn ne(&self, other: &TyData) -> bool`[src]

`impl<I: Interner> StructuralEq for TyData`[src]

`impl<I: Interner> StructuralPartialEq for TyData`[src]

Auto Trait Implementations

impl RefUnwindSafe for TyData where ::DefId: RefUnwindSafe, ::FnAbi: RefUnwindSafe, ::InternedAdtId: RefUnwindSafe, ::InternedConst: RefUnwindSafe, ::InternedLifetime: RefUnwindSafe, ::InternedQuantifiedWhereClauses: RefUnwindSafe, ::InternedSubstitution: RefUnwindSafe, ::InternedType: RefUnwindSafe, ::InternedVariableKinds: RefUnwindSafe,

`impl Send for TyData where ::DefId: Send, ::FnAbi: Send, ::InternedAdtId: Send, ::InternedConst: Send, ::InternedLifetime: Send, ::InternedQuantifiedWhereClauses: Send, ::InternedSubstitution: Send, ::InternedType: Send, ::InternedVariableKinds: Send,`

`impl Sync for TyData where ::DefId: Sync, ::FnAbi: Sync, ::InternedAdtId: Sync, ::InternedConst: Sync, ::InternedLifetime: Sync, ::InternedQuantifiedWhereClauses: Sync, ::InternedSubstitution: Sync, ::InternedType: Sync, ::InternedVariableKinds: Sync,`

`impl Unpin for TyData where ::DefId: Unpin, ::FnAbi: Unpin, ::InternedAdtId: Unpin, ::InternedConst: Unpin, ::InternedLifetime: Unpin, ::InternedQuantifiedWhereClauses: Unpin, ::InternedSubstitution: Unpin, ::InternedType: Unpin, ::InternedVariableKinds: Unpin,`

impl UnwindSafe for TyData where ::DefId: UnwindSafe, ::FnAbi: UnwindSafe, ::InternedAdtId: UnwindSafe, ::InternedConst: UnwindSafe, ::InternedLifetime: UnwindSafe, ::InternedQuantifiedWhereClauses: UnwindSafe, ::InternedSubstitution: UnwindSafe, ::InternedType: UnwindSafe, ::InternedVariableKinds: UnwindSafe,

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> Cast for T`[src]

`pub fn cast(self, interner: &U::Interner) -> U where Self: CastTo, U: HasInterner,` [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.

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

[−][src]Struct chalk_ir::TyData

Fields

Trait Implementations

impl<I: Clone + Interner> Clone for TyData<I>[src]

pub fn clone(&self) -> TyData<I>[src]

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

impl<I: Interner> Debug for TyData<I>[src]

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

impl<I: Eq + Interner> Eq for TyData<I>[src]

impl<I: Interner> HasInterner for TyData<I>[src]

type Interner = I

impl<I: Hash + Interner> Hash for TyData<I>[src]

pub fn hash<__H: Hasher>(&self, state: &mut __H)[src]

pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher, 1.3.0[src]

impl<I: PartialEq + Interner> PartialEq<TyData<I>> for TyData<I>[src]

pub fn eq(&self, other: &TyData<I>) -> bool[src]

pub fn ne(&self, other: &TyData<I>) -> bool[src]

impl<I: Interner> StructuralEq for TyData<I>[src]

impl<I: Interner> StructuralPartialEq for TyData<I>[src]

Auto Trait Implementations

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> Cast for T[src]

pub fn cast<U>(self, interner: &U::Interner) -> U where Self: CastTo<U>, U: HasInterner, [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<I: Clone + Interner> Clone for TyData<I>`[src]

`pub fn clone(&self) -> TyData<I>`[src]

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

`impl<I: Interner> Debug for TyData<I>`[src]

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

`impl<I: Eq + Interner> Eq for TyData<I>`[src]

`impl<I: Interner> HasInterner for TyData<I>`[src]

`type Interner = I`

`impl<I: Hash + Interner> Hash for TyData<I>`[src]

`pub fn hash<H: Hasher>(&self, state: &mut H)`[src]

`pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0[src]

`impl<I: PartialEq + Interner> PartialEq<TyData<I>> for TyData<I>`[src]

`pub fn eq(&self, other: &TyData<I>) -> bool`[src]

`pub fn ne(&self, other: &TyData<I>) -> bool`[src]

`impl<I: Interner> StructuralEq for TyData<I>`[src]

`impl<I: Interner> StructuralPartialEq for TyData<I>`[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> Cast for T`[src]

`pub fn cast<U>(self, interner: &U::Interner) -> U where Self: CastTo<U>, U: HasInterner,` [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]