文件名称：idris-monadic-parser
文件大小：5KB
文件格式：ZIP
更新时间：2024-07-31 09:46:17
Idris
图书馆目前已损坏 这个库不能用最新版本的 idris 编译。 我目前没有动力去解决这个问题，但拉取请求当然是受欢迎的，我最终会解决这个问题。 用 idris 编写的 Monadic Parser 这是一个用于 monadic 解析器组合器的库，它基本上是来自 idris 的 SimpleParser，它泛化了更多的数据类型，而不仅仅是 String。 还有一个带有类似 Tagsoup 的输出的 HTML 解析器，它应该可以很好地工作以供使用。 目的是改进 HTML 解析器，直到它符合 HTML5 规范。 欢迎评论、错误报告和拉取请求。
【文件预览】：
idris-monadic-parser-master
----src()
--------Parser()
--------Parser.idr(4KB)
----LICENSE(1KB)
----README.md(684B)
----.gitignore(53B)
----monadic_parser.ipkg(81B)