我目前正在阅读Thinking with Types一书。在第三章Variance中,作者提供了一个练习,读者应该在练习中实现 functor 实例T1
。
newtype T1 a = T1 (Int -> a)
我找到了几种方法来进行这种类型检查,例如,
instance Functor T1 where
fmap f (T1 a) = T1 (f . a)
…和
instance Functor T1 where
fmap f (T1 a) = T1 (f <$> a)
当然,仅仅进行实例类型检查并不意味着实例遵守函子定律。为了尝试测试我编写的实例是否正确(从而表明上面编写的至少一个实例是错误的),我想编写一些基于属性的测试。
我想使用刺猬类库来编写我的测试。该库提供了我认为我需要的lawsCheck
和功能。functorLaws
我想我可以在 GHCi 中使用以下行测试我的实例
> lawsCheck (functorLaws genT1)
我缺少的是如何编写genT1
,我想它会生成一个(或者可能是几个?实际上应该是genT1List
?)随机T1
值。我是否需要使用诸如hedgehog-fn之类的东西来生成任意函数,以便我可以制作一些随机(Int -> a)
值T1
来包装?如果是这样,怎么做?