Enum TypeShape 

pub enum TypeShape {
    I64,
    U64,
    I32,
    U32,
    I16,
    U16,
    I8,
    U8,
    BigInt,
    F64,
    Utf8,
    Bytes,
    Unit,
    List(Box<TypeShape>),
    Map(Box<TypeShape>, Box<TypeShape>),
    Closure,
    Named(TypeId),
}

The type of a field, payload, or element, as the JSON layer and the derived operations need to see it. Named covers records, sums, and opaque types — including recursive references.

Variants

I64

U64

I32

U32

I16

U16

I8

U8

BigInt

F64

Utf8

Bytes

Unit

List(Box<TypeShape>)

Map(Box<TypeShape>, Box<TypeShape>)

Closure

A function type. Legal in a shape, but poisons derivation: deriving eq on a type containing an arrow is a type error (design §3.7).

Named(TypeId)

Trait Implementations

impl Clone for TypeShape

fn clone(&self) -> TypeShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeShape

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

Formats the value using the given formatter.

impl PartialEq for TypeShape

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

impl StructuralPartialEq for TypeShape