问题标签 [web-routes-boomerang]

I'm trying to parse URLs of the form

using the following code:

Unfortunately, trying to run this parser with

causes an infinite loop.

Is there any simple way to parse a list of slash-separated integers?

我正在使用Web.Routes.Boomerang包构建站点地图，并且我想使用Data.Time.Calendar其中的日期：

这不会进行类型检查，因为 for 的类型rDaily是

并不是

我想从 转换(Integer :- (Int :- (Int :- r)))为(Day :- r)。看起来xpure可以帮助我：

但是，fromGregorian从上面看并不完整，我想使用fromGregorianValid：

如何翻转dayr以制作2014/95/13无效 URL 之类的东西？

所以我想用 Boomerang 解析一些 AIS 数据会很有趣，但我遇到了第一个障碍。编译错误令人费解。看到我在试图解决这个问题之前已经在 Boomerang 中解析了类似的东西。

图书馆很简单。我定义了一些基本类型及其解析器/语法：

我现在希望支持句子计数值，它位于消息类型之后；我添加Int到AIS：

并更改解析器/打印机：

但它无法编译：

哎哟。请帮忙？