Trait RexAdt 

pub trait RexAdt: RexType {
    // Required method
    fn rex_adt_decl() -> Result<AdtDecl, EngineError>;

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

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

Required Methods

fn rex_adt_decl() -> Result<AdtDecl, EngineError>

Provided Methods

fn rex_adt_family() -> Result<Vec<AdtDecl>, EngineError>

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

where Self: Sized,

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