我正在使用Parsec與自定義Stream類型。這個流本質上是String，但有時它會將它在字符串中找到的輸入擴展爲其他字符串（認爲別名擴展）。例如，給定「§4.1¶3」它可能將「Section 4.1 paragraph 3」提供給解析器。 我有這一切工作。我的類型是這樣的： data DealiasingStream = ...
instance (Monad m) => Stream De
在下面的代碼，我可以每個令牌後使用正確解析空格秒差距： whitespace = skipMany (space <?> "")
number :: Parser Integer
number = result <?> "number"
where
result = do {
ds <- many1 digit;
whitespace;
re
我需要從Parsec的整數函數中獲取一個Int類型。我此刻的代碼是 aTerm = parens aExpression
<|> liftM GetV identifier
<|> liftM N integer
其中N的類型是 N :: Num a => a -> Expr a
我越來越被 Shane.hs:227:18:
Couldn't match ex
在學習一個秒差距秒差距的規則，我發現有點繁瑣規則像 type PhonemeClassMap = Map Char String
type ContextElement = Parser String
phonemeContext :: Parsec String PhonemeClassMap ContextElement
phonemeContext = do
c <- lo