eine Instanz für eine typeclass Erstellen wirft:

Question

Ich bin neu in Haskell „konnte nicht erwartet Typ‚f‘mit tatsächlichen Typ übereinstimmen“ und ich versuche zu lernen, wie classe, ich habe

verwenden, um die Klasse :

class SomeClass f where 
doSome :: Integer -> f 

der Datentyp:

data SomeData = D1 Integer 
       | D2 SomeData SomeData 

und ich versuche, um die Instanz zu erstellen:

instance SomeClass SomeData where 
doSome x = D1 x 

aber die GHCI gibt mir den Fehler:

Couldn't match expected type ‘f’ with actual type ‘SomeClass’

Ich habe einige Fragen in Bezug auf dieses Problem gesehen, aber ich konnte sie nicht für mich arbeiten zu lassen.

Wie kann ich das beheben?

Answer 1

Die Verwendung von D1 nach D2 ist hier nicht gültig:

data SomeData = D1 Integer 
       | D2 D1 D1 
        ^^^^^ 

Wo D1 tritt nach D2 Sie eine Art benötigen, aber D1 eine Funktion ist. ändern kompiliert

data SomeData = D1 Integer 
       | D2 SomeData SomeData 

Mit diesem Code:

Sie wahrscheinlich zu schreiben bedeutete. (I ändern auch den Namen do auf einen anderen Namen, die kein Haskell Schlüsselwort ist):

data SomeData = D1 Integer | D2 SomeData SomeData 

class SomeClass f where 
    foo :: Integer -> f 

instance SomeClass SomeData where 
    foo x = D1 x