Trait RigModule

pub trait RigModule: AdditiveMonoid + Mul<Self::Rig, Output = Self> {
    type Rig: CommRig;
}

A module over a commutative rig.

Required Associated Types

type Rig: CommRig

Base rig for the module.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Var, Coef> RigModule for Combination<Var, Coef>

where Var: Ord, Coef: Clone + Default + CommRig,

type Rig = Coef

impl<Var, Coef, Exp> RigModule for Polynomial<Var, Coef, Exp>

where Var: Ord, Coef: Clone + Default + CommRig, Exp: Ord,

type Rig = Coef