使用回旋镖解析整数列表

Question

我试图解析表单的URL

/123/456/789

使用以下代码：

{-# LANGUAGE OverloadedStrings, TemplateHaskell, TypeOperators #-}

import Prelude hiding ((.), id)
import Control.Category ((.), id)
import Text.Boomerang.TH (derivePrinterParsers)
import Web.Routes.Boomerang

data Indices = Indices [Integer]
$(derivePrinterParsers ''Indices)

sitemap :: Router () (Sitemap :- ())
sitemap = rIndices . rList (integer . eos)

不幸的是，试图使用

> parse sitemap ["0", "1"]

导致无限循环。

有什么简单的方法来解析斜杠分隔的整数列表吗？

Answer 1

在Text.Boomerang.Texts的某个地方似乎有一个bug。

{-# LANGUAGE OverloadedStrings #-}

import Prelude hiding ((.))
import Control.Category ((.))

import Text.Boomerang
import Text.Boomerang.Strings as S
import Text.Boomerang.Texts as T

test1 = parseStrings (rList (S.integer . S.eos)) ["0", "1"]
test2 = parseTexts   (rList (T.integer . T.eos)) ["0", "1"]

test1会返回预期的结果，但是test2会永远循环，尽管它们在语义上应该是等价的。

*Main> test1
Right [0,1]
*Main> test2
^CInterrupted.

这对于包含Text.Boomerang.Texts模块: 1.3.2和1.3.3的两个版本的回巢器来说都是可重复的。

回到解析URL。如果你不介意完全摆脱回旋镖包，你可以这样做：

import Data.Text (Text)                                                                                                                                                                       
import qualified Data.Text as T
import qualified Data.Text.Read as T

parseURL :: Text -> Either String [Int]
parseURL = fmap (map fst) . mapM T.decimal . T.splitOn "/"

下面是一个测试用例：

*Main> parseURL "123/456/789"
Right [123,456,789]
*Main> parseURL "123/456/789/"
Left "input does not start with a digit"

Answer 2

很抱歉耽搁了你！我当时在沙漠里的那个东西上。这确实是个错误。我已经上传了包含这一变化的回旋镖-1.3.4：

hunk ./Text/Boomerang/Texts.hs 193
-digits = rText digit
+digits = rText1 digit

有了这个修复，Text版本的行为就像String版本。谢谢你的报告！