mirrors/Terra
1
0
Fork 0
mirror of https://github.com/PolyhedralDev/Terra.git synced 2026-02-16 10:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

finish maybe

Browse Source
This commit is contained in:
dfsek
2025-12-29 18:23:42 -07:00
parent 7d3382e623
commit d52cd0d7cf
1 changed files with 56 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

81
common/api/src/main/java/com/dfsek/terra/api/util/generic/data/types/Maybe.java
View File

@@ -4,6 +4,7 @@ import com.dfsek.terra.api.util.generic.control.Monad;
import java.util.Optional;
import java.util.function.Function;
import java.util.function.Supplier;
public interface Maybe<T> extends Monad<T, Maybe<?>> {
@@ -17,36 +18,66 @@ public interface Maybe<T> extends Monad<T, Maybe<?>> {
Optional<T> toOptional();
<L> Either<L, T> toEither(L l);
T get(Supplier<T> def);
default T get(T def) {
return get(() -> def);
}
default <T1> Maybe<T1> overwrite(Maybe<T1> m) {
return bind(ignore -> m);
}
static <T1> Maybe<T1> just(T1 t) {
record Just<T>(T value) implements Maybe<T> {
@Override
public Optional<T> toOptional() {
return Optional.of(value);
}
@Override
public <L> Either<L, T> toEither(L l) {
return Either.right(value);
}
@Override
public T get(Supplier<T> def) {
return value;
}
@Override
public <T2> Maybe<T2> bind(Function<T, Monad<T2, Maybe<?>>> map) {
return (Maybe<T2>) map.apply(value);
}
}
return new Just<>(t);
}
static <T1> Maybe<T1> nothing() {
record Nothing<T>() implements Maybe<T> {
@Override
public <T2> Maybe<T2> bind(Function<T, Monad<T2, Maybe<?>>> map) {
return nothing();
}
@Override
public Optional<T> toOptional() {
return Optional.empty();
}
@Override
public <L> Either<L, T> toEither(L l) {
return Either.left(l);
}
@Override
public T get(Supplier<T> def) {
return def.get();
}
}
return new Nothing<>();
}
record Just<T>(T value) implements Maybe<T> {
@Override
public Optional<T> toOptional() {
return Optional.of(value);
}
@Override
public <T2> Maybe<T2> bind(Function<T, Monad<T2, Maybe<?>>> map) {
return (Maybe<T2>) map.apply(value);
}
}
record Nothing<T>() implements Maybe<T> {
@Override
public <T2> Maybe<T2> bind(Function<T, Monad<T2, Maybe<?>>> map) {
return nothing();
}
@Override
public Optional<T> toOptional() {
return Optional.empty();
}
}
}