Trait RexAdt 

pub trait RexAdt: RexType {
    // Required method
    fn rex_adt_decl<State>(
        engine: &mut Engine<State>,
    ) -> Result<AdtDecl, EngineError>
       where State: Clone + Send + Sync + 'static;

    // Provided method
    fn inject_rex<State>(engine: &mut Engine<State>) -> Result<(), EngineError>
       where State: Clone + Send + Sync + 'static { ... }
}

Shared ADT registration surface for derived and manually implemented Rust types.

Required Methods

fn rex_adt_decl<State>( engine: &mut Engine<State>, ) -> Result<AdtDecl, EngineError>

where State: Clone + Send + Sync + 'static,

Provided Methods

fn inject_rex<State>(engine: &mut Engine<State>) -> Result<(), EngineError>

where State: Clone + Send + Sync + 'static,

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