haskell - Haskell，没有(适用M)的实例

Question

This question already has answers here:

Defining a new monad in haskell raises no instance for Applicative

(2个答案)


4年前关闭。




看我的代码。 ghci告诉

没有适用于(适用M)的实例
由实例声明的父类(super class)产生
在“Monad M”的实例声明中

我不了解此错误，也不知道如何解决。你可以帮帮我吗 ？

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

最佳答案

Monad 的 checkout 定义。长话短说-为了成为Monad，M必须为 Applicative 。依次需要M为 Functor 。

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

所以这就是错误的意思。

关于haskell - Haskell，没有(适用M)的实例，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36595669/

上一篇：c++ - “字符串”未命名类型-C++错误

下一篇：assembly - 组装x86中的Sqrt

Answer 1

Monad 的 checkout 定义。长话短说-为了成为Monad，M必须为 Applicative 。依次需要M为 Functor 。

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

所以这就是错误的意思。