Typeclass 中的类型约束

Question

为了好玩，我正在构建一个解析器库。在这个库中，我有一个 Parser 数据类型：

data Parser e a = Parser (String -> Either e (a, String))

我能够定义Parser 的Functor 和Applicative 实例，但我认为我不能在不限制“错误”类型或“值”类型的情况下创建Alternative 实例解析器可以返回。最初，当错误类型为 String 消息时，这使我创建了一个 Applicative 实例，但我意识到我应该能够将此约束释放到具有 Alternative 的任何消息数据类型（或者可能是 @987654330 @ 而不是？）实例也是如此。考虑到这一点，我写了这个：

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
instance Alternative e => Alternative (Parser e)
  where
    empty = Parser $ \s -> Left empty
    (<|>) (Parser p1) (Parser p2) = Parser $ \s -> tryParser s p2 $ p1 s
      where
        tryParser s p2 (Left _ ) =  p2 s
        tryParser _ _ x          = x

很遗憾，编译失败。当我将它加载到 ghci 中时，我收到以下错误消息：

Parsertest.hs:31:47:
    Expecting one more argument to `e'
    In the instance declaration for `Alternative (Parser e)'
Failed, modules loaded: none.

当我在网上搜索时，这似乎是解决方案，但它对我不起作用。我错过了什么？

Answer 1

问题是Alternative 是用于类型构造函数* -> *，所以如果你说

instance Alternative e => ....

那么e 必须是类型构造函数，而不是类型。所以e 可以是[] 或Maybe 之类的，但不是Int。

Alternative 的运算符是<|>，其类型为Alternative e => e a -> e a -> e a。这迫使e 接受一个参数来创建一个类型，就像Maybe 必须接受一个参数，例如Maybe Int。

使用Monoid 而不是Alternative，因为它是一个类型类而不是构造函数类。它的运算符 mappend 具有 Monoid e => e -> e -> e 类型，这是您想要组合错误的类型。