このTraversableのインスタンスが正しくないのはなぜですか？

Question

以下のコードは、トラバーサブルのチェッカーテストに失敗します。私はそれがなぜ失敗するかの説明、それを修正する方法だけではなく、感謝します。

λ> main 

traversable: 
    fmap: +++ OK, passed 500 tests. 
    foldMap: *** Failed! Falsifiable (after 6 tests): 
<function> 
Cons 4 (Cons (-2) (Cons (-5) (Cons 5 (Cons 2 Nil)))) 

Answer 1

instance Foldable List where 
    foldr f z (Cons x xs) = f x z 
    foldr _ z Nil = z 

あなたの折り畳み式のインスタンスは、リストの末尾を横断していません：

import Test.QuickCheck 
import Test.QuickCheck.Checkers 
import Test.QuickCheck.Classes 

data List a = 
    Nil 
    | Cons a (List a) 
    deriving (Show, Eq, Ord) 

instance Functor List where 
    fmap _ Nil = Nil 
    fmap f (Cons x xs) = (Cons (f x) (fmap f xs)) 

instance Foldable List where 
    foldr f z (Cons x xs) = f x z 
    foldr _ z Nil = z 

instance Traversable List where 
    traverse f Nil = pure Nil 
    -- traverse f (Cons x Nil) = Cons <$> f x <*> pure Nil 
    traverse f (Cons x xs) = Cons <$> f x <*> (traverse f xs) 

instance Arbitrary a => Arbitrary (List a) where 
    arbitrary = sized go 
    where go 0 = pure Nil 
      go n = do 
      xs <- go (n - 1) 
      x <- arbitrary 
      return (Cons x xs) 

type TI = List 

instance Eq a => EqProp (List a) where (=-=) = eq 

main = do 
    let trigger = undefined :: TI (Int, Int, [Int]) 
    -- quickBatch (functor trigger) 
    quickBatch (traversable trigger) 

ここでは、それがfmapの法律ではなく、foldMapものを渡していることがわかります。

---

checkersはすべて一緒FunctorとFoldableをテストすることによって、あなたのTraversableインスタンスをテスト：それはTraversableの実装からfoldMapとfmapを導出し、彼らはあなたが定義されfoldMapとfmapと同じ結果を生み出すことを確認してください。