kani

Trait Arbitrary

Source
pub trait Arbitrary
where Self: Sized,
{ // Required method fn any() -> Self; // Provided method fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH] { ... } }

Required Methods§

Source

fn any() -> Self

Provided Methods§

Source

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

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§

Source§

impl Arbitrary for bool

Source§

fn any() -> Self

Source§

impl Arbitrary for char

Validate that a char is not outside the ranges [0x0, 0xD7FF] and [0xE000, 0x10FFFF] Ref: https://doc.rust-lang.org/stable/nomicon/what-unsafe-does.html

Source§

fn any() -> Self

Source§

impl Arbitrary for f16

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for f32

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for f64

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for f128

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for i8

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for i16

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for i32

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for i64

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for i128

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for isize

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for u8

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for u16

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for u32

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for u64

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for u128

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for ()

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for usize

Source§

fn any() -> Self

Source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Source§

impl Arbitrary for PhantomPinned

Source§

fn any() -> Self

Source§

impl Arbitrary for Duration

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroI8

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroI16

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroI32

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroI64

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroI128

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroIsize

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroU8

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroU16

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroU32

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroU64

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroU128

Source§

fn any() -> Self

Source§

impl Arbitrary for NonZeroUsize

Source§

fn any() -> Self

Source§

impl<A: Arbitrary> Arbitrary for (A,)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary> Arbitrary for (A, B)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary> Arbitrary for (A, B, C)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary> Arbitrary for (A, B, C, D)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary> Arbitrary for (A, B, C, D, E)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary> Arbitrary for (A, B, C, D, E, F)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary> Arbitrary for (A, B, C, D, E, F, G)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary, K: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J, K)

Source§

fn any() -> Self

Source§

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary, K: Arbitrary, L: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J, K, L)

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for Bound<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for Option<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for Box<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for Range<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for RangeFrom<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for RangeInclusive<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for RangeTo<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for RangeToInclusive<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T> Arbitrary for MaybeUninit<T>
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T, E> Arbitrary for Result<T, E>
where T: Arbitrary, E: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T, const N: usize> Arbitrary for [T; N]
where T: Arbitrary,

Source§

fn any() -> Self

Source§

impl<T: ?Sized> Arbitrary for PhantomData<T>

Source§

fn any() -> Self

Implementors§