Fields§
§terms: Vec<Term<M>>
Implementations§
source§impl<M: Matcher> TermZoo<M>
impl<M: Matcher> TermZoo<M>
pub fn generate<R: Rand>(signature: &Signature, rand: &mut R) -> Self
fn generate_term<R: Rand>(
signature: &Signature,
(shape, dynamic_fn): &FunctionDefinition,
depth: u16,
rand: &mut R
) -> Option<Term<M>>
pub fn choose_filtered<P, R: Rand>(
&self,
filter: P,
rand: &mut R
) -> Option<&Term<M>>where
P: FnMut(&&Term<M>) -> bool,
pub fn terms(&self) -> &[Term<M>]
Auto Trait Implementations§
impl<M> !RefUnwindSafe for TermZoo<M>
impl<M> Send for TermZoo<M>where
M: Send,
impl<M> Sync for TermZoo<M>where
M: Sync,
impl<M> Unpin for TermZoo<M>where
M: Unpin,
impl<M> !UnwindSafe for TermZoo<M>
Blanket Implementations§
§impl<Tail, T> Prepend<T> for Tail
impl<Tail, T> Prepend<T> for Tail
§type PreprendResult = Tail
type PreprendResult = Tail
The Resulting [
TupleList
], of an [Prepend::prepend()
] call,
including the prepended entry.