entoli 0.1.2

A functional programming library inspired by haskell.
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

pub trait Hkt1 {
    type HktArg1;
}

pub trait Hkt2 {
    type HktArg1;
    type HktArg2;
}

#[macro_export]
macro_rules! impl_hkt1 {
    ($type_constructor:ident) => {
        impl<T1> Hkt1 for $type_constructor<T1> {
            type HktArg1 = T1;
        }
    };
}

#[macro_export]
macro_rules! impl_hkt2 {
    ($type_constructor:ident) => {
        impl<T1, T2> Hkt2 for $type_constructor<T1, T2> {
            type HktArg1 = T1;
            type HktArg2 = T2;
        }
    };
}