tofu.higherKind.bi.EmbedBK.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.higherKind.bi

import tofu.control.Bind

trait EmbedBK[U[f[_, _]]] {
  def biembed[F[_, _]: Bind](fu: F[U[F], U[F]]): U[F]
}

object EmbedBK {
  def apply[U[f[_, _]]](implicit u: EmbedBK[U]): EmbedBK[U] = u

  def of[F[_, _]: Bind, U[f[_, _]]](uf: F[U[F], U[F]])(implicit embed: EmbedBK[U]): U[F] =
    embed.biembed(uf)
}