Enum Type 

pub enum Type {
    Any,
    I64,
    Bool,
    String,
    Function(Rc<FunctionType>),
    Enum(Rc<EnumType>),
    Option(Rc<ComplexType>),
    Mut(Rc<ComplexType>),
    Type,
    Unit,
}

The type of a singular espy values.

This enum does not represent the type of tuples; for that, see ComplexType

Type itself is a type, Type::Type, because it may appear within an espy value.

Note that Value::type_of returns Type::Any for Value::Borrow and Value::Owned.

Variants

Any

Any is the type of a value with unknown capabilities.

Any is the type of all external values because they have arbitrary, unknowable properties. This means that external values must be casted to trait objects to interact with them.

I64

Bool

String

Function(Rc<FunctionType>)

Enum(Rc<EnumType>)

Option(Rc<ComplexType>)

Mut(Rc<ComplexType>)

Type

The type of types.

Unit

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<(), Error>

Formats the value using the given formatter.

impl From<EnumType> for Type

fn from(value: EnumType) -> Type

Converts to this type from the input type.

impl From<Rc<EnumType>> for Type

fn from(value: Rc<EnumType>) -> Type

Converts to this type from the input type.

impl From<Type> for ComplexType

fn from(value: Type) -> ComplexType

Converts to this type from the input type.

impl From<Type> for Value<'_>

fn from(t: Type) -> Value<'_>

Converts to this type from the input type.

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 Eq for Type