dana 0.4.0

Compile-time dimensional analysis via generic types.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use num_traits::Inv;
use dana::dimension::*;


#[test]
fn test_dimensions() {
    assert_eq!(format!("{}", Length::new()), "L");
    assert_eq!(format!("{}", Velocity::new()), "L*T^-1");
    assert_eq!(format!("{}", Accel::new()), "L*T^-2");

    let _: Accel = Velocity::new() / Time::new();
    let _: Accel = Velocity::new() * Time::new().inv();
    let _: Length = Velocity::new() * Time::new();
    let _: Torque = Length::new() * Force::new();
}