type_eq 0.1.2

Tiny utils for type-level constraints and inference
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

extern crate type_eq;
use type_eq::{Constrain, Has, TypeEq}; 

struct X;
struct Y;

struct Point<T> { x: T, y: T }

impl<T: Copy> Has<X> for Point<T> {
    type Val = T;
    fn get<P>(&self) -> Self::Val
    where
        Constrain: TypeEq<X, P> 
    {
        self.x
    }
}

impl<T: Copy> Has<Y> for Point<T> {
    type Val = T;
    fn get<P>(&self) -> Self::Val
    where
        Constrain: TypeEq<Y, P> 
    {
        self.y
    }
}

fn main() {
    let p = Point { x: 3, y: 5 };
    assert_eq!(3, p.get::<X>());
    assert_eq!(5, p.get::<Y>());
}