recursion 0.5.4

cache-aware stack safe recursion
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

use crate::{
    frame::MappableFrame,
    recursive::{collapse::Collapsible, expand::Expandable},
};

// heap allocated fix point of some frame F
#[derive(Debug)]
pub struct Fix<F: MappableFrame>(pub Box<F::Frame<Fix<F>>>);

impl<F: MappableFrame> Collapsible for Fix<F> {
    type FrameToken = F;
    fn into_frame(self) -> <Self::FrameToken as MappableFrame>::Frame<Self> {
        *self.0
    }
}

impl<F: MappableFrame> Expandable for Fix<F> {
    type FrameToken = F;
    fn from_frame(val: <Self::FrameToken as MappableFrame>::Frame<Self>) -> Self {
        Fix::new(val)
    }
}

impl<F: MappableFrame> Fix<F> {
    pub fn new(x: F::Frame<Self>) -> Self {
        Self(Box::new(x))
    }
}