- Type Parameters:
T1
- Core type
T2
- Data type of elements in Core Type
- All Superinterfaces:
- Convert<Higher<Higher<T1,T2>,T3>>, Higher<Higher<T1,T2>,T3>
- All Known Subinterfaces:
- Either<LT,RT>, Either3<LT1,LT2,RT>, Either4<LT1,LT2,LT3,RT>, FreeAp<F,T>, Higher3<T1,T2,T3,T4>, Higher4<T1,T2,T3,T4,T5>, Ior<ST,PT>, Xor<ST,PT>
- All Known Implementing Classes:
- Cofree, Constant, Coproduct, Coyoneda, Either.CompletableEither, Either.Lazy, Either.Left, Either.Right, Either3.CompletableEither3, Either3.Lazy, Either3.Left1, Either3.Left2, Either3.Right, Either4.CompletableEither4, Either4.Lazy, Either4.Left1, Either4.Left2, Either4.Left3, Either4.Right, Free, FreeAp.Ap, FreeAp.Pure, Ior.Both, Ior.Primary, Ior.Secondary, Kleisli, Nested, Product, ReaderWriterState, State, Try, Writer, Xor.Primary, Xor.Secondary
public interface Higher2<T1,T2,T3>
extends Higher<Higher<T1,T2>,T3>
Higher Kinded Type - a core type (e.g. a List) and a data type of the elements within the List (e.g. Integers).