pub trait RequiresIncludesType<T>: Type {
// Required method
fn includes(&self, ctx: &Context) -> Vec<String>;
// Provided method
fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>
where Self: Sized { ... }
}Required Methods§
Provided Methods§
Trait Implementations§
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for PointerType
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for ArrayType
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for RuntimeArrayType
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for VectorType
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for BarrierType
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Complex32Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Complex64Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for MatrixType
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for TFloat32Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float16Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float16x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for BFloat16Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for BFloat16x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float8E4M3Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float8E5M2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float8E8M0Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float8E4M3x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float8E5M2x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float8E8M0x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float6E3M2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float6E2M3Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float6E3M2x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float6E2M3x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float4E2M1Type
impl TypeImplsInterface<dyn RequiresIncludesType<Cuda>> for Float4E2M1x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Hip>> for PointerType
impl TypeImplsInterface<dyn RequiresIncludesType<Hip>> for ArrayType
impl TypeImplsInterface<dyn RequiresIncludesType<Hip>> for RuntimeArrayType
impl TypeImplsInterface<dyn RequiresIncludesType<Hip>> for VectorType
impl TypeImplsInterface<dyn RequiresIncludesType<Hip>> for MatrixType
impl TypeImplsInterface<dyn RequiresIncludesType<Hip>> for BFloat16Type
impl TypeImplsInterface<dyn RequiresIncludesType<Hip>> for BFloat16x2Type
impl TypeImplsInterface<dyn RequiresIncludesType<Metal>> for PointerType
impl TypeImplsInterface<dyn RequiresIncludesType<Metal>> for ArrayType
impl TypeImplsInterface<dyn RequiresIncludesType<Metal>> for RuntimeArrayType
impl TypeImplsInterface<dyn RequiresIncludesType<Metal>> for VectorType
impl<T> TypeInterfaceMarker for dyn RequiresIncludesType<T>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".