• Home
• tf.tofu
• tofu-core-higher-kind_3
• 0.13.3
• source code
• PureBK.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.PureBK.scala Maven / Gradle / Ivy

package tofu.higherKind.bi

trait UnitalBK[U[f[_, _]]] {
  def unitB: U[UnitBK]
}

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

trait PureBK[U[_[_, _]]] extends UnitalBK[U] {
  def pureB[F[_, _]](point: BiPoint[F]): U[F]

  def unitB: U[UnitBK] = pureB(BiPoint.unit)
}

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