Enum tvix_eval::value::thunk::ThunkRepr

enum ThunkRepr {
    Suspended {
        lambda: Rc<Lambda>,
        upvalues: Rc<Upvalues>,
        span: Span,
    },
    Native(SuspendedNative),
    Blackhole {
        forced_at: Span,
        suspended_at: Option<Span>,
        content_span: Option<Span>,
    },
    Evaluated(Value),
}

Internal representation of the different states of a thunk.

Upvalues must be finalised before leaving the initial state (Suspended or RecursiveClosure). The [value()] function may not be called until the thunk is in the final state (Evaluated).

Variants

Suspended

Thunk is closed over some values, suspended and awaiting execution.

Fields

lambda: Rc<Lambda>

upvalues: Rc<Upvalues>

span: Span

Native(SuspendedNative)

Thunk is a suspended native computation.

Blackhole

Thunk currently under-evaluation; encountering a blackhole value means that infinite recursion has occured.

Fields

forced_at: Span

Span at which the thunk was first forced.

suspended_at: Option<Span>

Span at which the thunk was originally suspended.

content_span: Option<Span>

Span of the first instruction of the actual code inside the thunk.

Evaluated(Value)

Fully evaluated thunk.

Implementations

impl ThunkRepr

fn debug_repr(&self) -> String

fn expect(self) -> Value

Return the Value within a fully-evaluated ThunkRepr; panics if the thunk is not fully-evaluated.

fn expect_ref(&self) -> &Value

pub fn is_forced(&self) -> bool

Trait Implementations

impl Debug for ThunkRepr

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

Formats the value using the given formatter.