这听起来像你想让你的解析器在任何地方定义为类型

解析器的东西

(其中Something是返回类型)，并通过隐藏和重新定义通常从Text.Parsec.String或类似导入的解析器类型来进行此工作。您仍然需要导入一些Text.Parsec.String，以使Stream成为monad的一个实例;用这个行来做：

import Text.Parsec.String ()@H_403_27@ 
 
您对Parser的定义是正确的。或者等同地(对于在评论中聊天的人)，您可以使用
 
  
 
import Control.Monad.State
import Text.Parsec.Pos (SourcePos)

type Parser = ParsecT String () (State SourcePos)@H_403_27@ 
 
并且可能在导出此定义的文件中导入Text.Parsec.Indent(IndentParser)。
 
 
错误，墙上的错误
 
 
您的问题是您正在查看编译器错误消息的错误部分。你专注于
 
  
 
Couldn't match expected type `State SourcePos' with actual type `Identity'@H_403_27@ 
 
当你应该专注于
 
  
 
Expected type: P.GenTokenParser ...
  Actual type: P.TokenParser ...@H_403_27@ 
 
它编译！
 
 
当你从Text.Parsec.Token“导入”解析器的时候，你实际上做了什么，当然(正如你简短提到的)首先要定义一个记录你的语言参数，然后把它传给函数makeTokenParser，它返回一个包含令牌解析器。
 
 
因此，你必须有一些这样的行：
 
  
 
import qualified Text.Parsec.Token as P

beetleDef :: P.LanguageDef st
beetleDef =
    haskellStyle {
        parameters,parameters etc.
        }

lexer :: P.TokenParser ()
lexer = P.makeTokenParser beetleDef@H_403_27@ 
 
…但是P.LanguageDef st只是一个GenLanguageDef String st Identity，而一个P.TokenParser()真的是一个GenTokenParser String()身份。
 
 
您必须将您的类型声明更改为以下内容：
 
  
 
import Control.Monad.State
import Text.Parsec.Pos (SourcePos)
import qualified Text.Parsec.Token as P

beetleDef :: P.GenLanguageDef String st (State SourcePos)
beetleDef =
    haskellStyle {
        parameters,parameters etc.
        }

lexer :: P.GenTokenParser String () (State SourcePos)
lexer = P.makeTokenParser beetleDef@H_403_27@ 
 
…就是这样！这将允许您的“导入”令牌解析器具有类型ParsecT String()(State SourcePos)Something，而不是Parsec String()Something(它是ParsecT String()Identity Something的别名)，您的代码现在应该编译。
 
 
(为了最大的一般性，我假设你可能会在一个与您定义实际解析器函数的文件分开并导入的文件中定义Parser类型，因此这两个重复的import语句。)
 
 
谢谢
 
 
非常感谢Daniel Fischer帮助我。