特定の型の特殊型クラスの作成方法、他の型の既定の実装方法

Question

可能であれば、他の型にキャストできる型の型クラスを用意したいと思います。

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

は今のクラスは、いくつかのタイプのために実装されるだろうと すべて他人のために私は、デフォルトの実装を持っていると思います。

どうすればいいですか？

Answer 1

OverlappingInstances

まず使用して、それが必ずしも安全やHaskellの-yの事はやっていないが、それは確かに可能であり、それらを有効にします。

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

：

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

ことはあなたの鋳造クラスを書きます

「最適化された」インスタンス：

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