Trait arret_runtime::boxed::UniqueTagged

pub trait UniqueTagged: ConstTagged + DistinctTagged { }

Marks that every boxed value with TYPE_TAG corresponds to this boxed struct

For example, Str is UniqueTagged because no other struct has the type tag of Str. As a counterexample, Vector<Str> is not because it shares a type tag with Vector<Sym>.

In mathematical terms this can be thought of as the struct being bijective with the type tag.

Implementors

impl UniqueTagged for Char

impl UniqueTagged for False

impl UniqueTagged for Float

impl UniqueTagged for FunThunk

impl UniqueTagged for Int

impl UniqueTagged for Nil

impl UniqueTagged for Str

impl UniqueTagged for Sym

impl UniqueTagged for True

Loading content...