Мне нужно определить класс типов Field
следующим образом:
trait Field[A] {
// Additive identity
def zero: A
// Multiplicative identity
def one: A
}
Класс типов Numeric
также предоставляет методы zero
и one
.
Я хочу, чтобы каждый класс, для которого доступен экземпляр Numeric
, мог использоваться везде, где требуется класс с экземпляром Field
.Например, должно работать следующее:
def func[F: Field](f: F) = println(f)
func(2)
Подскажите, пожалуйста, как этого добиться?Я попробовал следующее, но это не сработало:
scala> implicit def numericToField[N](n: Numeric[N]) = new Field[N] {
| def zero = n.zero
| def one = n.one
| }
numericToField: [N](n: Numeric[N])java.lang.Object with Field[N]
scala> def func[F: Field](f: F) = println(f)
func: [F](f: F)(implicit evidence$1: Field[F])Unit
scala> func(2)
<console>:12: error: could not find implicit value for evidence parameter of type Field[Int]
func(2)
^