Как настроить неявное сообщение не найден

Question

Я хотел бы заменить стандартное неявное не найденное сообщение при использовании оператора =:= в следующем примере:

sealed trait TBoolean
sealed trait TTrue extends TBoolean
sealed trait TFalse extends TBoolean

class Builder[X <: TBoolean, Y <: TBoolean, Z <: TBoolean] private(x: Int, y: Int, z: List[List[Int]]) {
  protected def this() = this(-1, -1, List.empty)

  def withX(xx: Int)(implicit ev: X =:= TFalse) = new Builder[TTrue, Y, Z](xx, this.y, this.z)

  def withY(yy: Int)(implicit ev: Y =:= TFalse) = new Builder[X, TTrue, Z](this.x, yy, this.z)

  def withZ(zz: List[List[Int]])(implicit ev: Z =:= TFalse) = new Builder[X, Y, TTrue](this.x, this.y, zz)

  def build()(implicit ev1: Y =:= TTrue, ev2: X =:= TTrue, ev3: Z =:= TTrue) = println(s"${x} ${y} ${z}")
}

object Builder {
  def apply() = new Builder[TFalse, TFalse, TFalse]
}

Если я попытаюсь создать недопустимый объект, подобный этому:

Builder().withX(1).withY(1).withZ(List.empty).withY(1).build   // i.e. two withY calls

Я получаю обычное:

error: Cannot prove that TTrue =:= TFalse.

Я хотел бы настроить это сообщение, чтобы оно было более информативным. Я пытался использовать @scala.annotation.implicitNotFound("custom message: blah"), но, похоже, это не сработало.

Есть ли способ сделать это?

Answer 1

Вы можете изменить его для определенного метода, добавив аннотацию, например,

def g[A](i: A)(implicit @implicitNotFound("You should not be a ${A}") ev: A =:= Int) = ???

g("") // Error: You should not be a String

, но, конечно, это будет работать только для этого метода.

Answer 2

Согласно implicitNotFound аннотации Scalado c (https://www.scala-lang.org/api/2.12.5/scala/annotation/implicitNotFound.html):

... невозможно найти, аннотируйте класс C с @ implicitNotFound.

Таким образом, в случае использования класса =:=, который имеет эту аннотацию, вы не можете переопределить его, если вы не реализуете собственный класс типа проверки на равенство типов с помощью ваше собственное сообщение об ошибке:

@implicitNotFound(msg = "Custom type equals prove message ${From} =::= ${To}.")
    sealed abstract class =::=[From, To]
    private final val singleton_=::= = new =::=[Any,Any] {}
    object =::= {
      implicit def tpEquals[A]: A =::= A = singleton_=::=.asInstanceOf[A =::= A]
    }

и используйте его:

def withZ(zz: List[List[Int]])(implicit ev: Z =::= TFalse)

Таким образом, сообщение об ошибке результата будет:

Custom type equals prove message TTrue =::= TFalse.

Надеюсь, это поможет!