Struct CooAssembler

pub struct CooAssembler { /* private fields */ }

Description

Deterministic row-indexed coordinate accumulator for local contributions.

This v0 implementation prioritizes a small, inspectable contract. A distributed or device assembler may consume the same AssemblyMap and LocalContribution without changing local operators.

Implementations§

§

impl CooAssembler

Signature links:§CooAssembler

pub fn new(size: usize) -> Result<CooAssembler, Diagnostic>

Signature links:new usize Result CooAssembler Diagnostic

Construct a square global system.

§Errors

Returns EQ0806 when the system has zero free equations.

pub fn scatter( &mut self, map: &AssemblyMap, local: &LocalContribution, ) -> Result<(), Diagnostic>

Signature links:scatter AssemblyMap LocalContribution Result ()Diagnostic

Add one local contribution using its independent assembly map.

§Errors

Returns EQ0806 for shape mismatch, an out-of-range global index, or a non-finite accumulated value.

pub fn scatter_delta(&mut self, delta: &AssemblyDelta) -> Result<(), Diagnostic>

Signature links:scatter_delta AssemblyDelta Result ()Diagnostic

Add one already-mapped packet-local delta.

This is the common accumulation boundary for direct and owner-routed assembly. The complete delta is checked against current state before any entry is changed.

§Errors

Returns EQ0806 for a target-size mismatch or non-finite accumulated value. Failure leaves the assembler unchanged.

pub fn finish(self) -> Result<LinearSystem, Diagnostic>

Signature links:finish Result LinearSystem Diagnostic

Finalize deterministic compressed sparse row storage.

§Errors

Returns EQ0806 if a global row has no nonzero entry.

Trait Implementations§

§

impl Clone for CooAssembler

Signature links:§Clone CooAssembler

§

fn clone(&self) -> CooAssembler

Signature links:§clone CooAssembler

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 CooAssembler

Signature links:§Debug CooAssembler

§

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

Signature links:§fmt Formatter Result ()Error

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl UnwindSafe for CooAssembler

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 CooAssembler Copy item path

Implementations§

impl CooAssembler

pub fn new(size: usize) -> Result<CooAssembler, Diagnostic>

§Errors

pub fn scatter( &mut self, map: &AssemblyMap, local: &LocalContribution, ) -> Result<(), Diagnostic>

§Errors

pub fn scatter_delta(&mut self, delta: &AssemblyDelta) -> Result<(), Diagnostic>

§Errors

pub fn finish(self) -> Result<LinearSystem, Diagnostic>

§Errors

Trait Implementations§

impl Clone for CooAssembler

fn clone(&self) -> CooAssembler

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

impl Debug for CooAssembler

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

Auto Trait Implementations§

impl Freeze for CooAssembler

impl RefUnwindSafe for CooAssembler

impl Send for CooAssembler

impl Sync for CooAssembler

impl Unpin for CooAssembler

impl UnsafeUnpin for CooAssembler

impl UnwindSafe for CooAssembler

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

Struct CooAssembler

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,