Module diceprop::ops

A collection of operations on Eval that are useful for writing properties.

These operations will log their arguments and result via dicetest::hints.

Functions

and

Logical conjunction.

assert

Asserts that assertion is true.

eq

The values are equal based on PartialEq.

ge

The first value is greater than or equal to the second value based on PartialOrd.

gt

The first value is greater than the second value based on PartialOrd.

iff

Logical equivalence.

implies

Logical implication.

le

The first value is less than or equal to the second value based on PartialOrd.

lt

The first value is less than the second value based on PartialOrd.

ne

The values are not equal based on PartialEq.

not

Logical negation.

or

Logical disjunction.