Enum TyKind

pub enum TyKind {
    Adt(AdtDef, GenericArgs),
    Array(Ty, Const),
    Bool,
    Str,
    Char,
    Float(FloatTy),
    Int(IntTy),
    Never,
    Param(ParamTy),
    Ref(Region, Ty, Mutability),
    Tuple(List<Ty>),
    Uint(UintTy),
    Slice(Ty),
    FnPtr(PolyFnSig),
    FnDef(DefId, GenericArgs),
    Closure(DefId, GenericArgs),
    Coroutine(DefId, GenericArgs),
    CoroutineWitness(DefId, GenericArgs),
    Alias(AliasKind, AliasTy),
    RawPtr(Ty, Mutability),
    Dynamic(List<Binder<ExistentialPredicate>>, Region),
}

Variants

Adt(AdtDef, GenericArgs)

Array(Ty, Const)

Bool

Str

Char

Float(FloatTy)

Int(IntTy)

Never

Param(ParamTy)

Ref(Region, Ty, Mutability)

Tuple(List<Ty>)

Uint(UintTy)

Slice(Ty)

FnPtr(PolyFnSig)

FnDef(DefId, GenericArgs)

Closure(DefId, GenericArgs)

Coroutine(DefId, GenericArgs)

CoroutineWitness(DefId, GenericArgs)

Alias(AliasKind, AliasTy)

RawPtr(Ty, Mutability)

Dynamic(List<Binder<ExistentialPredicate>>, Region)

Implementations

impl TyKind

fn intern(self) -> Ty

Trait Implementations

impl Debug for TyKind

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

Formats the value using the given formatter.

impl<__D: TyDecoder> Decodable<__D> for TyKind

fn decode(__decoder: &mut __D) -> Self

impl<__E: TyEncoder> Encodable<__E> for TyKind

fn encode(&self, __encoder: &mut __E)

impl Hash for TyKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TyKind

fn eq(&self, other: &TyKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TyKind

impl StructuralPartialEq for TyKind