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

mod debruijn;
mod name;
mod named_debruijn;

pub use debruijn::*;
pub use name::*;
pub use named_debruijn::*;

use crate::{arena::Arena, flat};

pub trait Binder<'a>: std::fmt::Debug {
    // this might not need to return a Result
    fn var_encode(&self, e: &mut flat::Encoder) -> Result<(), flat::FlatEncodeError>;
    fn var_decode(
        arena: &'a Arena,
        d: &mut flat::Decoder,
    ) -> Result<&'a Self, flat::FlatDecodeError>;

    // this might not need to return a Result
    fn parameter_encode(&self, e: &mut flat::Encoder) -> Result<(), flat::FlatEncodeError>;
    fn parameter_decode(
        arena: &'a Arena,
        d: &mut flat::Decoder,
    ) -> Result<&'a Self, flat::FlatDecodeError>;
}

pub trait Eval<'a>: Binder<'a> {
    fn index(&self) -> usize;
}