Enum Monoid 

pub enum Monoid {
    Sum,
    Prod,
    Max,
    Min,
}

An identity and an associative operation, used by everything that merges values.

Variants

Sum

acc + val, identity 0.

Prod

acc * val, identity 1.

Max

max(acc, val), identity the lowest value of the element.

Min

min(acc, val), identity the highest value of the element.

Implementations

impl Monoid

pub fn identity<E: Numeric>(monoid: Monoid) -> E

This monoid’s identity element; a masked read past an operand’s extent must return it.

pub fn reduce<E: Numeric, N: Size>( v: Vector<E, N>, width: usize, monoid: Monoid, ) -> E

A vector’s first width components combined into one value.

pub fn __expand_identity<E: Numeric>( scope: &Scope, monoid: Monoid, ) -> <E as CubeType>::ExpandType

This monoid’s identity element; a masked read past an operand’s extent must return it.

pub fn __expand_reduce<E: Numeric, N: Size>( scope: &Scope, v: <Vector<E, N> as CubeType>::ExpandType, width: usize, monoid: Monoid, ) -> <E as CubeType>::ExpandType

A vector’s first width components combined into one value.

impl Monoid

monoid.combine(a, b), hand-written since a comptime-only type has no {Name}Expand.

pub fn combine<T: Carrier>(self, lhs: T, rhs: T) -> T

pub fn __expand_combine_method<T: Carrier>( self, scope: &Scope, lhs: T::ExpandType, rhs: T::ExpandType, ) -> T::ExpandType

Trait Implementations

impl AsMutExpand for Monoid

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 Monoid

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

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

impl Clone for Monoid

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 Monoid

impl CubeDebug for Monoid

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 Monoid

type ExpandType = Monoid

impl Debug for Monoid

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

Formats the value using the given formatter.

impl Eq for Monoid

impl ExpandTypeClone for Monoid

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 Monoid

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 Monoid

type Expand = Monoid

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

impl IntoMut for Monoid

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

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

impl PartialEq for Monoid

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Monoid