Struct LinearSystemEnvelopeV1
pub struct LinearSystemEnvelopeV1 { /* private fields */ }Description
Durable complete square f64 CSR system projected from one canonical view.
Implementations§
§impl LinearSystemEnvelopeV1
impl LinearSystemEnvelopeV1
pub fn from_complete(
complete: &CanonicalCsrSystemView,
) -> Result<LinearSystemEnvelopeV1, Diagnostic>
pub fn from_complete( complete: &CanonicalCsrSystemView, ) -> Result<LinearSystemEnvelopeV1, Diagnostic>
Project one validated Eqiora-owned complete CSR action into canonical artifact bytes.
§Errors
Returns EQ0901 if a portable count is unavailable or the system
exceeds the default decoder bounds.
pub fn from_json(
bytes: &[u8],
limits: DistributedDecoderLimits,
) -> Result<LinearSystemEnvelopeV1, Diagnostic>
pub fn from_json( bytes: &[u8], limits: DistributedDecoderLimits, ) -> Result<LinearSystemEnvelopeV1, Diagnostic>
Decode, bound, and reconstruct one complete CSR system through the same canonical view validation used by execution.
§Errors
Returns EQ0901 for malformed, unknown, noncanonical, oversized, or
numerically invalid wire data.
pub fn canonical_json(&self) -> Result<Vec<u8>, Diagnostic>
pub fn canonical_json(&self) -> Result<Vec<u8>, Diagnostic>
Deterministic fixed-field-order canonical JSON bytes.
§Errors
Returns EQ0901 if serialization unexpectedly fails.
pub fn digest(&self) -> Result<ArtifactDigest, Diagnostic>
pub fn digest(&self) -> Result<ArtifactDigest, Diagnostic>
Domain-separated SHA-256 identity of the complete canonical DTO.
§Errors
Returns EQ0901 if canonical serialization unexpectedly fails.
pub fn to_complete(&self) -> Result<CanonicalCsrSystemView, Diagnostic>
pub fn to_complete(&self) -> Result<CanonicalCsrSystemView, Diagnostic>
Reconstruct the sole Eqiora-owned fixed CSR action from this artifact.
§Errors
Returns EQ0901 if portable conversion or canonical CSR validation
fails.
Trait Implementations§
§impl Clone for LinearSystemEnvelopeV1
impl Clone for LinearSystemEnvelopeV1
§impl Debug for LinearSystemEnvelopeV1
impl Debug for LinearSystemEnvelopeV1
§impl PartialEq for LinearSystemEnvelopeV1
impl PartialEq for LinearSystemEnvelopeV1
§fn eq(&self, other: &LinearSystemEnvelopeV1) -> bool
fn eq(&self, other: &LinearSystemEnvelopeV1) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for LinearSystemEnvelopeV1
Auto Trait Implementations§
impl Freeze for LinearSystemEnvelopeV1
impl RefUnwindSafe for LinearSystemEnvelopeV1
impl Send for LinearSystemEnvelopeV1
impl Sync for LinearSystemEnvelopeV1
impl Unpin for LinearSystemEnvelopeV1
impl UnsafeUnpin for LinearSystemEnvelopeV1
impl UnwindSafe for LinearSystemEnvelopeV1
Blanket Implementations§
Source§impl<T> Any for Twhere
T: 'static + ?Sized,
impl<T> Any for Twhere
T: 'static + ?Sized,
§impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
§fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
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,
impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
§type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
§fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
Source§impl<T> Borrow<T> for Twhere
T: ?Sized,
impl<T> Borrow<T> for Twhere
T: ?Sized,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T, Dst> ConvAsUtil<Dst> for T
impl<T, Dst> ConvAsUtil<Dst> for T
§fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
§impl<T> ConvUtil for T
impl<T> ConvUtil for T
§fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
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 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 into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
§fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> Twhere
Self: Distribution<T>,
Source§impl<T> From<T> for T
impl<T> From<T> for T
Source§impl<T, U> Into<U> for Twhere
U: From<T>,
impl<T, U> Into<U> for Twhere
U: From<T>,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
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
impl<T> Pointable for T
Source§impl<T> Same for T
impl<T> Same for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.