shapeless.refute.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of shapeless_sjs0.6_2.13.0-M4 Show documentation

core

The newest version!

package shapeless

/** Evidence that no implicit instance of type `T` is available
  *
  *  @author Zainab Ali
  */
trait Refute[T]

object Refute {

  /** This results in  ambigous implicits if there is implicit evidence of `T` */
  implicit def ambiguousIfPresent[T](implicit ev: T): Refute[T] = new Refute[T] {}

  /** This always declares an instance of `Refute`
    *
    * This instance will only be found when there is no evidence of `T`
    * */
  implicit def refute[T](implicit dummy: DummyImplicit): Refute[T] = new Refute[T] {}
}