Enum Value 

pub enum Value {
    Null,
    Bool(bool),
    Int(i64),
    Float(f64),
    String(Rc<String>),
    Char(char),
    Array(Rc<RefCell<Vec<Value>>>),
    Tuple(Rc<Vec<Value>>),
    Struct {
        name: String,
        fields: Rc<RefCell<HashMap<String, Value>>>,
    },
    Variant {
        enum_name: String,
        variant_name: String,
        fields: Option<Rc<Vec<Value>>>,
    },
    Function(Rc<Function>),
    BuiltIn(Rc<BuiltInFn>),
    Ref(Rc<RefCell<Value>>),
    Infinity,
    Empty,
    Evidential {
        value: Box<Value>,
        evidence: Evidence,
    },
    Affective {
        value: Box<Value>,
        affect: RuntimeAffect,
    },
    Map(Rc<RefCell<HashMap<String, Value>>>),
    Set(Rc<RefCell<HashSet<String>>>),
    Channel(Arc<ChannelInner>),
    ThreadHandle(Arc<Mutex<Option<JoinHandle<Value>>>>),
    Actor(Arc<ActorInner>),
    Future(Rc<RefCell<FutureInner>>),
    VariantConstructor {
        enum_name: String,
        variant_name: String,
    },
    DefaultConstructor {
        type_name: String,
    },
    Range {
        start: Option<i64>,
        end: Option<i64>,
        inclusive: bool,
    },
    RefCellValue(Rc<RefCellInner>),
    TraitObject {
        value: Box<Value>,
        concrete_type: String,
        trait_name: String,
    },
}

Runtime value in Sigil.

Variants

Null

Null/void

Bool(bool)

Boolean

Int(i64)

Integer (64-bit)

Float(f64)

Float (64-bit)

String(Rc<String>)

String

Char(char)

Character

Array(Rc<RefCell<Vec<Value>>>)

Array/list

Tuple(Rc<Vec<Value>>)

Tuple

Struct

Struct instance

Fields

name: String

fields: Rc<RefCell<HashMap<String, Value>>>

Variant

Enum variant

Fields

enum_name: String

variant_name: String

fields: Option<Rc<Vec<Value>>>

Function(Rc<Function>)

Function/closure

BuiltIn(Rc<BuiltInFn>)

Built-in function

Ref(Rc<RefCell<Value>>)

Reference to another value

Infinity

Special mathematical values

Empty

Evidential

Evidence-wrapped value

Fields

value: Box<Value>

evidence: Evidence

Affective

Affect-wrapped value (sentiment, emotion, sarcasm, etc.)

Fields

value: Box<Value>

affect: RuntimeAffect

Map(Rc<RefCell<HashMap<String, Value>>>)

HashMap

Set(Rc<RefCell<HashSet<String>>>)

HashSet (stores keys only, values are unit)

Channel(Arc<ChannelInner>)

Channel for message passing (sender, receiver)

ThreadHandle(Arc<Mutex<Option<JoinHandle<Value>>>>)

Thread handle

Actor(Arc<ActorInner>)

Actor (mailbox + state)

Future(Rc<RefCell<FutureInner>>)

Future - represents an async computation

VariantConstructor

Variant constructor (for creating enum variants)

Fields

enum_name: String

variant_name: String

DefaultConstructor

Default constructor (for default trait)

Fields

type_name: String

Range

Range value (start..end or start..=end)

Fields

start: Option<i64>

end: Option<i64>

inclusive: bool

RefCellValue(Rc<RefCellInner>)

RefCell - interior mutability with runtime borrow checking

TraitObject

Trait object - dynamic dispatch via vtable

Fields

value: Box<Value>

The actual value being wrapped

concrete_type: String

The type name of the concrete value

trait_name: String

The trait name this object implements

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl Display for Value

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

Formats the value using the given formatter.