-
Notifications
You must be signed in to change notification settings - Fork 179
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
478c4a9
commit 9724f0d
Showing
7 changed files
with
101 additions
and
0 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -29,6 +29,7 @@ members = [ | |
"utils/litemap", | ||
"utils/pattern", | ||
"utils/writeable", | ||
"utils/yoke", | ||
"utils/zerovec", | ||
] | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
[package] | ||
name = "yoke" | ||
version = "0.1.0" | ||
authors = ["Manish Goregaokar <[email protected]>"] | ||
edition = "2018" | ||
|
||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html | ||
|
||
[dependencies] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
use std::rc::Rc; | ||
|
||
pub trait Cart { | ||
fn as_bytes(&self) -> &[u8]; | ||
} | ||
|
||
impl Cart for Rc<[u8]> { | ||
fn as_bytes(&self) -> &[u8] { | ||
&self | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
// This file is part of ICU4X. For terms of use, please see the file | ||
// called LICENSE at the top level of the ICU4X source tree | ||
// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ). | ||
|
||
mod cart; | ||
mod yoke; | ||
mod yokeable; | ||
|
||
pub use cart::Cart; | ||
pub use yoke::Yoke; | ||
pub use yokeable::Yokeable; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,36 @@ | ||
// This file is part of ICU4X. For terms of use, please see the file | ||
// called LICENSE at the top level of the ICU4X source tree | ||
// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ). | ||
|
||
use crate::{Cart, Yokeable}; | ||
|
||
pub struct Yoke<Y: for<'a> Yokeable<'a>, C: Cart> { | ||
// must be the first field for drop order | ||
// this will have a 'static lifetime parameter, that parameter is a lie | ||
yokeable: Y, | ||
cart: C, | ||
} | ||
|
||
impl<Y: for<'a> Yokeable<'a>, C: Cart> Yoke<Y, C> { | ||
pub fn new(cart: C, yokeable: Y) -> Self { | ||
Self { yokeable, cart } | ||
} | ||
pub fn get<'a>(&'a self) -> &'a <Y as Yokeable<'a>>::Output { | ||
self.yokeable.transform() | ||
} | ||
|
||
pub fn backing_cart(&self) -> &C { | ||
&self.cart | ||
} | ||
pub fn attach_to_cart<F>(cart: C, f: F) -> Self | ||
where | ||
for<'de> F: FnOnce(&'de [u8]) -> <Y as Yokeable<'de>>::Output, | ||
{ | ||
let bytes = cart.as_bytes(); | ||
let deserialized = f(bytes); | ||
Self { | ||
yokeable: unsafe { Y::make(deserialized) }, | ||
cart, | ||
} | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,29 @@ | ||
use std::borrow::{Cow, ToOwned}; | ||
use std::mem; | ||
|
||
pub unsafe trait Yokeable<'a>: 'static { | ||
type Output: 'a + Sized; // MUST be `Self` with the lifetime swapped | ||
// used by `SharedData::get()` | ||
fn transform(&'a self) -> &'a Self::Output; | ||
|
||
// Used for zero-copy deserialization. Safety constraint: `Self` must be | ||
// destroyed before the data `Self::Output` was deserialized | ||
// from is | ||
unsafe fn make(from: Self::Output) -> Self; | ||
} | ||
|
||
unsafe impl<'a, T: 'static + ToOwned + ?Sized> Yokeable<'a> for Cow<'static, T> | ||
where | ||
<T as ToOwned>::Owned: Sized, | ||
{ | ||
type Output = Cow<'a, T>; | ||
fn transform(&'a self) -> &'a Cow<'a, T> { | ||
self | ||
} | ||
|
||
unsafe fn make(from: Cow<'a, T>) -> Self { | ||
debug_assert!(mem::size_of::<Cow<'a, T>>() == mem::size_of::<Self>()); | ||
// i hate this | ||
mem::transmute_copy(&from) | ||
} | ||
} |