Enum tract_core::datum::DatumType

pub enum DatumType {
    Bool,
    U8,
    U16,
    I8,
    I16,
    I32,
    I64,
    F16,
    F32,
    F64,
    TDim,
    String,
}

Variants

BoolU8U16I8I16I32I64F16F32F64TDimString

Methods

impl DatumType

pub fn super_types(&self) -> &'static [DatumType]

pub fn super_type_for<I: IntoIterator<Item = DatumType>>(
    i: I
) -> Option<DatumType>

pub fn common_super_type(&self, rhs: DatumType) -> Option<DatumType>

pub fn size_of(&self) -> usize

pub fn alignment(&self) -> usize

Trait Implementations

impl IntoExp<GenericFact<DatumType>> for DatumType

fn bex(self) -> Exp<TypeFact>

Converts the value to an Expression.

impl<'a> IntoExp<GenericFact<DatumType>> for &'a DatumType

fn bex(self) -> Exp<TypeFact>

Converts the value to an Expression.

impl Clone for DatumType

fn clone(&self) -> DatumType

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl PartialEq<DatumType> for DatumType

fn eq(&self, other: &DatumType) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Copy for DatumType

impl Debug for DatumType

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.