Struct Semiring 

pub struct Semiring { /* private fields */ }

A product monoid and the accumulation monoid its products sum into.

Implementations

impl Semiring

pub const SUM_PROD: Self

(+, *): the ordinary matmul.

pub const MIN_SUM: Self

(min, +): shortest paths, DTW.

pub const MAX_SUM: Self

(max, +): Viterbi in log space.

pub const fn add(self) -> Monoid

The monoid products accumulate into, and every drain sums partials under.

pub const fn mul(self) -> Monoid

The product a pair of operands forms before it is summed in.

impl Semiring

semiring.step(a, b, acc), the pair Monoid::combine documents.

pub fn step<T: Carrier + CubePrimitive>(self, lhs: T, rhs: T, acc: T) -> T

pub fn __expand_step_method<T: Carrier + CubePrimitive>( self, scope: &Scope, lhs: T::ExpandType, rhs: T::ExpandType, acc: T::ExpandType, ) -> T::ExpandType

Trait Implementations

impl AsMutExpand for Semiring

fn __expand_ref_mut_method(&mut self, _scope: &Scope) -> &mut Self

fn __expand_as_mut_method(&mut self, scope: &Scope) -> &mut T

impl AsRefExpand for Semiring

fn __expand_ref_method(&self, _scope: &Scope) -> &Self

fn __expand_as_ref_method(&self, scope: &Scope) -> &T

impl Clone for Semiring

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Semiring

impl CubeDebug for Semiring

fn set_debug_name(&self, scope: &Scope, name: &'static str)

Set the debug name of this type’s expansion. Should do nothing for types that don’t appear at runtime

impl CubeType for Semiring

type ExpandType = Semiring

impl Debug for Semiring

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

Formats the value using the given formatter.

impl Eq for Semiring

impl ExpandTypeClone for Semiring

fn clone_unchecked(&self) -> Self

Unchecked clone that only clones the conceptual runtime value. Should only be used in cases where each copy is used in a mutually exclusive branch (i.e. match, runtime enums). This is intentionally separated from Rust’s Clone semantics and should only be used for the conceptual expand values, never real data. Using two values in the same branch is undefined behaviour.

impl Hash for Semiring

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IntoExpand for Semiring

type Expand = Semiring

fn into_expand(self, _scope: &Scope) -> Self

impl IntoMut for Semiring

fn into_mut(self, _scope: &Scope) -> Self

Convert the variable into a potentially new mutable variable in scope, copying if needed.

impl PartialEq for Semiring

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Semiring