facet-core 0.46.0

Core reflection traits and types for the facet ecosystem - provides the Facet trait, Shape metadata, and type-erased pointers
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

use crate::Facet;
use crate::{
    Def, OxPtrMut, PrimitiveType, PtrConst, Shape, ShapeBuilder, TextualType, Type, TypeOpsDirect,
    TypeOpsIndirect, VTableIndirect, type_ops_direct, vtable_direct, vtable_indirect,
};

// TypeOps lifted out - shared static (char has Default but not Clone as Copy type)
static CHAR_TYPE_OPS: TypeOpsDirect = type_ops_direct!(char => Default);

unsafe impl Facet<'_> for char {
    const SHAPE: &'static Shape = &const {
        const VTABLE: crate::VTableDirect = vtable_direct!(char =>
            FromStr,
            Display,
            Debug,
            Hash,
            PartialEq,
            PartialOrd,
            Ord,
        );

        ShapeBuilder::for_sized::<char>("char")
            .ty(Type::Primitive(PrimitiveType::Textual(TextualType::Char)))
            .def(Def::Scalar)
            .vtable_direct(&VTABLE)
            .type_ops_direct(&CHAR_TYPE_OPS)
            .eq()
            .copy()
            .send()
            .sync()
            .build()
    };
}

#[inline(always)]
unsafe fn str_truthy(value: PtrConst) -> bool {
    !unsafe { value.get::<str>() }.is_empty()
}

const unsafe fn str_drop(_: OxPtrMut) {}

static STR_TYPE_OPS: TypeOpsIndirect = TypeOpsIndirect {
    drop_in_place: str_drop,
    default_in_place: None,
    clone_into: None,
    is_truthy: Some(str_truthy),
};

unsafe impl Facet<'_> for str {
    const SHAPE: &'static Shape = &const {
        const VTABLE: VTableIndirect = vtable_indirect!(str =>
            Display,
            Debug,
            Hash,
            PartialEq,
            PartialOrd,
            Ord,
        );

        ShapeBuilder::for_unsized::<str>("str")
            .ty(Type::Primitive(PrimitiveType::Textual(TextualType::Str)))
            .def(Def::Scalar)
            .vtable_indirect(&VTABLE)
            .type_ops_indirect(&STR_TYPE_OPS)
            .eq()
            .send()
            .sync()
            .build()
    };
}