Struct checkito::array::Array

pub struct Array<T: ?Sized, const N: usize>(pub T);

Tuple Fields

0: T

Trait Implementations

impl<T: Clone + ?Sized, const N: usize> Clone for Array<T, N>

fn clone(&self) -> Array<T, N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + ?Sized, const N: usize> Debug for Array<T, N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default + ?Sized, const N: usize> Default for Array<T, N>

fn default() -> Array<T, N>

Returns the “default value” for a type.

impl<G: FullGenerate, const N: usize> FullGenerate for Array<G, N>

type Item = [<G as FullGenerate>::Item; N]

type Generate = Array<<G as FullGenerate>::Generate, N>

fn generator() -> Self::Generate

impl<S: FullShrink, const N: usize> FullShrink for Array<S, N>

type Item = [<S as FullShrink>::Item; N]

type Shrink = All<[<S as FullShrink>::Shrink; N]>

fn shrinker(item: Self::Item) -> Option<Self::Shrink>

impl<G: Generate + ?Sized, const N: usize> Generate for Array<G, N>

type Item = [<G as Generate>::Item; N]

type Shrink = All<[<G as Generate>::Shrink; N]>

fn generate(&self, state: &mut State) -> Self::Shrink

Primary method of this trait. It generates a Shrink instance that will be able to produce values of type Generate::Item and shrink itself.

fn sampler(&self) -> Sampler<'_, Self>

Provides a Sampler that allows to configure sampling settings and generate samples.

fn samples(&self, count: usize) -> Samples<'_, Self>

Generates count random values the are progressively larger in size. For additional sampling settings, see Generate::sampler.

fn sample(&self, size: f64) -> Self::Item

Generates a random value of size (0.0..=1.0). For additional sampling settings, see Generate::sampler.

fn checker(&self) -> Checker<'_, Self>

fn checks<P: Prove, F: FnMut(&Self::Item) -> P>( &self, count: usize, check: F, ) -> Checks<'_, Self, F>

fn check<P: Prove, F: FnMut(&Self::Item) -> P>( &self, count: usize, check: F, ) -> Result<(), Error<Self::Item, P>>

impl<G: IntoGenerate, const N: usize> IntoGenerate for Array<G, N>

type Item = [<G as IntoGenerate>::Item; N]

type Generate = Array<<G as IntoGenerate>::Generate, N>

fn generator(self) -> Self::Generate

impl<S: IntoShrink, const N: usize> IntoShrink for Array<S, N>

type Item = [<S as IntoShrink>::Item; N]

type Shrink = All<[<S as IntoShrink>::Shrink; N]>

fn shrinker(&self, item: Self::Item) -> Option<Self::Shrink>