Trait contrafact::Fact

pub trait Fact<T> where
    T: Bounds, {
    fn check(&self, obj: &T) -> Check;
    fn mutate(&self, obj: &mut T, u: &mut Unstructured<'static>);
    fn advance(&mut self, obj: &T);

    fn satisfy(&mut self, obj: &mut T, u: &mut Unstructured<'static>) { ... }
    fn build(&mut self, u: &mut Unstructured<'static>) -> T { ... }
}

A declarative representation of a constraint on some data, which can be used to both make an assertion (check) or to mold some arbitrary existing data into a shape which passes that same assertion (mutate)

Required methods

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

Assert that the constraint is satisfied (panic if not).

fn mutate(&self, obj: &mut T, u: &mut Unstructured<'static>)

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

fn advance(&mut self, obj: &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.

Provided methods

fn satisfy(&mut self, obj: &mut T, u: &mut Unstructured<'static>)

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

fn build(&mut self, u: &mut Unstructured<'static>) -> T

Build a new value such that it satisfies the constraint

Implementations on Foreign Types

impl<T, F: ?Sized> Fact<T> for Box<F> where
    T: Bounds,
    F: Fact<T>, 

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

fn mutate(&self, obj: &mut T, u: &mut Unstructured<'static>)

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

impl<T, F> Fact<T> for &mut [F] where
    T: Bounds,
    F: Fact<T>, 

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

fn mutate(&self, obj: &mut T, u: &mut Unstructured<'static>)

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

impl<T, F> Fact<T> for Vec<F> where
    T: Bounds,
    F: Fact<T>, 

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

fn mutate(&self, obj: &mut T, u: &mut Unstructured<'static>)

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

Implementors

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

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

fn mutate(&self, t: &mut T, u: &mut Unstructured<'static>)

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

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

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

fn mutate(&self, t: &mut T, u: &mut Unstructured<'static>)

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

impl<O, T, F> Fact<O> for LensFact<O, T, F> where
    T: Bounds,
    O: Bounds,
    F: Fact<T>, 

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

fn mutate(&self, obj: &mut O, u: &mut Unstructured<'static>)

fn advance(&mut self, obj: &O)

impl<O, T, F> Fact<O> for PrismFact<O, T, F> where
    T: Bounds,
    O: Bounds,
    F: Fact<T>, 

fn check(&self, o: &O) -> Check

fn mutate(&self, obj: &mut O, u: &mut Unstructured<'static>)

fn advance(&mut self, obj: &O)