Enum ANFValue 

pub enum ANFValue {
    LoadParam {
        name: String,
    },
    LoadProp {
        name: String,
    },
    LoadConst {
        value: Value,
    },
    BinOp {
        op: String,
        left: String,
        right: String,
        result_type: Option<String>,
    },
    UnaryOp {
        op: String,
        operand: String,
        result_type: Option<String>,
    },
    Call {
        func: String,
        args: Vec<String>,
    },
    MethodCall {
        object: String,
        method: String,
        args: Vec<String>,
    },
    If {
        cond: String,
        then: Vec<ANFBinding>,
        else_branch: Vec<ANFBinding>,
    },
    Loop {
        count: usize,
        body: Vec<ANFBinding>,
        iter_var: String,
    },
    Assert {
        value: String,
    },
    UpdateProp {
        name: String,
        value: String,
    },
    GetStateScript {},
    CheckPreimage {
        preimage: String,
    },
    DeserializeState {
        preimage: String,
    },
    AddOutput {
        satoshis: String,
        state_values: Vec<String>,
        preimage: String,
    },
    AddRawOutput {
        satoshis: String,
        script_bytes: String,
    },
    ArrayLiteral {
        elements: Vec<String>,
    },
}

Discriminated union of all ANF value types.

Uses #[serde(tag = "kind")] to match the JSON "kind" discriminator.

Variants

LoadParam

Fields

name: String

LoadProp

Fields

name: String

LoadConst

Fields

value: Value

BinOp

Fields

op: String

left: String

right: String

result_type: Option<String>

UnaryOp

Fields

op: String

operand: String

result_type: Option<String>

Call

Fields

func: String

args: Vec<String>

MethodCall

Fields

object: String

method: String

args: Vec<String>

If

Fields

cond: String

then: Vec<ANFBinding>

else_branch: Vec<ANFBinding>

Loop

Fields

count: usize

body: Vec<ANFBinding>

iter_var: String

Assert

Fields

value: String

UpdateProp

Fields

name: String

value: String

GetStateScript

CheckPreimage

Fields

preimage: String

DeserializeState

Fields

preimage: String

AddOutput

Fields

satoshis: String

state_values: Vec<String>

preimage: String

AddRawOutput

Fields

satoshis: String

script_bytes: String

ArrayLiteral

Fields

elements: Vec<String>

Implementations

impl ANFValue

pub fn const_value(&self) -> Option<ConstValue>

Extract the typed constant from a LoadConst value.

Trait Implementations

impl Clone for ANFValue

fn clone(&self) -> ANFValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ANFValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ANFValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ANFValue

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.