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

experimenting with kinds and higher order types, not done yet

Browse Source
This commit is contained in:
dfsek
2025-12-29 16:02:18 -07:00
parent ef088dd3f7
commit f684c60039
7 changed files with 60 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -0,0 +1,10 @@
package com.dfsek.terra.api.util.generic;
import java.util.function.Function;
public interface Applicative<T, A extends K<A, T>> extends Functor<T> {
<U, A1 extends K<A1, U>> Applicative<U, A1> pure(U t);
<U, A1 extends K<A1, U>> Applicative<U, A1> apply(K<A, Function<T, U>> amap);
}

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

@@ -3,6 +3,6 @@ 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);
public interface Functor<T> {
<U> Functor<U> map(Function<T, U> map);
}

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

@@ -0,0 +1,11 @@
package com.dfsek.terra.api.util.generic;
/**
* Kind
*/
public interface K<T, U> {
@SuppressWarnings("unchecked")
default T self() {
return (T) this;
}
}

19
common/api/src/main/java/com/dfsek/terra/api/util/generic/Maybe.java
View File

@@ -1,10 +1,27 @@
package com.dfsek.terra.api.util.generic;
import java.util.Optional;
import java.util.function.Function;
public interface Maybe<T> {
public interface Maybe<T> extends Monad<T, Maybe<?>> {
@Override
<T2> Maybe<T2> bind(Function<T, Monad<T2, Maybe<?>>> map);
@Override
<T2> Maybe<T2> identity();
@Override
<U> Maybe<U> map(Function<T, U> map);
@Override
Monad<T, Maybe<?>> multiply(Maybe<?> t);
default Optional<T> toOptional() {
}
record Just<T>(T value) implements Maybe<T> {
}
}

20
common/api/src/main/java/com/dfsek/terra/api/util/generic/Monad.java
View File

@@ -6,12 +6,24 @@ 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);
public interface Monad<T, M extends K<M, T>> extends Applicative<T, M>, Monoid<T, M>{
<T2, M2 extends K<M2, T2>> Monad<T2, M2> bind(Function<T, Monad<T2, M2>> map);
@Override
<T2, M2 extends K<M2, T2>> Monad<T2, M2> identity();
@Override
default <U> Monad<U, M> map(Function<T, U> map) {
<U, M2 extends K<M2, U>> Monad<U, M2> pure(U t);
@Override
Monad<T, M> multiply(M t);
@Override
default <U, M2 extends K<M2, U>> Monad<U, M2> map(Function<T, U> map) {
return bind(m -> pure(map.apply(m)));
}
@Override
default <U, A1 extends K<A1, U>> Monad<U, A1> apply(K<M, Function<T, U>> amap) {
amap.self()
}
}

4
common/api/src/main/java/com/dfsek/terra/api/util/generic/Monoid.java
View File

@@ -1,7 +1,7 @@
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);
public interface Monoid<T, M extends K<M, T>> extends Semigroup<T, M>{
<T1, M1 extends K<M1, T1>> Monoid<T1, M1> identity();
@Override
Monoid<T, M> multiply(M t);

2
common/api/src/main/java/com/dfsek/terra/api/util/generic/Semigroup.java
View File

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