ucsi 0.1.0

SI-based unit typing system
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

use super::base::BaseUnitMap;

pub struct SiDefinedUnitDefinition {
    pub full_name: &'static str,
    pub short_name: &'static str,
    pub unit_symbol: &'static str,
}

pub trait SiDefinedUnit: SiAnyUnit {
    const DEF: Option<SiDefinedUnitDefinition>;
}

pub trait SiOpsUnit: SiAnyUnit {
    const UNIT_MAP: BaseUnitMap;
}

pub trait SiAnyUnit {}

pub const fn is_same_type<T: SiOpsUnit, U: SiOpsUnit>() -> bool {
    T::UNIT_MAP.simplify().eq(&U::UNIT_MAP.simplify())
}

pub const fn is_same_type_or_panic<T: SiOpsUnit, U: SiOpsUnit>() {
    if !is_same_type::<T, U>() {
        panic!("cannot cast si type")
    }
}

pub trait CastFrom<T: SiOpsUnit> {
    /// This should be theoretically `true` and should never be `false`.
    const CAN_CAST_FROM: bool;
}

impl<T: SiOpsUnit, B: SiOpsUnit> CastFrom<T> for B {
    const CAN_CAST_FROM: bool = {
        is_same_type_or_panic::<T, B>();
        true
    };
}