Haskell, keine Instanz für (Applicative M)

Question

Sehen Sie sich meinen Code an. GHCI gesagt, dass

Kein Beispiel für (Applicative M) von den übergeordneten Klassen einer Instanz Erklärung entsteht In der Instanzdeklaration für ‚Monad M‘

ich nicht diesen Fehler verstehen, und ich weiß nicht weiß, wie man es repariert. Kannst du mir helfen ?

newtype M a = StOut (Stack -> (a, Stack, String)) 

unStOut (StOut f) = f 
--unStout is used to extract the emeded function from monadic capsule 

instance Monad M where 
    return x = StOut (\n -> (x, n, "")) 
    e >>= f = StOut (\n -> let  (a, n1, s1) = (unStOut e) n 
            (b, n2, s2) = (unStOut (f a)) n1 
          in  (b, n2, s1++s2)) 

Answer 1

Checkout-Definition von Monad. Long story short - um Monad zu werden, muss MApplicative sein. Was wiederum M erfordert, ist Functor.

class Applicative m => Monad m where 
class Functor f => Applicative f where 
class Functor f where 

So ist das, was der Fehler sagt.

Answer 2

Der Fehler ist genau das, was es sagt: Sie haben M eine anwendbare Instanz zu geben.

Jede Monade ist ein anwendungsfähiger Funktor. Aus historischen Gründen war es in der Vergangenheit nicht erforderlich, diese Tatsache explizit zu machen, aber dies führte zu allen Arten von Unannehmlichkeiten beim Schreiben von generischem Code. The omission has since been fixed, um jetzt eine Monad Instanz zu definieren, müssen Sie zuerst auch Functor und Applicative Instanzen definieren.