如何通过镜头增加记录类型的覆盖率？

Question

背景

我在lens中使用记录类型。我已经用HUnit和HSpec编写了一些单元测试。

但是，hpc coverage报告显示字段访问器从未执行过。

因此，有助于记录类型的较低覆盖率。

示例

data MetricValue =
  MetricValue { _average   :: Maybe Scientific
              , _count     :: Maybe Scientific
              , _maximum   :: Maybe Scientific
              , _minimum   :: Maybe Scientific
              , _timeStamp :: Text
              , _total     :: Maybe Scientific
              } deriving (Generic, Show)

makeLenses ''MetricValue

_average、_count、_maximum等字段以黄色突出显示，表示它们从未执行过。

问题

如何提高覆盖率？

我应该如何使用镜头测试记录类型？

Answer 1

makeLenses并不执行_average etc字段访问器函数，它只是使用它们来构造镜头。

如果您编写使用aValue ^. average的代码，则镜头将调用_average函数。