tüm seçenekler
[  bianca  ]
[ Kaynak: haskell-quickcheck-safe  ]

Paket: libghc-quickcheck-safe-dev (0.1.0.6-5 ve diğerleri)

libghc-quickcheck-safe-dev için bağlantılar

Screenshot

haskell-quickcheck-safe Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

Safe reimplementation of QuickCheck's core

QuickCheck-safe reimplements the quickCheck functionality with a pure interface and a very small trusted base (see Test.QuickCheck.Safe.Trusted).

* uses the existing Arbitrary instances * implemented features: testing, result minimization (i.e., shrinking) * missing features: expected failures, label frequencies, coverage

The package is targeted at users who want to leverage SafeHaskell for sandboxing. 

  >>> putStr $ quickCheck (inventQCGen ()) (\x -> length (x :: [()]) < 10)
  *** Failed! Falsifiable (after 18 tests and 3 shrinks):
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

libghc-quickcheck-safe-dev ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-quickcheck-safe-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 0.1.0.6-5+b1 35,4 kB257,0 kB [dosya listesi]
arm64 0.1.0.6-5+b1 35,2 kB281,0 kB [dosya listesi]