Trait arret_runtime::boxed::ConstTagged

pub trait ConstTagged: Boxed {
    const TYPE_TAG: TypeTag;
}

Marks that this boxed struct has a specific constant type tag

For example, Vector<Str> is ConstTagged because it always has a type tag of Vector. As a counterexample, Num is not because it could either have an Int or Float type tag.

In mathematical terms this can be thought of as the struct being surjective to the type tag.

Associated Constants

const TYPE_TAG: TypeTag

Type tag for values of this type

Loading content...

Implementors

impl ConstTagged for Char

const TYPE_TAG: TypeTag

impl ConstTagged for False

const TYPE_TAG: TypeTag

impl ConstTagged for Float

const TYPE_TAG: TypeTag

impl ConstTagged for FunThunk

const TYPE_TAG: TypeTag

impl ConstTagged for Int

const TYPE_TAG: TypeTag

impl ConstTagged for Map

const TYPE_TAG: TypeTag

impl ConstTagged for Nil

const TYPE_TAG: TypeTag

impl ConstTagged for Pair

const TYPE_TAG: TypeTag

impl ConstTagged for Record

const TYPE_TAG: TypeTag

impl ConstTagged for Set

const TYPE_TAG: TypeTag

impl ConstTagged for Str

const TYPE_TAG: TypeTag

impl ConstTagged for Sym

const TYPE_TAG: TypeTag

impl ConstTagged for True

const TYPE_TAG: TypeTag

impl ConstTagged for Vector

const TYPE_TAG: TypeTag

Loading content...