@cardano quickcheck-contractmodel dependencies
21 results
@haskell/mtl
Monad classes for transformers, using functional dependencies
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/time
A time library
@hackage/quickcheck-dynamic
A library for stateful property-based testing
@hackage/pretty
Pretty-printing library
@hackage/mmorph
Monad morphisms
@hackage/lens
Lenses, Folds and Traversals
@hackage/QuickCheck
Automatic testing of Haskell programs
@cardano/strict-containers
Various strict container types
@cardano/plutus-tx
Libraries for Plutus Tx and its prelude
@cardano/ouroboros-consensus-cardano
The instantation of the Ouroboros consensus layer used by Cardano
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
@cardano/cardano-slotting
Key slotting types for cardano libraries
@cardano/cardano-ledger-shelley-ma
Deprecated package that used to implement Allegra and Mary eras.
@cardano/cardano-ledger-shelley
Shelley Ledger Executable Model
@cardano/cardano-ledger-core
Core components of Cardano ledgers from the Shelley release on.
@cardano/cardano-ledger-babbage
Cardano ledger introducing refrence scripts and inline datums
@cardano/cardano-ledger-alonzo
Cardano ledger introducing Plutus Core
@cardano/cardano-api
The cardano API