spellcast 0.1.2

Casting of dynamic objects
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

use std::any::Any;

use super::*;

pub unsafe trait Object<Trait>
where
    Trait: ?Sized
{

}
unsafe impl<Trait, T> Object<Trait> for T
where
    Trait: ?Sized,
    T: ?Sized
    + Is<Trait>
    + crate::upcast::Upcast<Trait>
    + crate::downcast::Downcast<Trait, Trait>
{

}

#[macro_export]
macro_rules! impl_object {
    ($trait:ident $(<$($generics:tt),*>)? $(where $($whre:tt)*)?) => {
        impl $(<$($generics),*>)? spellcast::downcast::DowncastFromRef<dyn $trait $(<$($generics),*>)?> for dyn $trait $(<$($generics),*>)?
        $(where $($whre)*)?
        {
            fn downcast_from_ref<'a>(from: &'a (dyn $trait $(<$($generics),*>)?+ 'static)) -> Option<&'a Self>
            {
                Some(from)
            }
        
            fn downcast_from_mut<'a>(from: &'a mut (dyn $trait $(<$($generics),*>)? + 'static)) -> Option<&'a mut Self>
            {
                Some(from)
            }
        }
        impl $(<$($generics),*>)? spellcast::downcast::DowncastFrom<dyn $trait $(<$($generics),*>)?, dyn $trait $(<$($generics),*>)?> for dyn $trait $(<$($generics),*>)?
        $(where $($whre)*)?
        {
            fn downcast_from(from: Box<dyn $trait $(<$($generics),*>)?>) -> Result<Box<Self>, Box<dyn $trait $(<$($generics),*>)?>>
            {
                Ok(from)
            }
        }
        impl $(<$($generics),*>)? spellcast::convert::TryConvertInto<dyn $trait $(<$($generics),*>)?, dyn $trait $(<$($generics),*>)?> for dyn $trait $(<$($generics),*>)?
        $(where $($whre)*)?
        {
            fn try_convert_into(self: Box<Self>) -> Result<Box<dyn $trait $(<$($generics),*>)?>, Box<dyn $trait $(<$($generics),*>)?>>
            {
                Ok(self)
            }
        }
        //spellcast::assert_is!(dyn $trait: $trait);
    };
}
pub macro assert_is {
    ($type:ty : $trait:path) => {
        static_assertions::assert_obj_safe!(crate::Object<dyn $trait>);
        static_assertions::assert_impl_one!(dyn core::any::Any: core::marker::Unsize<dyn core::any::Any>);
        static_assertions::assert_impl_one!(dyn $trait: crate::Is<dyn $trait>);
        static_assertions::assert_impl_one!($type: core::marker::Unsize<dyn $trait>);
        static_assertions::assert_impl_one!($type: crate::Is<dyn $trait>);
        static_assertions::assert_impl_one!($type: crate::upcast::Upcast<dyn $trait>);
        static_assertions::assert_impl_one!(dyn $trait: crate::downcast::DowncastFrom<dyn $trait, dyn $trait>);
        static_assertions::assert_impl_one!(dyn $trait: crate::downcast::DowncastFromRef<dyn $trait>);
        static_assertions::assert_impl_one!(dyn $trait: crate::downcast::DowncastRef<dyn $trait>);
        static_assertions::assert_impl_one!(dyn $trait: crate::downcast::Downcast<dyn $trait, dyn $trait>);
        static_assertions::assert_impl_one!(dyn $trait: crate::downcast::Downcast<$type, dyn $trait>);
        static_assertions::assert_impl_one!(dyn $trait: crate::Object<dyn $trait>);
    }
}