Enum rustdoc::clean::types::Type

pub(crate) enum Type {
    ResolvedPath {
        path: Path,
        param_names: Option<Vec<GenericBound>>,
        did: DefId,
        is_generic: bool,
    },
    Generic(String),
    Primitive(PrimitiveType),
    BareFunction(Box<BareFunctionDecl>),
    Tuple(Vec<Type>),
    Slice(Box<Type>),
    Array(Box<Type>, String),
    Never,
    RawPointer(Mutability, Box<Type>),
    BorrowedRef {
        lifetime: Option<Lifetime>,
        mutability: Mutability,
        type_: Box<Type>,
    },
    QPath {
        name: String,
        self_type: Box<Type>,
        trait_: Box<Type>,
    },
    Infer,
    ImplTrait(Vec<GenericBound>),
}

A representation of a type suitable for hyperlinking purposes. Ideally, one can get the original type out of the AST/TyCtxt given one of these, if more information is needed. Most importantly, it does not preserve mutability or boxes.

Variants

ResolvedPath

Structs/enums/traits (most that would be an hir::TyKind::Path).

Fields of ResolvedPath

path: Pathparam_names: Option<Vec<GenericBound>>did: DefIdis_generic: bool

true if is a T::Name path for associated types.

Generic(String)

For parameterized types, so the consumer of the JSON don't go looking for types which don't exist anywhere.

Primitive(PrimitiveType)

Primitives are the fixed-size numeric types (plus int/usize/float), char, arrays, slices, and tuples.

BareFunction(Box<BareFunctionDecl>)

extern "ABI" fn

Tuple(Vec<Type>)

Slice(Box<Type>)

Array(Box<Type>, String)

Never

RawPointer(Mutability, Box<Type>)

BorrowedRef

Fields of BorrowedRef

lifetime: Option<Lifetime>mutability: Mutabilitytype_: Box<Type>

QPath

Fields of QPath

name: Stringself_type: Box<Type>trait_: Box<Type>

Infer

ImplTrait(Vec<GenericBound>)

Implementations

impl Type

pub(crate) fn primitive_type(&self) -> Option<PrimitiveType>

pub(crate) fn is_generic(&self) -> bool

pub(crate) fn is_self_type(&self) -> bool

pub(crate) fn generics(&self) -> Option<Vec<Type>>

pub(crate) fn bindings(&self) -> Option<&[TypeBinding]>

pub(crate) fn is_full_generic(&self) -> bool

pub(crate) fn projection(&self) -> Option<(&Type, DefId, &str)>

impl Type

pub(crate) fn print(&self) -> impl Display + '_

Trait Implementations

impl<'_, '_> Clean<Type> for (TraitRef<'_>, &'_ [TypeBinding])

pub(crate) fn clean(&self, cx: &DocContext<'_>) -> Type

impl<'tcx> Clean<Type> for ProjectionTy<'tcx>

pub(crate) fn clean(&self, cx: &DocContext<'_>) -> Type

impl<'_> Clean<Type> for TraitRef<'_>

pub(crate) fn clean(&self, cx: &DocContext<'_>) -> Type

impl<'_> Clean<Type> for Ty<'_>

pub(crate) fn clean(&self, cx: &DocContext<'_>) -> Type

impl<'tcx> Clean<Type> for Ty<'tcx>

pub(crate) fn clean(&self, cx: &DocContext<'_>) -> Type

impl Clone for Type

pub fn clone(&self) -> Type

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Eq for Type

impl GetDefId for Type

pub(crate) fn def_id(&self) -> Option<DefId>

impl Hash for Type

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<Type> for Type

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for Type

impl StructuralPartialEq for Type