leo_ast

Module interpreter_value

Source

Modules§

core_function 🔒
evaluate 🔒
util 🔒
value 🔒

Macros§

fail2
halt2
halt_no_span2
tc_fail2

Structs§

GlobalId
Global values - such as mappings, functions, etc - are identified by program and name.
Value

Enums§

AsyncExecution

Traits§

CoreFunctionHelper
A context in which we can evaluate core functions.
ExpectTc
TryAsRef

Functions§

evaluate_binary
Evaluate a binary operation.
evaluate_core_function
evaluate_unary
Evaluate a unary operation.
literal_to_value