Enum Type

#[non_exhaustive]
pub enum Type<'input> {
    Parenthesized(ParenthesizedType<'input>),
    Union(UnionType<'input>),
    Intersection(IntersectionType<'input>),
    Nullable(NullableType<'input>),
    Array(ArrayType<'input>),
    NonEmptyArray(NonEmptyArrayType<'input>),
    AssociativeArray(AssociativeArrayType<'input>),
    List(ListType<'input>),
    NonEmptyList(NonEmptyListType<'input>),
    Iterable(IterableType<'input>),
    ClassString(ClassStringType<'input>),
    InterfaceString(InterfaceStringType<'input>),
    EnumString(EnumStringType<'input>),
    TraitString(TraitStringType<'input>),
    Reference(ReferenceType<'input>),
    Mixed(Keyword<'input>),
    Null(Keyword<'input>),
    Void(Keyword<'input>),
    Never(Keyword<'input>),
    Resource(Keyword<'input>),
    ClosedResource(Keyword<'input>),
    OpenResource(Keyword<'input>),
    True(Keyword<'input>),
    False(Keyword<'input>),
    Bool(Keyword<'input>),
    Float(Keyword<'input>),
    Int(Keyword<'input>),
    PositiveInt(Keyword<'input>),
    NegativeInt(Keyword<'input>),
    String(Keyword<'input>),
    StringableObject(Keyword<'input>),
    ArrayKey(Keyword<'input>),
    Object(Keyword<'input>),
    Numeric(Keyword<'input>),
    Scalar(Keyword<'input>),
    NumericString(Keyword<'input>),
    NonEmptyString(Keyword<'input>),
    LowercaseString(Keyword<'input>),
    TruthyString(Keyword<'input>),
    UnspecifiedLiteralInt(Keyword<'input>),
    UnspecifiedLiteralString(Keyword<'input>),
    NonEmptyUnspecifiedLiteralString(Keyword<'input>),
    LiteralFloat(LiteralFloatType<'input>),
    LiteralInt(LiteralIntType<'input>),
    LiteralString(LiteralStringType<'input>),
    MemberReference(MemberReferenceType<'input>),
    Shape(ShapeType<'input>),
    Callable(CallableType<'input>),
    Variable(VariableType<'input>),
    Conditional(ConditionalType<'input>),
    KeyOf(KeyOfType<'input>),
    ValueOf(ValueOfType<'input>),
    IndexAccess(IndexAccessType<'input>),
    Negated(NegatedType<'input>),
    Posited(PositedType<'input>),
    IntRange(IntRangeType<'input>),
    PropertiesOf(PropertiesOfType<'input>),
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Parenthesized(ParenthesizedType<'input>)

Union(UnionType<'input>)

Intersection(IntersectionType<'input>)

Nullable(NullableType<'input>)

Array(ArrayType<'input>)

NonEmptyArray(NonEmptyArrayType<'input>)

AssociativeArray(AssociativeArrayType<'input>)

List(ListType<'input>)

NonEmptyList(NonEmptyListType<'input>)

Iterable(IterableType<'input>)

ClassString(ClassStringType<'input>)

InterfaceString(InterfaceStringType<'input>)

EnumString(EnumStringType<'input>)

TraitString(TraitStringType<'input>)

Reference(ReferenceType<'input>)

Mixed(Keyword<'input>)

Null(Keyword<'input>)

Void(Keyword<'input>)

Never(Keyword<'input>)

Resource(Keyword<'input>)

ClosedResource(Keyword<'input>)

OpenResource(Keyword<'input>)

True(Keyword<'input>)

False(Keyword<'input>)

Bool(Keyword<'input>)

Float(Keyword<'input>)

Int(Keyword<'input>)

PositiveInt(Keyword<'input>)

NegativeInt(Keyword<'input>)

String(Keyword<'input>)

StringableObject(Keyword<'input>)

ArrayKey(Keyword<'input>)

Object(Keyword<'input>)

Numeric(Keyword<'input>)

Scalar(Keyword<'input>)

NumericString(Keyword<'input>)

NonEmptyString(Keyword<'input>)

LowercaseString(Keyword<'input>)

TruthyString(Keyword<'input>)

UnspecifiedLiteralInt(Keyword<'input>)

UnspecifiedLiteralString(Keyword<'input>)

NonEmptyUnspecifiedLiteralString(Keyword<'input>)

LiteralFloat(LiteralFloatType<'input>)

LiteralInt(LiteralIntType<'input>)

LiteralString(LiteralStringType<'input>)

MemberReference(MemberReferenceType<'input>)

Shape(ShapeType<'input>)

Callable(CallableType<'input>)

Variable(VariableType<'input>)

Conditional(ConditionalType<'input>)

KeyOf(KeyOfType<'input>)

ValueOf(ValueOfType<'input>)

IndexAccess(IndexAccessType<'input>)

Negated(NegatedType<'input>)

Posited(PositedType<'input>)

IntRange(IntRangeType<'input>)

PropertiesOf(PropertiesOfType<'input>)

Trait Implementations

impl<'input> Clone for Type<'input>

fn clone(&self) -> Type<'input>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'input> Debug for Type<'input>

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 HasSpan for Type<'_>

fn span(&self) -> Span

fn start_position(&self) -> Position

fn end_position(&self) -> Position

impl<'input> Hash for Type<'input>

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<'input> Ord for Type<'input>

fn cmp(&self, other: &Type<'input>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<'input> PartialEq for Type<'input>

fn eq(&self, other: &Type<'input>) -> 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<'input> PartialOrd for Type<'input>

fn partial_cmp(&self, other: &Type<'input>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'input> Serialize for Type<'input>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'input> Eq for Type<'input>

impl<'input> StructuralPartialEq for Type<'input>