Skip to main content

Row

Struct Row 

Source
pub struct Row { /* private fields */ }
Expand description

One descriptor row, in the harness’s field shape, plus the lens the stamp declares it under.

The lens is not a row field — the harness’s roster has no seat for it — and it is carried here because the stamp’s grammar demands one: a row arrives as <lens>: <expression>, and a producer that did not name its lens would be handing the stamp an unnamable row.

There is no attachment seat and no origin seat. An attachment’s three parts live in the consumption target and arrive as expressions at the carrier’s invocation; an origin is the producer’s own act, composed inside the rendering, so a row that cannot express one cannot express the wrong one.

Implementations§

Source§

impl Row

Source

pub fn declared( lens: FunctionName, references: References, roles: Vec<Name>, tags: Vec<Name>, ) -> Result<Self, DeclarationError>

Declare one descriptor row.

There is no suite parameter and no origin parameter, and neither absence is a dropped fact: a row’s execution suite is its group’s, and a row’s origin is the producer’s own act.

§Errors

Returns DeclarationError::Doubled where a roster states one label twice — refused rather than folded away, because collapsing a duplicate silently would be this side normalizing an authoring defect the harness itself refuses — and DeclarationError::Unbounded where a roster outgrows its declared magnitude. The checks are dependent and in that order, so exactly one cause is true of any refused row.

Source

pub const fn lens(&self) -> &FunctionName

The lens the stamp declares this row’s named test function under.

Source

pub const fn references(&self) -> &References

The four namespaced references this row states about itself.

Source

pub fn roles(&self) -> &[Name]

The roles this row carries, in the order they were declared.

Source

pub fn tags(&self) -> &[Name]

The tags this row carries, in the order they were declared.

Trait Implementations§

Source§

impl Clone for Row

Source§

fn clone(&self) -> Row

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Row

Source§

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

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

impl Eq for Row

Source§

impl Hash for Row

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq for Row

Source§

fn eq(&self, other: &Row) -> bool

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for Row

Auto Trait Implementations§

§

impl Freeze for Row

§

impl RefUnwindSafe for Row

§

impl Send for Row

§

impl Sync for Row

§

impl Unpin for Row

§

impl UnsafeUnpin for Row

§

impl UnwindSafe for Row

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, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. 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> 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 = !

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

fn try_from(value: U) -> Result<T, !>

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.