Trait Ops

pub trait Ops {
    type S;
    type F;

    // Required methods
    fn op(&self, a: Self::S, b: Self::S) -> Self::S;
    fn e(&self) -> Self::S;
    fn compose(&self, f: Self::F, g: Self::F) -> Self::F;
    fn id(&self) -> Self::F;
    fn map(&self, f: Self::F, x: Self::S) -> Self::S;
}

Required Associated Types

type S

type F

Required Methods

fn op(&self, a: Self::S, b: Self::S) -> Self::S

fn e(&self) -> Self::S

fn compose(&self, f: Self::F, g: Self::F) -> Self::F

fn id(&self) -> Self::F

fn map(&self, f: Self::F, x: Self::S) -> Self::S

Implementors

impl Ops for RangeXorRangeInversion01

type F = i64

type S = (i64, i64, i64)

impl Ops for RangeAddRangeSumI64

type F = i64

type S = (i64, i64)

impl<T> Ops for RangeAddRangeMinimum<T>

where T: Ord + Clone + Add<Output = T>,

type F = T

type S = T

impl<T> Ops for RangeAffineRangeSum<T>

where T: From<i32> + Clone + Mul<Output = T> + Add<Output = T>,

type F = (T, T)

type S = (T, T)

impl<T> Ops for RangeUpdateRangeSum<T>

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

type F = Option<T>

type S = (T, T)

impl<T: Ord + Clone> Ops for RangeUpdateRangeMinimum<T>

type F = Option<T>

type S = T