• Home
• io.github.pidoveproject
• scala-showdown-api_3
• 0.1.0
• source code
• package.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.

io.github.pidoveproject.showdown.util.package.scala Maven / Gradle / Ivy

package io.github.pidoveproject.showdown.util

import io.github.iltotore.iron.*
import scala.compiletime.summonInline
import scala.reflect.TypeTest

inline given newtypeLeft[A, B](using mirror: RefinedTypeOps.Mirror[A]): TypeTest[A, B] =
  summonInline[TypeTest[mirror.IronType, B]].asInstanceOf

inline given newtypeRight[A, B](using mirror: RefinedTypeOps.Mirror[B]): TypeTest[A, B] =
  summonInline[TypeTest[A, mirror.IronType]].asInstanceOf

inline given ironTypeRight[A, B, C](using constraint: Constraint[B, C]): TypeTest[A, B :| C] =
  val test = summonInline[TypeTest[A, B]]

  new TypeTest:
    override def unapply(value: A): Option[value.type & B :| C] =
      test.unapply(value).filter(constraint.test(_)).asInstanceOf