hybrid-array 0.4.10

Hybrid typenum-based and const generic array types designed to provide the flexibility of typenum-based expressions while also allowing interoperability and a transition path to const generics
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

//! Tests for `ctutils` integration.

#![cfg(feature = "ctutils")]

use ctutils::{Choice, CtAssign, CtEq, CtSelect};
use hybrid_array::{Array, typenum::U3};

#[test]
fn ct_assign() {
    let a: Array<u8, U3> = Array([0, 0, 0]);
    let b: Array<u8, U3> = Array([1, 2, 3]);
    let mut c = a;

    c.ct_assign(&b, Choice::FALSE);
    assert_eq!(a, c);

    c.ct_assign(&b, Choice::TRUE);
    assert_eq!(b, c);
}

#[test]
fn ct_eq() {
    let a: Array<u8, U3> = Array([0, 0, 0]);
    let b: Array<u8, U3> = Array([1, 2, 3]);

    assert!(a.ct_eq(&a).to_bool());
    assert!(!a.ct_ne(&a).to_bool());
    assert!(!a.ct_eq(&b).to_bool());
    assert!(a.ct_ne(&b).to_bool());
}

#[test]
fn ct_select() {
    let a: Array<u8, U3> = Array([0, 0, 0]);
    let b: Array<u8, U3> = Array([1, 2, 3]);

    let c = a.ct_select(&b, Choice::FALSE);
    assert_eq!(a, c);

    let d = a.ct_select(&b, Choice::TRUE);
    assert_eq!(b, d);
}