Num의 인스턴스를 생성 할 때 부정으로 오류가 발생했습니다.

Question

복소수에 대한 데이터 유형을 생성했으며이 데이터 유형에 대해 Num의 인스턴스를 작성하려고합니다. 내 쇼 기능에 필요하기 때문에 negate 줄을 추가하려고 시도했지만이 오류가 계속 발생합니다. "negate"는 데이터 생성자가 아닙니다.

instance Num Complex where 
    (C u v) + (C x y) = (C (u+x) (v+y)) 
    (C u v) * (C x y) = (C (u*x) (-v*y)) + (C (v*x) (u*y)) 
    (C u v) - (C x y) = (C (u+(-x)) (v+(-y))) 
    negate 
    abs  (C x y) = C (root (x*x + y*y)) 0 
    signum (C x y) = if (x==0 && y==0) then 0 else 1 
    fromInteger n = C (fromInteger n) 0 

가 무효화 라인에 어떤 도움 충전이 크게 감상 할 수있다 : 여기

은 인스턴스에 대한 코드입니다.

Answer 1

나는 이것을 학습 운동으로 생각하고 있습니다. 그렇지 않으면 단순히 use Data.Complex일까요?

답변을 제공하는 대신 I shall answer your question by asking you another question.

negate {-something-} = {-something-} 

"무언가"중 무엇인가를 채울 수 있습니까? 그 중 하나를 완벽하게 채울 수 없다면, 공정하게 충분하지만, 채워야 할 나머지 간격이 어디에 있는지 알 수 있도록 깨끗하게하십시오.

Btw, 귀하의 정의는 signum입니다. (모두 z에 대해 abs z * signum z = z이 있어야합니다.)