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