Enum Kind 

pub enum Kind {
    Star,
    Arrow(Box<Kind>, Box<Kind>),
    Constraint,
    Var(u32),
    Nat,
    List(Box<Kind>),
}

Kinds classify types, just as types classify values.

• * (Star): The kind of types that have values (e.g., Int, Bool)
• * -> *: The kind of type constructors (e.g., Maybe, [])
• Constraint: The kind of type class constraints
• Nat: The kind of type-level natural numbers (M9)
• List k: The kind of type-level lists with element kind k (M9)

Variants

Star

* - The kind of proper types (types that have values).

Arrow(Box<Kind>, Box<Kind>)

k1 -> k2 - The kind of type constructors.

Constraint

Constraint - The kind of type class constraints.

Var(u32)

A kind variable, for kind inference.

Nat

Nat - The kind of type-level natural numbers.

Used for tensor dimensions in shape-indexed types:

Tensor :: [Nat] -> * -> *

List(Box<Kind>)

List k - The kind of type-level lists with element kind k.

Primarily used as [Nat] for tensor shapes:

'[1024, 768] :: [Nat]

Implementations

impl Kind

pub fn star_to_star() -> Self

Returns the kind * -> *.

pub fn is_star(&self) -> bool

Returns true if this is a simple * kind.

pub fn is_nat(&self) -> bool

Returns true if this is a Nat kind.

pub fn nat_list() -> Self

Returns the kind [Nat] for tensor shapes.

pub fn tensor_kind() -> Self

Returns the kind [Nat] -> * -> * for the Tensor type constructor.

pub fn is_list(&self) -> bool

Returns true if this is a list kind.

pub fn list_elem_kind(&self) -> Option<&Kind>

Returns the element kind if this is a list kind.

Trait Implementations

impl Clone for Kind

fn clone(&self) -> Kind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Kind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Kind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Kind

impl Hash for Kind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Kind

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Kind