typic 0.3.0

Type-safe transmutations between layout-compatible 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

//! Type-level numbers.

pub use core::ops::*;
pub use typenum::{self, consts::*, operator_aliases::*, type_operators::*, uint::*, Unsigned};

pub trait SaturatingSub<RHS> {
    type Output;
}

impl<LHS, RHS> SaturatingSub<RHS> for LHS
where
    LHS: Min<RHS> + core::ops::Sub<Minimum<LHS, RHS>>,
{
    type Output = typenum::Diff<LHS, Minimum<LHS, RHS>>;
}

pub trait RoundUpTo<Multiple> {
    type Output: Unsigned;
}

impl<N, Multiple> RoundUpTo<Multiple> for N
where
    N: Add<Multiple>,
    Sum<N, Multiple>: Sub<B1>,
    Sub1<Sum<N, Multiple>>: Rem<Multiple>,
    Sub1<Sum<N, Multiple>>: Sub<Mod<Sub1<Sum<N, Multiple>>, Multiple>>,

    Diff<Sub1<Sum<N, Multiple>>, Mod<Sub1<Sum<N, Multiple>>, Multiple>>: Unsigned,
{
    type Output = Diff<Sub1<Sum<N, Multiple>>, Mod<Sub1<Sum<N, Multiple>>, Multiple>>;
}