Struct contrafact::LensFact

pub struct LensFact<'a, O, T, F>where
    T: Bounds<'a>,
    O: Bounds<'a>,
    F: Fact<'a, T>,{ /* private fields */ }

A fact which uses a lens to apply another fact. Use lens() to construct.

Implementations

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

pub fn new<L, G, S>(label: L, getter: G, setter: S, inner_fact: F) -> Selfwhere T: Bounds<'a>, O: Bounds<'a>, F: Fact<'a, T>, L: ToString, G: 'a + Fn(O) -> T, S: 'a + Fn(O, T) -> O,

Constructor. Supply a lens and an existing Fact to create a new Fact.

Trait Implementations

impl<'a, O, T, F> Clone for LensFact<'a, O, T, F>where T: Bounds<'a> + Clone, O: Bounds<'a> + Clone, F: Fact<'a, T> + Clone,

fn clone(&self) -> LensFact<'a, O, T, F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, O, T, F> Fact<'a, O> for LensFact<'a, O, T, F>where T: Bounds<'a>, O: Bounds<'a> + Clone, F: Fact<'a, T>,

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

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

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

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