Enum gluon_base::kind::Kind

pub enum Kind {
    Hole,
    Error,
    Variable(u32),
    Type,
    Row,
    Function(ArcKind, ArcKind),
}

Kind representation

All types in gluon has a kind. Most types encountered are of the Type kind which includes things like Int, String and Option Int. There are however other types which are said to be "higher kinded" and these use the Function (a -> b) variant. These types include Option and (->) which both have the kind Type -> Type -> Type as well as Functor which has the kind Type -> Type -> Type.

Variants

Hole

Error

Variable(u32)

Representation for a kind which is yet to be inferred.

Type

The simplest possible kind. All values in a program have this kind.

Row

Kinds of rows (for polymorphic records).

Function(ArcKind, ArcKind)

Constructor which takes two kinds, taking the first as argument and returning the second.

Implementations

impl Kind

pub fn hole() -> ArcKind

pub fn error() -> ArcKind

pub fn variable(v: u32) -> ArcKind

pub fn typ() -> ArcKind

pub fn row() -> ArcKind

pub fn function(l: ArcKind, r: ArcKind) -> ArcKind

Trait Implementations

impl Clone for Kind

fn clone(&self) -> Kind

Returns a copy 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 Default for Kind

fn default() -> Self

Returns the "default value" for a type.

impl Display for Kind

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

Formats the value using the given formatter.

impl Eq for Kind

impl From<Kind> for ArcKind

fn from(kind: Kind) -> ArcKind

Performs the conversion.

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, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<Kind> for Kind

fn eq(&self, other: &Kind) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Kind) -> bool

This method tests for !=.

impl StructuralEq for Kind

impl StructuralPartialEq for Kind