۲۰ - ۱۱کنترل کیفیت

خبر خوب! از اونجا که نمونه‌های ‏‎Traversable‎‏ هم قانون دارن، میشه با ‏‎QuickCheck‎‏ تست‌شون کرد. همون کتابخونه checkers که استفاده می‌کردیم این قوانین رو هم داره. کُدِ زیر رو میشه به یه ماژول اضافه کرد، و با تغییرِ تایپ مستعار‌ِش، نمونه‌ای که می‌خواین رو تست کنین:

type TI = []

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