gc-sequence 0.2.1

a system for encoding safe points for computations running on gc-arena
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

use gc_arena::{Collect, MutationContext};

use crate::Sequence;

#[must_use = "sequences do nothing unless stepped"]
#[derive(Collect)]
#[collect(no_drop)]
pub enum Flatten<'gc, S>
where
    S: Sequence<'gc>,
    S::Output: Sequence<'gc>,
{
    First(S),
    Second(S::Output),
}

impl<'gc, S> Flatten<'gc, S>
where
    S: Sequence<'gc>,
    S::Output: Sequence<'gc>,
{
    pub fn new(s: S) -> Flatten<'gc, S> {
        Flatten::First(s)
    }
}

impl<'gc, S> Sequence<'gc> for Flatten<'gc, S>
where
    S: Sequence<'gc>,
    S::Output: Sequence<'gc>,
{
    type Output = <S::Output as Sequence<'gc>>::Output;

    fn step(&mut self, mc: MutationContext<'gc, '_>) -> Option<Self::Output> {
        match self {
            Flatten::First(f) => match f.step(mc) {
                Some(s) => {
                    *self = Flatten::Second(s);
                    None
                }
                None => None,
            },
            Flatten::Second(s) => s.step(mc),
        }
    }
}