Enum TypeDepthKind 

pub enum TypeDepthKind {
    Array(TypeId),
    Tuple(TupleListId),
    Members(Vec<TypeId>),
    Application {
        base: TypeId,
        args: Vec<TypeId>,
    },
    Terminal,
}

Classification for computing type depth.

Variants

Array(TypeId)

Array - depth = 1 + element depth

Tuple(TupleListId)

Tuple - depth = 1 + max element depth

Members(Vec<TypeId>)

Union or Intersection - depth = 1 + max member depth

Application

Application - depth = 1 + max(base depth, arg depths)

Fields

base: TypeId

args: Vec<TypeId>

Terminal

Terminal type - depth = 1

Trait Implementations

impl Clone for TypeDepthKind

fn clone(&self) -> TypeDepthKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDepthKind

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

Formats the value using the given formatter.