Struct Program 

pub struct Program<'a, V> {
    pub version: &'a Version<'a>,
    pub term: &'a Term<'a, V>,
}

Fields

version: &'a Version<'a>

term: &'a Term<'a, V>

Implementations

impl<'a, V> Program<'a, V>

pub fn new( arena: &'a Arena, version: &'a Version<'a>, term: &'a Term<'a, V>, ) -> &'a Self

pub fn apply(&'a self, arena: &'a Arena, term: &'a Term<'a, V>) -> &'a Self

impl<'a, V> Program<'a, V>

where V: Eval<'a>,

pub fn eval(&'a self, arena: &'a Arena) -> EvalResult<'a, V>

pub fn eval_version( &'a self, arena: &'a Arena, plutus_version: PlutusVersion, ) -> EvalResult<'a, V>

Evaluate with explicit Plutus version

pub fn eval_version_budget( &'a self, arena: &'a Arena, plutus_version: PlutusVersion, initial_budget: ExBudget, ) -> EvalResult<'a, V>

pub fn eval_with_params( &'a self, arena: &'a Arena, plutus_version: PlutusVersion, cost_model: &[i64], initial_budget: ExBudget, ) -> EvalResult<'a, V>

Trait Implementations

impl<'a, V: Debug> Debug for Program<'a, V>

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

Formats the value using the given formatter.