如何比较幻像类型相对于幻像类型参数的实例？

Question

我有一个幻象类型：

newtype MyType a = {getSth :: SthType} 

我如何比较MyType a1和MyType a2相对于的a1和a2比较的结果，即如果a1 < a2然后MyType a1 < MyType a2？

Answer 1

由于使用标准Eq和Ord的比较类型类要求被比较的两个值具有完全相同的类型（包括幻像类型参数），因此需要定义自己的比较运算符或使用存在性包装。例如：

{-# LANGUAGE ExistentialQuantification #-} 

newtype MyType a = MyType { getInt :: Int } 

data SomeType = forall a . SomeType (MyType a) 

instance Eq SomeType where 
    (SomeType (MyType a)) == (SomeType (MyType b)) = a == b 

instance Ord SomeType where 
    compare (SomeType (MyType a)) (SomeType (MyType b)) = compare a b 

test = SomeType a < SomeType b where 
    a :: MyType Char 
    a = MyType 10 

    b :: MyType Float 
    b = MyType 15 

另一种选择是使用Data.Coerce，它允许您使用标准的比较功能，而无需编写任何样板实例。您只需提供一些明确的类型签名：

import Data.Coerce 

test2 :: Bool 
test2 = coerce ((<) :: Int -> Int -> Bool) a b where 
    a :: MyType Char 
    a = MyType 10 

    b :: MyType Float 
    b = MyType 15