Scala cats: проблема с имплицитами при попытке использовать синтаксис `===` для признака `Eq` - PullRequest
Новая
       16

Scala cats: проблема с имплицитами при попытке использовать синтаксис `===` для признака `Eq`

0 голосов
/ 10 апреля 2019

Aloha! :)

Я не рад, что постоянно бегаю на форумы stackoverflow, чтобы получить какую-то помощь с другим куском странности, которое мне бросили скалы / кошки. Проблема в том, что, похоже, нет действительно полезной документации, только некоторые бесполезные - по крайней мере для меня - строки repl.

Может, кто-нибудь из вас указал на полезную документацию? Какой-нибудь настоящий код? Не только строки в репле?

Здесь я только что попробовал поработать с уравнениями scala / cats и Show typeclasses ... Какого черта я делаю не так?

Класс: 

package org.hudelundpfusch.utilites.decisions.data

import cats.Show
import cats.kernel.Eq

case class Fact[+T <: Any](name: String, value: T)
  extends Equals {

  override def canEqual(that: Any): Boolean = that match {
    case _: Fact[_] => true
    case _          => false
  }

  override def equals(other: Any): Boolean = other match {
    case that: Fact[_] =>
      (that canEqual this) &&
        name == that.name &&
        value == that.value
    case _ => false
  }

  override def hashCode(): Int = {
    val state = Seq(name, value)
    state.map(_.hashCode()).foldLeft(0)((a, b) => 31 * a + b)
  }

  override def toString = s"Fact(name=$name, value=$value)"

}

case object Fact {

  implicit val factEq: Eq[Fact[_]] = Eq.fromUniversalEquals[Fact[_]] // Neither of this works

//  implicit def factEq: Eq[Fact[_]] = new Eq[Fact[_]] {
//    def eqv(x: Fact[_], y: Fact[_]): Boolean = (x != null, y != null) match {
//      case (true, _)  => x.equals(y)
//      case (_, true)  => y.equals(x)
//      case _          => true
//    }
//  }

  implicit def factShow[T]: Show[Fact[T]] = (t: Fact[T]) => t.toString // Example calls for 'implicit val factShow[Fact[_]]' but that doesn't work

}

И большой сюрприз: 

package org.hudelundpfusch.utilites.decisions

import cats._
import cats.data._
import cats.syntax._
import cats.implicits._
import cats.implicits.eq
import com.typesafe.scalalogging.LazyLogging
import org.hudelundpfusch.utilites.decisions.data.Fact
import org.hudelundpfusch.utilites.decisions.data.Fact._
// Tried to import everything that came to my mind to make the stuff working

object Fuddel
  extends App
    with LazyLogging {

  logger.info("Let's start to fuddel!")
  this.fuddel()
  logger.info("Enough with fuddling!")

  def fuddel(): Unit = {
    val fact1: Fact[String] = Fact[String]("FactName", "FactValue")
    println(s"${fact1.show}")
    val fact2: Fact[String] = Fact[String]("FactName", "FactValue")
    println(s"${fact2.show}")

    println(s"${fact1.equals(fact2)}")
    println(s"${fact1 == fact2}")
//    println(s"${fact1 === fact2}") // Not resolved...According to the repl example this should work with implicits imported
    println(s"${fact1 eq fact2}") // False? Oh joy! Thanks to the great repl example!
  }

}

Так, пожалуйста, есть ли какая-либо документация не бесполезная?

Заранее спасибо

Желаю лучшего дня, чем я

Alex

1 Ответ

4 голосов
/ 10 апреля 2019

1. Здесь все отлично компилируется (я удалил имя вашего пакета и зависимость от журналирования): 

import cats.Show
import cats.kernel.Eq

case class Fact[+T](name: String, value: T) extends Equals {

  override def canEqual(that: Any): Boolean = that match {
    case _: Fact[_] => true
    case _          => false
  }

  override def equals(other: Any): Boolean = other match {
    case that: Fact[_] => true // TODO: replaced, irrelevant
    case _ => false
  }

  override def hashCode(): Int = {
    val state = Seq(name, value)
    state.map(_.hashCode()).foldLeft(0)((a, b) => 31 * a + b)
  }

  override def toString = s"Fact(name=$name, value=$value)"
}

case object Fact {
  implicit def factEq[A]: Eq[Fact[A]] = Eq.fromUniversalEquals[Fact[A]]
  implicit def factShow[T]: Show[Fact[T]] = (t: Fact[T]) => t.toString
}

Обратите внимание на универсальное количественное определение вместо подстановочного знака в factEq[A].Затем в Fuddel.scala: 

import cats.syntax.show._
import cats.syntax.eq._
import Fact._

object Fuddel
  extends App {

  this.fuddel()

  def fuddel(): Unit = {
    val fact1: Fact[String] = Fact[String]("FactName", "FactValue")
    println(s"${fact1.show}")
    val fact2: Fact[String] = Fact[String]("FactName", "FactValue")
    println(s"${fact2.show}")

    println(s"${fact1.equals(fact2)}")
    println(s"${fact1 == fact2}")
    println(s"${fact1 === fact2}")
    println(s"${fact1 eq fact2}")// must be false, different instances
  }

}

Обратите внимание, что eq - это метод, который доступен для каждого объекта в Scala, его невозможно переопределить.

2. Я бы порекомендовал прочитать Уэльский, Гурнеллский "Скала с кошками" .Scaladoc тоже хорош, но вы не сможете эффективно перемещаться по нему, пока не прочитаете вводную главу об организации пакетов и последствий в библиотеке cats.

...