Struct chalk_ir::WithKind [−][src]
pub struct WithKind<I: Interner, T> { pub kind: VariableKind<I>, // some fields omitted }
Expand description
A value with an associated variable kind.
Fields
kind: VariableKind<I>
The associated variable kind.
Implementations
Creates a WithKind
from a variable kind and a value.
Maps the value in WithKind
.
Maps a function taking WithKind<I, &T>
over &WithKind<I, T>
.
Trait Implementations
fn cast_to(
self,
_interner: &<CanonicalVarKind<I> as HasInterner>::Interner
) -> CanonicalVarKind<I>
[src]
fn cast_to(
self,
_interner: &<CanonicalVarKind<I> as HasInterner>::Interner
) -> CanonicalVarKind<I>
[src]Cast a value to type T
.
type Interner = I
type Interner = I
The interner associated with the type.
Auto Trait Implementations
impl<I, T> RefUnwindSafe for WithKind<I, T> where
T: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
impl<I, T> UnwindSafe for WithKind<I, T> where
T: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.