Haskell typeclasses in einer Funktion überprüfen

Question

Wenn ich eine Suche nach einem Problembereich durchführen wollte und verschiedene Zustände verfolgen wollte, die ein Knoten bereits besucht hat, I several options to do it depending on the constraints of those states. Jedoch; Gibt es eine Möglichkeit, eine Funktion oder eine andere zu senden, abhängig von der Einschränkung der Zustände, die der Benutzer als Eingabe verwendet? wenn ich zum Beispiel:

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

Und ich wollte auf einem Problem a eine Suche durchzuführen, ist es eine Möglichkeit, ich überprüfen könnte, wenn aEq ist, Ord oder Hashable und dann eine andere Art der Suche nennen? In Pseudo-Code, so etwas wie:

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 

bin mir bewusst, dass ich nur der Benutzer eine search oder eine andere, je nach dem eigenen Gebrauch wählen lassen könnte; aber in der Lage zu sein, etwas zu tun, könnte für mich sehr praktisch sein, da die Suche nicht wirklich einer der Benutzerendpunkte als solcher ist (ein Beispiel könnte eine Funktion bfs sein, die search mit einigen Parametern anruft, damit sie sich wie ein Breitester verhält Suche).

Answer 1

Nein, das geht nicht. Allerdings könnten Sie Ihre eigene Klasse machen:

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

Instantiate diese Klasse für ein paar Basistypen, und einige Standardimplementierungen für Leute hinzufügen, die neue Instanzen hinzufügen möchten, z.B.

-- 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