搜索
搜索

具有历史记录支持的OCaml readline

Enrico Borba 发表于 Dev
46
恩里科·博尔巴（Enrico Borba）

我想要类似Python的东西，readline但在OCaml中。我正在编写一个OCaml程序，该程序接受像shell或REPL这样的输入，并且我想添加使用箭头键提示的历史记录。是否有提供此功能的库或内置程序？

顺

遵循ivg的建议，opam search readline显示：

  • 线噪声-看起来可以以很少的开销提供您正在寻找的特定功能
  • zed-这看起来功能更全，更灵活，但使用起来可能会涉及更多

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章

PowerShell：历史记录增强功能（readline）？

Perl Term :: Readline用于多个终端历史记录

将单独的历史记录用于“ read -e”（readline）

Readline.H历史记录在C语言中的用法

在Ubuntu上具有readline支持的SQLite

具有历史记录的PyQt QLineEdit

React Router触发具有历史记录的路由

具有多个终端的Bash历史记录处理

具有历史记录队列的基于SAN的存储

具有历史记录的困难序列处理

git tfs具有部分历史记录的克隆

git rebase具有复杂历史记录的分支

XMPP是否支持历史记录？

使用ocaml utop打印历史记录列表

“print readline”与“$line = readline”有何不同；打印 $line`？

IPython没有可用的readline和pip安装readline错误

readLine（）如何具有nullpointer异常？

BufferedReader readLine（）具有奇怪的字符

github是否支持pdf文件的版本历史记录？

角度5：无法在“历史记录”上执行“ replaceState”：无法在源为“ null”的文档中创建具有URL的历史记录状态对象

删除git历史记录中具有多个分支的特定提交？

在具有不同提交历史记录的存储库中应用补丁

具有错误执行日期的Oracle SQL Developer历史记录

如何将具有完整历史记录的扩散存储库导入github？

具有浏览器历史记录/标签的PrimeFaces Ajax导航

uml状态机是否必须具有较浅的历史记录？

具有AJAX表单的HTML5历史记录

具有日期和时间的Linux命令历史记录

将git存储库推送到具有历史记录的远程颠覆

TOP 榜单

  1. 1

    蓝屏死机没有修复解决方案

  2. 2

    计算数据帧中每行的NA

  3. 3

    UITableView的项目向下滚动后更改颜色，然后快速备份

  4. 4

    Node.js中未捕获的异常错误，发生调用

  5. 5

    在 Python 2.7 中。如何从文件中读取特定文本并分配给变量

  6. 6

    Linux的官方Adobe Flash存储库是否已过时？

  7. 7

    验证REST API参数

  8. 8

    ggplot：对齐多个分面图-所有大小不同的分面

  9. 9

    Mac OS X更新后的GRUB 2问题

  10. 10

    通过 Git 在运行 Jenkins 作业时获取 ClassNotFoundException

  11. 11

    带有错误“ where”条件的查询如何返回结果？

  12. 12

    用日期数据透视表和日期顺序查询

  13. 13

    VB.net将2条特定行导出到DataGridView

  14. 14

    如何从视图一次更新多行（ASP.NET - Core）

  15. 15

    Java Eclipse中的错误13，如何解决？

  16. 16

    尝试反复更改屏幕上按钮的位置 - kotlin android studio

  17. 17

    离子动态工具栏背景色

  18. 18

    应用发明者仅从列表中选择一个随机项一次

  19. 19

    当我尝试下载 StanfordNLP en 模型时，出现错误

  20. 20

    python中的boto3文件上传

  21. 21

    在同一Pushwoosh应用程序上Pushwoosh多个捆绑ID

热门标签

归档