Packages / openSUSE Tumbleweed / Unspecified / ghc-QuickCheck

[Source: ghc-QuickCheck]

Package: ghc-QuickCheck (2.15.0.1-2.13)

Test automatico di programmi Haskell

QuickCheck è una libreria per il test casuale delle proprietà dei programmi. Il programmatore fornisce una specifica del programma, sotto forma di proprietà che le funzioni devono soddisfare, e QuickCheck verifica poi che le proprietà valgano in un gran numero di casi generati casualmente. Le specifiche sono espresse in Haskell, usando i combinatori forniti da QuickCheck. QuickCheck fornisce combinatori per definire proprietà, osservare la distribuzione dei dati di test e definire generatori di dati di test. La maggior parte delle funzionalità di QuickCheck è esportata dal modulo principale "Test.QuickCheck". La principale eccezione è la libreria di test monodico delle proprietà in "Test.QuickCheck.Monadic". Se siete nuovi a QuickCheck, potete consultare le seguenti risorse: * The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>. È un po' datato in alcuni dettagli e non copre le funzionalità più recenti di QuickCheck, ma è ancora pieno di buoni consigli. * <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>, un tutorial dettagliato scritto da un utente di QuickCheck. Il pacchetto companion <https://hackage.haskell.org/package/quickcheck-instances quickcheck-instances> fornisce istanze per i tipi nei pacchetti Haskell Platform al costo di dipendenze aggiuntive.

Other Packages Related to ghc-QuickCheck:

  • dep: libHSarray-0.5.8.0-6d05-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSbase-4.21.2.0-baed-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSbytestring-0.12.2.0-4850-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHScontainers-0.7-758a-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSdeepseq-1.5.1.0-4452-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSghc-bignum-1.3-9f74-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSghc-boot-th-9.12.4-cd4a-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSghc-internal-9.1204.0-6f14-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSghc-prim-0.13.0-99c1-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSmtl-2.3.2-a222-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSpretty-1.1.3.6-9c04-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSrandom-1.3.1-8MwcljsnToI15b52gR94G4-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHSsplitmix-0.1.3.2-5KbIK0ecayJ2rbYpNaJpAk-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHStemplate-haskell-2.23.0.0-5865-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libHStransformers-0.6.3.0-7d93-ghc9.12.4.so()(64bit)

    Package not available

  • dep: libgmp.so.10()(64bit)

    Package not available

  • dep: libm.so.6()(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.29)(64bit)

    Package not available

  • dep: libc.so.6(GLIBC_2.2.5)(64bit)

    Package not available

Download ghc-QuickCheck

ArchitecturePackage sizeInstalled sizeFilesPackage
x86_64329 KiB2.0 MiBlist of filesDownload

Percorsi file del pacchetto (3)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/lib64/ghc-9.12.4/lib/libHSQuickCheck-2.15.0.1-7lGN6zZpWxLCyYVDT1uGXe-ghc9.12.4.so
  • /usr/share/licenses/ghc-QuickCheck
  • /usr/share/licenses/ghc-QuickCheck/LICENSE

Field source: openSUSE Tumbleweed OSS

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.15.0.1-2.13tumbleweed / ossx86_64openSUSE Tumbleweed · OSS · multi-architecture329 KiB2.0 MiBx86_64/ghc-QuickCheck-2.15.0.1-2.13.x86_64.rpm

Field source: openSUSE Tumbleweed OSS

Vulnerabilità note

Nessun avviso corrispondente nelle fonti monitorate.

Ultima sincronizzazione:

[Catalogo CVE]

Checksum

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

2.15.0.1-2.13 / x86_64Osservato Sep 1, 2026sha512 1ffd4eac2c32…c7411c38Impronta della fonte

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Impronta della fonte (sha512): 1ffd4eac2c32cfc85b5258a16d05f64252182aabcb5698cbb461f9dbe088b761f47db2e7acd692199d83d762d2e974644f86ae7f80df178654505efcc7411c38

Field source: openSUSE Tumbleweed OSS

Fonti

  • openSUSE Tumbleweed OSSSep 1, 2026

    Authoritative source; repository metadata signature verified

    Prova della firma

    tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

    Repository-signature verification record
    Signed-object SHA-256
    4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable