Module interpreter_value

leo_ast

Module interpreter_value 

Source

Modules§

evaluate 🔒
intrinsic 🔒
util 🔒
value 🔒

Macros§

fail2
halt2
halt_no_span2
tc_fail2

Structs§

StructContents
Value

Enums§

AsyncExecution

Traits§

ExpectTc
IntrinsicHelper
A context in which we can evaluate intrinsics.
TryAsRef

Functions§

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