treaty -


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use core::ops::ControlFlow;

use crate::{
    nameable,
    protocol::{Yield, Effect, SyncEffect, Walker},
};

/// Protocol for requesting a hint from a visitor.
pub trait RequestHint<'a, 'ctx: 'a, E: Effect<'ctx, ControlFlow<(), ()>>> {
    /// Call this to request a hint.
    ///
    /// `walker` is what the visitor (`self`) will call to give a hint using the
    /// [`Hint`][crate::builtins::walker::Hint] protocol.
    fn request_hint(&'a mut self, walker: Walker<'a, 'ctx, E>) -> Yield<'a, 'ctx, ControlFlow<(), ()>, E>;
}

nameable! {
    pub struct Name['a, 'ctx, E];
    impl [E] for dyn RequestHint<'a, 'ctx, E> + 'a where {
        E: Effect<'ctx, ControlFlow<(), ()>>,
        'ctx: 'a
    }
}