文件名称:Broadhead:基于箭头的解析器组合器
文件大小:5KB
文件格式:ZIP
更新时间:2024-07-15 18:27:49
Idris
布罗德海德 用于 idris 的基于箭头的解析器组合器库。 实际的组合器是非常标准的( many , sepBy1 ),但是使用箭头而不是 monad 来组合解析器。 这应该会使其在未来某个时候变得非常快,但目前还不是。 我不建议将它用于任何处于当前状态的东西。 欢迎拉取请求/问题/一般贡献。
【文件预览】:
Broadhead-master
----src()
--------Broadhead()
----examples()
--------basic.lidr(660B)
----broadhead.ipkg(173B)
----README.md(405B)
----.gitignore(10B)