Struct icu::datetime::provider::PackedPatternsV1

source ·
pub struct PackedPatternsV1<'data> {
    pub header: u32,
    pub elements: VarZeroVec<'data, PluralElementsPackedULE<ZeroSlice<PatternItem>>>,
}
Expand description

Main data struct for packed datetime patterns.

📏 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 Gregorain)
  • Variant 0: Full Year, which is always full precision
  • Variant 1: Year With Era

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:

StandardVariant 0Variant 1
LongLaLbLc
MediumMaMbMc
ShortSaSbSc

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 ValueLong IndexMedium IndexShort Index
0 (L=M=S)000
1 (L, M=S)011
2 (L=M, S)001
3 (L, M, S)012

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 TableQ=1 Pattern IndexQ=0 Header BitsInheritance
LbS + 13-5La
MbS + 26-8Ma
SbS + 39-11Sa
LcS + 412-14La
McS + 515-17Ma
ScS + 618-20Sa

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: u32

An encoding of which standard/variant cell corresponds to which entry in the patterns table. See class docs.

§elements: VarZeroVec<'data, PluralElementsPackedULE<ZeroSlice<PatternItem>>>

The list of patterns. Length should be between 1 and 9, depending on the header.

Implementations§

source§

impl PackedPatternsV1<'_>

source

pub fn to_builder(&self) -> PackedPatternsBuilder<'_>

Converts this packed data to a builder that can be mutated.

Trait Implementations§

source§

impl<'data> Bake for PackedPatternsV1<'data>

source§

fn bake(&self, env: &CrateEnv) -> TokenStream

Returns a TokenStream that would evaluate to self. Read more
source§

impl<'data> BakeSize for PackedPatternsV1<'data>

source§

fn borrows_size(&self) -> usize

Returns the size
source§

impl<'data> Clone for PackedPatternsV1<'data>

source§

fn clone(&self) -> PackedPatternsV1<'data>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<'data> Debug for PackedPatternsV1<'data>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
source§

impl<'de, 'data> Deserialize<'de> for PackedPatternsV1<'data>
where 'de: 'data,

source§

fn deserialize<D>( deserializer: D, ) -> Result<PackedPatternsV1<'data>, <D as Deserializer<'de>>::Error>
where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<'data> PartialEq for PackedPatternsV1<'data>

source§

fn eq(&self, other: &PackedPatternsV1<'data>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Serialize for PackedPatternsV1<'_>

source§

fn serialize<S>( &self, serializer: S, ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl<'a> Yokeable<'a> for PackedPatternsV1<'static>

source§

type Output = PackedPatternsV1<'a>

This type MUST be Self with the 'static replaced with 'a, i.e. Self<'a>
source§

fn transform( &'a self, ) -> &'a <PackedPatternsV1<'static> as Yokeable<'a>>::Output

This method must cast self between &'a Self<'static> and &'a Self<'a>. Read more
source§

fn transform_owned(self) -> <PackedPatternsV1<'static> as Yokeable<'a>>::Output

This method must cast self between Self<'static> and Self<'a>. Read more
source§

unsafe fn make( this: <PackedPatternsV1<'static> as Yokeable<'a>>::Output, ) -> PackedPatternsV1<'static>

This method can be used to cast away Self<'a>’s lifetime. Read more
source§

fn transform_mut<F>(&'a mut self, f: F)
where F: 'static + for<'b> FnOnce(&'b mut <PackedPatternsV1<'static> as Yokeable<'a>>::Output),

This method must cast self between &'a mut Self<'static> and &'a mut Self<'a>, and pass it to f. Read more
source§

impl<'zf, 'zf_inner> ZeroFrom<'zf, PackedPatternsV1<'zf_inner>> for PackedPatternsV1<'zf>

source§

fn zero_from(this: &'zf PackedPatternsV1<'zf_inner>) -> PackedPatternsV1<'zf>

Clone the other C into a struct that may retain references into C.
source§

impl<'data> Eq for PackedPatternsV1<'data>

source§

impl<'data> StructuralPartialEq for PackedPatternsV1<'data>

Auto Trait Implementations§

§

impl<'data> Freeze for PackedPatternsV1<'data>

§

impl<'data> RefUnwindSafe for PackedPatternsV1<'data>

§

impl<'data> Send for PackedPatternsV1<'data>

§

impl<'data> Sync for PackedPatternsV1<'data>

§

impl<'data> Unpin for PackedPatternsV1<'data>

§

impl<'data> UnwindSafe for PackedPatternsV1<'data>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts 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 more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts 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
source§

impl<T> Serialize for T
where T: Serialize + ?Sized,

source§

fn erased_serialize(&self, serializer: &mut dyn Serializer) -> Result<Ok, Error>

source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

impl<T> MaybeSendSync for T
where T: Send + Sync,