amaru-uplc 0.1.0

A UPLC Evaluator as a CEK machine
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

use chumsky::{extra::SimpleState, input, prelude::*};

use crate::{arena::Arena, program::Version};

pub struct State<'a> {
    pub arena: &'a Arena,
    pub env: Vec<&'a str>,
    pub version: Option<Version<'a>>,
}

impl<'a> State<'a> {
    pub fn new(arena: &'a Arena) -> Self {
        Self {
            arena,
            env: Vec::new(),
            version: None,
        }
    }

    pub fn set_version(&mut self, version: Version<'a>) {
        self.version = Some(version);
    }

    pub fn is_less_than_1_1_0(&self) -> bool {
        self.version
            .map(|v| v.is_less_than_1_1_0())
            .unwrap_or(false)
    }
}

pub type Extra<'a> = extra::Full<Rich<'a, char>, SimpleState<State<'a>>, ()>;
pub type MapExtra<'a, 'b> = input::MapExtra<'a, 'b, &'a str, Extra<'a>>;