Enum gluon_base::kind::Kind

pub enum Kind {
    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

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.

Methods

impl Kind

fn variable(v: u32) -> ArcKind

fn typ() -> ArcKind

fn row() -> ArcKind

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, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for Kind

impl PartialEq for Kind

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

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

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

This method tests for !=.

impl Hash for Kind

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

Feeds this value into the state given, updating the hasher as necessary.

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

Feeds a slice of this type into the state provided.

impl Display for Kind

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

Formats the value using the given formatter.