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

use crate::{arena::Arena, binder::Eval};

use super::value::Value;

#[derive(Debug)]
pub enum Env<'a, V>
where
    V: Eval<'a>,
{
    Empty,
    Cons {
        data: &'a Value<'a, V>,
        next: &'a Env<'a, V>,
    },
}

impl<'a, V> Env<'a, V>
where
    V: Eval<'a>,
{
    pub fn new_in(arena: &'a Arena) -> &'a Self {
        arena.alloc(Self::Empty)
    }

    pub fn push(&'a self, arena: &'a Arena, arg: &'a Value<'a, V>) -> &'a Self {
        arena.alloc(Self::Cons {
            data: arg,
            next: self,
        })
    }

    // De Bruijn indices are 1-based
    // So the data at the env[i] is at De Bruijn index i-1
    pub fn lookup(&self, index: usize) -> Option<&'a Value<'a, V>> {
        if index == 0 {
            return None;
        }

        match self {
            Env::Empty => None,
            Env::Cons { data, next: parent } => {
                if index == 1 {
                    return Some(data);
                }

                parent.lookup(index - 1)
            }
        }
    }
}