alle opties
stretch  ] [  buster  ] [  sid  ]
[ Bron: haskell-quickcheck-safe  ]

Pakket: libghc-quickcheck-safe-prof ( en anderen)

Verwijzigingen voor libghc-quickcheck-safe-prof


Debian bronnen:

Het bronpakket haskell-quickcheck-safe downloaden:


Externe bronnen:

Vergelijkbare pakketten:

Safe reimplementation of QuickCheck's core; profiling libraries

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, compiled for profiling. See for more information on Haskell.

Andere aan libghc-quickcheck-safe-prof gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-quickcheck-safe-prof downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 44,6 kB331,0 kB [overzicht]
amd64 35,2 kB228,0 kB [overzicht]
arm64 37,6 kB250,0 kB [overzicht]
armel 38,2 kB206,0 kB [overzicht]
armhf 38,1 kB206,0 kB [overzicht]
hppa (unofficial port) 51,5 kB312,0 kB [overzicht]
hurd-i386 36,5 kB188,0 kB [overzicht]
i386 36,2 kB187,0 kB [overzicht]
kfreebsd-amd64 35,4 kB228,0 kB [overzicht]
kfreebsd-i386 36,3 kB187,0 kB [overzicht]
m68k (unofficial port) 43,4 kB259,0 kB [overzicht]
mips 41,6 kB246,0 kB [overzicht]
mips64el 41,3 kB319,0 kB [overzicht]
mipsel 41,7 kB246,0 kB [overzicht]
powerpcspe (unofficial port) 40,7 kB258,0 kB [overzicht]
ppc64 (unofficial port) 38,8 kB330,0 kB [overzicht]
ppc64el 39,6 kB322,0 kB [overzicht]
riscv64 (unofficial port) 58,6 kB506,0 kB [overzicht]
s390x 39,6 kB291,0 kB [overzicht]
sparc64 (unofficial port) 52,5 kB492,0 kB [overzicht]
x32 (unofficial port) 46,7 kB279,0 kB [overzicht]