Haskell 二进制解析

Question

我一直在尝试在 haskell 中实现一个协议解析器，而且我对这门语言还很陌生，特别是当涉及到 monad 时。我一直在使用binary-0.5.0.2，并描述了协议的标头和所有有效负载。我想要解析的消息如下所示： header + (payload A, Payload B, ..) 其中 header 中的字段指定消息具有的有效负载类型。

我已经成功解析了字节串中的第一条消息，但不知道如何读取下一条消息，丢弃在处理第一条消息时读取的字节。

这可能相当模糊，但我宁愿在通用解析器上获取输入，也不愿将丑陋的代码更改为以这种方式工作。

感谢您的帮助

Answer 1

只需使用一系列解析操作，它们就会在执行过程中消耗输入。

parseAll = do
    hdr <- parseHeader
    pa <- parsePayloadA
    pb <- parsePayloadB
    ...

Answer 2

runGetState 从 Data.Binary.Get 返回的元组的第二个元素是剩余的 ByteString。您可以继续应用解析器，直到出现错误或字节用完为止。