• Home
• dev.continuously.libretto
• libretto-lambda_sjs1_3
• 0.3.1
• source code
• Injective.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.

libretto.lambda.util.Injective.scala Maven / Gradle / Ivy

package libretto.lambda.util

trait Injective[F[_]] {
  def unapply[A, B](ev: F[A] =:= F[B]): Tuple1[A =:= B]
}

object Injective {
  def apply[F[_]](using Injective[F]): Injective[F] =
    summon[Injective[F]]

  given id: Injective[[x] =>> x] with
    override def unapply[A, B](ev: A =:= B): Tuple1[A =:= B] =
      Tuple1(ev)
}