스카 쯔의 사용 === adt의

Question

나는 방금 eugene's blog post에서 스카프를 배우기 시작했습니다. 내 코드에서 ===를 사용하는 것을 시도하고 있지만 여기에 컴파일 오류를 value === is not a member of object Red

을 반환 것은 내 코드

import scalaz._ 

sealed trait TrafficLight 
case object Red extends TrafficLight 
case object Yellow extends TrafficLight 
case object Green extends TrafficLight 

object Equality { 

import Scalaz._ 

def eqInstance[A](f: (A,A) => Boolean): Equal[A] = new Equal[A]{ 
    def equal(a1: A, a2: A): Boolean = f(a1,a2)  
} 

def trafficLightEqualFunction(a1: TrafficLight, a2: TrafficLight): Boolean = (a1, a2) match { 
    case (Red, Red) => true 
    case (Yellow, Yellow) => true 
    case (Green, Green) => true 
    case _ => false 
} 

implicit val trafficLightEqual: Equal[TrafficLight] = eqInstance(trafficLightEqualFunction) 

def main(args: Array[String]){ 
    println(Red === Red) 
} 

} 자신의 블로그 불평 정확히 무엇

Answer 1

입니다. Red의 유형은 Red.type하고 평등은 불변이기 때문에에도 불구하고 있으므로 이러한 유형의 scalaz.Equal의 어떤 인스턴스가 없습니다 : 그것은

Equal[Red] <: Equal[TrafficLight]을 따르지 않는

Red <: TrafficLight

. 나를 위해

println((Red:TrafficLight) === (Red:TrafficLight))