quickcheck

6ısı

1cevap

Test Yapın.QuickCheck.Batch liste işlevlerini sınamak için varsayılan bir tür kullanın

Herhangi bir liste üzerinde çalışan ayıklar adı verilen bir işlevi test ediyorum. extractions :: [a] -> [(a,[a])] extractions [] = [] extractions l = extract l [] where extract [] _ = []

11ısı

2cevap

HızlıKontrol özelliklerinde kullanılan gösterme işlevleri

Giriş olarak bir veya daha fazla işlev alan bir QuickCheck özelliği yazmaya çalışıyorum. Bu fonksiyon kompozisyonu kontrol etmek için bir özellik düşünün basit tutabilmek için ardışık işlevi uygulamas

39ısı

1cevap

QuickCheck 2'deki yenilikler nelerdir?

QuickCheck 1 ve QuickCheck 2 arasındaki başlıca farklar nelerdir? Haddock'a bakmadan, daha modüller arasında bölünmüş olduğunu görebiliyorum, coarbitrary, yeni Fun tipi ve FunArbitrary sınıfı (benim i

14ısı

2cevap

Hızlı denetim için başarısız olan değeri bulma

Bir değer bir QuickCheck'd sınaması başarısız olduğunda, hata ayıklama için kullanmak istiyorum. Gibi bir şey yapmak herhangi bir yolu var mı: let failValue = quickCheck' myTest in someStuff failValu

12ısı

1cevap

QuickCheck özelliklerini birden çok türe göre test etme?

Bazı türleri bir sarmalayıcı değerine (Atom) dönüştürmek için işlevleri tanımlayan Atomic tür sınıfım var. Bir "QuickCheck" özelliği tanımlamak istiyorum: "Atomic'un tüm örnekleri için, herhangi bir d