Crate sigma_types

Types that maintain a given invariant.

Structs

• All
  Iterable data structure in which each element satisfies a given invariant.
• AllPairs
  Iterable data structure in which each adjacent pair of elements satisfies a given invariant.
• Negative
  A term expected to be non-negative was, in fact, negative.
• NonNegativeInvariant
  Non-negative terms (defined by comparison to zero).
• NonPositive
  A term expected to be positive was not.
• NotAll
  At least one element in an iterator did not satisfy the given invariant.
• NotAllPairs
  At least one pair in an iterator did not satisfy the given invariant.
• NotOnUnit
  Term expected to be on the unit interval (between 0 and 1) was not.
• OnUnitInvariant
  Terms on the unit interval (between 0 and 1), either inclusive or exclusive at each extreme.
• PositiveInvariant
  Positive terms (defined by comparison to zero).
• Sigma
  Type that maintains a given invariant.
• SortedPair
  Pair guaranteed to be sorted left-to-right (optionally permitted to be equal).

Enums

• OutOfOrder
  Some elements in a supposedly sorted iterator were not sorted.

Traits

• One
  Types equipped with a multiplicative identity (i.e., one).
• Test
  Function-like type that checks an invariant and optionally provides an error message.
• Zero
  Types equipped with an additive identity (i.e., zero).

Type Aliases

• NonNegative
  Non-negative terms (defined by comparison to zero).
• OnUnit
  Terms on the unit interval (between 0 and 1), either inclusive or exclusive at each extreme.
• Positive
  Positive terms (defined by comparison to zero).
• Sorted
  Iterable data structure guaranteed to be sorted (optionally with or without duplicates).
• SortedInvariant
  Iterable data structure guaranteed to be sorted (optionally with or without duplicates).