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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

use chumsky::{extra::SimpleState, prelude::*, ParseResult, Parser};

mod constant;
mod data;
mod program;
mod term;
mod typ;
mod types;
mod utils;
mod version;

use crate::{
    arena::Arena, binder::DeBruijn, constant::Constant, data::PlutusData, program::Program,
    term::Term,
};

pub fn parse_program<'a>(
    arena: &'a Arena,
    input: &'a str,
) -> ParseResult<&'a Program<'a, DeBruijn>, Rich<'a, char>> {
    let mut initial_state = SimpleState(types::State::new(arena));

    program::parser().parse_with_state(input, &mut initial_state)
}

pub fn parse_term<'a>(
    arena: &'a Arena,
    input: &'a str,
) -> ParseResult<&'a Term<'a, DeBruijn>, Rich<'a, char>> {
    let mut initial_state = SimpleState(types::State::new(arena));

    term::parser().parse_with_state(input, &mut initial_state)
}

pub fn parse_constant<'a>(
    arena: &'a Arena,
    input: &'a str,
) -> ParseResult<&'a Constant<'a>, Rich<'a, char>> {
    let mut initial_state = SimpleState(types::State::new(arena));

    constant::parser().parse_with_state(input, &mut initial_state)
}

pub fn parse_data<'a>(
    arena: &'a Arena,
    input: &'a str,
) -> ParseResult<&'a PlutusData<'a>, Rich<'a, char>> {
    let mut initial_state = SimpleState(types::State::new(arena));

    data::parser().parse_with_state(input, &mut initial_state)
}