typsy 0.1.0

Heterogenous containers
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

use crate::hlist::{Cons, HList, Nil};

include!(concat!(env!("OUT_DIR"), "/convert_tuple.rs"));

pub trait Convert {
    type HList: HList;

    fn into_hlist(self) -> Self::HList;
    fn from_hlist(hlist: Self::HList) -> Self;
}

impl Convert for Nil {
    type HList = Self;

    fn into_hlist(self) -> Self::HList { Self }
    fn from_hlist(Nil: Self::HList) -> Self { Self }
}

impl<T, R: HList> Convert for Cons<T, R> {
    type HList = Self;

    fn into_hlist(self) -> Self::HList { self }
    fn from_hlist(this: Self::HList) -> Self { this }
}