Trait Symbolic

pub trait Symbolic
where
    Self: Clone + Copy + Default + Eq + Ord + PartialEq + PartialOrd + Debug + Display + Hash + Send + Sync + 'static,
{ }

Symbolic is a trait denoting types that can be used as symbols; this is useful for allowing symbols to represented with char or be a position on the tape, value mapping for an alphabet,.

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

impl<S> Symbolic for S

where S: Copy + Default + Eq + Ord + Debug + Display + Hash + Send + Sync + 'static,