higherkindness.droste.scatter.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of droste-core_sjs1_2.12 Show documentation

recursion schemes for cats; to iterate is human, to recurse, divine

The newest version!

package higherkindness.droste

import cats.Functor
import cats.syntax.functor._

object Scatter {

  def ana[F[_], A]: Scatter[F, A, A] =
    Left(_)

  def gapo[F[_]: Functor, A, B](
      coalgebra: Coalgebra[F, B]
  ): Scatter[F, A, Either[B, A]] = {
    case Left(b)  => Right(coalgebra(b).map(Left(_)))
    case Right(a) => Left(a)
  }

  def apo[F[_]: Functor, A, B](implicit
      project: Project[F, B]
  ): Scatter[F, A, Either[B, A]] =
    gapo(project.coalgebra)
}