Enum TypeSpec 

pub enum TypeSpec {
    Any,
    ContractRef(String),
    Str,
    Int,
    Num,
    Bool,
    Array(Box<TypeSpec>),
    Enum(Vec<String>),
}

契约中的字段类型

Variants

Any

任意类型

ContractRef(String)

引用另一个契约（组合）——字段值须是块，并递归按被引用契约校验。 用组合而非继承：契约之间不共享字段，而是「字段的类型是另一个契约」。 语法上复用裸词（写被引用的契约名），因此不引入任何新 token： @contract Address { city: str } @contract Server { address: Address }

Str

Int

Num

数值：int 或 float 均可

Bool

Array(Box<TypeSpec>)

数组，元素须为指定类型

Enum(Vec<String>)

枚举：取值须在给定列表中

Trait Implementations

impl Clone for TypeSpec

fn clone(&self) -> TypeSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSpec

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

Formats the value using the given formatter.

impl PartialEq for TypeSpec

fn eq(&self, other: &TypeSpec) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypeSpec