Struct DraftPhysicalDomain

pub struct DraftPhysicalDomain { /* private fields */ }

Description

Immutable nominal Domain for one scalar across/through pair.

Domain compatibility follows this handle’s identity. Equal names and equal dimensions never make separately constructed Domains compatible. Closing a draft containing this declaration requires an explicitly selected v2 model wire at the application boundary; legacy convenience entry points intentionally remain exact v1 defaults.

Implementations§

§

impl DraftPhysicalDomain

Signature links:§DraftPhysicalDomain

pub fn new( name: impl Into<String>, across_dimension: DimExponents, through_dimension: DimExponents, ) -> DraftPhysicalDomain

Signature links:new Into String DimExponents DimExponents DraftPhysicalDomain

Declare one nominal scalar physical Domain.

pub fn name(&self) -> &str

Signature links:name str

Declaration name.

pub const fn across_dimension(&self) -> DimExponents

Signature links:across_dimension DimExponents

Static SI dimension of the across variable.

pub const fn through_dimension(&self) -> DimExponents

Signature links:through_dimension DimExponents

Static SI dimension of the through variable.

Trait Implementations§

§

impl Clone for DraftPhysicalDomain

Signature links:§Clone DraftPhysicalDomain

§

fn clone(&self) -> DraftPhysicalDomain

Signature links:§clone DraftPhysicalDomain

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Signature links:unstable Source §clone_from

Performs copy-assignment from source. Read more

§

impl Debug for DraftPhysicalDomain

Signature links:§Debug DraftPhysicalDomain

§

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

Signature links:§fmt Formatter Result ()Error

Formats the value using the given formatter. Read more

§

impl From<DraftPhysicalDomain> for DraftDeclaration

Signature links:§From DraftPhysicalDomain DraftDeclaration

§

fn from(value: DraftPhysicalDomain) -> DraftDeclaration

Signature links:§from DraftPhysicalDomain DraftDeclaration

Converts to this type from the input type.

Auto Trait Implementations§

§

impl UnwindSafe for DraftPhysicalDomain

Blanket Implementations§

Source§

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

Signature links:Source §Any Sized

Source§

fn type_id(&self) -> TypeId

Signature links:Source §type_id TypeId

Gets the TypeId of self. Read more

§

impl<Src, Scheme> ApproxFrom<Src, Scheme> for Src
where Scheme: ApproxScheme,

Signature links:§

§

type Err = NoError

Signature links:§

The error type produced by a failed conversion.

§

fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>

Signature links:§Result

Convert the given value into an approximately equivalent representation.

§

impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Src
where Dst: ApproxFrom<Src, Scheme>, Scheme: ApproxScheme,

Signature links:§

§

type Err = <Dst as ApproxFrom<Src, Scheme>>::Err

Signature links:§

The error type produced by a failed conversion.

§

fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>

Signature links:§Result

Convert the subject into an approximately equivalent representation.

Source§

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

Signature links:Source §Borrow Sized

Source§

fn borrow(&self) -> &T

Signature links:Source §borrow &T

Immutably borrows from an owned value. Read more

Source§

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

Signature links:Source §BorrowMut Sized

Source§

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

Signature links:Source §borrow_mut &mut T

Mutably borrows from an owned value. Read more

§

impl<T> ByRef<T> for T

Signature links:§

§

fn by_ref(&self) -> &T

Source§

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

Signature links:Source §CloneToUninit Clone

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

Signature links:Source §clone_to_uninit *mut u8

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

§

impl<T, Dst> ConvAsUtil<Dst> for T

Signature links:§

§

