Struct contrafact::MappedFact

pub struct MappedFact<'a, T> { /* private fields */ }

A fact which is mapped from the data to be checked/mutated. Use mapped to construct.

Trait Implementations

impl<'a, T: Clone> Clone for MappedFact<'a, T>

fn clone(&self) -> MappedFact<'a, T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, T> Fact<'a, T> for MappedFact<'a, T>where T: Bounds<'a>,

fn mutate(&self, t: T, g: &mut Generator<'a>) -> Mutation<T>

Apply a mutation which moves the obj closer to satisfying the overall constraint.

fn advance(&mut self, _: &T)

When checking or mutating a sequence of items, this gets called after each item to modify the state to get ready for the next item.

fn check(&self, obj: &T) -> Check

Assert that the constraint is satisfied for given data

fn satisfy(&mut self, obj: T, g: &mut Generator<'a>) -> ContrafactResult<T>

Mutate a value such that it satisfies the constraint. If the constraint cannot be satisfied, panic.

fn build_fallible(&mut self, g: &mut Generator<'a>) -> ContrafactResult<T>

Build a new value such that it satisfies the constraint

fn build(&mut self, g: &mut Generator<'a>) -> T

Build a new value such that it satisfies the constraint, panicking on error