如何为某些类型制作专门的类型类，其余类型的默认实现

Question

我希望有一个类型类可以在可能时转换为其他类型。

class Castable a b where 
    cast :: a -> Maybe b 
    cast _ = Nothing -- default implementation 

现在的类将某些类型的实现和所有其他人我想有默认的实现。

如何做到这一点？

Answer 1

它不一定是安全的或哈斯克尔-Y的事情，但肯定是可以的，使用OverlappingInstances

首先，使他们：

{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE FlexibleInstances  #-} 
{-# LANGUAGE OverlappingInstances #-} 

写您的铸造类：

class Castable a b where 
    cast :: a -> Maybe b 
    cast _ = Nothing -- default implementation 

“优化”实例：

instance Castable Int Bool where 
     cast 0 = Just False 
     cast _ = Just True 

最后，所有类型的一般实例：

instance Castable a b where 

使用例：

main = do 
    print $ (cast (7 :: Int) :: Maybe Bool) 
    print $ (cast (7 :: Int) :: Maybe Integer) 

运行此，当类型没有专门选择了默认：

*Main> main 
Just True 
Nothing