Trait higher::rings::Semiring

pub trait Semiring {
    const ZERO: Self;
    const ONE: Self;

    fn add(self, other: Self) -> Self;
    fn mul(self, other: Self) -> Self;
}

Required Associated Constants

const ZERO: Self

const ONE: Self

Required Methods

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

Implementations on Foreign Types

impl Semiring for ()

const ZERO: Self = ()

const ONE: Self = ()

fn add(self, _other: Self) -> Self

fn mul(self, _other: Self) -> Self

impl Semiring for i8

const ZERO: Self = 0i8

const ONE: Self = 1i8

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for i16

const ZERO: Self = 0i16

const ONE: Self = 1i16

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for i32

const ZERO: Self = 0i32

const ONE: Self = 1i32

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for i64

const ZERO: Self = 0i64

const ONE: Self = 1i64

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for i128

const ZERO: Self = 0i128

const ONE: Self = 1i128

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for isize

const ZERO: Self = 0isize

const ONE: Self = 1isize

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for u8

const ZERO: Self = 0u8

const ONE: Self = 1u8

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for u16

const ZERO: Self = 0u16

const ONE: Self = 1u16

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for u32

const ZERO: Self = 0u32

const ONE: Self = 1u32

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for u64

const ZERO: Self = 0u64

const ONE: Self = 1u64

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for u128

const ZERO: Self = 0u128

const ONE: Self = 1u128

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for usize

const ZERO: Self = 0usize

const ONE: Self = 1usize

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for f32

const ZERO: Self = 0f32

const ONE: Self = 1f32

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl Semiring for f64

const ZERO: Self = 0f64

const ONE: Self = 1f64

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

Implementors