Module semiring 

Types that form a semiring with addition and multiplication operations.

Examples

use fp_library::classes::Semiring;

assert_eq!(i32::add(2, 3), 5);
assert_eq!(i32::multiply(2, 3), 6);
assert_eq!(i32::zero(), 0);
assert_eq!(i32::one(), 1);

Traits

Semiring

A type class for types that form a semiring.

Functions

add

Adds two values.

multiply

Multiplies two values.

one

Returns the multiplicative identity element.

zero

Returns the additive identity element.