Trait ReadPrim 

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

A primitive whose body sees a ReadState. Register via EGraph::add_read_primitive.

Required Methods

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

Implementors