simplicityhl 0.6.0

Rust-like language that compiles to Simplicity bytecode.
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

mod math {
    pub mod ops {
        pub fn double(x: u32) -> u32 { 
            let (_, res): (bool, u32) = jet::add_32(x, x);
            res
        }
    }
}

mod business_logic {
    use crate::math::ops::double;

    pub fn calculate_fee(base_price: u32, tax: u32) -> u32 {
        let (_, res): (bool, u32) = jet::add_32(double(base_price), tax);
        res
    }
}

use crate::business_logic::calculate_fee;
fn main() {
    let price: u32 = 15;
    let tax: u32 = 5;

    let total: u32 = calculate_fee(price, tax);
    assert!(jet::eq_32(total, 35));
}