kinds 0.2.0

Higher-Kinded Types simulated by GATs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

pub mod kind;

#[cfg(test)]
mod tests {
    use super::*;
    use kind::kinds;

    #[test]
    fn kinds() {
        fn generic<'a, K: kind::Kind<'a>>(xs: K::F<i32>) -> i32
        where
            K::F<i32>: IntoIterator<Item = i32>,
            K::F<i32>: Sized,
        {
            xs.into_iter().sum()
        }

        let sum = generic::<kinds::std::vec::Vec>(vec![1, 2, 3, 4, 5]);
        assert_eq!(sum, 15);
    }
}