tofu.internal.instances.DelayInstance.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tofu-kernel_3 Show documentation

Opinionated set of tools for functional programming in Scala

There is a newer version: 0.13.6

package tofu.internal
package instances

import cats.~>
import tofu.Delay
import tofu.higherKind.{RepK, RepresentableK}
import tofu.internal.carriers.{DelayCarrier2, DelayCarrier3}

import scala.compiletime.summonFrom

private[tofu] trait DelayInstance:
  inline given [F[_]]: Delay[F] = summonFrom {
    case carrier: DelayCarrier3[F] => carrier
    case carrier: DelayCarrier2[F] => carrier
  }

  // TODO: use higherKind.derived macro when it is ready for scala 3
  given delayRepresentableK: RepresentableK[Delay] = new RepresentableK[Delay] {
    def tabulate[F[_]](hom: RepK[Delay, _] ~> F): Delay[F] = new Delay[F] {
      def delay[A](a: => A): F[A] = hom(RepK[Delay](_.delay(a)))
    }
  }