Enum TypeCode 

#[non_exhaustive]
pub enum TypeCode {
    NullType,
    Bool,
    Int,
    Float,
    String,
    Path,
    List,
    RangeExpr,
    Any,
    Union,
    NoReturn,
    Unresolved,
    TypeVarT,
    TypeVarT1,
    TypeVarT2,
    TypeVarT3,
    Signature,
}

Type codes for expression values.

Marked #[non_exhaustive] so that future revisions and extensions can introduce new primitive types (e.g. Duration, Url) without a SemVer break. External callers must use a wildcard arm when matching.

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.

NullType

Bool

Int

Float

String

Path

List

RangeExpr

Any

Union

NoReturn

Unresolved

TypeVarT

TypeVarT1

TypeVarT2

TypeVarT3

Signature

Function signature: params are [param_type_0, …, param_type_n, return_type].

Trait Implementations

impl Clone for TypeCode

fn clone(&self) -> TypeCode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeCode

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

Formats the value using the given formatter.

impl Hash for TypeCode

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 Ord for TypeCode

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

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

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for TypeCode

impl Eq for TypeCode

impl StructuralPartialEq for TypeCode