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

implement MonadAddonInitializer

Browse Source
This commit is contained in:
dfsek
2022-08-15 10:06:29 -07:00
parent 97854e3037
commit 0609a7cf6b
11 changed files with 206 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
common/api/src/main/java/com/dfsek/terra/api/util/function/Functions.java Normal file
View File

@@ -0,0 +1,14 @@
package com.dfsek.terra.api.util.function;
import java.util.function.Function;
public final class Functions {
private Functions() {
}
public static <T, U> Function<T, U> constant(U value) {
return ignore -> value;
}
}

4
common/api/src/main/java/com/dfsek/terra/api/util/function/functor/Functor.java
View File

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

12
common/api/src/main/java/com/dfsek/terra/api/util/function/monad/Monad.java
View File

@@ -1,8 +1,16 @@
package com.dfsek.terra.api.util.function.monad;
import com.dfsek.terra.api.util.function.functor.Functor;
import java.util.function.Function;
public interface Monad<T> {
<U> Monad<U> bind(Function<T, Monad<U>> map);
public interface Monad<T, M extends Monad<?, M>> extends Functor<T, M> {
<U> Monad<U, M> bind(Function<T, Monad<U, M>> map);
default <U> Monad<U, M> map(Function<T, U> fn) {
return bind(a -> pure(fn.apply(a)));
}
<U> Monad<U, M> pure(U u);
}