Trait HasElementType 

pub trait HasElementType: Type {
    // Required method
    fn element_type(&self, ctx: &Context) -> Option<TypeHandle>;

    // Provided method
    fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>
       where Self: Sized { ... }
}

Required Methods

fn element_type(&self, ctx: &Context) -> Option<TypeHandle>

Provided Methods

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

Trait Implementations

impl TypeImplsInterface<dyn HasElementType> for MatrixType

impl TypeImplsInterface<dyn HasElementType> for IntegerType

impl TypeImplsInterface<dyn HasElementType> for IndexType

impl TypeImplsInterface<dyn HasElementType> for Complex32Type

impl TypeImplsInterface<dyn HasElementType> for Complex64Type

impl TypeImplsInterface<dyn HasElementType> for Float64Type

impl TypeImplsInterface<dyn HasElementType> for Float32Type

impl TypeImplsInterface<dyn HasElementType> for TFloat32Type

impl TypeImplsInterface<dyn HasElementType> for FloatFlex32Type

impl TypeImplsInterface<dyn HasElementType> for Float16Type

impl TypeImplsInterface<dyn HasElementType> for BFloat16Type

impl TypeImplsInterface<dyn HasElementType> for Float8E8M0Type

impl TypeImplsInterface<dyn HasElementType> for Float8E5M2Type

impl TypeImplsInterface<dyn HasElementType> for Float8E4M3Type

impl TypeImplsInterface<dyn HasElementType> for Float6E3M2Type

impl TypeImplsInterface<dyn HasElementType> for Float6E2M3Type

impl TypeImplsInterface<dyn HasElementType> for Float4E2M1Type

impl TypeImplsInterface<dyn HasElementType> for Float4E2M1x2Type

impl TypeImplsInterface<dyn HasElementType> for BoolType

impl TypeImplsInterface<dyn HasElementType> for VectorType

impl TypeImplsInterface<dyn HasElementType> for AtomicType

impl TypeImplsInterface<dyn HasElementType> for PointerType

impl TypeImplsInterface<dyn HasElementType> for ArrayType

impl TypeImplsInterface<dyn HasElementType> for RuntimeArrayType

impl TypeInterfaceMarker for dyn HasElementType

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl HasElementType for IntegerType

fn element_type(&self, ctx: &Context) -> Option<TypeHandle>

Implementors

impl HasElementType for ArrayType

impl HasElementType for AtomicType

impl HasElementType for BFloat16Type

impl HasElementType for BoolType

impl HasElementType for Complex32Type

impl HasElementType for Complex64Type

impl HasElementType for Float4E2M1Type

impl HasElementType for Float4E2M1x2Type

impl HasElementType for Float6E2M3Type

impl HasElementType for Float6E3M2Type

impl HasElementType for Float8E4M3Type

impl HasElementType for Float8E5M2Type

impl HasElementType for Float8E8M0Type

impl HasElementType for Float16Type

impl HasElementType for Float32Type

impl HasElementType for Float64Type

impl HasElementType for FloatFlex32Type

impl HasElementType for IndexType

impl HasElementType for MatrixType

impl HasElementType for PointerType

impl HasElementType for RuntimeArrayType

impl HasElementType for TFloat32Type

impl HasElementType for VectorType