Haskell Typ Klasseninstanziation

Question

Ich versuche (PolyA a) und (PolyB a) zu Instanzen der Klasse Polynom, wo ich Coeffs, Coeffs, CoeffsB, CoeffsB implementieren möchte. Ich bin nicht ganz sicher, was ich falsch mache, weil ich eine Fehlermeldung bekomme, dass meine Funktionen für die Klasse Polynom nicht sichtbar sind. Irgendwelche Hilfe bitte?

class Polynomial p where 

--default implementations 
data PolyA a = Coeffs [a] 
      deriving (Show) 
data PolyB a = Const a | X (PolyB a) a 
      deriving (Show) 

--instances 
instance Polynomial (PolyA a) where 
    coeffs (Coeffs f)=f 
    fromCoeffs f= Coeffs f 

instance Polynomial (PolyB a) where 
coeffsB (Const f)= [f] 
coeffsB (X f a)= coeffsB f ++ [a] 
fromCoeffsB [] = error "Wrong Input!" 
fromCoeffsB [f]= Const f 
fromCoeffsB lis@(_:t)= X (fromCoeffsB (init lis)) (last lis) 

Answer 1

Der folgende Code kompiliert für mich:

class Polynomial p where 
    coeffs :: p a -> [a] 
    fromCoeffs :: [a] -> p a 

--default implementations 
data PolyA a = Coeffs [a] 
      deriving (Show) 
data PolyB a = Const a | X (PolyB a) a 
      deriving (Show) 

--instances 
instance Polynomial PolyA where 
    coeffs (Coeffs f)=f 
    fromCoeffs f= Coeffs f 

instance Polynomial PolyB where 
coeffs (Const f)= [f] 
coeffs (X f a)= coeffs f ++ [a] 
fromCoeffs [] = error "Wrong Input!" 
fromCoeffs [f]= Const f 
fromCoeffs lis@(_:t)= X (fromCoeffs (init lis)) (last lis) 

Zusammenfassung der Änderungen:

• Add-Methoden zum Polynomial Klassendeklaration.
• Entfernen Sie die Typargumente in den Instanzdeklarationen.
• Ändern coeffsB zu coeffs und fromCoeffsB zu fromCoeffs überall.
• Ziehen Sie die PolyB Instanz Deklaration um ein Leerzeichen.