stabby 72.1.1

A Stable ABI for Rust with compact sum-types.
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

//
// Copyright (c) 2023 ZettaScale Technology
//
// This program and the accompanying materials are made available under the
// terms of the Eclipse Public License 2.0 which is available at
// http://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0
// which is available at https://www.apache.org/licenses/LICENSE-2.0.
//
// SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
//
// Contributors:
//   Pierre Avital, <pierre.avital@me.com>
//

//! Stable Cows!

use core::borrow::Borrow;

use crate::{
    abi::{IDeterminantProvider, IStable},
    str::Str,
    string::String,
};

#[crate::stabby]
pub enum Cow<'a, Borrowed: IStable + ToOwned>
where
    <Borrowed as ToOwned>::Owned: IStable,
{
    Borrowed(&'a Borrowed),
    Owned(<Borrowed as ToOwned>::Owned),
}

impl<Borrowed: IStable + ToOwned> Cow<'_, Borrowed>
where
    <Borrowed as ToOwned>::Owned: IStable,
    for<'a> &'a Borrowed: IDeterminantProvider<<Borrowed as ToOwned>::Owned>,
{
    pub fn into_owned(self) -> <Borrowed as ToOwned>::Owned {
        self.match_owned(|b| b.to_owned(), |o| o)
    }
    pub fn to_owned(self) -> Cow<'static, Borrowed> {
        Cow::Owned(self.into_owned())
    }
}
impl<Borrowed: IStable + ToOwned> Borrow<Borrowed> for Cow<'_, Borrowed>
where
    <Borrowed as ToOwned>::Owned: IStable,
    for<'a> &'a Borrowed: IDeterminantProvider<<Borrowed as ToOwned>::Owned>,
{
    fn borrow(&self) -> &Borrowed {
        self.match_ref(|&b| b, |o| o.borrow())
    }
}

#[crate::stabby]
pub enum CowStr<'a> {
    Borrowed(Str<'a>),
    Owned(String),
}