cyclops.higherkindedtypes

Class OptionalKind<T>

java.lang.Object

cyclops.higherkindedtypes.OptionalKind<T>

Type Parameters:

T - Data type stored within the Optional

All Implemented Interfaces:

Convert<Higher<OptionalKind.µ,T>>, Higher<OptionalKind.µ,T>

public final class OptionalKind<T>
extends java.lang.Object
implements Higher<OptionalKind.µ,T>

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OptionalKind.µ Witness type

Constructor Summary

Constructors

Constructor and Description
OptionalKind()

Method Summary

Modifier and Type	Method and Description
static <T> OptionalKind<T>	empty()
boolean	equals(java.lang.Object obj)
java.util.Optional<T>	filter(java.util.function.Predicate<? super T> predicate)
<U> java.util.Optional<U>	flatMap(java.util.function.Function<? super T,java.util.Optional<U>> mapper)
T	get()
int	hashCode()
void	ifPresent(java.util.function.Consumer<? super T> consumer)
boolean	isPresent()
<U> java.util.Optional<U>	map(java.util.function.Function<? super T,? extends U> mapper)
static <T> OptionalKind<T>	narrow(Higher<OptionalKind.µ,T> future) Convert the raw Higher Kinded Type for OptionalKind types into the OptionalKind type definition class
static <T> java.util.Optional<T>	narrowK(Higher<OptionalKind.µ,T> Optional) Convert the HigherKindedType definition for a Optional into
static <T> OptionalKind<T>	of(T value)
T	orElse(T other)
T	orElseGet(java.util.function.Supplier<? extends T> other)
<X extends java.lang.Throwable> T	orElseThrow(java.util.function.Supplier<? extends X> exceptionSupplier)
java.lang.String	toString()
static <T> OptionalKind<T>	widen(java.util.Optional<T> Optional) Convert a Optional to a simulated HigherKindedType that captures Optional nature and Optional element data type separately.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

apply_, apply, transform

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

convert

Constructor Detail

OptionalKind

public OptionalKind()

Method Detail

empty

public static <T> OptionalKind<T> empty()

Returns:

An HKT encoded empty Optional

of

public static <T> OptionalKind<T> of(T value)

Parameters:

value - Value to embed in an Optional

Returns:

An HKT encoded Optional

widen

public static <T> OptionalKind<T> widen(java.util.Optional<T> Optional)

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

Parameters:

Optional - Optional to widen to a OptionalKind

Returns:

OptionalKind encoding HKT info about Optionals

narrow

public static <T> OptionalKind<T> narrow(Higher<OptionalKind.µ,T> future)

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

Parameters:

future - HKT encoded list into a OptionalKind

Returns:

OptionalKind

narrowK

public static <T> java.util.Optional<T> narrowK(Higher<OptionalKind.µ,T> Optional)

Convert the HigherKindedType definition for a Optional into

Parameters:

Optional - Type Constructor to convert back into narrowed type

Returns:

Optional from Higher Kinded Type

isPresent

public boolean isPresent()

get

public T get()

ifPresent

public void ifPresent(java.util.function.Consumer<? super T> consumer)

filter

public java.util.Optional<T> filter(java.util.function.Predicate<? super T> predicate)

map

public <U> java.util.Optional<U> map(java.util.function.Function<? super T,? extends U> mapper)

flatMap

public <U> java.util.Optional<U> flatMap(java.util.function.Function<? super T,java.util.Optional<U>> mapper)

orElse

public T orElse(T other)

orElseGet

public T orElseGet(java.util.function.Supplier<? extends T> other)

orElseThrow

public <X extends java.lang.Throwable> T orElseThrow(java.util.function.Supplier<? extends X> exceptionSupplier)
                                              throws X extends java.lang.Throwable

Throws:

X extends java.lang.Throwable

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object