Pakiet: libghc-quickcheck-safe-doc (0.1.0.6-5)
Odnośniki dla libghc-quickcheck-safe-doc
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego haskell-quickcheck-safe:
- [haskell-quickcheck-safe_0.1.0.6-5.dsc]
- [haskell-quickcheck-safe_0.1.0.6.orig.tar.gz]
- [haskell-quickcheck-safe_0.1.0.6-5.debian.tar.xz]
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [hackage.haskell.org]
Podobne pakiety:
Safe reimplementation of QuickCheck's core; documentation
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 the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Inne pakiety związane z libghc-quickcheck-safe-doc
|
|
|
|
-
- dep: haddock-interface-42
- pakiet wirtualny udostępniany przez ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-quickcheck-safe-dev
- Safe reimplementation of QuickCheck's core
-
- rec: libghc-quickcheck2-doc
- Haskell automatic testing library for GHC; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
-
- sug: libghc-quickcheck-safe-prof
- Safe reimplementation of QuickCheck's core; profiling libraries
Pobieranie libghc-quickcheck-safe-doc
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 91,8 KiB | 1 533,0 KiB | [lista plików] |