Struct GroupOperation

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

A function wrapper enforcing identity existence, invertibility, and associativity.

Examples

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

let mut add = GroupOperation::new(&|a, b| a + b, &|a, b| a - b, 0);

let seven = add.with(4, 3);
assert!(seven.is_ok());
assert!(seven.unwrap() == 7);

let mut bad_add = GroupOperation::new(&|a, b| a + b, &|a, b| a * b, 0);

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

Implementations

impl<'a, T> GroupOperation<'a, T>

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

Trait Implementations

impl<'a, T: Copy + PartialEq> BinaryOperation<T> for GroupOperation<'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.