sigma-types 0.2.2

Types checked for an invariant.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

//! Types that maintain a given invariant.

#![cfg_attr(not(feature = "std"), no_std)]

mod all;
mod all_pairs;

#[cfg(all(not(feature = "std"), feature = "quickcheck"))]
extern crate alloc;

mod invariant;
mod non_negative;
mod on_unit;

#[cfg(not(feature = "malachite"))]
mod one;

mod positive;
mod sigma;
mod sorted;

#[cfg(test)]
mod test;

#[cfg(not(feature = "malachite"))]
mod zero;

pub use {
    all::{All, NotAll},
    all_pairs::{AllPairs, NotAllPairs},
    invariant::Test,
    non_negative::{Negative, NonNegative, NonNegativeInvariant},
    on_unit::{NotOnUnit, OnUnit, OnUnitInvariant},
    positive::{NonPositive, Positive, PositiveInvariant},
    sigma::Sigma,
    sorted::{OutOfOrder, Sorted, SortedInvariant, SortedPair},
};

#[cfg(feature = "malachite")]
pub use malachite_base::num::basic::traits::{One, Zero};

#[cfg(not(feature = "malachite"))]
pub use {one::One, zero::Zero};