tofu.syntax.monoidalK.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tofu-core-higher-kind_3 Show documentation

Opinionated set of tools for functional programming in Scala

There is a newer version: 0.13.6

Show newest version

package tofu.syntax
import tofu.higherKind.{Function2K, MonoidalK}

object monoidalK {

  implicit final class TofuMonoidalFOps[U[_[_]], F[_]](private val uf: U[F]) extends AnyVal {
    def zipWithK[G[_], H[_]](ug: U[G])(f2: Function2K[F, G, H])(implicit U: MonoidalK[U]): U[H] =
      U.zipWith2K(uf, ug)(f2)

    def zipWithKTo[H[_]] = new TofuMonoidalZipWithKTo[U, F, H](uf)
  }

  class TofuMonoidalZipWithKTo[U[_[_]], F[_], H[_]] private[tofu] (private val uf: U[F]) extends AnyVal {
    def apply[G[_]](ug: U[G])(f2: Function2K[F, G, H])(implicit U: MonoidalK[U]) = U.zipWith2K(uf, ug)(f2)
  }
}