Skip to main content

UnexpandedNumerator

gammalooprs::numerator

Trait UnexpandedNumerator 

Source 
pub trait UnexpandedNumerator: NumeratorState + GetSingleAtom {
    // Required methods
    fn map_color(self, f: impl Fn(Atom) -> Atom) -> Self;
    fn map_color_mut(&mut self, f: impl FnMut(&mut Atom));
    fn map_colorless(self, f: impl Fn(Atom) -> Atom) -> Self;
}

Required Methods§

Source

fn map_color(self, f: impl Fn(Atom) -> Atom) -> Self

Source

fn map_color_mut(&mut self, f: impl FnMut(&mut Atom))

Source

fn map_colorless(self, f: impl Fn(Atom) -> Atom) -> Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§