Struct puffin :: fuzzer :: term_zoo :: TermZoo Copy item path

impl<PT: ProtocolTypes> TermZoo<PT>

pub fn generate<R: Rand>(signature: &Signature<PT>, rand: &mut R) -> Self

fn generate_term<R: Rand>( signature: &Signature<PT>, (shape, dynamic_fn): &FunctionDefinition<PT>, depth: u16, rand: &mut R, ) -> Option<Term<PT>>

pub fn choose_filtered<P, R: Rand>( &self, filter: P, rand: &mut R, ) -> Option<&Term<PT>>
where P: FnMut(&&Term<PT>) -> bool,

pub fn terms(&self) -> &[Term<PT>]

Auto Trait Implementations§

impl<PT> Freeze for TermZoo<PT>

impl<PT> !RefUnwindSafe for TermZoo<PT>

impl<PT> Send for TermZoo<PT>
where PT: Send, <PT as ProtocolTypes>::Matcher: Send,

impl<PT> Sync for TermZoo<PT>
where PT: Sync, <PT as ProtocolTypes>::Matcher: Sync,

impl<PT> Unpin for TermZoo<PT>
where PT: Unpin, <PT as ProtocolTypes>::Matcher: Unpin,

impl<PT> !UnwindSafe for TermZoo<PT>

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<Tail, T> Prepend<T> for Tail

type PreprendResult = Tail

The Resulting [TupleList], of an [Prepend::prepend()] call, including the prepended entry.

fn prepend(self, value: T) -> (T, <Tail as Prepend<T>>::PreprendResult)

Prepend a value to this tuple, returning a new tuple with prepended value.

impl<T, U> TryFrom for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

impl<T, U> TryInto for T
where U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> MaybeHasScalabilityMonitor for T