Crate sigma_types

Types that maintain a given invariant.

Structs

• Sigma
  Type that maintains a given invariant.
• SortedInvariant
  Ensure that an iterable data structure is sorted (optionally with or without duplicates).

Enums

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

Traits

• Test
  Function-like type that checks an invariant and optionally provides an error message.

Type Aliases

• Sorted
  Iterable data structure guaranteed to be sorted (optionally with or without duplicates).