EmpName

agnes::test_utils::emp_table

Struct EmpName

pub struct EmpName;

Expand description

Unit struct representing the field $label.

Trait Implementations§

impl Clone for EmpName

fn clone(&self) -> EmpName

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for EmpName

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

Formats the value using the given formatter. Read more

impl Identifier for EmpName

type Ident = Ident<<DeptId as Identifier>::Table, <<DeptId as Identifier>::Natural as Add<B1>>::Output>

The Ident struct (which should always be Ident<Self::Table, Self::Natural) for this identifier.

type Table = <DeptId as Identifier>::Table

The table for this identifier.

type Natural = <<DeptId as Identifier>::Natural as Add<B1>>::Output

The typenum-based backing natural number corresponding to this identifier.

impl Label for EmpName

const NAME: &'static str = "EmpName"

The label name.

const TYPE: &'static str = "String"

The type description for the data referred to by this label.

impl Typed for EmpName

type DType = String

Associated data type with this type.

Auto Trait Implementations§

impl Freeze for EmpName

impl RefUnwindSafe for EmpName

impl Send for EmpName

impl Sync for EmpName

impl Unpin for EmpName

impl UnwindSafe for EmpName

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<Frames> AssocDataIndexCons<Nil> for Frames

type Output = Nil

Type of associated data index cons-list.

fn assoc_data(&self) -> Nil

Returns the associated DataIndexCons.

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

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

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

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

impl<T> IntoEither for T

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

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

impl<T> IntoLabeled for T

fn label<Label>(self) -> Labeled<Label, T>

Label this object with label Label.

impl<Frames, Store> JoinIntoStore<Nil, Store> for Frames

type Output = Store

The output type after augmenting Store.

fn join_into_store( &self, store: Store, _permutation: &[usize], ) -> Result<Store, AgnesError>

Augments store with data from self (as specified with Labels), using the provided permutation indices.

impl<T> LabelName for T
where T: Label,

fn name() -> &'static str

Returns the label name.

fn str_type() -> &'static str

Returns a string specified the type of this data referred to by this label.

impl<T> Same for T

type Output = T

Should always be Self

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

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

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

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

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T> HasLabels<Nil> for T