如何安装 libghc-quickcheck2-dev Debian 9

在本教程中,我们学习如何安装 libghc-quickcheck2-dev Debian 9. libghc-quickcheck2-dev 是 Haskell GHC 自动测试库

介绍

在本教程中我们学习如何安装 libghc-quickcheck2-dev 在 Debian 9.

什么是 libghc-quickcheck2-dev

libghc-quickcheck2-dev 是:

该包提供了 Haskell 编程语言的库。

QuickCheck 是一个用于自动测试 Haskell 程序的库。 程序员以函数应满足的属性的形式提供程序的规范,然后 QuickCheck 测试这些属性是否适用于大量随机生成的情况。 规范是用 Haskell 表达的,使用 QuickCheck 库中定义的组合器。 QuickCheck 提供组合器来定义属性、观察测试数据的分布以及定义测试数据生成器。

有三种安装方法 libghc-quickcheck2-dev 在 Debian 9.我们可以使用 apt-get, aptaptitude。 在以下部分中,我们将描述每种方法。 您可以选择其中之一。

使用 apt-get 安装 libghc-quickcheck2-dev

更新 apt 数据库 apt-get 使用以下命令。

更新apt数据库后,我们可以安装 libghc-quickcheck2-dev 使用 apt-get 通过运行以下命令:

sudo apt-get -y install libghc-quickcheck2-dev

使用 apt 安装 libghc-quickcheck2-dev

更新 apt 数据库 apt 使用以下命令。

更新apt数据库后,我们可以安装 libghc-quickcheck2-dev 使用 apt 通过运行以下命令:

sudo apt -y install libghc-quickcheck2-dev

使用 aptitude 安装 libghc-quickcheck2-dev

如果您想遵循此方法,您可能需要先安装 aptitude,因为 aptitude 通常不会默认安装 Debian。 更新 apt 数据库 aptitude 使用以下命令。

更新apt数据库后,我们可以安装 libghc-quickcheck2-dev 使用 aptitude 通过运行以下命令:

sudo aptitude -y install libghc-quickcheck2-dev

如何卸载 libghc-quickcheck2-dev Debian 9

仅卸载 libghc-quickcheck2-dev 打包我们可以使用以下命令:

sudo apt-get remove libghc-quickcheck2-dev

卸载 libghc-quickcheck2-dev 及其依赖项

卸载 libghc-quickcheck2-dev 及其不再需要的依赖项 Debian 9、我们可以使用下面的命令:

sudo apt-get -y autoremove libghc-quickcheck2-dev

删除 libghc-quickcheck2-dev 配置和数据

去除 libghc-quickcheck2-dev 配置和数据来自 Debian 9.我们可以使用以下命令:

sudo apt-get -y purge libghc-quickcheck2-dev

删除 libghc-quickcheck2-dev 配置、数据及其所有依赖项

我们可以使用下面的命令来删除 libghc-quickcheck2-dev 配置、数据及其所有依赖项,我们可以使用以下命令:

sudo apt-get -y autoremove --purge libghc-quickcheck2-dev

依赖关系

libghc-quickcheck2-dev 具有以下依赖项:

参考

概括

在本教程中我们学习如何安装 libghc-quickcheck2-dev 封装在 Debian 9.使用不同的包管理工具: apt, apt-getaptitude