pub struct GenericPackedPatterns<'data, T: VarULE + ?Sized> {
pub header: u32,
pub elements: VarZeroVec<'data, T>,
}Expand description
๐ This item has a stack size of 32 bytes on the stable toolchain at release date.
ยงVariants
This supports a set of โstandardโ patterns plus up to two โvariantsโ. The variants are currently used by year formatting:
- Standard: Year, which could be partial precision (2-digit Gregorian)
- Variant 0: Full Year, which is always full precision
- Variant 1: Year With Era
And by time formatting:
- Standard: Hour only
- Variant 0: Hour and minute
- Variant 1: Hour, minute, and second
Variants should be used when the pattern could depend on the value being
formatted. For example, with YearStyle::Auto, any of these three
patterns could be selected based on the year value.
ยงRepresentation
Currently, there are at most 9 patterns that need to be stored together, named according to this table:
| Standard | Variant 0 | Variant 1 | |
|---|---|---|---|
| Long | La | Lb | Lc |
| Medium | Ma | Mb | Mc |
| Short | Sa | Sb | Sc |
The header byte encodes which pattern in the patterns array corresponds to a particular cell in the table. It contains the following information:
- Bits 0-1: โLMSโ value of the standard column
- Bit 2: โQโ value: 1 for directly-indexed variants; 0 for per-cell offsets
- Bits 3-20: Packed offset into patterns table for each variant cell
- Bits 21-31: unused/reserved
The LMS value determines which pattern index is used for the first column:
| LMS Value | Long Index | Medium Index | Short Index |
|---|---|---|---|
| 0 (L=M=S) | 0 | 0 | 0 |
| 1 (L, M=S) | 0 | 1 | 1 |
| 2 (L=M, S) | 0 | 0 | 1 |
| 3 (L, M, S) | 0 | 1 | 2 |
If bit 2 is 1 (Q=1), it means there is one pattern per table cell,
with the index offset by the short index S from the table above.
However, this requires storing multiple, possibly duplicate, patterns in
the packed structure. The more common case is Q=0 and then to store
per-cell offsets in chunks of 3 bits per cell:
- Chunk = 0: Inherit according to the table below
- Chunk = 1-7: Use pattern index Chunk - 1
This is summarized below:
| Cell in Table | Q=1 Pattern Index | Q=0 Header Bits | Inheritance |
|---|---|---|---|
| Lb | S + 1 | 3-5 | La |
| Mb | S + 2 | 6-8 | Ma |
| Sb | S + 3 | 9-11 | Sa |
| Lc | S + 4 | 12-14 | La |
| Mc | S + 5 | 15-17 | Ma |
| Sc | S + 6 | 18-20 | Sa |
As a result, if there are no variants, bits 2 and higher will be all zero, making the header int suitable for varint packing, such as that used by postcard and other size-optimized serialization formats.
Fieldsยง
ยงheader: u32An encoding of which standard/variant cell corresponds to which entry in the patterns table. See class docs.
elements: VarZeroVec<'data, T>The list of patterns. Length should be between 1 and 9, depending on the header.
Implementationsยง
Sourceยงimpl<'data> GenericPackedPatterns<'data, PluralElementsPackedULE<ZeroSlice<PatternItem>>>
impl<'data> GenericPackedPatterns<'data, PluralElementsPackedULE<ZeroSlice<PatternItem>>>
Sourcepub fn to_builder(&self) -> PackedPatternsBuilder<'_>
pub fn to_builder(&self) -> PackedPatternsBuilder<'_>
Converts this packed data to a builder that can be mutated.
Trait Implementationsยง
Sourceยงimpl<'data, T: VarULE + ?Sized> Bake for GenericPackedPatterns<'data, T>where
VarZeroVec<'data, T>: Bake,
impl<'data, T: VarULE + ?Sized> Bake for GenericPackedPatterns<'data, T>where
VarZeroVec<'data, T>: Bake,
Sourceยงfn bake(&self, env: &CrateEnv) -> TokenStream
fn bake(&self, env: &CrateEnv) -> TokenStream
Sourceยงimpl<'data, T: VarULE + ?Sized> BakeSize for GenericPackedPatterns<'data, T>where
VarZeroVec<'data, T>: BakeSize,
impl<'data, T: VarULE + ?Sized> BakeSize for GenericPackedPatterns<'data, T>where
VarZeroVec<'data, T>: BakeSize,
Sourceยงfn borrows_size(&self) -> usize
fn borrows_size(&self) -> usize
Sourceยงimpl<'de, 'data> Deserialize<'de> for GenericPackedPatterns<'data, PluralElementsPackedULE<ZeroSlice<PatternItem>>>where
'de: 'data,
impl<'de, 'data> Deserialize<'de> for GenericPackedPatterns<'data, PluralElementsPackedULE<ZeroSlice<PatternItem>>>where
'de: 'data,
Sourceยงfn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
impl<'data, T: Eq + VarULE + ?Sized> Eq for GenericPackedPatterns<'data, T>
Sourceยงimpl Serialize for GenericPackedPatterns<'_, PluralElementsPackedULE<ZeroSlice<PatternItem>>>
Available on crate feature datagen only.
impl Serialize for GenericPackedPatterns<'_, PluralElementsPackedULE<ZeroSlice<PatternItem>>>
datagen only.impl<'data, T: PartialEq + VarULE + ?Sized> StructuralPartialEq for GenericPackedPatterns<'data, T>
Sourceยงimpl<'yoke, T> Yokeable<'yoke> for GenericPackedPatterns<'static, T>
impl<'yoke, T> Yokeable<'yoke> for GenericPackedPatterns<'static, T>
Sourceยงtype Output = GenericPackedPatterns<'yoke, T>
type Output = GenericPackedPatterns<'yoke, T>
Self with the 'static replaced with 'a, i.e. Self<'a>Sourceยงfn transform_owned(self) -> Self::Output
fn transform_owned(self) -> Self::Output
Sourceยงimpl<'zf, 'zf_inner, T: VarULE + ?Sized> ZeroFrom<'zf, GenericPackedPatterns<'zf_inner, T>> for GenericPackedPatterns<'zf, T>
impl<'zf, 'zf_inner, T: VarULE + ?Sized> ZeroFrom<'zf, GenericPackedPatterns<'zf_inner, T>> for GenericPackedPatterns<'zf, T>
Sourceยงfn zero_from(this: &'zf GenericPackedPatterns<'zf_inner, T>) -> Self
fn zero_from(this: &'zf GenericPackedPatterns<'zf_inner, T>) -> Self
C into a struct that may retain references into C.Auto Trait Implementationsยง
impl<'data, T> Freeze for GenericPackedPatterns<'data, T>
impl<'data, T> RefUnwindSafe for GenericPackedPatterns<'data, T>
impl<'data, T> Send for GenericPackedPatterns<'data, T>
impl<'data, T> Sync for GenericPackedPatterns<'data, T>
impl<'data, T> Unpin for GenericPackedPatterns<'data, T>
impl<'data, T> UnsafeUnpin for GenericPackedPatterns<'data, T>
impl<'data, T> UnwindSafe for GenericPackedPatterns<'data, T>
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Sourceยงimpl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
impl<T> ErasedDestructor for Twhere
T: 'static,
Sourceยงimpl<T> IntoEither for T
impl<T> IntoEither for T
Sourceยงfn into_either(self, into_left: bool) -> Either<Self, Self> โ
fn into_either(self, into_left: bool) -> Either<Self, Self> โ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSourceยงfn into_either_with<F>(self, into_left: F) -> Either<Self, Self> โ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> โ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more