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 Display for Kind

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

Formats the value using the given formatter.

impl From<Kind> for ArcKind

fn from(kind: Kind) -> ArcKind

Converts to this type from the input type.

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<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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Kind

impl StructuralEq for Kind

impl StructuralPartialEq for Kind