• Home
• tf.tofu
• tofu-core-higher-kind_2.13
• 0.13.6
• source code
• MonoidalBK.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

tofu.higherKind.bi.MonoidalBK.scala Maven / Gradle / Ivy

package tofu.higherKind.bi

trait MonoidalBK[U[f[_, _]]] extends SemigroupalBK[U] with PureBK[U] {
  def mapb[F[_, _], G[_, _]](uf: U[F])(f: FunBK[F, G]): U[G] =
    map2b(uf, unitB)(Fun2BK.apply[F, UnitBK]((fa, _) => f(fa)))
}

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