Enum TypeExpr 

pub enum TypeExpr {
    Named(String, Span),
    List(Box<TypeExpr>, Span),
    Map(Box<TypeExpr>, Box<TypeExpr>, Span),
    Result(Box<TypeExpr>, Box<TypeExpr>, Span),
    Union(Vec<TypeExpr>, Span),
    Null(Span),
    Tuple(Vec<TypeExpr>, Span),
    Set(Box<TypeExpr>, Span),
    Fn(Vec<TypeExpr>, Box<TypeExpr>, Vec<String>, Span),
    Generic(String, Vec<TypeExpr>, Span),
}

A type expression

Variants

Named(String, Span)

Named type: String, Int, Float, Bool, Bytes, Json, or user-defined

List(Box<TypeExpr>, Span)

list[T]

Map(Box<TypeExpr>, Box<TypeExpr>, Span)

map[String, T]

Result(Box<TypeExpr>, Box<TypeExpr>, Span)

result[Ok, Err]

Union(Vec<TypeExpr>, Span)

Union: A | B | C

Null(Span)

Null type

Tuple(Vec<TypeExpr>, Span)

Tuple type: (A, B, C)

Set(Box<TypeExpr>, Span)

Set type: set[T]

Fn(Vec<TypeExpr>, Box<TypeExpr>, Vec<String>, Span)

Function type: fn(A, B) -> C / {effects}

Generic(String, Vec<TypeExpr>, Span)

Generic type: Name[T, U]

Implementations

impl TypeExpr

pub fn span(&self) -> Span

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> TypeExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TypeExpr

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TypeExpr