Struct algae_rs::mapping::CancellativeOperation

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

A function wrapper enforcing cancellativity.

Examples

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

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

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

Implementations

impl<'a, T> CancellativeOperation<'a, T>

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

Trait Implementations

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