cyclops.higherkindedtypes

Interface CompletableFutureKind<T>

Type Parameters:

T - Data type stored within the CompletableFuture

All Superinterfaces:

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

All Known Implementing Classes:

CompletableFutureKind.Box

public interface CompletableFutureKind<T>
extends Higher<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	CompletableFutureKind.µ Witness type
static class	CompletableFutureKind.Box<T>

Method Summary

Modifier and Type	Method and Description
static <T> CompletableFutureKind<T>	completedFuture(T value) Construct a HKT encoded completed CompletableFuture
static <T> CompletableFutureKind<T>	narrow(Higher<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<CompletableFutureKind.µ,T> completableFuture) Convert the HigherKindedType definition for a CompletableFuture into
static <T> CompletableFutureKind<T>	widen(java.util.concurrent.CompletionStage<T> completableFuture) Convert a CompletableFuture to a simulated HigherKindedType that captures CompletableFuture nature and CompletableFuture element data type separately.

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

apply_, apply, transform

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> 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> CompletableFutureKind<T> widen(java.util.concurrent.CompletionStage<T> completableFuture)

Convert a CompletableFuture to 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 to widen to a CompletableFutureKind

Returns:

CompletableFutureKind encoding HKT info about CompletableFutures

narrow

static <T> CompletableFutureKind<T> narrow(Higher<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<CompletableFutureKind.µ,T> completableFuture)

Convert the HigherKindedType definition for a CompletableFuture into

Parameters:

CompletableFuture - Type Constructor to convert back into narrowed type

Returns:

CompletableFuture from Higher Kinded Type