Trait Idris 

pub trait Idris {
    const COUNT: usize;

    // Required methods
    fn id(&self) -> usize;
    fn name_from_id(id: usize) -> &'static str;
}

Required Associated Constants

const COUNT: usize

Required Methods

fn id(&self) -> usize

fn name_from_id(id: usize) -> &'static str

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