고양이와 스칼라 - Cartesian + Validated

Question

나는 서적 Advanced scala with cats에서 간단한 운동을하고 있습니다.

Cartesian과 Validated을 사용하고 싶습니다.

---

/* this doesnt work*/ 
type Result[A] = Validated[List[String], A] 
Cartesian[ValidatedString].product(
    f(somevariable)//returns Result[String], 
    g(somevariable)//returns Result[Int], 
).map(User.tupled) // creates an user from the returned string, int 

임 완전히 우둔

/* 
this works 
*/ 
type ValidatedString = Validated[ Vector[String], String] 
Cartesian[ValidatedString].product(
    "a".valid[Vector[String]], 
    "b".valid[Vector[String]] 
) 

. 어떤 힌트? 임 점점 :

could not find implicit value for parameter instance: cats.Cartesian[Result] Cartesian[Result].product( ^

Answer 1

당신의 수입 나는이 문제를 추측에는 요를 보지 않고 당신이 있기 때문에, (당신이 사용하고자하는 분명하지 않다 - 그것은 또는 Vector) List에 대한 Semigroup 인스턴스를 놓치고 있다는 것입니다 나를 위해 작품을 다음

import cats.instances.list._ 
import cats.syntax.validated._ 

:

이

import cats.Cartesian, cats.data.Validated, cats.implicits._ 

type Result[A] = Validated[List[String], A] 

Cartesian[Result].product(
    "a".valid[List[String]], 
    "a".valid[List[String]] 
) 

당신은 다음과 cats.implicits._ 부분을 대체 할 수

...하지만 cats.implicits._으로 시작하는 것이 좋습니다.

문제는 여기에 Validated 당신이 product 두 개의 인스턴스를 결합, 어떤 "축적"때 실패를 축적 당신이 잘못이 "를 추가"하는 방법에 대해 설명합니다 잘못된 유형에 대한 Semigroup 인스턴스에 의해 결정되는 특정 맥락에서 의미이다 함께 가치. List (또는 Vector)의 경우

는 연결이 축적 작업에 의미가 있습니다, 그리고 고양이는 List[A]의 연결 Semigroup을 제공하지만, 순서대로하는 중 (가 명시 적으로 가져올 필요가 여기에 적용 할 얻을 cats.implicits 또는 cats.instances.list).