partial_functional/
hkt.rs

1pub trait HKT<A, B> {
2    type URI;
3    type Target;
4}
5
6impl<A, B> HKT<A, B> for Option<A> {
7    type URI = Self;
8    type Target = Option<B>;
9}
10
11impl<A, B, E> HKT<A, B> for Result<A, E> {
12    type URI = Self;
13    type Target = Result<B, E>;
14}