arrow-recursion-data / arrow.recursion / coelgot

coelgot

fun <F, A, B> A.coelgot(f: (Tuple2<A, Eval<Kind<F, B>>>) -> B, coalg: Coalgebra<F, A>, FF: Functor<F>): B

Refold but may short circuit at any time during deconstruction

Do you like Arrow?

Arrow Org
<