ad-astra 1.0.0

Embeddable scripting language platform Ad Astra. Main Crate.
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121

////////////////////////////////////////////////////////////////////////////////
// This file is part of "Ad Astra", an embeddable scripting programming       //
// language platform.                                                         //
//                                                                            //
// This work is proprietary software with source-available code.              //
//                                                                            //
// To copy, use, distribute, or contribute to this work, you must agree to    //
// the terms of the General License Agreement:                                //
//                                                                            //
// https://github.com/Eliah-Lakhin/ad-astra/blob/master/EULA.md               //
//                                                                            //
// The agreement grants a Basic Commercial License, allowing you to use       //
// this work in non-commercial and limited commercial products with a total   //
// gross revenue cap. To remove this commercial limit for one of your         //
// products, you must acquire a Full Commercial License.                      //
//                                                                            //
// If you contribute to the source code, documentation, or related materials, //
// you must grant me an exclusive license to these contributions.             //
// Contributions are governed by the "Contributions" section of the General   //
// License Agreement.                                                         //
//                                                                            //
// Copying the work in parts is strictly forbidden, except as permitted       //
// under the General License Agreement.                                       //
//                                                                            //
// If you do not or cannot agree to the terms of this Agreement,              //
// do not use this work.                                                      //
//                                                                            //
// This work is provided "as is", without any warranties, express or implied, //
// except where such disclaimers are legally invalid.                         //
//                                                                            //
// Copyright (c) 2024 Ilya Lakhin (Илья Александрович Лахин).                 //
// All rights reserved.                                                       //
////////////////////////////////////////////////////////////////////////////////

use crate::runtime::{Downcast, Either, Origin, Provider, RuntimeResult, TypeHint, Upcast};

impl<'a, T> Downcast<'a> for Option<T>
where
    T: Downcast<'a>,
{
    #[inline(always)]
    fn downcast(origin: Origin, provider: Provider<'a>) -> RuntimeResult<Self> {
        match &provider {
            Provider::Owned(cell) if cell.is_nil() => return Ok(None),
            Provider::Borrowed(cell) if cell.is_nil() => return Ok(None),

            _ => (),
        }

        let inner = <T as Downcast<'a>>::downcast(origin, provider)?;

        Ok(Some(inner))
    }

    #[inline(always)]
    fn hint() -> TypeHint {
        <T as Downcast<'a>>::hint()
    }
}

impl<'a, T> Upcast<'a> for Option<T>
where
    T: Upcast<'a>,
{
    type Output = Either<(), <T as Upcast<'a>>::Output>;

    #[inline(always)]
    fn upcast(origin: Origin, this: Self) -> RuntimeResult<Self::Output> {
        match this {
            Some(inner) => Ok(Either::Right(<T as Upcast<'a>>::upcast(origin, inner)?)),
            None => Ok(Either::Left(())),
        }
    }

    #[inline(always)]
    fn hint() -> TypeHint {
        <T as Upcast<'a>>::hint()
    }
}

impl<'a, T> Upcast<'a> for &'a Option<T>
where
    &'a T: Upcast<'a>,
{
    type Output = Either<(), <&'a T as Upcast<'a>>::Output>;

    #[inline(always)]
    fn upcast(origin: Origin, this: Self) -> RuntimeResult<Self::Output> {
        match this {
            Some(inner) => Ok(Either::Right(<&'a T as Upcast<'a>>::upcast(origin, inner)?)),
            None => Ok(Either::Left(())),
        }
    }

    #[inline(always)]
    fn hint() -> TypeHint {
        <&'a T as Upcast<'a>>::hint()
    }
}

impl<'a, T> Upcast<'a> for &'a mut Option<T>
where
    &'a mut T: Upcast<'a>,
{
    type Output = Either<(), <&'a mut T as Upcast<'a>>::Output>;

    #[inline(always)]
    fn upcast(origin: Origin, this: Self) -> RuntimeResult<Self::Output> {
        match this {
            Some(inner) => Ok(Either::Right(<&'a mut T as Upcast<'a>>::upcast(
                origin, inner,
            )?)),
            None => Ok(Either::Left(())),
        }
    }

    #[inline(always)]
    fn hint() -> TypeHint {
        <&'a mut T as Upcast<'a>>::hint()
    }
}