Skip to main content

Array

Struct Array 

Source
pub struct Array<T: ArrayElement>(/* private fields */);
Expand description

A flat array of T values in native byte order.

The blob encoding ID is derived from describing the schema — including T::id() as metadata::blob_encoding — so Array<u8> and Array<f32> get distinct ids without needing compile-time hashing.

Shape metadata lives in TribleSpace triples, not in the blob. Use View<[T::Native]> for zero-copy access via TryFromBlob.

Trait Implementations§

Source§

impl<T: ArrayElement> BlobEncoding for Array<T>

Source§

fn blob_from<T: IntoBlob<Self>>(t: T) -> Blob<Self>

Converts a concrete Rust type to a blob with this schema via IntoBlob.
Source§

fn to_encoded(blob: Blob<Self>) -> Encoded<Handle<Self>>
where Handle<Self>: InlineEncoding,

Lift a Blob<Self> into the Encoded sum entity!{} consumes — yields Encoded::Blob(blob.transmute()). The handle lives inside the blob; consumers recover it via Encoded::inline. Read more
Source§

impl<T: ArrayElement> Encodes<Vec<<T as ArrayElement>::Native>> for Array<T>

Store a Vec<T::Native> as an Array<T> blob (zero-copy via ByteSource).

Source§

type Output = Blob<Array<T>>

The concrete form this source produces when encoded for this schema. Inline<Self> for inline encodings, Blob<Self> for blob encodings, or Inline<Handle<Self>> for the precomputed-handle case where Self: BlobEncoding.
Source§

fn encode(source: Vec<T::Native>) -> Blob<Array<T>>

Run the encoding.
Source§

impl<T: ArrayElement> MetaDescribe for Array<T>

Source§

fn describe() -> Fragment

Produces a Fragment describing this schema type.
Source§

fn id() -> Id

Returns the id of this type. Default: derive from Self::describe().root(). Impls choose whether the id is explicit (an entity!{ &id_hex @ … } form inside describe) or derived (no @, intrinsic id from the facts) — either way the default reads the root the fragment carries. Read more
Source§

impl<T: ArrayElement> TryFromBlob<Array<T>> for Bytes

Retrieve raw bytes from an Array blob.

Source§

type Error = Infallible

The error type returned when the conversion fails.
Source§

fn try_from_blob(blob: Blob<Array<T>>) -> Result<Self, Self::Error>

Attempts to convert a blob into this type.
Source§

impl<T: ArrayElement> TryFromBlob<Array<T>> for View<[T::Native]>

Zero-copy typed view directly from an Array blob.

let floats: View<[f32]> = blobs.get(handle)?;
Source§

type Error = ViewError

The error type returned when the conversion fails.
Source§

fn try_from_blob(blob: Blob<Array<T>>) -> Result<Self, Self::Error>

Attempts to convert a blob into this type.

Auto Trait Implementations§

§

impl<T> Freeze for Array<T>

§

impl<T> RefUnwindSafe for Array<T>
where T: RefUnwindSafe,

§

impl<T> Send for Array<T>
where T: Send,

§

impl<T> Sync for Array<T>
where T: Sync,

§

impl<T> Unpin for Array<T>
where T: Unpin,

§

impl<T> UnsafeUnpin for Array<T>

§

impl<T> UnwindSafe for Array<T>
where T: UnwindSafe,

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> Encodes<&Inline<Handle<T>>> for T

Source§

type Output = Inline<Handle<T>>

The concrete form this source produces when encoded for this schema. Inline<Self> for inline encodings, Blob<Self> for blob encodings, or Inline<Handle<Self>> for the precomputed-handle case where Self: BlobEncoding.
Source§

fn encode(source: &Inline<Handle<T>>) -> Inline<Handle<T>>

Run the encoding.
Source§

impl<S> Encodes<Blob<S>> for S

Source§

type Output = Blob<S>

The concrete form this source produces when encoded for this schema. Inline<Self> for inline encodings, Blob<Self> for blob encodings, or Inline<Handle<Self>> for the precomputed-handle case where Self: BlobEncoding.
Source§

fn encode(source: Blob<S>) -> Blob<S>

Run the encoding.
Source§

impl<T> Encodes<Inline<Handle<T>>> for T

Source§

type Output = Inline<Handle<T>>

The concrete form this source produces when encoded for this schema. Inline<Self> for inline encodings, Blob<Self> for blob encodings, or Inline<Handle<Self>> for the precomputed-handle case where Self: BlobEncoding.
Source§

fn encode(source: Inline<Handle<T>>) -> Inline<Handle<T>>

Run the encoding.
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<S, T> IntoBlob<S> for T
where S: BlobEncoding, T: IntoEncoded<S, Output = Blob<S>>,

Source§

fn to_blob(self) -> Blob<S>
where Self: Sized,

Convert directly to Blob<S>.
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<S, T> IntoEncoded<S> for T
where S: Encodes<T>,

Source§

type Output = <S as Encodes<T>>::Output

The concrete form this source produces.
Source§

fn into_encoded(self) -> <T as IntoEncoded<S>>::Output

Run the conversion.
Source§

impl<S, T> IntoInline<S> for T
where S: InlineEncoding, T: IntoEncoded<S, Output = Inline<S>>,

Source§

fn to_inline(self) -> Inline<S>
where Self: Sized,

Convert directly to Inline<S>.
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V