• Home
• tf.tofu
• tofu-kernel_3
• 0.13.5
• source code
• GetRandomInstances.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.generate.GetRandomInstances.scala Maven / Gradle / Ivy

package tofu.generate

import cats.~>
import tofu.higherKind.{RepresentableK, RepK}

trait GetRandomInstances {
  // TODO: use higherKind.derived macro when it is ready for scala 3
  given genRandomRepresentableK: RepresentableK[GenRandom] = new RepresentableK[GenRandom] {
    def tabulate[F[_]](hom: RepK[GenRandom, _] ~> F): GenRandom[F] = new GenRandom[F] {
      def nextLong: F[Long]       = hom(RepK[GenRandom](_.nextLong))
      def nextInt(n: Int): F[Int] = hom(RepK[GenRandom](_.nextInt(n)))
    }
  }

}