関数内のHaskell型式メーターのチェック

Question

問題空間で検索を実行したい場合、ノードが既に訪れたさまざまな状態を追跡したい場合、I several options to do it depending on the constraints of those states。しかしながら;ユーザーが入力として使用している状態の制約に応じて関数やその他をディスパッチする方法はありますか？例えば、私が持っていた場合：

data Node a = Node { state :: a, cost :: Double } 

そして、私はProblem a上で検索を実行したい、aはEq、OrdまたはHashableあり、その後、検索の異なる種類を呼び出す場合、私がチェックできる方法はありますか？擬似コードでは、何かのように：

search :: Eq a => Problem a -> Node a 
search problem@(... initial ...) -- Where initial is a State of type a 
    | (Hashable initial) = searchHash problem 
    | (Ord initial)  = searchOrd problem 
    | otherwise   = searchEq problem 

私はちょうど、ユーザーが自分の用途に応じて1 searchまたは別を選択してみましょう可能性が承知しています。そのようなことをすることができるのは、検索が実際にはユーザーエンドポイントの1つではないためです（1つの例は、bfsであり、searchをコールして、それがBreadth-Firstサーチ）。

Answer 1

いいえ、できません。ただし、独自のクラスを作ることができます：

class Memorable a where 
    type Memory a 
    remember :: a -> Memory a -> Memory a 
    known :: a -> Memory a -> Bool 

は、例えば、いくつかの基本型のため、このクラスをインスタンス化し、新しいインスタンスを追加したい人々のためのいくつかのデフォルトの実装を追加します

-- suitable implementations of Memorable methods and type families for hashable things 
type HashMemory = Data.HashSet.HashSet 
hashRemember = Data.HashSet.insert 
hashKnown = Data.HashSet.member 

-- suitable implementations for orderable things 
type OrdMemory = Data.Set.Set 
ordRemember = Data.Set.insert 
ordKnown = Data.Set.member 

-- suitable implementations for merely equatable things 
type EqMemory = Prelude.[] 
eqRemember = (Prelude.:) 
eqKnown = Prelude.elem