Struct NaturalCountProvenanceSemiringV0 

pub struct NaturalCountProvenanceSemiringV0 {
    pub zero: u8,
    pub one: u8,
    pub addition: &'static str,
    pub multiplication: &'static str,
    pub idempotent_addition: bool,
}

Fields

zero: u8

one: u8

addition: &'static str

multiplication: &'static str

idempotent_addition: bool

Implementations

impl NaturalCountProvenanceSemiringV0

pub const fn new() -> NaturalCountProvenanceSemiringV0

Trait Implementations

impl Clone for NaturalCountProvenanceSemiringV0

fn clone(&self) -> NaturalCountProvenanceSemiringV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NaturalCountProvenanceSemiringV0

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

Formats the value using the given formatter.

impl Default for NaturalCountProvenanceSemiringV0

fn default() -> NaturalCountProvenanceSemiringV0

Returns the “default value” for a type.

impl Eq for NaturalCountProvenanceSemiringV0

impl PartialEq for NaturalCountProvenanceSemiringV0

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

Equality operator ==.

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

Inequality operator !=.

impl ProvenanceSemiringV0 for NaturalCountProvenanceSemiringV0

const IDENTIFIER: &'static str = "naturalCount"

type Element = u16

fn zero( &self, ) -> <NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element

fn one( &self, ) -> <NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element

fn add( &self, lhs: &<NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element, rhs: &<NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element, ) -> <NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element

fn multiply( &self, lhs: &<NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element, rhs: &<NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element, ) -> <NaturalCountProvenanceSemiringV0 as ProvenanceSemiringV0>::Element

fn idempotent_addition(&self) -> bool

fn semiring_identifier(&self) -> &'static str

impl Serialize for NaturalCountProvenanceSemiringV0

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for NaturalCountProvenanceSemiringV0