Enum Type

pub enum Type {
    Builtin(BuiltinType),
    Path(TypePath),
    Object(ObjectType),
    Literal(LiteralType),
    Array(ArrayType),
    Union(UnionType),
    Intersection(IntersectionType),
}

Represents a type use, e. g. in an interface definition, function type definition, or type alias.

Variants

Builtin(BuiltinType)

A built-in type like number or string.

Path(TypePath)

A path to some type. Includes simple names like MyType.

Object(ObjectType)

An object type.

Literal(LiteralType)

A literal type.

Array(ArrayType)

An array type.

Union(UnionType)

A union type, combining multiple cases.

Intersection(IntersectionType)

An intersection type, combining two types.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Display for Type

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

Formats the value using the given formatter.

impl From<&str> for Type

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<ArrayType> for Type

fn from(value: ArrayType) -> Self

Converts to this type from the input type.

impl From<BuiltinType> for Type

fn from(value: BuiltinType) -> Self

Converts to this type from the input type.

impl From<IntersectionType> for Type

fn from(value: IntersectionType) -> Self

Converts to this type from the input type.

impl From<LiteralType> for Type

fn from(value: LiteralType) -> Self

Converts to this type from the input type.

impl From<ObjectType> for Type

fn from(value: ObjectType) -> Self

Converts to this type from the input type.

impl From<String> for Type

fn from(value: String) -> Self

Converts to this type from the input type.

impl From<Type> for ArrayType

fn from(value: Type) -> Self

Converts to this type from the input type.

impl From<Type> for Type

fn from(ty: Type) -> Self

Converts to this type from the input type.

impl From<TypePath> for Type

fn from(value: TypePath) -> Self

Converts to this type from the input type.

impl PartialEq for Type

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

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

const 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 StructuralPartialEq for Type