Enum Type 

pub enum Type {
    Int,
    Float,
    Str,
    Bool,
    Unit,
    Result(Box<Type>, Box<Type>),
    Option(Box<Type>),
    List(Box<Type>),
    Tuple(Vec<Type>),
    Map(Box<Type>, Box<Type>),
    Fn(Vec<Type>, Box<Type>, Vec<String>),
    Unknown,
    Named(String),
}

Variants

Int

Float

Str

Bool

Unit

Result(Box<Type>, Box<Type>)

Option(Box<Type>)

List(Box<Type>)

Tuple(Vec<Type>)

Map(Box<Type>, Box<Type>)

Fn(Vec<Type>, Box<Type>, Vec<String>)

Unknown

Named(String)

Implementations

impl Type

pub fn compatible(&self, other: &Type) -> bool

a.compatible(b) — can a value of type self be used where other is expected? Unknown is compatible with everything (internal fallback). Two concrete types must be equal (structurally) to be compatible.

pub fn display(&self) -> String

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl PartialEq for Type

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