T
- Data type stored within the Optionalpublic final class OptionalKind<T> extends java.lang.Object implements Higher<OptionalKind.µ,T>
Modifier and Type | Class and Description |
---|---|
static class |
OptionalKind.µ
Witness type
|
Constructor and Description |
---|
OptionalKind() |
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> |
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.
|
public static <T> OptionalKind<T> empty()
public static <T> OptionalKind<T> of(T value)
value
- Value to embed in an Optionalpublic static <T> OptionalKind<T> widen(java.util.Optional<T> Optional)
Optional
- Optional to widen to a OptionalKindpublic static <T> OptionalKind<T> narrow(Higher<OptionalKind.µ,T> future)
future
- HKT encoded list into a OptionalKindpublic static <T> java.util.Optional<T> narrowK(Higher<OptionalKind.µ,T> Optional)
Optional
- Type Constructor to convert back into narrowed typepublic boolean isPresent()
public T get()
public void ifPresent(java.util.function.Consumer<? super T> consumer)
public <U> java.util.Optional<U> map(java.util.function.Function<? super T,? extends U> mapper)
public <U> java.util.Optional<U> flatMap(java.util.function.Function<? super T,java.util.Optional<U>> mapper)
public <X extends java.lang.Throwable> T orElseThrow(java.util.function.Supplier<? extends X> exceptionSupplier) throws X extends java.lang.Throwable
X extends java.lang.Throwable
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object