f1r3fly-models 0.1.0

Common data model types for the F1r3fly blockchain, including protobuf definitions and Rust implementations
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

// See models/src/main/scala/coop/rchain/models/ParSet.scala

use crate::rhoapi::{Par, Var};

use super::{sorted_par_hash_set::SortedParHashSet, utils::union};

#[derive(Clone)]
pub struct ParSet {
    pub ps: SortedParHashSet,
    pub connective_used: bool,
    pub locally_free: Vec<u8>,
    pub remainder: Option<Var>,
}

impl ParSet {
    pub fn new(
        vec: Vec<Par>,
        connective_used: bool,
        locally_free: Vec<u8>,
        remainder: Option<Var>,
    ) -> ParSet {
        ParSet {
            ps: SortedParHashSet::create_from_vec(vec),
            connective_used,
            locally_free,
            remainder,
        }
    }

    pub fn create_from_vec_and_remainder(vec: Vec<Par>, remainder: Option<Var>) -> Self {
        let shs = SortedParHashSet::create_from_vec(vec.clone());
        ParSet {
            ps: shs.clone(),
            connective_used: ParSet::connective_used(&vec) || remainder.is_some(),
            locally_free: ParSet::update_locally_free(&shs),
            remainder,
        }
    }

    pub fn create_from_vec(vec: Vec<Par>) -> Self {
        ParSet::create_from_vec_and_remainder(vec.clone(), None)
    }

    pub fn equals(&self, other: ParSet) -> bool {
        self.ps.equals(other.ps)
            && self.remainder == other.remainder
            && self.connective_used == other.connective_used
    }

    fn connective_used(vec: &Vec<Par>) -> bool {
        vec.iter().any(|p| p.connective_used)
    }

    fn update_locally_free(ps: &SortedParHashSet) -> Vec<u8> {
        ps.sorted_pars
            .clone()
            .into_iter()
            .fold(Vec::new(), |acc, p| union(acc, p.locally_free))
    }
}