형식 제약 조건을 functor 맵 함수에 추가하는 방법

Question

형식 제한이있는 abstract class Foo[V : Monoid]에 Functor을 정의 할 수 없습니다. 이는 Functor의 map 메소드가 Monoid이 아닌 B 매개 변수를 사용하기 때문입니다.

제 질문은 어떻게 그런 제약 조건을 추가 할 수 있습니까?

import cats.Functor 
import cats.kernel.Monoid 

abstract class Foo[A : Monoid] { 
    val a: A 
} 

object Foo { 
    implicit def FooFunctor = new Functor[Foo] { 
    override def map[A, B](fa: Foo[A])(f: (A) => B) = new Foo[B] { 
     override val a: B = f(fa.a) 
    } 
    } 
} 

이 다음과 같은 예외를 발생 : 여기

내가 할 노력하고있어에서 샘플의

내 첫 번째 해결책으로 map 정의에 제약 조건을 추가했다

Error:(12, 59) could not find implicit value for evidence parameter of type cats.kernel.Monoid[B] 
    override def map[A, B](fa: Foo[A])(f: (A) => B) = new Foo[B] { 

(override def map[A, B : Monoid]) 그러나 이것은 함수의 정의를 Functor으로 변경하고 예외를 발생시킬 것이므로 유효하지 않습니다.

Error:(12, 18) method map overrides nothing. 

아무도 도와 주실 수 없습니까? 어떤 제안이라도 인정 될 것입니다.

Answer 1

저는 주요 문제는 하위 유형을 유형 클래스와 혼합하려고한다는 것입니다. 다음과 같아야합니다 :

trait Foo[A] extends Monoid[A] with Functor[A] { 
    val a: A 
} 

trait SomeADT 
case class SomeValue(a: String) extends SomeADT 

object SomeADT { 
    //evidence 
}