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

add basic functional types again

Browse Source
This commit is contained in:
dfsek
2025-12-28 23:59:46 -07:00
parent 4f672dfb7b
commit ef088dd3f7
6 changed files with 56 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
common/api/src/main/java/com/dfsek/terra/api/util/function/FunctionUtils.java
View File

@@ -1,5 +1,8 @@
package com.dfsek.terra.api.util.function;
import com.dfsek.terra.api.util.generic.either.Either;
import java.util.Optional;
import java.util.function.Consumer;
import java.util.function.Function;
@@ -14,4 +17,9 @@ public final class FunctionUtils {
};
}
@SuppressWarnings("unchecked")
public static <T, L> Either<L, T> toEither(Optional<T> o, L de) {
return (Either<L, T>) o.map(Either::right).orElseGet(() -> Either.left(de));
}
}

8
common/api/src/main/java/com/dfsek/terra/api/util/generic/Functor.java Normal file
View File

@@ -0,0 +1,8 @@
package com.dfsek.terra.api.util.generic;
import java.util.function.Function;
public interface Functor<T, F extends Functor<?, F>> {
<U> Functor<U, F> map(Function<T, U> map);
}

10
common/api/src/main/java/com/dfsek/terra/api/util/generic/Maybe.java Normal file
View File

@@ -0,0 +1,10 @@
package com.dfsek.terra.api.util.generic;
import java.util.Optional;
public interface Maybe<T> {
default Optional<T> toOptional() {
}
}

17
common/api/src/main/java/com/dfsek/terra/api/util/generic/Monad.java Normal file
View File

@@ -0,0 +1,17 @@
package com.dfsek.terra.api.util.generic;
import java.util.function.Function;
/**
* A monad is a monoid in the category of endofunctors.
*/
public interface Monad<T, M extends Monad<?, M>> extends Functor<T, M>, Monoid<T, M> {
<T2> Monad<T2, M> bind(Function<T, Monad<T2, M>> map);
<T2> Monad<T2, M> pure(T2 t);
@Override
default <U> Monad<U, M> map(Function<T, U> map) {
return bind(m -> pure(map.apply(m)));
}
}

8
common/api/src/main/java/com/dfsek/terra/api/util/generic/Monoid.java Normal file
View File

@@ -0,0 +1,8 @@
package com.dfsek.terra.api.util.generic;
public interface Monoid<T, M extends Monoid<?, M>> extends Semigroup<T, M>{
<T1> Monoid<T1, M> pure(T1 t);
@Override
Monoid<T, M> multiply(M t);
}

5
common/api/src/main/java/com/dfsek/terra/api/util/generic/Semigroup.java Normal file
View File

@@ -0,0 +1,5 @@
package com.dfsek.terra.api.util.generic;
public interface Semigroup<T, S extends Semigroup<?, S>> {
Semigroup<T, S> multiply(S t);
}