Trait rust2fun::higher::Higher2

pub trait Higher2 {
    type Param1;
    type Param2;
    type Target<T1, T2>: Higher2<Param1 = T1, Param2 = T2>;
}

Implementation of Higher Kinded Type for a type of kind *, * -> *, *.

Required Associated Types

type Param1

First type parameter abstracted by Higher2, e.g. Result<Param1, _>.

type Param2

Second type parameter abstracted by Higher2, e.g. Result<_, Param2>.

type Target<T1, T2>: Higher2<Param1 = T1, Param2 = T2>

Swapped higher type for 2 types, e.g. Target = Result<T1, T2>.

Implementations on Foreign Types

impl<P, E> Higher2 for Result<P, E>

type Param1 = P

type Param2 = E

type Target<TP, TE> = Result<TP, TE>

impl<A, B> Higher2 for (A, B)

type Param1 = A

type Param2 = B

type Target<TA, TB> = (TA, TB)

impl<K, V> Higher2 for HashMap<K, V>

type Param1 = K

type Param2 = V

type Target<TK, TV> = HashMap<TK, TV, RandomState>

Implementors

impl<T, E> Higher2 for Validated<T, E>

type Param1 = T

type Param2 = E

type Target<TV, TE> = Validated<TV, TE>