Enum Type 

pub enum Type {
    Unspecified,
    Number,
    String,
    Bool,
    Array(Vec<Type>),
    Record(BTreeMap<String, Type>),
    Subject,
    App {
        args: Vec<Type>,
        result: Box<Type>,
    },
}

Type information for expressions.

This enum represents the type of an expression in the E

Variants

Unspecified

Type has not been determined yet

Number

Numeric type (f64)

String

String type

Bool

Boolean type

Array(Vec<Type>)

Array type

Record(BTreeMap<String, Type>)

Record (object) type

Subject

Subject pattern type

App

Function type

Fields

args: Vec<Type>

result: Box<Type>

Implementations

impl Type

pub fn as_record_or_panic_mut(&mut self) -> &mut BTreeMap<String, Type>

pub fn check(self, attrs: &Attrs, other: Type) -> Result<Type, AnalysisError>

Checks if two types are the same.

• If self is Type::Unspecified then self is updated to the more specific Type.
• If self is Type::Subject and is checked against a Type::String then self is updated to Type::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 Default for Type

fn default() -> Type

Returns the “default value” for a 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 Serialize for Type

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Type

impl StructuralPartialEq for Type