Enum Shape 

pub enum Shape {
    Boolean(Position),
    Int(Position),
    Float(Position),
    Str(Position),
    Tuple(PositionedItem<TupleShape>),
    List(NarrowedShape),
    Func(FuncShapeDef),
    Module(ModuleShape),
    Hole(PositionedItem<Rc<str>>),
    Narrowed(NarrowedShape),
    Import(ImportShape),
    TypeErr(Position, String),
}

Shapes represent the types that UCG values or expressions can have.

Variants

Boolean(Position)

Int(Position)

Float(Position)

Str(Position)

Tuple(PositionedItem<TupleShape>)

List(NarrowedShape)

Func(FuncShapeDef)

Module(ModuleShape)

Hole(PositionedItem<Rc<str>>)

Narrowed(NarrowedShape)

Import(ImportShape)

TypeErr(Position, String)

Implementations

impl Shape

pub fn equivalent( &self, right: &Shape, symbol_table: &BTreeMap<Rc<str>, Shape>, ) -> bool

pub fn narrow( &self, right: &Shape, symbol_table: &mut BTreeMap<Rc<str>, Shape>, ) -> Self

pub fn type_name(&self) -> &'static str

pub fn pos(&self) -> &Position

pub fn with_pos(self, pos: Position) -> Self

Trait Implementations

impl Clone for Shape

fn clone(&self) -> Shape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Shape

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

Formats the value using the given formatter.

impl PartialEq for Shape

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