Trait ZeroablePrimitiveSpecImpl 

pub trait ZeroablePrimitiveSpecImpl:
    Sized
    + Copy
    + ZeroablePrimitive {
    // Required method
    exec fn is_zero(self) -> bool;
}

Required Methods

exec fn is_zero(self) -> bool

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl ZeroablePrimitiveSpecImpl for char

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for i8

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for i16

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for i32

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for i64

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for i128

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for isize

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for u8

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for u16

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for u32

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for u64

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for u128

open spec fn is_zero(self) -> bool

{ self == 0 }

impl ZeroablePrimitiveSpecImpl for usize

open spec fn is_zero(self) -> bool

{ self == 0 }

Implementors