Added Coalgebra - issue palatable#1

nomicflux · Dec 9, 2019 · 459445e · 459445e
1 parent d83b388
commit 459445e
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/src/main/java/com/jnape/palatable/ouroboros/Coalgebra.java b/src/main/java/com/jnape/palatable/ouroboros/Coalgebra.java
@@ -0,0 +1,15 @@
+package com.jnape.palatable.ouroboros;
+
+import com.jnape.palatable.lambda.functions.Fn1;
+import com.jnape.palatable.lambda.functor.Functor;
+
+/**
+ * A <code>{@link Coalgebra}&lt;A, F&gt;</code> for some carrier type <code>A</code> and some {@link Functor}
+ * <code>F</code> is a morphism <code>A -&gt; F&lt;A&gt;</code>.
+ *
+ * @param <A> the carrier type
+ * @param <F> the {@link Functor} witness
+ */
+@FunctionalInterface
+public interface Coalgebra<A, F extends Functor<A, ?>> extends Fn1<A, F> {
+}