len_constraints 0.1.2

Traits and types to implement type-pinned length constraints in your API
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
44
45

use len_constraints::{
	ConstraintViolation,
	type_math::{ Sub, _4, _8 }
};


#[test]
fn test_constraint_violation_fixed() {
	assert_eq!(ConstraintViolation::fixed::<_8>(7).by, -1);
	assert_eq!(ConstraintViolation::fixed::<_8>(9).by,  1);
}
#[test] #[should_panic]
fn test_constraint_violation_fixed_panic() {
	ConstraintViolation::fixed::<_8>(8);
}


#[test]
fn test_constraint_violation_range() {
	assert_eq!(ConstraintViolation::ranged::<_4, _8>(3).by, -1);
	assert_eq!(ConstraintViolation::ranged::<_4, _8>(8).by,  1);
}
#[test] #[should_panic]
fn test_constraint_violation_range_panic_0() {
	assert_eq!(ConstraintViolation::ranged::<_4, _8>(4).by, -1);
}
#[test] #[should_panic]
fn test_constraint_violation_range_panic_1() {
	assert_eq!(ConstraintViolation::ranged::<_4, _8>(7).by, 1);
}


#[test]
fn test_constraint_violation_relative() {
	assert_eq!(ConstraintViolation::relative::<Sub, _4>(2, 7).by, -1);
	assert_eq!(ConstraintViolation::relative::<Sub, _4>(4, 7).by,  1);
}
#[test] #[should_panic]
fn test_constraint_violation_relative_panic_0() {
	ConstraintViolation::relative::<Sub, _4>(0xDEAD, 3);
}
#[test] #[should_panic]
fn test_constraint_violation_relative_panic_1() {
	ConstraintViolation::relative::<Sub, _4>(3, 7);
}