Struct Lin01ProvenanceSemiringV0 

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

Fields

zero: &'static str

one: &'static str

addition: &'static str

multiplication: &'static str

idempotent_addition: bool

Implementations

impl Lin01ProvenanceSemiringV0

pub const fn new() -> Lin01ProvenanceSemiringV0

Trait Implementations

impl Clone for Lin01ProvenanceSemiringV0

fn clone(&self) -> Lin01ProvenanceSemiringV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Lin01ProvenanceSemiringV0

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

Formats the value using the given formatter.

impl Default for Lin01ProvenanceSemiringV0

fn default() -> Lin01ProvenanceSemiringV0

Returns the “default value” for a type.

impl Eq for Lin01ProvenanceSemiringV0

impl PartialEq for Lin01ProvenanceSemiringV0

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ProvenanceSemiringV0 for Lin01ProvenanceSemiringV0

const IDENTIFIER: &'static str = "lin01"

type Element = bool

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

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

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

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

fn idempotent_addition(&self) -> bool

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

impl Serialize for Lin01ProvenanceSemiringV0

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 Lin01ProvenanceSemiringV0