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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

use chumsky::prelude::*;

use crate::typ::Type;

use super::types::{Extra, MapExtra};

pub fn parser<'a>() -> impl Parser<'a, &'a str, &'a Type<'a>, Extra<'a>> {
    recursive(|rec_typ| {
        choice((
            // integer
            text::keyword("integer")
                .ignored()
                .map_with(|_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::integer(state.arena)
                }),
            // bool
            text::keyword("bool")
                .ignored()
                .map_with(|_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::bool(state.arena)
                }),
            // bytestring
            text::keyword("bytestring")
                .ignored()
                .map_with(|_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::byte_string(state.arena)
                }),
            // string
            text::keyword("string")
                .ignored()
                .map_with(|_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::string(state.arena)
                }),
            // pair
            text::keyword("pair")
                .padded()
                .ignore_then(rec_typ.clone().padded())
                .then(rec_typ.clone().padded())
                .delimited_by(just('('), just(')'))
                .map_with(|(fst_type, snd_type), e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::pair(state.arena, fst_type, snd_type)
                }),
            // list
            text::keyword("list")
                .padded()
                .ignore_then(rec_typ.clone().padded())
                .delimited_by(just('('), just(')'))
                .map_with(|typ, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::list(state.arena, typ)
                }),
            // array
            text::keyword("array")
                .padded()
                .ignore_then(rec_typ.clone().padded())
                .delimited_by(just('('), just(')'))
                .map_with(|typ, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::array(state.arena, typ)
                }),
            // data
            text::keyword("data")
                .ignored()
                .map_with(|_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::data(state.arena)
                }),
            // unit
            text::keyword("unit")
                .ignored()
                .map_with(|_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::unit(state.arena)
                }),
            // g1
            text::keyword("bls12_381_G1_element").ignored().map_with(
                |_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::g1(state.arena)
                },
            ),
            // g2
            text::keyword("bls12_381_G2_element").ignored().map_with(
                |_, e: &mut MapExtra<'a, '_>| {
                    let state = e.state();

                    Type::g2(state.arena)
                },
            ),
        ))
        .boxed()
    })
}