discrete 0.6.0

Combinatorial phantom types for discrete mathematics
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

extern crate discrete;

use discrete::*;

fn main() {
    println!("One way to create a square of pairs is using `(Dimension, Dimension):`");
    let s: (Dimension, Dimension) = Construct::new();
    println!("{}", s.count(&(2, 2)));

    println!("Another way is to use `DimensionN`:");
    let s: DimensionN = Construct::new();
    println!("{}", s.count(&vec![2, 2]));

    println!("Or, to avoid needing specifying the dimension twice, one can use `SqPair`:");
    let s: SqPair = Construct::new();
    println!("{}", s.count(&2));

    let mut p = s.zero(&2);
    for i in 0..4 {
        s.to_pos(&2, i, &mut p);
        println!("{:?}", p);
    }

    println!("One can also create a square of another discrete space, e.g. `SqPair<Of<Pair>>`:");
    let s: SqPair<Of<Pair>> = Construct::new();
    let n = 3;
    let count = s.count(&n);
    println!("{}", count);

    let mut p = s.zero(&n);
    for i in 0..count {
        s.to_pos(&n, i, &mut p);
        println!("{:?}", p);
    }
}