Enum TypeExpr 

pub enum TypeExpr {
    Named(Ident),
    Set(Box<TypeExpr>, Span),
    Seq(Box<TypeExpr>, Span),
    Dict(Box<TypeExpr>, Box<TypeExpr>, Span),
    Option(Box<TypeExpr>, Span),
    Range(Box<Expr>, Box<Expr>, Span),
    Tuple(Vec<TypeExpr>, Span),
}

A type expression.

Variants

Named(Ident)

Named type (e.g., Nat, AccountId).

Set(Box<TypeExpr>, Span)

Set type Set[T].

Seq(Box<TypeExpr>, Span)

Sequence type Seq[T].

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

Dict type dict[K, V].

Option(Box<TypeExpr>, Span)

Option type Option[T].

Range(Box<Expr>, Box<Expr>, Span)

Range type lo..hi.

Tuple(Vec<TypeExpr>, Span)

Tuple type (T1, T2, ...).

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.