値の種類に応じて異なる機能を実行

Question

ActionをThingに適用したい場合があります。

data Thing = BoxVal Box | BallVal Ball deriving (Show) 
data Box = Box {name :: String}  deriving (Show) 
data Ball = Ball {size :: Int}   deriving (Show) 
data Action = SetName String | Resize Int | ToFoo deriving (Show) 

applyAction :: Thing -> Action -> Maybe String 
applyAction (BoxVal box) a = actionToBox box a 
applyAction (BallVal ball) a = undefined 
applyAction _ _ = Nothing 

actionToBox :: Box -> Action -> Maybe String 
actionToBox b (SetName s) = Just $ s 
actionToBox b (ToFoo)  = Just "foo" 
actionToBox _ _   = Nothing 

作品上記のコード（とは本当にエレガントではない）が、GHCiの約Pattern match(es) are overlappedapplyActionで文句を言います。どのように警告を取得せずに同じ機能を取得するには？

Answer 1

冗長パターン一致がこれです：

applyAction _ _ = Nothing 

Thingは、2つのコンストラクタ、BoxValとBallValを定義し、両方の明示最初の二つのパターンで処理されたものが一致する：

applyAction (BoxVal box) a = actionToBox box a 
applyAction (BallVal ball) a = undefined 

それでapplyAction _ _は不要になります。最初の2つのパターンがすべての可能性にマッチするので、マッチすることはありません。

Answer 2

applyActionのクラスを定義し、適切なインスタンスを定義します。

data Thing = BoxVal Box | BallVal Ball deriving (Show) 
data Box = Box {name :: String}  deriving (Show) 
data Ball = Ball {size :: Int}   deriving (Show) 
data Action = SetName String | Resize Int | ToFoo deriving (Show) 

class Actionable x where 
    applyAction :: x -> Action -> Maybe String 

instance Actionable Box where 
    applyAction :: Box -> Action -> Maybe String 
    applyAction b (SetName s) = Just s 
    applyAction b ToFoo = Just "foo" 
    applyAction _ _ = Nothing 

instance Actionable Thing where 
    applyAction :: Thing -> Action -> Maybe String 
    applyAction (BoxVal b) a = applyAction b a 
    applyAction _ _ = undefined 

（クラスが直接重複パターンの問題を解決していませんが、新しい関数名を思い付くする必要からあなたを救うん。applyActionは、その最初の引数の型に応じて、正しいことを行います。）