cyclops.companion

Interface CompletableFutures.CompletableFutureKind<T>

Type Parameters:

T - Data type stored within the CompletableFuture

All Superinterfaces:

java.util.concurrent.CompletionStage<T>, Convert<Higher<CompletableFutures.CompletableFutureKind.µ,T>>, Higher<CompletableFutures.CompletableFutureKind.µ,T>

All Known Implementing Classes:

CompletableFutures.CompletableFutureKind.Box

Enclosing class:

CompletableFutures

public static interface CompletableFutures.CompletableFutureKind<T>
extends Higher<CompletableFutures.CompletableFutureKind.µ,T>, java.util.concurrent.CompletionStage<T>

Simulates Higher Kinded Types for CompletableFuture's CompletableFutureKind is a CompletableFuture and a Higher Kinded Type (CompletableFutureKind.µ,T)

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	CompletableFutures.CompletableFutureKind.µ Witness type
static class	CompletableFutures.CompletableFutureKind.Box<T>

Method Summary

Modifier and Type	Method and Description
static <T> CompletableFutures.CompletableFutureKind<T>	completedFuture(T value) Construct a HKT encoded completed CompletableFuture
static <T> CompletableFutures.CompletableFutureKind<T>	narrow(Higher<CompletableFutures.CompletableFutureKind.µ,T> future) Convert the raw Higher Kinded Type for CompletableFutureKind types into the CompletableFutureKind type definition class
static <T> java.util.concurrent.CompletableFuture<T>	narrowK(Higher<CompletableFutures.CompletableFutureKind.µ,T> completableFuture) Convert the HigherKindedType definition for a CompletableFuture into
static <T> CompletableFutures.CompletableFutureKind<T>	widen(java.util.concurrent.CompletionStage<T> completableFuture) Convert a CompletableFuture toNested a simulated HigherKindedType that captures CompletableFuture nature and CompletableFuture element data type separately.

Methods inherited from interface com.aol.cyclops2.hkt.Higher

apply_, apply, apply

Methods inherited from interface com.aol.cyclops2.hkt.Convert

convert

Methods inherited from interface java.util.concurrent.CompletionStage

acceptEither, acceptEitherAsync, acceptEitherAsync, applyToEither, applyToEitherAsync, applyToEitherAsync, exceptionally, handle, handleAsync, handleAsync, runAfterBoth, runAfterBothAsync, runAfterBothAsync, runAfterEither, runAfterEitherAsync, runAfterEitherAsync, thenAccept, thenAcceptAsync, thenAcceptAsync, thenAcceptBoth, thenAcceptBothAsync, thenAcceptBothAsync, thenApply, thenApplyAsync, thenApplyAsync, thenCombine, thenCombineAsync, thenCombineAsync, thenCompose, thenComposeAsync, thenComposeAsync, thenRun, thenRunAsync, thenRunAsync, toCompletableFuture, whenComplete, whenCompleteAsync, whenCompleteAsync

Method Detail

completedFuture

static <T> CompletableFutures.CompletableFutureKind<T> completedFuture(T value)

Construct a HKT encoded completed CompletableFuture

Parameters:

value - To encode inside a HKT encoded CompletableFuture

Returns:

Completed HKT encoded CompletableFuture

widen

static <T> CompletableFutures.CompletableFutureKind<T> widen(java.util.concurrent.CompletionStage<T> completableFuture)

Convert a CompletableFuture toNested a simulated HigherKindedType that captures CompletableFuture nature and CompletableFuture element data type separately. Recover via @see CompletableFutureKind#narrow If the supplied CompletableFuture implements CompletableFutureKind it is returned already, otherwise it is wrapped into a CompletableFuture implementation that does implement CompletableFutureKind

Parameters:

CompletableFuture - CompletableFuture toNested widen toNested a CompletableFutureKind

Returns:

CompletableFutureKind encoding HKT info about CompletableFutures

narrow

static <T> CompletableFutures.CompletableFutureKind<T> narrow(Higher<CompletableFutures.CompletableFutureKind.µ,T> future)

Convert the raw Higher Kinded Type for CompletableFutureKind types into the CompletableFutureKind type definition class

Parameters:

future - HKT encoded list into a CompletableFutureKind

Returns:

CompletableFutureKind

narrowK

static <T> java.util.concurrent.CompletableFuture<T> narrowK(Higher<CompletableFutures.CompletableFutureKind.µ,T> completableFuture)

Convert the HigherKindedType definition for a CompletableFuture into

Parameters:

CompletableFuture - Type Constructor toNested convert back into narrowed type

Returns:

CompletableFuture from Higher Kinded Type