Struct TypeConstructor 

pub struct TypeConstructor {
    pub name: String,
    pub symbol: String,
    pub arity: usize,
    pub kind: TypeConstructorKind,
}

A type constructor in the derived type system.

Fields

name: String

Internal name

symbol: String

Display symbol (e.g., “×”, “→”, “⊗”)

arity: usize

Number of type arguments

kind: TypeConstructorKind

Kind of type constructor

Trait Implementations

impl Clone for TypeConstructor

fn clone(&self) -> TypeConstructor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeConstructor

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

Formats the value using the given formatter.