Enum FfiValue 

pub enum FfiValue {
    Bool(bool),
    UInt(u64),
    Int(i64),
    Float(f64),
    Str(String),
    Bytes(Vec<u8>),
    Unit,
}

FFI values at runtime.

Variants

Bool(bool)

Boolean value.

UInt(u64)

Unsigned integer (up to 64-bit).

Int(i64)

Signed integer (up to 64-bit).

Float(f64)

Floating point number.

Str(String)

String value.

Bytes(Vec<u8>)

Byte array.

Unit

Unit value.

Implementations

impl FfiValue

pub fn try_from_expr(expr: &Expr, ty: &FfiType) -> Result<Self, FfiError>

Try to convert an OxiLean expression to an FFI value.

pub fn to_expr(&self) -> Expr

Convert an FFI value to an OxiLean expression.

Trait Implementations

impl Clone for FfiValue

fn clone(&self) -> FfiValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FfiValue

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

Formats the value using the given formatter.

impl Display for FfiValue

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

Formats the value using the given formatter.

impl PartialEq for FfiValue

fn eq(&self, other: &FfiValue) -> 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 StructuralPartialEq for FfiValue