hask-replace

hask-replace 是一个命令行工具，简化了重命名 Haskell、Elm 和 Idris 模块的过程。它还可以用于重命名包。

卖点

以下是一个使用 hr 的示例

cabal unpack dhall
cd dhall-1.5.1/
hr module . "Dhall.Import" "Dhall.Dependencies"
cabal new-build

如您所见，这比在 bash 中完成相同任务所需的任何魔法都要简单得多。不仅如此，它还适用于 Idris 和 Elm！

安装

脚本

对于大多数用户来说，最简单的方式可能是通过 shell 脚本安装，如下所示。

curl -LSfs https://japaric.github.io/trust/install.sh | sh -s -- --git vmchale/hask-replace

二进制发布

如果脚本不起作用，您还可以下载预先构建的二进制文件。您可以在发布页面找到各种平台的二进制文件。

Cargo

首先，安装 cargo。然后

 $ cargo install hask-replace

您需要使用夜间的发布版才能使此功能生效；如果有疑问，请运行

rustup run nightly cargo install hask-replace

性能

使用

hr 也可以用于 Idris。

git clone https://github.com/HuwCampbell/idris-lens.git
cd idris-lens
hr idris . Control.Lens.Maths Control.Lens.Math
idris --build lens.ipkg

Vim 插件

这里有一个 hask-replace 的 Vim 插件 在此处。它支持复制和移动 Haskell、Elm 和 Idris 模块。