Enum ConValue 

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

A Conlang value stores data in the interpreter

Variants

Empty

The empty/unit () type

Int(i128)

An integer

Float(f64)

A floating point number

Bool(bool)

A boolean

Char(char)

A unicode character

Str(Symbol)

A string literal

String(String)

A dynamic string

Ref(Place)

A reference

Slice(Place, usize)

A reference to an array

Array(Box<[ConValue]>)

An Array

Tuple(Box<[ConValue]>)

A tuple

Struct(Type, Box<HashMap<Symbol, ConValue>>)

A value of a product type

TupleStruct(Type, Box<[ConValue]>)

A value of a product type with anonymous members

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

An entire namespace

Quote(Rc<Expr>)

A quoted expression

Function(Rc<Function>)

A callable thing

Builtin(&'static Builtin)

A built-in function

TypeInfo(Type)

The definition of a type, by index

Implementations

impl ConValue

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

Gets whether the current value is true or false

pub fn take(&mut self) -> Self

pub fn is_cheap_to_copy(&self) -> bool

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

pub fn cast(self, ty: &TypeInfo) -> Self

pub fn dereference_in<'e>(&'e self, env: &'e Environment) -> IResult<&'e Self>

pub fn tuple_struct(id: Type, values: impl Into<Box<[ConValue]>>) -> Self

pub fn Struct(id: Type, values: HashMap<Symbol, 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) -> Option<Symbol>

Returns the common name of this callable, if it has one.

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: &Symbol) -> 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: Symbol) -> Self

Converts to this type from the input type.

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

fn from(value: Rc<Symbol>) -> 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<i128> for ConValue

fn from(value: i128) -> 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.