Struct RtObject 

pub struct RtObject { /* private fields */ }

The core runtime value representation.

RtObject uses a tagged encoding to store small values inline (in the u64 itself) and reference heap-allocated objects for larger values. This avoids allocation for common cases like small naturals, booleans, and unit.

Implementations

impl RtObject

pub fn bool_val(b: bool) -> Self

Create a boolean value.

impl RtObject

pub fn char_val(c: char) -> Self

Create a character value.

impl RtObject

pub fn float_bits(bits: u64) -> Self

Create a float from reduced-precision bits.

impl RtObject

pub fn from_raw_bits(bits: u64) -> Self

Create from raw bits (used for deserialization).

impl RtObject

pub fn payload(&self) -> u64

Get the 56-bit payload.

impl RtObject

pub fn tag(&self) -> u8

Get the tag byte.

pub fn is_inline(&self) -> bool

Check if this is an inline (non-heap) value.

pub fn is_nat(&self) -> bool

Check if this is a natural number (small or big).

pub fn is_bool(&self) -> bool

Check if this is a boolean.

pub fn is_unit(&self) -> bool

Check if this is the unit value.

pub fn is_char(&self) -> bool

Check if this is a character.

pub fn is_small_ctor(&self) -> bool

Check if this is a small constructor.

pub fn is_closure(&self) -> bool

Check if this is a closure reference.

pub fn is_string_ref(&self) -> bool

Check if this is a string reference.

pub fn is_array_ref(&self) -> bool

Check if this is an array reference.

pub fn is_thunk_ref(&self) -> bool

Check if this is a thunk reference.

pub fn is_io_action(&self) -> bool

Check if this is an IO action reference.

pub fn is_task_ref(&self) -> bool

Check if this is a task reference.

pub fn is_external_ref(&self) -> bool

Check if this is an external object reference.

pub fn as_bool(&self) -> Option<bool>

Extract a boolean value.

pub fn as_small_nat(&self) -> Option<u64>

Extract a small natural number.

pub fn as_char(&self) -> Option<char>

Extract a character value.

pub fn as_small_ctor(&self) -> Option<u32>

Extract a small constructor index.

pub fn as_small_int(&self) -> Option<i64>

Extract a small signed integer.

pub fn as_float_bits(&self) -> Option<u64>

Extract float bits.

impl RtObject

pub fn is_heap(&self) -> bool

Check if this is a heap-allocated object.

impl RtObject

pub fn raw_bits(&self) -> u64

Get the raw bits.

impl RtObject

pub fn small_ctor(index: u32) -> Self

Create a small constructor tag.

For inductives with no fields and a small number of constructors, we can encode the constructor index inline.

impl RtObject

pub fn small_int(n: i64) -> Option<Self>

Create a small signed integer.

impl RtObject

pub fn small_nat(n: u64) -> Option<Self>

Create a small natural number (inline).

Returns None if the value exceeds 56 bits.

pub fn nat(n: u64) -> Self

Create a natural number, using small representation if possible.

impl RtObject

pub fn with_heap<R>(&self, f: impl FnOnce(&HeapObject) -> R) -> Option<R>

Access the heap object for this reference (if heap-allocated).

pub fn with_heap_mut<R>( &self, f: impl FnOnce(&mut HeapObject) -> R, ) -> Option<R>

Access the heap object mutably.

pub fn string(s: String) -> Self

Create a string object.

pub fn array(elements: Vec<RtObject>) -> Self

Create an array object.

pub fn constructor(ctor_index: u32, fields: Vec<RtObject>) -> Self

Create a constructor object with fields.

pub fn named_constructor( name: Name, ctor_index: u32, fields: Vec<RtObject>, ) -> Self

Create a named constructor object.

pub fn thunk(closure: RtObject) -> Self

Create a thunk (lazy value).

pub fn io_pure(value: RtObject) -> Self

Create an IO action.

pub fn task(task_id: u64) -> Self

Create a task object.

pub fn external(type_name: String, payload: Vec<u8>) -> Self

Create an external object.

pub fn boxed_float(value: f64) -> Self

Create a boxed float.

pub fn byte_array(bytes: Vec<u8>) -> Self

Create a byte array.

impl RtObject

pub fn unit() -> Self

Create a unit value.

Trait Implementations

impl Clone for RtObject

fn clone(&self) -> RtObject

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RtObject

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

Formats the value using the given formatter.

impl Display for RtObject

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

Formats the value using the given formatter.

impl Hash for RtObject

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for RtObject

fn eq(&self, other: &Self) -> 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 Eq for RtObject