fibonacci_codec 0.2.0

Implementation of fibonacci coding for primitive integer types
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

use proptest;

use fibonacci_codec::{fib_decode_u16, fib_decode_u32, fib_decode_u64, fib_decode_u8};
use fibonacci_codec::{Encode, EncodeOne};

use proptest::prelude::*;

proptest! {
   #[test]
    fn roundtrips(input in any::<u64>().prop_filter("Values must be >0".to_owned(),
                                                    |v| *v > 0)) {
        let bits = input.fib_encode().expect("Expected an Ok result");
        if input <= 0xff {
            let decoded: Vec<u8> = fib_decode_u8(&bits).filter_map(|x| x.ok()).collect();
            prop_assert_eq!(decoded, vec![input as u8], "Decoding as u8");
        }
        if input <= 0xffff {
            let decoded: Vec<u16> = fib_decode_u16(&bits).filter_map(|x| x.ok()).collect();
            prop_assert_eq!(decoded, vec![input as u16], "Decoding as u16");
        }
        if input <= 0xffffffff {
            let decoded: Vec<u32> = fib_decode_u32(&bits).filter_map(|x| x.ok()).collect();
            prop_assert_eq!(decoded, vec![input as u32], "Decoding as u32");
        }
        let decoded: Vec<u64> = fib_decode_u64(&bits).filter_map(|x| x.ok()).collect();
        prop_assert_eq!(decoded, vec![input as u64], "Decoding as u64");
    }

    #[test]
    fn roundtrips_array(ref input in
                        proptest::collection::vec(any::<u64>().prop_filter("Values must be >0".to_owned(),
                                                                           |v| *v > 0),
                                                  1..100)) {
        let bits = input.clone().fib_encode().expect("Expected an Ok result");
        let decoded: Vec<u64> = fib_decode_u64(bits).filter_map(|x| x.ok()).collect();
        prop_assert_eq!(decoded, input.clone());
    }
}