com.oath.cyclops.hkt

Interface Higher<T1,T2>

Type Parameters:

T1 - Core type

T2 - Data type of elements in Core Type

All Superinterfaces:

Convert<Higher<T1,T2>>, io.kindedj.Hk<T1,T2>

All Known Subinterfaces:

BankersQueue<T>, DIET<T>, Either<LT,RT>, EqualTo<W,T1,T>, Eval<T>, Higher2<T1,T2,T3>, Higher3<T1,T2,T3,T4>, Higher4<T1,T2,T3,T4,T5>, IO<T>, Ior<LT,RT>, LazyEither<LT,RT>, LazyEither3<LT1,LT2,RT>, LazyEither4<LT1,LT2,LT3,RT>, LazySeq<T>, Maybe<T>, Option<T>, OrderedBy<W,T1,T2>, ReactiveSeq<T>, Seq<T>, Validated<E,T>

All Known Implementing Classes:

Bag, BankersQueue.Cons, BankersQueue.Nil, BaseExtendedStream, DIET.Nil, DIET.Node, DifferenceList, Either.Left, Either.Right, Eval.CompletableEval, Eval.Module.Always, Eval.Module.FutureAlways, Eval.Module.Later, Future, HashMap, HashSet, IntMap, IO.ReactiveSeqIO, IO.SyncIO, IO.SyncIO.SyncManaged, Ior.Both, Ior.Primary, Ior.Secondary, LazyEither.CompletableEither, LazyEither.Lazy, LazyEither.Left, LazyEither.Right, LazyEither3.CompletableEither3, LazyEither3.Lazy, LazyEither3.Left1, LazyEither3.Left2, LazyEither3.Right, LazyEither4.CompletableEither4, LazyEither4.Lazy, LazyEither4.Left1, LazyEither4.Left2, LazyEither4.Left3, LazyEither4.Right, LazySeq.Cons, LazySeq.Lazy, LazySeq.Nil, LazyString, LinkedMap, Managed, Maybe.CompletableMaybe, Maybe.Just, Maybe.Lazy, Maybe.Nothing, NonEmptyList, OneShotStreamX, Option.None, Option.Some, Range, ReactiveStreamX, Seq.Cons, Seq.Nil, SpliteratorBasedStream, StreamX, Tree, TreeMap, TreeSet, TrieMap, TrieSet, Try, Tuple1, Tuple2, Tuple3, Tuple4, Validated.Async, Validated.Invalid, Validated.Valid, Vector, Zipper

public interface Higher<T1,T2>
extends Convert<Higher<T1,T2>>, io.kindedj.Hk<T1,T2>

Higher Kinded Type - a core type (e.g. a List) and a data type of the elements within the List (e.g. Integers).

Method Summary

Modifier and Type	Method and Description
default <T3,R> Higher<T1,R>	applyHKT_(java.util.function.BiFunction<? super T3,? super Higher<T1,T2>,? extends Higher<T1,R>> biFn, T3 param)
default <R> Higher<T1,R>	applyHKT(java.util.function.Function<? super Higher<T1,T2>,? extends Higher<T1,R>> fn)
default <T3,R> Higher<T1,R>	applyHKT(T3 param, java.util.function.BiFunction<? super Higher<T1,T2>,? super T3,? extends Higher<T1,R>> biFn)

Methods inherited from interface com.oath.cyclops.hkt.Convert

convert

Method Detail

applyHKT_

default <T3,R> Higher<T1,R> applyHKT_(java.util.function.BiFunction<? super T3,? super Higher<T1,T2>,? extends Higher<T1,R>> biFn,
                                      T3 param)

applyHKT

default <R> Higher<T1,R> applyHKT(java.util.function.Function<? super Higher<T1,T2>,? extends Higher<T1,R>> fn)

applyHKT

default <T3,R> Higher<T1,R> applyHKT(T3 param,
                                     java.util.function.BiFunction<? super Higher<T1,T2>,? super T3,? extends Higher<T1,R>> biFn)