Module contrafact::facts

Some built-in implementations of some useful facts

Functions

• always
  A constraint which is always met
• and
  A Fact which applies two other facts.
• brute
  A constraint defined only by a predicate closure. Mutation occurs by brute force, randomly trying values until one matches the constraint.
• consecutive_int
  Specifies that a value should be increasing by 1 at every check/mutation
• consecutive_int_
  Specifies that a value should be increasing by 1 at every check/mutation, with no context given
• different
  Specifies an inequality constraint between two items in a tuple
• eq
  Specifies an equality constraint
• in_range
  Specifies a range constraint
• in_slice
  Specifies a membership constraint
• in_slice_
  Specifies a membership constraint
• lens1
  Lifts a Fact about a subset of some data into a Fact about the superset, using a single function to specify a getter/setter pair.
• lens2
  Lifts a Fact about a subset of some data into a Fact about the superset, using explicit getter and setter functions.
• ne
  Specifies an inequality constraint
• never
  A constraint which is never met
• not
  Negates a fact
• or
  Combines two constraints so that either one may be satisfied
• prism
  Lifts a Fact about some optional subset of data into a Fact about the superset.
• same
  Specifies an equality constraint between two items in a tuple
• vec
  Lifts a Fact about an item in a Vec into a fact about the whole Vec.
• vec_len
  Checks that a Vec is of a given length
• vec_of_length
  Combines a LenFact with a VecFact to ensure that the vector is of a given length