Enum Type 

#[non_exhaustive]
pub enum Type<'arena> {
    Parenthesized(ParenthesizedType<'arena>),
    Union(UnionType<'arena>),
    Intersection(IntersectionType<'arena>),
    Nullable(NullableType<'arena>),
    Array(ArrayType<'arena>),
    NonEmptyArray(NonEmptyArrayType<'arena>),
    AssociativeArray(AssociativeArrayType<'arena>),
    List(ListType<'arena>),
    NonEmptyList(NonEmptyListType<'arena>),
    Iterable(IterableType<'arena>),
    ClassString(ClassStringType<'arena>),
    InterfaceString(InterfaceStringType<'arena>),
    EnumString(EnumStringType<'arena>),
    TraitString(TraitStringType<'arena>),
    Reference(ReferenceType<'arena>),
    Mixed(Keyword<'arena>),
    NonEmptyMixed(Keyword<'arena>),
    Null(Keyword<'arena>),
    Void(Keyword<'arena>),
    Never(Keyword<'arena>),
    Resource(Keyword<'arena>),
    ClosedResource(Keyword<'arena>),
    OpenResource(Keyword<'arena>),
    True(Keyword<'arena>),
    False(Keyword<'arena>),
    Bool(Keyword<'arena>),
    Float(Keyword<'arena>),
    Int(Keyword<'arena>),
    PositiveInt(Keyword<'arena>),
    NegativeInt(Keyword<'arena>),
    NonPositiveInt(Keyword<'arena>),
    NonNegativeInt(Keyword<'arena>),
    NonZeroInt(Keyword<'arena>),
    String(Keyword<'arena>),
    StringableObject(Keyword<'arena>),
    ArrayKey(Keyword<'arena>),
    Object(ObjectType<'arena>),
    Numeric(Keyword<'arena>),
    Scalar(Keyword<'arena>),
    CallableString(Keyword<'arena>),
    LowercaseCallableString(Keyword<'arena>),
    UppercaseCallableString(Keyword<'arena>),
    NumericString(Keyword<'arena>),
    NonEmptyString(Keyword<'arena>),
    NonEmptyLowercaseString(Keyword<'arena>),
    LowercaseString(Keyword<'arena>),
    NonEmptyUppercaseString(Keyword<'arena>),
    UppercaseString(Keyword<'arena>),
    TruthyString(Keyword<'arena>),
    NonFalsyString(Keyword<'arena>),
    UnspecifiedLiteralInt(Keyword<'arena>),
    UnspecifiedLiteralString(Keyword<'arena>),
    UnspecifiedLiteralFloat(Keyword<'arena>),
    NonEmptyUnspecifiedLiteralString(Keyword<'arena>),
    LiteralFloat(LiteralFloatType<'arena>),
    LiteralInt(LiteralIntType<'arena>),
    LiteralString(LiteralStringType<'arena>),
    MemberReference(MemberReferenceType<'arena>),
    AliasReference(AliasReferenceType<'arena>),
    Shape(ShapeType<'arena>),
    Callable(CallableType<'arena>),
    Variable(VariableType<'arena>),
    Conditional(ConditionalType<'arena>),
    KeyOf(KeyOfType<'arena>),
    ValueOf(ValueOfType<'arena>),
    IntMask(IntMaskType<'arena>),
    IntMaskOf(IntMaskOfType<'arena>),
    New(NewType<'arena>),
    TemplateType(TemplateTypeType<'arena>),
    IndexAccess(IndexAccessType<'arena>),
    Negated(NegatedType<'arena>),
    Posited(PositedType<'arena>),
    IntRange(IntRangeType<'arena>),
    PropertiesOf(PropertiesOfType<'arena>),
    Slice(SliceType<'arena>),
    Wildcard(WildcardType),
    TrailingPipe(TrailingPipeType<'arena>),
    GlobalWildcardReference(GlobalWildcardType<'arena>),
}

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<'arena>)

Union(UnionType<'arena>)

Intersection(IntersectionType<'arena>)

Nullable(NullableType<'arena>)

Array(ArrayType<'arena>)

NonEmptyArray(NonEmptyArrayType<'arena>)

AssociativeArray(AssociativeArrayType<'arena>)

List(ListType<'arena>)

NonEmptyList(NonEmptyListType<'arena>)

Iterable(IterableType<'arena>)

ClassString(ClassStringType<'arena>)

InterfaceString(InterfaceStringType<'arena>)

EnumString(EnumStringType<'arena>)

TraitString(TraitStringType<'arena>)

Reference(ReferenceType<'arena>)

Mixed(Keyword<'arena>)

NonEmptyMixed(Keyword<'arena>)

Null(Keyword<'arena>)

Void(Keyword<'arena>)

Never(Keyword<'arena>)

Resource(Keyword<'arena>)

ClosedResource(Keyword<'arena>)

OpenResource(Keyword<'arena>)

True(Keyword<'arena>)

False(Keyword<'arena>)

Bool(Keyword<'arena>)

Float(Keyword<'arena>)

Int(Keyword<'arena>)

PositiveInt(Keyword<'arena>)

NegativeInt(Keyword<'arena>)

NonPositiveInt(Keyword<'arena>)

NonNegativeInt(Keyword<'arena>)

NonZeroInt(Keyword<'arena>)

String(Keyword<'arena>)

StringableObject(Keyword<'arena>)

ArrayKey(Keyword<'arena>)

Object(ObjectType<'arena>)

Numeric(Keyword<'arena>)

Scalar(Keyword<'arena>)

CallableString(Keyword<'arena>)

LowercaseCallableString(Keyword<'arena>)

UppercaseCallableString(Keyword<'arena>)

NumericString(Keyword<'arena>)

NonEmptyString(Keyword<'arena>)

NonEmptyLowercaseString(Keyword<'arena>)

LowercaseString(Keyword<'arena>)

NonEmptyUppercaseString(Keyword<'arena>)

UppercaseString(Keyword<'arena>)

TruthyString(Keyword<'arena>)

NonFalsyString(Keyword<'arena>)

UnspecifiedLiteralInt(Keyword<'arena>)

UnspecifiedLiteralString(Keyword<'arena>)

UnspecifiedLiteralFloat(Keyword<'arena>)

NonEmptyUnspecifiedLiteralString(Keyword<'arena>)

LiteralFloat(LiteralFloatType<'arena>)

LiteralInt(LiteralIntType<'arena>)

LiteralString(LiteralStringType<'arena>)

MemberReference(MemberReferenceType<'arena>)

AliasReference(AliasReferenceType<'arena>)

Shape(ShapeType<'arena>)

Callable(CallableType<'arena>)

Variable(VariableType<'arena>)

Conditional(ConditionalType<'arena>)

KeyOf(KeyOfType<'arena>)

ValueOf(ValueOfType<'arena>)

IntMask(IntMaskType<'arena>)

IntMaskOf(IntMaskOfType<'arena>)

New(NewType<'arena>)

TemplateType(TemplateTypeType<'arena>)

IndexAccess(IndexAccessType<'arena>)

Negated(NegatedType<'arena>)

Posited(PositedType<'arena>)

IntRange(IntRangeType<'arena>)

PropertiesOf(PropertiesOfType<'arena>)

Slice(SliceType<'arena>)

Wildcard(WildcardType)

TrailingPipe(TrailingPipeType<'arena>)

GlobalWildcardReference(GlobalWildcardType<'arena>)

Trait Implementations

impl<'arena> Clone for Type<'arena>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'arena> Debug for Type<'arena>

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

Returns the source span.

fn start_position(&self) -> Position

A convenience method to get the starting position of the span.

fn start_offset(&self) -> u32

A convenience method to get the starting byte offset of the span.

fn end_position(&self) -> Position

A convenience method to get the ending position of the span.

fn end_offset(&self) -> u32

A convenience method to get the ending byte offset of the span.

impl<'arena> Hash for Type<'arena>

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

fn cmp(&self, other: &Type<'arena>) -> 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<'arena> PartialEq for Type<'arena>

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

fn partial_cmp(&self, other: &Type<'arena>) -> 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<'arena> Serialize for Type<'arena>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'arena> Eq for Type<'arena>

impl<'arena> StructuralPartialEq for Type<'arena>