Struct LinearAct 

pub struct LinearAct<T> {
    _marker: PhantomData<fn() -> T>,
}

Fields

_marker: PhantomData<fn() -> T>

Trait Implementations

impl<T> MonoidAct for LinearAct<T>

where T: Clone + Zero + One + Add<Output = T> + Mul<Output = T>,

type Key = T

type Act = (T, T)

type ActMonoid = LinearOperation<T>

fn act(x: &Self::Key, (a, b): &Self::Act) -> Self::Key

fn act_assign(x: &mut Self::Key, a: &Self::Act)

fn unit() -> Self::Act

fn operate(x: &Self::Act, y: &Self::Act) -> Self::Act

fn operate_assign(x: &mut Self::Act, y: &Self::Act)