Enum TypeConstructorKind 

pub enum TypeConstructorKind {
    Base,
    Unit,
    Empty,
    Product,
    Coproduct,
    Exponential,
    Tensor,
    LinearHom,
}

The kind of a type constructor.

Variants

Base

Base/primitive type

Unit

Unit type (terminal object)

Empty

Empty type (initial object)

Product

Product type (A × B)

Coproduct

Coproduct/sum type (A + B)

Exponential

Function type (A → B)

Tensor

Tensor product (A ⊗ B)

LinearHom

Linear function (A ⊸ B)

Trait Implementations

impl Clone for TypeConstructorKind

fn clone(&self) -> TypeConstructorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeConstructorKind

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

Formats the value using the given formatter.

impl PartialEq for TypeConstructorKind

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

impl StructuralPartialEq for TypeConstructorKind