Skip to content

Commit 250a0c6

Browse files
authored
Update Corecursive.kt
1 parent 2b9d9b1 commit 250a0c6

File tree

1 file changed

+2
-2
lines changed
  • kategory-recursion/src/main/kotlin/kategory/recursion/typeclass

1 file changed

+2
-2
lines changed
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
package kategory
22

3-
interface Corecursive<F, G> {
3+
interface Corecursive<F, G> : Typeclass {
44
fun embedT(compFG: HK<Nested<F, G>, HK<F, G>>): HK<F, G>
55

66
fun <A> ana(a: A, f: Coalgebra<Nested<F, G>, A>, FF: Functor<F>, FG: Functor<G>): HK<F, G> =
77
hylo(a, { embedT(it) }, f, ComposedFunctor(FF, FG))
88

99
fun <M, A> anaM(a: A, f: CoalgebraM<M, Nested<F, G>, A>, AG: Applicative<G>, TF: Traverse<F>, TG: Traverse<G>, MM: Monad<M>): HK<M, HK<F, G>> =
1010
hyloM(a, { MM.pure(embedT(it)) }, f, ComposedTraverse(TF, TG, AG), MM)
11-
}
11+
}

0 commit comments

Comments
 (0)