looking-glass 0.1.3

looking-glass is a reflection & type-erasure library for Rust
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
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
88
89
90
91
92
93
94

use crate::*;
pub use bytes::Bytes;
pub use smol_str::SmolStr;

/// Any type that can be contained in a [`Value`]
///
/// [`Typed`] needs to be implemented for any primatives including in a relected instance, and
/// any reflected struct or enum.
pub trait Typed<'ty>: Send + Sync {
    fn ty() -> ValueTy;

    fn as_value<'val>(&'val self) -> Value<'val, 'ty>
    where
        'ty: 'val;
}

impl<'ty> Typed<'ty> for str {
    fn ty() -> ValueTy {
        ValueTy::Str
    }

    fn as_value<'val>(&'val self) -> Value<'val, 'ty>
    where
        'ty: 'val,
    {
        Value(ValueInner::Str(self))
    }
}

impl<'ty> Typed<'ty> for String {
    fn ty() -> ValueTy {
        ValueTy::String
    }

    fn as_value<'val>(&'val self) -> Value<'val, 'ty>
    where
        'ty: 'val,
    {
        Value(ValueInner::String(self))
    }
}

impl<'ty> Typed<'ty> for Bytes {
    fn ty() -> ValueTy {
        ValueTy::Bytes
    }

    fn as_value<'val>(&'val self) -> Value<'val, 'ty>
    where
        'ty: 'val,
    {
        Value(ValueInner::Bytes(self))
    }
}

impl<'ty> Typed<'ty> for Box<dyn VecInstance<'ty>> {
    fn ty() -> ValueTy {
        ValueTy::VecInstance
    }

    fn as_value<'val>(&'val self) -> Value<'val, 'ty>
    where
        'ty: 'val,
    {
        Value::from_vec(self.as_ref())
    }
}

impl<'ty> Typed<'ty> for Box<dyn StructInstance<'ty> + 'ty> {
    fn ty() -> ValueTy {
        ValueTy::StructInstance
    }

    fn as_value<'val>(&'val self) -> Value<'val, 'ty>
    where
        'ty: 'val,
    {
        Value::from_struct(self.as_ref())
    }
}

/// Provides `inst_ty` for any [`Typed`] type
pub trait TypedObj {
    fn inst_ty(&self) -> ValueTy;
}

impl<'ty, T> TypedObj for T
where
    T: Typed<'ty> + ?Sized,
{
    fn inst_ty(&self) -> ValueTy {
        T::ty()
    }
}