Struct contrafact::PrismFact [−][src]
pub struct PrismFact<O, T, F> where
T: Bounds,
O: Bounds,
F: Fact<T>, { /* fields omitted */ }
Expand description
A fact which uses a prism to apply another fact. Use prism()
to construct.
Implementations
Trait Implementations
impl<O: Clone, T: Clone, F: Clone> Clone for PrismFact<O, T, F> where
T: Bounds,
O: Bounds,
F: Fact<T>,
[src]
impl<O: Clone, T: Clone, F: Clone> Clone for PrismFact<O, T, F> where
T: Bounds,
O: Bounds,
F: Fact<T>,
[src]impl<O, T, F> Fact<O> for PrismFact<O, T, F> where
T: Bounds,
O: Bounds,
F: Fact<T>,
[src]
impl<O, T, F> Fact<O> for PrismFact<O, T, F> where
T: Bounds,
O: Bounds,
F: Fact<T>,
[src]fn mutate(&self, obj: &mut O, u: &mut Unstructured<'static>)
[src]
fn mutate(&self, obj: &mut O, u: &mut Unstructured<'static>)
[src]Apply a mutation which moves the obj closer to satisfying the overall constraint. Read more
fn advance(&mut self, obj: &O)
[src]
fn advance(&mut self, obj: &O)
[src]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. Read more
fn satisfy(&mut self, obj: &mut T, u: &mut Unstructured<'static>)
[src]
fn satisfy(&mut self, obj: &mut T, u: &mut Unstructured<'static>)
[src]Mutate a value such that it satisfies the constraint. If the constraint cannot be satisfied, panic. Read more
fn build(&mut self, u: &mut Unstructured<'static>) -> T
[src]
fn build(&mut self, u: &mut Unstructured<'static>) -> T
[src]Build a new value such that it satisfies the constraint
Auto Trait Implementations
impl<O, T, F> !RefUnwindSafe for PrismFact<O, T, F>
impl<O, T, F> !Send for PrismFact<O, T, F>
impl<O, T, F> !Sync for PrismFact<O, T, F>
impl<O, T, F> Unpin for PrismFact<O, T, F> where
F: Unpin,
F: Unpin,
impl<O, T, F> !UnwindSafe for PrismFact<O, T, F>
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Instrument for T
[src]
impl<T> Instrument for T
[src]fn instrument(self, span: Span) -> Instrumented<Self>
[src]
fn instrument(self, span: Span) -> Instrumented<Self>
[src]Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
fn in_current_span(self) -> Instrumented<Self>
[src]
fn in_current_span(self) -> Instrumented<Self>
[src]impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more