dsalgo 0.3.10

A package for Datastructures and Algorithms.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
use crate::{
    algebraic_structure::itself::*,
    power_monoid::pow_monoid,
};

pub trait PowMonoid<I>: Monoid<I>
where
    Self: Clone,
{
    fn pow_monoid(
        self,
        exp: u64,
    ) -> Self {
        pow_monoid(&Self::op, &Self::e, self, exp)
    }
}

impl<S: Monoid<I> + Clone, I> PowMonoid<I> for S {}