Struct algae_rs::mapping::MonoidOperation

pub struct MonoidOperation<'a, T> { /* private fields */ }

A function wrapper enforcing identity existence and associativity.

Examples

use algae_rs::mapping::{MonoidOperation, BinaryOperation};

let mut mul = MonoidOperation::new(&|a, b| a * b, 1);

let six = mul.with(2, 3);
assert!(six.is_ok());
assert!(six.unwrap() == 6);

let mut add = MonoidOperation::new(&|a, b| a + b, 3);

let sum = add.with(4, 2);
assert!(sum.is_err());

Implementations

impl<'a, T> MonoidOperation<'a, T>

pub fn new(op: &'a dyn Fn(T, T) -> T, identity: T) -> Self

Trait Implementations

impl<'a, T: Copy + PartialEq> BinaryOperation<T> for MonoidOperation<'a, T>

fn operation(&self) -> &dyn Fn(T, T) -> T

Returns a reference to the function underlying the operation

fn properties(&self) -> Vec<PropertyType<T>>

Vec of all enforced properties

fn input_history(&self) -> &Vec<T>

Returns a reference to a Vec of all previous inputs to the operation

fn cache(&mut self, input: T)

Caches the given input to the operation’s input history

fn is(&self, property: PropertyType<T>) -> bool

Returns whether or not property is enforced by the given operation

fn with(&mut self, left: T, right: T) -> Result<T, PropertyError>

Returns the result of performing the given operation.