treaty -


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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

use crate::{
    any::OwnedStatic,
    effect::{Effect, EffectiveExt as _, ErasedEffective},
    never::Never,
    protocol::{visitor::visit_value, DynVisitor},
};

/// A very basic walker that uses the [`Value`][crate::protocol::visitor::value::Value] protocol.
///
/// Primitive types use this walker as their main walker.
/// This walker doesn't consider it an error if the visitor doesn't have the protocol.
#[derive(Debug)]
pub struct ValueWalker<T>(T);

impl<T> ValueWalker<T> {
    /// Create walker from a value.
    #[inline(always)]
    pub fn new(value: T) -> Self {
        Self(value)
    }
}

impl<T> From<T> for ValueWalker<T> {
    #[inline(always)]
    fn from(value: T) -> Self {
        Self::new(value)
    }
}

impl<T: Copy> From<&T> for ValueWalker<T> {
    #[inline(always)]
    fn from(value: &T) -> Self {
        Self::new(*value)
    }
}

impl<'ctx, T: Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E> for ValueWalker<T> {
    type Error = Never;

    type Output = ();

    #[inline(always)]
    fn walk<'b: 'c, 'c>(
        self,
        visitor: DynVisitor<'b, 'ctx>,
    ) -> ErasedEffective<'c, Result<Self::Output, Self::Error>, E> {
        // Attempt to visit using the value protocol.
        visit_value::<_, E>(visitor, OwnedStatic(self.0)).map(|_| Ok(()))
        // E::map(
        //     visit_value::<_, E>(visitor, OwnedStatic(self.0)),
        //     |_| Ok(()),
        // )
    }
}

/// Borrowed form of [`ValueWalker`].
///
/// This walker supports values borrowed for `'ctx` or longer.
pub struct BorrowWalker<'ctx, T: ?Sized>(&'ctx T);

impl<'ctx, T: ?Sized> BorrowWalker<'ctx, T> {
    /// Create walker from a value.
    #[inline(always)]
    pub fn new(value: &'ctx T) -> Self {
        Self(value)
    }
}

impl<'ctx, T: ?Sized + Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E>
    for BorrowWalker<'ctx, T>
{
    type Error = Never;

    type Output = ();

    #[inline(always)]
    fn walk<'b: 'c, 'c>(
        self,
        _visitor: DynVisitor<'b, 'ctx>,
    ) -> ErasedEffective<'c, Result<Self::Output, Self::Error>, E> {
        // Attempt to visit using the value protocol.
        todo!()
        // E::map(visit_value::<_, E>(visitor, BorrowedStatic(self.0)), |_| {
        //     Ok(())
        // })
    }
}