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

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

Verwijzigingen voor libghc-quickcheck-safe-prof

Screenshot

Debian bronnen:

Het bronpakket haskell-quickcheck-safe downloaden:

Beheerders:

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 http://www.haskell.org/ 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) 0.1.0.4-2+b2 44,6 kB331,0 kB [overzicht]
amd64 0.1.0.4-2+b2 35,2 kB228,0 kB [overzicht]
arm64 0.1.0.4-2+b2 37,6 kB250,0 kB [overzicht]
armel 0.1.0.4-2+b2 38,2 kB206,0 kB [overzicht]
armhf 0.1.0.4-2+b2 38,1 kB206,0 kB [overzicht]
hppa (unofficial port) 0.1.0.4-2+b3 51,5 kB312,0 kB [overzicht]
hurd-i386 0.1.0.4-2+b2 36,5 kB188,0 kB [overzicht]
i386 0.1.0.4-2+b2 36,2 kB187,0 kB [overzicht]
kfreebsd-amd64 0.1.0.4-2+b2 35,4 kB228,0 kB [overzicht]
kfreebsd-i386 0.1.0.4-2+b2 36,3 kB187,0 kB [overzicht]
m68k (unofficial port) 0.1.0.4-2+b2 43,4 kB259,0 kB [overzicht]
mips 0.1.0.4-2+b2 41,6 kB246,0 kB [overzicht]
mips64el 0.1.0.4-2+b2 41,3 kB319,0 kB [overzicht]
mipsel 0.1.0.4-2+b2 41,7 kB246,0 kB [overzicht]
powerpcspe (unofficial port) 0.1.0.4-1 40,7 kB258,0 kB [overzicht]
ppc64 (unofficial port) 0.1.0.4-2+b2 38,8 kB330,0 kB [overzicht]
ppc64el 0.1.0.4-2+b2 39,6 kB322,0 kB [overzicht]
riscv64 (unofficial port) 0.1.0.4-2+b2 58,6 kB506,0 kB [overzicht]
s390x 0.1.0.4-2+b2 39,6 kB291,0 kB [overzicht]
sparc64 (unofficial port) 0.1.0.4-2+b2 52,5 kB492,0 kB [overzicht]
x32 (unofficial port) 0.1.0.4-2+b2 46,7 kB279,0 kB [overzicht]