功能隐私和单元测试Haskell

Question

你如何处理Haskell中的函数可见性和单元测试？

如果导出模块中的每个函数以便单元测试可以访问它们，则会冒其他人调用不应该在公共API中的函数的风险。

我想过使用{-# LANGUAGE CPP #-}然后用#ifdef包围导出：

{-# LANGUAGE CPP #-}

module SomeModule
#ifndef TESTING
( export1
, export2
)
#endif
where

有没有更好的办法？

Answer 1

通常的惯例是将您的模块拆分为公共和私有部分，即

module SomeModule.Internal where

-- ... exports all private methods

然后是公共API

module SomeModule where (export1, export2)

import SomeModule.Internal

然后，您可以在测试和其他对其访问内部实现至关重要的地方导入SomeModule.Internal 。

我们的想法是，您的库的用户永远不会意外地调用私有API，但如果知道他们正在做什么（调试等），他们可以使用它。 与强制隐藏私有API相比，这大大增加了库的可用性。

Answer 2

对于测试，您通常将应用程序拆分在cabal项目文件中，库，生产可执行文件和测试库函数的测试套件可执行文件之间，因此测试断言功能保持分开。

对于外部功能可见性，您可以在“exposed-modules”部分和“other-modules”部分之间拆分库模块。