如何安装 libghc-quickcheck-safe-dev Debian 9

在本教程中,我们学习如何安装 libghc-quickcheck-safe-dev Debian 9. libghc-quickcheck-safe-dev 是 QuickChecks 核心的安全重新实现

介绍

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

什么是 libghc-quickcheck-safe-dev

libghc-quickcheck-safe-dev 是:

QuickCheck-safe 使用纯接口和非常小的可信库重新实现了 fastCheck 功能(请参阅 Test.QuickCheck.Safe.Trusted)。

  • 使用现有的任意实例
  • 实现的功能:测试、结果最小化(即缩小)
  • 缺失的特征:预期故障、标签频率、覆盖范围

该软件包面向想要利用 SafeHaskell 进行沙箱处理的用户。

putStr $quickCheck(inventQCGen())(\x -> 长度(x:: [()]) < 10) *** 失败! 可证伪(经过 18 次测试和 3 次收缩): [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]

该包提供了 Haskell 编程语言的库。 看 https://www.haskell.org/ 有关 Haskell 的更多信息。

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

使用 apt-get 安装 libghc-quickcheck-safe-dev

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

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

sudo apt-get -y install libghc-quickcheck-safe-dev

使用 apt 安装 libghc-quickcheck-safe-dev

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

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

sudo apt -y install libghc-quickcheck-safe-dev

使用 aptitude 安装 libghc-quickcheck-safe-dev

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

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

sudo aptitude -y install libghc-quickcheck-safe-dev

如何卸载 libghc-quickcheck-safe-dev Debian 9

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

sudo apt-get remove libghc-quickcheck-safe-dev

卸载 libghc-quickcheck-safe-dev 及其依赖项

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

sudo apt-get -y autoremove libghc-quickcheck-safe-dev

删除 libghc-quickcheck-safe-dev 配置和数据

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

sudo apt-get -y purge libghc-quickcheck-safe-dev

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

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

sudo apt-get -y autoremove --purge libghc-quickcheck-safe-dev

依赖关系

libghc-quickcheck-safe-dev 具有以下依赖项:

参考

概括

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