значение |@| не является членом группыcats.data.Validated

Когда я использую кошек 0.9.0, я могу легко сделать

import cats.data.Validated
import cats.data.Validated._
import cats.syntax.all._
import cats.implicits._
val x = Validated.valid[List[String], Int](10)
val y = Validated.valid[List[String], Int](20)
x |@| y

Это прекрасно работает. Но для моего проекта я должен использовать Cats 0.7.2.

когда я пробую тот же код с котами 0.7.2, этот же код не работает, и я получаю сообщение об ошибке value |@| is not a member of cats.data.Validated


scala scala-cats
person Knows Not Much    schedule 24.03.2017    source источник

Ответы (1)


arrow_upward
5
arrow_downward

Кажется, это компилируется:

import cats.data.Validated
import cats.data.Validated._
import cats.syntax.cartesian._
import cats.instances.list._ // <- this was the missing bit

val x  = Validated.valid[List[String], Int](5)
val y  = Validated.valid[List[String], Int](6)
x |@| y

Я не уверен, как на самом деле работает cats.implicits._, но кажется, что import cats.instances.list._ не импортируется.

person mdm    schedule 24.03.2017
comment
Я использовал Cats 0.7.2 и Scala 2.11.8. - person mdm; 24.03.2017