Trait FullPrim 

pub trait FullPrim: Primitive {
    // Required method
    fn apply<'a, 'db>(
        &self,
        state: FullState<'a, 'db>,
        args: &[Value],
    ) -> Option<Value>;
}

A primitive whose body sees a FullState. Register via EGraph::add_full_primitive.

Required Methods

fn apply<'a, 'db>( &self, state: FullState<'a, 'db>, args: &[Value], ) -> Option<Value>

Dyn Compatibility

This trait is dyn compatible.

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

Implementors