fn approx(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§Result Sized

Approximate the subject with the default scheme.

§

fn approx_by<Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§Result Sized

Approximate the subject with a specific scheme.

§

impl<T> ConvUtil for T

Signature links:§

§

fn approx_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§Result Sized

Approximate the subject to a given type with the default scheme.

§

fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§Result Sized

Approximate the subject to a given type with a specific scheme.

§

fn into_as<Dst>(self) -> Dst
where Self: Sized + Into<Dst>,

Signature links:§Sized Into

Convert the subject to a given type.

§

fn try_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + TryInto<Dst>,

Signature links:§Result Sized

Attempt to convert the subject to a given type.

§

fn value_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ValueInto<Dst>,

Signature links:§Result Sized

Attempt a value conversion of the subject to a given type.

§

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

Signature links:§Sized

§

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> T
where Self: Distribution<T>,

Source§

impl<T> From<T> for T

Signature links:Source §From

Source§

fn from(t: T) -> T

Signature links:Source §from

Returns the argument unchanged.

Source§

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

Signature links:Source §Into From

Source§

fn into(self) -> U

Signature links:Source §into

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

Signature links:Source §IntoEither

Source§

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

Signature links:Source §into_either bool Either

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,

Signature links:Source §into_either_with Either FnOnce 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> Pointable for T

Signature links:§

§

const ALIGN: usize

Signature links:§usize

The alignment of pointer.

§

type Init = T

Signature links:§

The type for initializers.

§

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

Signature links:§usize

Initializes a with the given initializer. Read more

§

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

Signature links:§usize &'a T

Dereferences the given pointer. Read more

§

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

Signature links:§usize &'a mut T

Mutably dereferences the given pointer. Read more

§

unsafe fn drop(ptr: usize)

Signature links:§usize

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

Source§

impl<T> Same for T

Signature links:Source §Same

Source§

type Output = T

Signature links:Source §Output

Should always be Self

§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Signature links:§

§

fn to_subset(&self) -> Option<SS>

Signature links:§Option

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more

§

fn is_in_subset(&self) -> bool

Signature links:§bool

Checks if self is actually part of its subset T (and can be converted to it).

§

fn to_subset_unchecked(&self) -> SS

Signature links:§

Use with care! Same as self.to_subset but without any property checks. Always succeeds.

§

fn from_subset(element: &SS) -> SP

Signature links:§&SS

The inclusion map: converts self to the equivalent element of its superset.

Source§

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

Signature links:Source §ToOwned Clone

Source§

type Owned = T

Signature links:Source §Owned

The resulting type after obtaining ownership.

Source§

fn to_owned(&self) -> T

Signature links:Source §to_owned

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

Source§

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

Signature links:Source §clone_into &mut T

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

§

impl<Src> TryFrom<Src> for Src

Signature links:§

§

type Err = NoError

Signature links:§

The error type produced by a failed conversion.

§

fn try_from(src: Src) -> Result<Src, <Src as TryFrom<Src>>::Err>

Signature links:§Result

Convert the given value into the subject type.

Source§

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

Signature links:Source §TryFrom Into

Source§

type Error = Infallible

Signature links:Source §Error Infallible

The type returned in the event of a conversion error.

Source§

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

Signature links:Source §try_from Result TryFrom Error

Performs the conversion.

§

impl<Src, Dst> TryInto<Dst> for Src
where Dst: TryFrom<Src>,

Signature links:§

§

type Err = <Dst as TryFrom<Src>>::Err

Signature links:§

The error type produced by a failed conversion.

§

fn try_into(self) -> Result<Dst, <Src as TryInto<Dst>>::Err>

Signature links:§Result

Convert the subject into the destination type.

Source§

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

Signature links:Source §TryInto TryFrom

Source§

type Error = >::Error

Signature links:Source §Error TryFrom Error

The type returned in the event of a conversion error.

Source§

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

Signature links:Source §try_into Result TryFrom Error

Performs the conversion.

§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Signature links:§

§

fn vzip(self) -> V

§

impl<Src> ValueFrom<Src> for Src

Signature links:§

§

type Err = NoError

Signature links:§

The error type produced by a failed conversion.

§

fn value_from(src: Src) -> Result<Src, <Src as ValueFrom<Src>>::Err>

Signature links:§Result

Convert the given value into an exactly equivalent representation.

§

impl<Src, Dst> ValueInto<Dst> for Src
where Dst: ValueFrom<Src>,

Signature links:§

§

type Err = <Dst as ValueFrom<Src>>::Err

Signature links:§

The error type produced by a failed conversion.

§

fn value_into(self) -> Result<Dst, <Src as ValueInto<Dst>>::Err>

Signature links:§Result

Convert the subject into an exactly equivalent representation.

§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T, U> Imply<T> for U
where T: ?Sized, U: ?Sized,

§

Struct DraftPhysicalDomain Copy item path

Implementations§

impl DraftPhysicalDomain

pub fn new( name: impl Into<String>, across_dimension: DimExponents, through_dimension: DimExponents, ) -> DraftPhysicalDomain

pub fn name(&self) -> &str

pub const fn across_dimension(&self) -> DimExponents

pub const fn through_dimension(&self) -> DimExponents

Trait Implementations§

impl Clone for DraftPhysicalDomain

fn clone(&self) -> DraftPhysicalDomain

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

impl Debug for DraftPhysicalDomain

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

impl From<DraftPhysicalDomain> for DraftDeclaration

fn from(value: DraftPhysicalDomain) -> DraftDeclaration

Auto Trait Implementations§

impl Freeze for DraftPhysicalDomain

impl RefUnwindSafe for DraftPhysicalDomain

impl Send for DraftPhysicalDomain

impl Sync for DraftPhysicalDomain

impl Unpin for DraftPhysicalDomain

impl UnsafeUnpin for DraftPhysicalDomain

impl UnwindSafe for DraftPhysicalDomain

Blanket Implementations§

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

fn type_id(&self) -> TypeId

impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere Scheme: ApproxScheme,

type Err = NoError

fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>

impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere Dst: ApproxFrom<Src, Scheme>, Scheme: ApproxScheme,

type Err = <Dst as ApproxFrom<Src, Scheme>>::Err

fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>

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

fn borrow(&self) -> &T

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

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

impl<T> ByRef<T> for T

fn by_ref(&self) -> &T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T, Dst> ConvAsUtil<Dst> for T

fn approx(self) -> Result<Dst, Self::Err>where Self: Sized + ApproxInto<Dst>,

fn approx_by<Scheme>(self) -> Result<Dst, Self::Err>where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

impl<T> ConvUtil for T

fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where Self: Sized + ApproxInto<Dst>,

fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

fn into_as<Dst>(self) -> Dstwhere Self: Sized + Into<Dst>,

fn try_as<Dst>(self) -> Result<Dst, Self::Err>where Self: Sized + TryInto<Dst>,

fn value_as<Dst>(self) -> Result<Dst, Self::Err>where Self: Sized + ValueInto<Dst>,

impl<T> DistributionExt for Twhere T: ?Sized,

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> Twhere Self: Distribution<T>,

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> IntoEither for T

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

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

impl<T> Pointable for T

const ALIGN: usize

type Init = T

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

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

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

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,

fn to_subset(&self) -> Option<SS>

fn is_in_subset(&self) -> bool

fn to_subset_unchecked(&self) -> SS

fn from_subset(element: &SS) -> SP

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

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

impl<Src> TryFrom<Src> for Src

type Err = NoError

fn try_from(src: Src) -> Result<Src, <Src as TryFrom<Src>>::Err>

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

Struct DraftPhysicalDomain

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

impl<Src, Scheme> ApproxFrom<Src, Scheme> for Src
where Scheme: ApproxScheme,

impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Src
where Dst: ApproxFrom<Src, Scheme>, Scheme: ApproxScheme,

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

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

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

fn approx(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

fn approx_by<Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

fn approx_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

fn into_as<Dst>(self) -> Dst
where Self: Sized + Into<Dst>,

fn try_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + TryInto<Dst>,

fn value_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ValueInto<Dst>,

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

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> T
where Self: Distribution<T>,

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

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

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

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

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

impl<Src, Dst> TryInto<Dst> for Src
where Dst: TryFrom<Src>,

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

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<Src, Dst> ValueInto<Dst> for Src
where Dst: ValueFrom<Src>,

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T, U> Imply<T> for U
where T: ?Sized, U: ?Sized,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,