«quantified-constraints» 태그된 질문

1
정량화 된 구속 조건을 가진 Ord 도출 (forall a. Ord a => Ord (fa))
정량화 된 제약 조건으로 Eq (A f)잘 파생 될 수 있습니까? 그러나 Ord (A f)를 얻으려고하면 실패합니다. 제약 조건 클래스에 수퍼 클래스가있을 때 정량화 된 제약 조건을 사용하는 방법을 이해하지 못합니다. Ord (A f)수퍼 클래스가있는 클래스와 다른 클래스를 어떻게 파생 합니까? > newtype A f = A (f Int) > …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.