- Type Parameters:
T1
- Core type
T2
- Data type of elements in Core Type
- All Superinterfaces:
- Convert<Higher<Higher<Higher<Higher<T1,T2>,T3>,T4>,T5>>, Higher<Higher<Higher<Higher<T1,T2>,T3>,T4>,T5>, Higher2<Higher<Higher<T1,T2>,T3>,T4,T5>, Higher3<Higher<T1,T2>,T3,T4,T5>, io.kindedj.Hk<Higher<Higher<Higher<T1,T2>,T3>,T4>,T5>
- All Known Subinterfaces:
- LazyEither4<LT1,LT2,LT3,RT>
- All Known Implementing Classes:
- LazyEither4.CompletableEither4, LazyEither4.Lazy, LazyEither4.Left1, LazyEither4.Left2, LazyEither4.Left3, LazyEither4.Right, Tuple4
public interface Higher4<T1,T2,T3,T4,T5>
extends Higher3<Higher<T1,T2>,T3,T4,T5>
Higher Kinded Type - a core type (e.g. a List) and a data type of the elements within the List (e.g. Integers).