Trait RexAdt 

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

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

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

Required Methods

fn rex_adt_decl<State: Clone + Send + Sync + 'static>( engine: &mut Engine<State>, ) -> Result<AdtDecl, EngineError>

Provided Methods

fn inject_rex<State: Clone + Send + Sync + 'static>( engine: &mut Engine<State>, ) -> Result<(), EngineError>

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