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
32

// SPDX-License-Identifier: CC0-1.0

use super::init::core::Core;
use super::JetEnvironment;
use simplicity_sys::c_jets::frame_ffi::CFrameItem;

/// Type alias for the Core jet environment.
#[derive(Default, Debug)]
pub struct CoreEnv {
    _inner: (),
}

impl CoreEnv {
    pub fn new() -> Self {
        Self { _inner: () }
    }
}

impl JetEnvironment for CoreEnv {
    type Jet = Core;
    type CJetEnvironment = ();

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

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