如何在线使用 ghci- *h e l p*;它只是快速滚动?
how to use ghci online- *h e l p*; it just scrolls fast?
当我尝试使用 :save 命令保存当前的 ghci 会话时出现错误
Prelude> :save
unknown command ':save'
use :? for help.
Prelude>
然后当我输入 :?我得到了大量的输出,这些输出放大了屏幕;如何一次一页地阅读它?在 ghci 中有类似 Unix less
命令的东西吗?
您可以从 shell 运行 GHCi 并使用 shell 重定向。这适用于 Windows:
echo :? | ghci > help.txt
more help.txt
我希望它也能在 Unix 上运行,尽管我实际上无法尝试。
当我尝试使用 :save 命令保存当前的 ghci 会话时出现错误
Prelude> :save
unknown command ':save'
use :? for help.
Prelude>
然后当我输入 :?我得到了大量的输出,这些输出放大了屏幕;如何一次一页地阅读它?在 ghci 中有类似 Unix less
命令的东西吗?
您可以从 shell 运行 GHCi 并使用 shell 重定向。这适用于 Windows:
echo :? | ghci > help.txt
more help.txt
我希望它也能在 Unix 上运行,尽管我实际上无法尝试。