simplicity-lang 0.7.1

General purpose library for processing Simplicity programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

// SPDX-License-Identifier: CC0-1.0

mod c_env;
mod environment;
#[cfg(test)]
mod tests;

pub use environment::{ElementsEnv, ElementsUtxo};

use super::init::elements::Elements;
use super::JetEnvironment;
use simplicity_sys::c_jets::frame_ffi::CFrameItem;
use simplicity_sys::CElementsTxEnv;

/// Type alias for the Elements transaction environment.
pub type ElementsTxEnv = ElementsEnv<std::sync::Arc<elements::Transaction>>;

impl JetEnvironment for ElementsTxEnv {
    type Jet = Elements;
    type CJetEnvironment = CElementsTxEnv;

    fn c_jet_env(&self) -> &Self::CJetEnvironment {
        self.c_tx_env()
    }

    fn c_jet_ptr(
        jet: &Self::Jet,
    ) -> fn(&mut CFrameItem, CFrameItem, &Self::CJetEnvironment) -> bool {
        super::init::elements::c_jet_ptr(jet)
    }
}