extra-safe 0.1.1

A trait hierarchy to help make the SAFE API return errors at compile time.
Documentation 
1
2
3
4
5
6
7
8

use extra_safe::iopat;
use extra_safe::traits::{Absorb, Norm};
use typenum::assert_type_eq;
use typenum::{U2, U3, U4};

fn main() {
    assert_type_eq!(Norm<iopat![Absorb<U2>, Absorb<U3>]>, iopat![Absorb<U4>]);
}