Enum ConValue 

pub enum ConValue {
    Empty,
    Int(isize),
    Float(f64),
    Bool(bool),
    Char(char),
    Str(Sym),
    String(String),
    Ref(usize),
    Slice(usize, usize),
    Array(Box<[ConValue]>),
    Tuple(Box<[ConValue]>),
    Struct(Sym, Box<HashMap<Sym, ConValue>>),
    TupleStruct(Sym, Box<Box<[ConValue]>>),
    Module(Box<HashMap<Sym, ConValue>>),
    Quote(Rc<Expr>),
    Function(Rc<Function>),
    TupleConstructor(Constructor),
    Closure(Rc<Closure>),
    Builtin(&'static Builtin),
}

A Conlang value stores data in the interpreter

Variants

Empty

The empty/unit () type

Int(isize)

An integer

Float(f64)

A floating point number

Bool(bool)

A boolean

Char(char)

A unicode character

Str(Sym)

A string literal

String(String)

A dynamic string

Ref(usize)

A reference

Slice(usize, usize)

A reference to an array

Array(Box<[ConValue]>)

An Array

Tuple(Box<[ConValue]>)

A tuple

Struct(Sym, Box<HashMap<Sym, ConValue>>)

A value of a product type

TupleStruct(Sym, Box<Box<[ConValue]>>)

A value of a product type with anonymous members

Module(Box<HashMap<Sym, ConValue>>)

An entire namespace

Quote(Rc<Expr>)

A quoted expression

Function(Rc<Function>)

A callable thing

TupleConstructor(Constructor)

A tuple constructor

Closure(Rc<Closure>)

A closure, capturing by reference

Builtin(&'static Builtin)

A built-in function

Implementations

impl ConValue

pub fn truthy(&self) -> IResult<bool>

Gets whether the current value is true or false

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

pub fn TupleStruct(id: Sym, values: Box<[ConValue]>) -> Self

pub fn Struct(id: Sym, values: HashMap<Sym, ConValue>) -> Self

pub fn index(&self, index: &Self, _env: &Environment) -> IResult<ConValue>

pub fn lt(&self, other: &Self) -> IResult<Self>

TODO: Remove when functions are implemented: Desugar into function calls

pub fn lt_eq(&self, other: &Self) -> IResult<Self>

TODO: Remove when functions are implemented: Desugar into function calls

pub fn eq(&self, other: &Self) -> IResult<Self>

TODO: Remove when functions are implemented: Desugar into function calls

pub fn neq(&self, other: &Self) -> IResult<Self>

TODO: Remove when functions are implemented: Desugar into function calls

pub fn gt_eq(&self, other: &Self) -> IResult<Self>

TODO: Remove when functions are implemented: Desugar into function calls

pub fn gt(&self, other: &Self) -> IResult<Self>

TODO: Remove when functions are implemented: Desugar into function calls

pub fn add_assign(&mut self, other: Self) -> IResult<()>

pub fn bitand_assign(&mut self, other: Self) -> IResult<()>

pub fn bitor_assign(&mut self, other: Self) -> IResult<()>

pub fn bitxor_assign(&mut self, other: Self) -> IResult<()>

pub fn div_assign(&mut self, other: Self) -> IResult<()>

pub fn mul_assign(&mut self, other: Self) -> IResult<()>

pub fn rem_assign(&mut self, other: Self) -> IResult<()>

pub fn shl_assign(&mut self, other: Self) -> IResult<()>

pub fn shr_assign(&mut self, other: Self) -> IResult<()>

pub fn sub_assign(&mut self, other: Self) -> IResult<()>

Trait Implementations

impl Add for ConValue

fn add(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the + operator.

impl BitAnd for ConValue

fn bitand(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the & operator.

impl BitOr for ConValue

fn bitor(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the | operator.

impl BitXor for ConValue

fn bitxor(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the ^ operator.

impl Callable for ConValue

fn name(&self) -> Sym

Returns the common name of this identifier.

fn call(&self, env: &mut Environment, args: &[ConValue]) -> IResult<ConValue>

Calls this Callable in the provided Environment, with ConValue args
The Callable is responsible for checking the argument count and validating types

impl Clone for ConValue

fn clone(&self) -> ConValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConValue

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

Formats the value using the given formatter.

impl Default for ConValue

fn default() -> ConValue

Returns the “default value” for a type.

impl Display for ConValue

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

Formats the value using the given formatter.

impl Div for ConValue

fn div(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the / operator.

impl From<&[ConValue]> for ConValue

fn from(value: &[ConValue]) -> Self

Converts to this type from the input type.

impl From<&'static Builtin> for ConValue

fn from(value: &'static Builtin) -> Self

Converts to this type from the input type.

impl From<&Interned<'static, str>> for ConValue

fn from(value: &Sym) -> Self

Converts to this type from the input type.

impl From<&str> for ConValue

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<()> for ConValue

fn from(_: ()) -> Self

Converts to this type from the input type.

impl From<Expr> for ConValue

fn from(value: Expr) -> Self

Converts to this type from the input type.

impl From<Function> for ConValue

fn from(value: Function) -> Self

Converts to this type from the input type.

impl From<Interned<'static, str>> for ConValue

fn from(value: Sym) -> Self

Converts to this type from the input type.

impl From<Rc<str>> for ConValue

fn from(value: Rc<str>) -> Self

Converts to this type from the input type.

impl From<String> for ConValue

fn from(value: String) -> Self

Converts to this type from the input type.

impl From<Vec<ConValue>> for ConValue

fn from(value: Vec<ConValue>) -> Self

Converts to this type from the input type.

impl From<bool> for ConValue

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<char> for ConValue

fn from(value: char) -> Self

Converts to this type from the input type.

impl From<f64> for ConValue

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<isize> for ConValue

fn from(value: isize) -> Self

Converts to this type from the input type.

impl Mul for ConValue

fn mul(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the * operator.

impl Rem for ConValue

fn rem(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the % operator.

impl Shl for ConValue

fn shl(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the << operator.

impl Shr for ConValue

fn shr(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the >> operator.

impl Sub for ConValue

fn sub(self, rhs: Self) -> Self::Output

TODO: Desugar operators into function calls

type Output = Result<ConValue, Error>

The resulting type after applying the - operator.