vstd::std_specs::ops

Trait BitXorSpecImpl

pub trait BitXorSpecImpl<Rhs = Self>: BitXor<Rhs> {
    // Required methods
    exec fn obeys_bitxor_spec() -> bool;
    exec fn bitxor_req(self, rhs: Rhs) -> bool
       where Self: Sized;
    exec fn bitxor_spec(self, rhs: Rhs) -> Self::Output
       where Self: Sized;
}

Required Methods§

exec fn obeys_bitxor_spec() -> bool

exec fn bitxor_req(self, rhs: Rhs) -> bool
where Self: Sized,

exec fn bitxor_spec(self, rhs: Rhs) -> Self::Output
where Self: Sized,

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

impl BitXorSpecImpl for bool

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: bool) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: bool) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for i8

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: i8) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: i8) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for i16

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: i16) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: i16) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for i32

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: i32) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: i32) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for i64

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: i64) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: i64) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for i128

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: i128) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: i128) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for isize

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: isize) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: isize) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for u8

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: u8) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: u8) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for u16

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: u16) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: u16) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for u32

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: u32) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: u32) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for u64

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: u64) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: u64) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for u128

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: u128) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: u128) -> Self::Output

{ self ^ rhs }

impl BitXorSpecImpl for usize

open spec fn obeys_bitxor_spec() -> bool

{ true }

open spec fn bitxor_req(self, rhs: usize) -> bool

{ true }

open spec fn bitxor_spec(self, rhs: usize) -> Self::Output

{ self ^ rhs }

Implementors§