Skip to main content

CubeCell

Struct CubeCell 

Source
pub struct CubeCell<const DIMS: usize> { /* private fields */ }
Expand description

A cell in the process cube — the intersection of multiple dimension slices.

§What this is

The structural shape of a single process-cube cell. DIMS is the number of dimensions this cell is indexed by. Each cell corresponds to a sub-log resulting from applying a conjunction of dimension-slice filters; the sub-log extraction is an engine concern.

§What this is not

Not the sub-log itself, not the process model discovered from the cell’s sub-log. Those graduate to wasm4pm.

§Graduate to wasm4pm

Sub-log extraction, model discovery per cell, and cell-level conformance all graduate to wasm4pm.

§Examples

use wasm4pm_compat::process_cube::CubeCell;
let cell: CubeCell<3> = CubeCell::new();

Implementations§

Source§

impl<const DIMS: usize> CubeCell<DIMS>

Source

pub fn new() -> Self

Construct a new CubeCell shape marker.

This is a structure-only constructor — no sub-log is extracted.

§Examples
use wasm4pm_compat::process_cube::CubeCell;
let cell: CubeCell<2> = CubeCell::new();
Source

pub const fn dim_count(&self) -> usize

The number of dimensions this cell is indexed along.

§Examples
use wasm4pm_compat::process_cube::CubeCell;
let cell: CubeCell<3> = CubeCell::new();
assert_eq!(cell.dim_count(), 3);

Trait Implementations§

Source§

impl<const DIMS: usize> Default for CubeCell<DIMS>

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

§

impl<const DIMS: usize> Freeze for CubeCell<DIMS>

§

impl<const DIMS: usize> RefUnwindSafe for CubeCell<DIMS>

§

impl<const DIMS: usize> Send for CubeCell<DIMS>

§

impl<const DIMS: usize> Sync for CubeCell<DIMS>

§

impl<const DIMS: usize> Unpin for CubeCell<DIMS>

§

impl<const DIMS: usize> UnsafeUnpin for CubeCell<DIMS>

§

impl<const DIMS: usize> UnwindSafe for CubeCell<DIMS>

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> EvidenceKind for T

Source§

default fn kind_label(&self) -> &'static str

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, 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.