diff --git a/cabal.project b/cabal.project index 23a44fcf253..6bda9f1ca8e 100644 --- a/cabal.project +++ b/cabal.project @@ -1,4 +1,20 @@ -index-state: 2022-07-01T00:00:00Z +-- Custom repository for cardano haskell packages, see CONTRIBUTING for more +repository cardano-haskell-packages + url: https://input-output-hk.github.io/cardano-haskell-packages + secure: True + root-keys: + 3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f + 443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1 + a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82 + bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413 + c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56 + d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee + +-- See CONTRIBUTING for information about these, including some Nix commands +-- you need to run if you change them + +index-state: 2022-11-01T00:00:00Z +index-state: cardano-haskell-packages 2022-11-01T20:00:00Z packages: eras/alonzo/impl @@ -40,63 +56,7 @@ benchmarks: true -- The only sensible test display option test-show-details: streaming -source-repository-package - type: git - location: https://github.com/input-output-hk/cardano-base - tag: 631cb6cf1fa01ab346233b610a38b3b4cba6e6ab - --sha256: 0944wg2nqazmhlmsynwgdwxxj6ay0hb9qig9l128isb2cjia0hlp - subdir: - base-deriving-via - binary - binary/test - cardano-crypto-class - cardano-crypto-praos - measures - slotting - strict-containers - -source-repository-package - type: git - location: https://github.com/input-output-hk/cardano-crypto - tag: f73079303f663e028288f9f4a9e08bcca39a923e - --sha256: 1n87i15x54s0cjkh3nsxs4r1x016cdw1fypwmr68936n3xxsjn6q - -source-repository-package - type: git - location: https://github.com/input-output-hk/cardano-prelude - tag: 533aec85c1ca05c7d171da44b89341fb736ecfe5 - --sha256: 0z2y3wzppc12bpn9bl48776ms3nszw8j58xfsdxf97nzjgrmd62g - subdir: - cardano-prelude - cardano-prelude-test - -source-repository-package - type: git - location: https://github.com/input-output-hk/goblins - tag: cde90a2b27f79187ca8310b6549331e59595e7ba - --sha256: 17c88rbva3iw82yg9srlxjv2ia5wjb9cyqw44hik565f5v9svnyg - -source-repository-package - type: git - location: https://github.com/input-output-hk/plutus - tag: 8ab4c3355c5fdf67dcf6acc1f5a14668d5e6f0a9 - --sha256: coD/Kpl7tutwXb6ukQCH5XojBjquYkW7ob0BWZtdpok= - subdir: - plutus-ledger-api - plutus-tx - plutus-tx-plugin - plutus-core - prettyprinter-configurable - word-array - --- https://github.com/Quid2/flat/pull/22 fixes a potential exception --- when decoding invalid (e.g. malicious) text literals. -source-repository-package - type: git - location: https://github.com/Quid2/flat.git - tag: ee59880f47ab835dbd73bea0847dab7869fc20d8 - --sha256: 1lrzknw765pz2j97nvv9ip3l1mcpf2zr4n56hwlz0rk7wq7ls4cm - +-- https://github.com/fpco/weigh/pull/43 source-repository-package type: git location: https://github.com/fpco/weigh.git @@ -106,6 +66,10 @@ source-repository-package allow-newer: monoidal-containers:aeson, size-based:template-haskell, + Unique:hashable, + ral:hashable, + fin:hashable, + bin:hashable, constraints: -- bizarre issue: in earlier versions they define their own 'GEq', in newer @@ -113,12 +77,45 @@ constraints: -- constraint from dependent-sum-template (which is the library we actually use). , dependent-sum > 0.6.2.0 - -- Plutus dependency + , hedgehog >= 1.0 + , bimap >= 0.4.0 + , libsystemd-journal >= 1.4.4 + , systemd >= 2.3.0 + -- systemd-2.3.0 requires at least network 3.1.1.0 but it doesn't declare + -- that dependency + , network >= 3.1.1.0 + , HSOpenSSL >= 0.11.7.2 , algebraic-graphs < 0.7 - + , persistent < 2.14 + -- Just sanity checks to make sure we've actually pinned the latest versions + , cardano-binary >= 1.5.0.1 + , cardano-prelude >= 0.1.0.1 + , heapwords >= 0.1.0.1 , protolude >= 0.3.2 + -- cardano-crypto-class does not work with vector>0.13 see https://github.com/input-output-hk/cardano-base/issues/327 + , vector < 0.13 + + -- TODO: these should be set in cabal files, but avoiding setting them in lower dependencies for initial CHaP release + , base-deriving-via == 0.1.0.0 + , cardano-crypto-class == 2.0.0.1 + , cardano-crypto-praos == 2.0.0.0.1 + , cardano-crypto-tests == 2.0.0.0.1 + , cardano-slotting == 0.1.0.0 + , measures == 0.1.0.0 + , orphans-deriving-via == 0.1.0.0 + , strict-containers == 0.1.0.0 + , plutus-core == 1.0.0.1 + , plutus-ledger-api == 1.0.0.1 + , plutus-tx == 1.0.0.0 + , plutus-tx-plugin == 1.0.0.0 + , prettyprinter-configurable == 0.1.0.0 + , plutus-ghc-stub == 8.6.5 + , word-array == 0.1.0.0 + , word-array == 0.1.0.0 + , io-classes == 0.2.0.0 + , typed-protocols == 0.1.0.0 + , typed-protocols-examples == 0.1.0.0 - , persistent < 2.14 -- Have to specify '-Werror' for each package until this is taken care of: -- https://github.com/haskell/cabal/issues/3579 diff --git a/eras/alonzo/impl/cardano-ledger-alonzo.cabal b/eras/alonzo/impl/cardano-ledger-alonzo.cabal index 3d0ee7574c4..2c7d3ad2592 100644 --- a/eras/alonzo/impl/cardano-ledger-alonzo.cabal +++ b/eras/alonzo/impl/cardano-ledger-alonzo.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 name: cardano-ledger-alonzo -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Cardano ledger introducing Plutus Core description: This package builds upon the Mary ledger with support for extended UTxO @@ -74,6 +74,7 @@ library containers, data-default, deepseq, + heapwords, measures, mtl, microlens, @@ -87,7 +88,7 @@ library cardano-ledger-shelley, scientific, small-steps, - strict-containers, + cardano-strict-containers, text, time, transformers, diff --git a/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Data.hs b/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Data.hs index 1d6d287d83f..fbf8c83f562 100644 --- a/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Data.hs +++ b/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Data.hs @@ -54,6 +54,7 @@ import Cardano.Binary withSlice, ) import Cardano.Crypto.Hash.Class (HashAlgorithm) +import Cardano.HeapWords (HeapWords (..), heapWords0, heapWords1) import Cardano.Ledger.Alonzo.Era import Cardano.Ledger.Alonzo.Language (Language (..)) import Cardano.Ledger.Alonzo.Scripts (AlonzoScript (..), validScript) @@ -69,7 +70,6 @@ import Cardano.Ledger.SafeHash ) import Cardano.Ledger.Serialization (mapFromCBOR) import Cardano.Ledger.Shelley.Metadata (Metadatum, validMetadatum) -import Cardano.Prelude (HeapWords (..), heapWords0, heapWords1) import qualified Codec.Serialise as Cborg (Serialise (..)) import Control.DeepSeq (NFData) import Data.ByteString.Lazy (fromStrict, toStrict) diff --git a/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal b/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal index cab15d5b2e7..176811508ca 100644 --- a/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal +++ b/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 name: cardano-ledger-alonzo-test -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Tests for Cardano ledger introducing Plutus Core description: This package builds upon the Mary ledger with support for extended UTxO @@ -71,7 +71,7 @@ library microlens, small-steps, small-steps-test, - strict-containers, + cardano-strict-containers, text, transformers, hs-source-dirs: @@ -117,7 +117,7 @@ test-suite cardano-ledger-alonzo-test cardano-ledger-shelley, cardano-ledger-shelley-test, microlens, - strict-containers, + cardano-strict-containers, tasty, tasty-hunit, tasty-quickcheck, diff --git a/eras/babbage/impl/cardano-ledger-babbage.cabal b/eras/babbage/impl/cardano-ledger-babbage.cabal index 5220f6ba2d7..4c589c19cfa 100644 --- a/eras/babbage/impl/cardano-ledger-babbage.cabal +++ b/eras/babbage/impl/cardano-ledger-babbage.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 name: cardano-ledger-babbage -version: 0.1.0.0 +version: 0.1.1.1 synopsis: TODO description: TODO bug-reports: https://github.com/input-output-hk/cardano-ledger/issues @@ -69,7 +69,7 @@ library plutus-tx ^>= 1.0, set-algebra, small-steps, - strict-containers, + cardano-strict-containers, text, transformers, validation-selective diff --git a/eras/babbage/test-suite/cardano-ledger-babbage-test.cabal b/eras/babbage/test-suite/cardano-ledger-babbage-test.cabal index bd1a8f3413c..be9fa37512a 100644 --- a/eras/babbage/test-suite/cardano-ledger-babbage-test.cabal +++ b/eras/babbage/test-suite/cardano-ledger-babbage-test.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 name: cardano-ledger-babbage-test -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Tests for Cardano ledger babbage era description: This package builds upon the Alonzo ledger @@ -64,7 +64,7 @@ library cardano-ledger-shelley-test, cardano-ledger-shelley, small-steps, - strict-containers, + cardano-strict-containers, text, hs-source-dirs: src @@ -108,7 +108,7 @@ test-suite cardano-ledger-babbage-test plutus-tx, small-steps, small-steps-test, - strict-containers, + cardano-strict-containers, tasty, tasty-hunit, tasty-quickcheck, diff --git a/eras/byron/chain/executable-spec/byron-spec-chain.cabal b/eras/byron/chain/executable-spec/byron-spec-chain.cabal index 52741b624b3..b00b2d33f63 100644 --- a/eras/byron/chain/executable-spec/byron-spec-chain.cabal +++ b/eras/byron/chain/executable-spec/byron-spec-chain.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: byron-spec-chain -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Executable specification of the Cardano blockchain -- description: homepage: https://github.com/input-output-hk/cardano-legder-specs diff --git a/eras/byron/chain/executable-spec/src/Byron/Spec/Chain/STS/Rule/Chain.hs b/eras/byron/chain/executable-spec/src/Byron/Spec/Chain/STS/Rule/Chain.hs index 93807312fe5..78b8f718dc1 100644 --- a/eras/byron/chain/executable-spec/src/Byron/Spec/Chain/STS/Rule/Chain.hs +++ b/eras/byron/chain/executable-spec/src/Byron/Spec/Chain/STS/Rule/Chain.hs @@ -382,15 +382,3 @@ coverInvalidBlockProofs coverPercentage = InvalidUpdateProposalHash, InvalidUtxoHash ] - --------------------------------------------------------------------------------- --- FieldX instances for a 6-tuple --------------------------------------------------------------------------------- - -instance Field1 (a, b, c, d, e, f) (a', b, c, d, e, f) a a' where - _1 k ~(a, b, c, d, e, f) = (\a' -> (a', b, c, d, e, f)) <$> k a - {-# INLINE _1 #-} - -instance Field5 (a, b, c, d, e, f) (a, b, c, d, e', f) e e' where - _5 k ~(a, b, c, d, e, f) = (\e' -> (a, b, c, d, e', f)) <$> k e - {-# INLINE _5 #-} diff --git a/eras/byron/crypto/cardano-crypto-wrapper.cabal b/eras/byron/crypto/cardano-crypto-wrapper.cabal index 64b2fa33bd9..0ff90e0100c 100644 --- a/eras/byron/crypto/cardano-crypto-wrapper.cabal +++ b/eras/byron/crypto/cardano-crypto-wrapper.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-crypto-wrapper -version: 1.3.0 +version: 1.4.1 synopsis: Cryptographic primitives used in the Cardano project description: Cryptographic primitives used in the Cardano project license: Apache-2.0 @@ -93,6 +93,7 @@ library , cryptonite , data-default , formatting + , heapwords , memory , mtl , nothunks diff --git a/eras/byron/crypto/src/Cardano/Crypto/Hashing.hs b/eras/byron/crypto/src/Cardano/Crypto/Hashing.hs index bbd82c95de4..ca7622eed17 100644 --- a/eras/byron/crypto/src/Cardano/Crypto/Hashing.hs +++ b/eras/byron/crypto/src/Cardano/Crypto/Hashing.hs @@ -64,6 +64,7 @@ import Cardano.Binary serialize, withWordSize, ) +import Cardano.HeapWords import Cardano.Prelude import Crypto.Hash (Blake2b_256, Digest, HashAlgorithm, hashDigestSize) import qualified Crypto.Hash as Hash diff --git a/eras/byron/crypto/test/cardano-crypto-test.cabal b/eras/byron/crypto/test/cardano-crypto-test.cabal index 272fcc2cafb..2a05f30eb89 100644 --- a/eras/byron/crypto/test/cardano-crypto-test.cabal +++ b/eras/byron/crypto/test/cardano-crypto-test.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-crypto-test -version: 1.3.0 +version: 1.4.1 synopsis: Test helpers from cardano-crypto exposed to other packages description: Test helpers from cardano-crypto exposed to other packages license: Apache-2.0 diff --git a/eras/byron/ledger/executable-spec/byron-spec-ledger.cabal b/eras/byron/ledger/executable-spec/byron-spec-ledger.cabal index 7785d3df32a..50d92db7f4e 100644 --- a/eras/byron/ledger/executable-spec/byron-spec-ledger.cabal +++ b/eras/byron/ledger/executable-spec/byron-spec-ledger.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: byron-spec-ledger -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Executable specification of Cardano ledger -- description: homepage: https://github.com/input-output-hk/cardano-legder-specs @@ -62,6 +62,7 @@ library , Unique >= 0.4.7.6 -- IOHK deps , cardano-binary + , cardano-prelude -- Local deps , small-steps , small-steps-test diff --git a/eras/byron/ledger/executable-spec/src/Byron/Spec/Ledger/Update.hs b/eras/byron/ledger/executable-spec/src/Byron/Spec/Ledger/Update.hs index 83d48972eb0..809a23c3774 100644 --- a/eras/byron/ledger/executable-spec/src/Byron/Spec/Ledger/Update.hs +++ b/eras/byron/ledger/executable-spec/src/Byron/Spec/Ledger/Update.hs @@ -51,6 +51,7 @@ import qualified Byron.Spec.Ledger.Core.Generators as CoreGen import Byron.Spec.Ledger.Core.Omniscient (skey) import qualified Byron.Spec.Ledger.GlobalParams as GP import Byron.Spec.Ledger.Util (mkGoblinGens) +import Cardano.Prelude () import Control.Arrow (second, (&&&)) import Control.Monad (mzero) import Control.State.Transition @@ -86,7 +87,6 @@ import qualified Hedgehog.Gen as Gen import qualified Hedgehog.Range as Range import Lens.Micro import Lens.Micro.Extras (view) -import Lens.Micro.Internal (Field1 (..), Field2 (..), Field3 (..)) import Lens.Micro.TH (makeLenses) import NoThunks.Class (NoThunks (..)) import Numeric.Natural @@ -2130,19 +2130,3 @@ tamperWithVote vote = pure $! vote & vSig .~ Core.sign (skey vk) (vote ^. vPropId), pure $! vote ] - --------------------------------------------------------------------------------- --- FieldX instances for a 9-tuple --------------------------------------------------------------------------------- - -instance Field1 (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a' where - _1 k ~(a, b, c, d, e, f, g, h, i) = (\a' -> (a', b, c, d, e, f, g, h, i)) <$> k a - {-# INLINE _1 #-} - -instance Field2 (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b' where - _2 k ~(a, b, c, d, e, f, g, h, i) = (\b' -> (a, b', c, d, e, f, g, h, i)) <$> k b - {-# INLINE _2 #-} - -instance Field3 (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c' where - _3 k ~(a, b, c, d, e, f, g, h, i) = (\c' -> (a, b, c', d, e, f, g, h, i)) <$> k c - {-# INLINE _3 #-} diff --git a/eras/byron/ledger/impl/cardano-ledger-byron.cabal b/eras/byron/ledger/impl/cardano-ledger-byron.cabal index c399222b5c1..9d016753d13 100644 --- a/eras/byron/ledger/impl/cardano-ledger-byron.cabal +++ b/eras/byron/ledger/impl/cardano-ledger-byron.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-ledger-byron -version: 0.1.0.0 +version: 0.1.1.1 synopsis: The blockchain layer of Cardano during the Byron era description: The blockchain layer of Cardano during the Byron era license: Apache-2.0 @@ -262,6 +262,7 @@ library , directory , filepath , formatting + , heapwords , mtl , nothunks , quiet @@ -370,6 +371,7 @@ test-suite cardano-ledger-byron-test , filepath , formatting , generic-monoid + , heapwords , hedgehog >= 1.0.4 , microlens , resourcet diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Block/Validation.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Block/Validation.hs index b00d393ff2d..5951973ce32 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Block/Validation.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Block/Validation.hs @@ -115,6 +115,7 @@ import Cardano.Crypto hashDecoded, hashRaw, ) +import Cardano.HeapWords import Cardano.Prelude import Control.Monad.Trans.Resource (ResIO) import qualified Data.ByteString.Lazy as BSL diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Byron/API/Mempool.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Byron/API/Mempool.hs index c6afccf6106..30ce5d3875b 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Byron/API/Mempool.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Byron/API/Mempool.hs @@ -12,7 +12,7 @@ module Cardano.Chain.Byron.API.Mempool ) where -import Cardano.Binary +import Cardano.Binary hiding (cborError) import qualified Cardano.Chain.Block as CC import Cardano.Chain.Byron.API.Common import qualified Cardano.Chain.Delegation as Delegation diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrAttributes.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrAttributes.hs index 326b1bd5178..33e8afdc374 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrAttributes.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrAttributes.hs @@ -27,6 +27,7 @@ import Cardano.Chain.Common.Attributes toCBORAttributes, ) import Cardano.Chain.Common.NetworkMagic (NetworkMagic (..)) +import Cardano.HeapWords import Cardano.Prelude import Data.Aeson (ToJSON (..), object, (.=)) import qualified Data.ByteString.Char8 as Char8 diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrSpendingData.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrSpendingData.hs index 05f6867d57e..25ab5cb734e 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrSpendingData.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/AddrSpendingData.hs @@ -24,6 +24,7 @@ import Cardano.Binary szCases, ) import Cardano.Crypto.Signing (RedeemVerificationKey, VerificationKey) +import Cardano.HeapWords import Cardano.Prelude import Data.Aeson (ToJSON) import Formatting (bprint, build) diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/Address.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/Address.hs index 5721e6d8280..abe021a5597 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/Address.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/Address.hs @@ -78,6 +78,7 @@ import Cardano.Crypto.Signing ( RedeemVerificationKey, VerificationKey, ) +import Cardano.HeapWords import Cardano.Prelude import qualified Data.Aeson as Aeson import Data.ByteString.Base58 diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/Attributes.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/Attributes.hs index 163435b440f..20a82a8586a 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/Attributes.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/Attributes.hs @@ -39,6 +39,7 @@ import Cardano.Binary dropMap, dropWord8, ) +import Cardano.HeapWords import Cardano.Prelude import Data.Aeson (ToJSON (..)) import qualified Data.ByteString.Lazy as LBS diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/Compact.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/Compact.hs index 6c0040abb65..61605948288 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/Compact.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/Compact.hs @@ -15,6 +15,7 @@ where import Cardano.Binary (FromCBOR (..), ToCBOR (..), decodeFull', serialize') import Cardano.Chain.Common.Address (Address (..)) +import Cardano.HeapWords import Cardano.Prelude import Data.ByteString.Short (ShortByteString) import qualified Data.ByteString.Short as BSS (fromShort, toShort) diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/KeyHash.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/KeyHash.hs index ebd34823a0b..355dd3628fe 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/KeyHash.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/KeyHash.hs @@ -15,6 +15,7 @@ import Cardano.Binary (FromCBOR, ToCBOR) import Cardano.Chain.Common.AddressHash import Cardano.Crypto (decodeAbstractHash, hashHexF) import Cardano.Crypto.Signing (VerificationKey) +import Cardano.HeapWords import Cardano.Prelude import Formatting (formatToString) import Formatting.Buildable (Buildable) diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/LovelacePortion.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/LovelacePortion.hs index 9401b0f7944..3d7ecc00052 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/LovelacePortion.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/LovelacePortion.hs @@ -16,6 +16,7 @@ module Cardano.Chain.Common.LovelacePortion where import Cardano.Binary (FromCBOR (..), ToCBOR (..)) +import Cardano.HeapWords import Cardano.Prelude import Control.Monad (fail) import qualified Data.Aeson as Aeson diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Common/NetworkMagic.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Common/NetworkMagic.hs index 08bfda6ee31..2aa19cd35a8 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/Common/NetworkMagic.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/Common/NetworkMagic.hs @@ -24,6 +24,7 @@ import Cardano.Crypto.ProtocolMagic RequiresNetworkMagic (..), getProtocolMagic, ) +import Cardano.HeapWords import Cardano.Prelude hiding ((%)) import Data.Aeson (ToJSON) import Formatting (bprint, build, (%)) diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Compact.hs b/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Compact.hs index 17f7221bf1a..7f502e348fd 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Compact.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Compact.hs @@ -36,6 +36,7 @@ import Cardano.Chain.Common.Compact import Cardano.Chain.Common.Lovelace (Lovelace) import Cardano.Chain.UTxO.Tx (TxId, TxIn (..), TxOut (..)) import Cardano.Crypto.Hashing (hashToBytes, unsafeHashFromBytes) +import Cardano.HeapWords import Cardano.Prelude import Data.Binary.Get (Get, getWord64le, runGet) import Data.Binary.Put (Put, putWord64le, runPut) diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Tx.hs b/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Tx.hs index 9ac992ba073..553045399ae 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Tx.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/Tx.hs @@ -37,6 +37,7 @@ import Cardano.Chain.Common.CBOR knownCborDataItemSizeExpr, ) import Cardano.Crypto (Hash, serializeCborHash, shortHashF) +import Cardano.HeapWords import Cardano.Prelude import Data.Aeson (ToJSON) import Formatting (Format, bprint, build, builder, int) diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/UTxO.hs b/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/UTxO.hs index 733d67704ef..81df3842fdf 100644 --- a/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/UTxO.hs +++ b/eras/byron/ledger/impl/src/Cardano/Chain/UTxO/UTxO.hs @@ -56,6 +56,7 @@ import Cardano.Chain.UTxO.Compact ) import Cardano.Chain.UTxO.Tx (Tx (..), TxId, TxIn (..), TxOut (..)) import Cardano.Crypto (serializeCborHash) +import Cardano.HeapWords import Cardano.Prelude hiding (concat, empty, toList) import Data.Coerce import qualified Data.List.NonEmpty as NE diff --git a/eras/byron/ledger/impl/test/Test/Cardano/Chain/Common/Compact.hs b/eras/byron/ledger/impl/test/Test/Cardano/Chain/Common/Compact.hs index 33afd3f48df..c7336ab33ef 100644 --- a/eras/byron/ledger/impl/test/Test/Cardano/Chain/Common/Compact.hs +++ b/eras/byron/ledger/impl/test/Test/Cardano/Chain/Common/Compact.hs @@ -8,6 +8,7 @@ module Test.Cardano.Chain.Common.Compact where import Cardano.Chain.Common (fromCompactAddress, toCompactAddress) +import Cardano.HeapWords import Cardano.Prelude import Hedgehog (MonadTest, assert, forAll, property, tripping) import Test.Cardano.Chain.Common.Gen (genAddress) diff --git a/eras/byron/ledger/impl/test/Test/Cardano/Chain/UTxO/Compact.hs b/eras/byron/ledger/impl/test/Test/Cardano/Chain/UTxO/Compact.hs index 2398755732e..c886e02fed7 100644 --- a/eras/byron/ledger/impl/test/Test/Cardano/Chain/UTxO/Compact.hs +++ b/eras/byron/ledger/impl/test/Test/Cardano/Chain/UTxO/Compact.hs @@ -14,6 +14,7 @@ import Cardano.Chain.UTxO toCompactTxIn, toCompactTxOut, ) +import Cardano.HeapWords import Cardano.Prelude import Hedgehog (MonadTest, assert, forAll, property, tripping) import Test.Cardano.Chain.UTxO.Gen (genTxId, genTxIn, genTxOut) diff --git a/eras/byron/ledger/impl/test/cardano-ledger-byron-test.cabal b/eras/byron/ledger/impl/test/cardano-ledger-byron-test.cabal index f1858a831b1..492d1f8b376 100644 --- a/eras/byron/ledger/impl/test/cardano-ledger-byron-test.cabal +++ b/eras/byron/ledger/impl/test/cardano-ledger-byron-test.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-ledger-byron-test -version: 1.3.0 +version: 1.4.1 synopsis: Test helpers from cardano-ledger exposed to other packages description: Test helpers from cardano-ledger exposed to other packages license: Apache-2.0 @@ -120,6 +120,7 @@ library , filepath , formatting , generic-monoid + , heapwords , hedgehog >= 1.0.4 , microlens , resourcet diff --git a/eras/conway/impl/cardano-ledger-conway.cabal b/eras/conway/impl/cardano-ledger-conway.cabal index d4d37105ce4..9881862f871 100644 --- a/eras/conway/impl/cardano-ledger-conway.cabal +++ b/eras/conway/impl/cardano-ledger-conway.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 name: cardano-ledger-conway -version: 0.1.0.0 +version: 0.1.1.1 synopsis: TODO description: TODO bug-reports: https://github.com/input-output-hk/cardano-ledger/issues @@ -57,6 +57,6 @@ library containers, microlens, nothunks, - strict-containers, + cardano-strict-containers, hs-source-dirs: src diff --git a/eras/conway/test-suite/cardano-ledger-conway-test.cabal b/eras/conway/test-suite/cardano-ledger-conway-test.cabal index 55c0cbd9d02..d8a35ad6f8f 100644 --- a/eras/conway/test-suite/cardano-ledger-conway-test.cabal +++ b/eras/conway/test-suite/cardano-ledger-conway-test.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 name: cardano-ledger-conway-test -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Tests for Cardano ledger conway era description: This package builds upon the Alonzo ledger @@ -61,7 +61,7 @@ library cardano-ledger-shelley-test, cardano-ledger-shelley, small-steps, - strict-containers, + cardano-strict-containers, text, hs-source-dirs: src diff --git a/eras/shelley-ma/impl/cardano-ledger-shelley-ma.cabal b/eras/shelley-ma/impl/cardano-ledger-shelley-ma.cabal index 67f01a57610..00edc8644df 100644 --- a/eras/shelley-ma/impl/cardano-ledger-shelley-ma.cabal +++ b/eras/shelley-ma/impl/cardano-ledger-shelley-ma.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-ledger-shelley-ma -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Shelley ledger with multiasset and time lock support. description: This package extends the Shelley ledger with support for @@ -72,7 +72,7 @@ library primitive, cardano-ledger-shelley, small-steps, - strict-containers, + cardano-strict-containers, text, transformers, validation-selective, diff --git a/eras/shelley-ma/test-suite/cardano-ledger-shelley-ma-test.cabal b/eras/shelley-ma/test-suite/cardano-ledger-shelley-ma-test.cabal index 754f55bb387..5968801a1a8 100644 --- a/eras/shelley-ma/test-suite/cardano-ledger-shelley-ma-test.cabal +++ b/eras/shelley-ma/test-suite/cardano-ledger-shelley-ma-test.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-ledger-shelley-ma-test -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Shelley ledger with multiasset and time lock support. description: This package extends the Shelley ledger with support for @@ -73,7 +73,7 @@ library QuickCheck >= 2.13.2, cardano-ledger-shelley-test, cardano-ledger-shelley, - strict-containers, + cardano-strict-containers, small-steps, tasty-hunit, tasty-quickcheck, @@ -128,7 +128,7 @@ test-suite cardano-ledger-shelley-ma-test cardano-ledger-shelley, small-steps-test, small-steps, - strict-containers, + cardano-strict-containers, tasty-hunit, tasty-quickcheck, tasty, diff --git a/eras/shelley/impl/cardano-ledger-shelley.cabal b/eras/shelley/impl/cardano-ledger-shelley.cabal index ed8ec15b6b3..8c13916c144 100644 --- a/eras/shelley/impl/cardano-ledger-shelley.cabal +++ b/eras/shelley/impl/cardano-ledger-shelley.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-ledger-shelley -version: 0.1.0.0 +version: 0.1.1.1 description: Shelley Ledger Executable Model license: Apache-2.0 author: IOHK Formal Methods Team @@ -110,6 +110,7 @@ library data-default-class, deepseq, groups, + heapwords, iproute, mtl, microlens, @@ -117,7 +118,7 @@ library quiet, set-algebra, small-steps, - strict-containers, + cardano-strict-containers, text, time, transformers, diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxBody.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxBody.hs index 53fee4444ba..bc61cb6ccd2 100644 --- a/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxBody.hs +++ b/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxBody.hs @@ -72,6 +72,7 @@ import Cardano.Binary encodeListLen, ) import qualified Cardano.Crypto.Hash.Class as HS +import Cardano.HeapWords (HeapWords (..)) import Cardano.Ledger.Address (Addr (..), RewardAcnt (..)) import Cardano.Ledger.AuxiliaryData (AuxiliaryDataHash) import Cardano.Ledger.BaseTypes (StrictMaybe (..), Url) @@ -109,7 +110,6 @@ import Cardano.Ledger.Shelley.PoolParams import Cardano.Ledger.Slot (SlotNo (..)) import Cardano.Ledger.TxIn (TxIn) import Cardano.Ledger.Val (DecodeNonNegative (..)) -import Cardano.Prelude (HeapWords (..)) import Control.DeepSeq (NFData (rnf)) import qualified Data.ByteString.Lazy as BSL import Data.ByteString.Short (ShortByteString, pack) diff --git a/eras/shelley/test-suite/cardano-ledger-shelley-test.cabal b/eras/shelley/test-suite/cardano-ledger-shelley-test.cabal index 8bab85dd7e8..e5272b5ab8e 100644 --- a/eras/shelley/test-suite/cardano-ledger-shelley-test.cabal +++ b/eras/shelley/test-suite/cardano-ledger-shelley-test.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-ledger-shelley-test -version: 0.1.0.0 +version: 0.1.1.1 description: Test helpers from cardano-ledger-shelley exposed to other packages license: Apache-2.0 author: IOHK Formal Methods Team @@ -116,7 +116,7 @@ library set-algebra, small-steps, small-steps-test, - strict-containers, + cardano-strict-containers, tasty, tasty-hunit, tasty-quickcheck, @@ -198,7 +198,7 @@ test-suite cardano-ledger-shelley-test scientific, small-steps, small-steps-test, - strict-containers, + cardano-strict-containers, tasty, tasty-hedgehog, tasty-hunit, @@ -237,7 +237,7 @@ benchmark mainbench set-algebra, small-steps, small-steps-test, - strict-containers, + cardano-strict-containers, transformers ghc-options: -threaded diff --git a/libs/cardano-data/cardano-data.cabal b/libs/cardano-data/cardano-data.cabal index f8f6ee14e05..07184b1e2dc 100644 --- a/libs/cardano-data/cardano-data.cabal +++ b/libs/cardano-data/cardano-data.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-data -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Specialized data for Cardano project homepage: https://github.com/input-output-hk/cardano-legder-specs license: Apache-2.0 @@ -57,7 +57,7 @@ library , microlens , nothunks , primitive - , strict-containers + , cardano-strict-containers , text , transformers >= 0.5 , vector @@ -83,7 +83,7 @@ test-suite cardano-data-tests , cardano-binary , cborg , containers - , strict-containers + , cardano-strict-containers , tasty , tasty-quickcheck , tasty-hunit diff --git a/libs/cardano-ledger-core/cardano-ledger-core.cabal b/libs/cardano-ledger-core/cardano-ledger-core.cabal index 4ae8cc171f0..09aee58377d 100644 --- a/libs/cardano-ledger-core/cardano-ledger-core.cabal +++ b/libs/cardano-ledger-core/cardano-ledger-core.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: cardano-ledger-core -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Core components of Cardano ledgers from the Shelley release on. description: Cardano ledgers from the Shelley release onwards share a core basis rooted in @@ -86,6 +86,7 @@ library data-default-class, deepseq, groups, + heapwords, iproute, mtl, microlens, @@ -98,7 +99,7 @@ library non-integral, primitive, small-steps, - strict-containers, + cardano-strict-containers, text, time, transformers, diff --git a/libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs index e384ca993ec..d4e670762da 100644 --- a/libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs +++ b/libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs @@ -22,8 +22,8 @@ module Cardano.Ledger.Coin where import Cardano.Binary (FromCBOR (..), ToCBOR (..)) +import Cardano.HeapWords (HeapWords) import Cardano.Ledger.Compactible -import Cardano.Prelude (HeapWords) import Control.DeepSeq (NFData) import Data.Aeson (FromJSON, ToJSON) import Data.Group (Abelian, Group (..)) diff --git a/libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs index 7221d2cb3a0..2aaaba31b2f 100644 --- a/libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs +++ b/libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs @@ -58,8 +58,8 @@ where import Cardano.Binary (FromCBOR (..), ToCBOR (..)) import qualified Cardano.Crypto.Hash as Hash +import Cardano.HeapWords (HeapWords (..)) import qualified Cardano.Ledger.Crypto as CC -import Cardano.Prelude (HeapWords (..)) import Control.DeepSeq (NFData) import Data.ByteString (ByteString) import Data.ByteString.Short (ShortByteString, fromShort) diff --git a/libs/cardano-ledger-core/src/Cardano/Ledger/TxIn.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/TxIn.hs index dde150b064d..5e2239018fd 100644 --- a/libs/cardano-ledger-core/src/Cardano/Ledger/TxIn.hs +++ b/libs/cardano-ledger-core/src/Cardano/Ledger/TxIn.hs @@ -24,13 +24,14 @@ module Cardano.Ledger.TxIn where import Cardano.Binary (FromCBOR (fromCBOR), ToCBOR (..), encodeListLen) +import Cardano.HeapWords (HeapWords (..)) +import qualified Cardano.HeapWords as HW import Cardano.Ledger.BaseTypes (TxIx (..), mkTxIxPartial) import qualified Cardano.Ledger.Crypto as CC import Cardano.Ledger.Hashes (EraIndependentTxBody) import Cardano.Ledger.SafeHash (SafeHash) import Cardano.Ledger.Serialization (decodeRecordNamed) -import Cardano.Prelude (HeapWords (..)) -import qualified Cardano.Prelude as HW +import Cardano.Prelude (HasCallStack) import Control.DeepSeq (NFData) import GHC.Generics (Generic) import NoThunks.Class (NoThunks (..)) @@ -66,7 +67,7 @@ data TxIn crypto = TxIn !(TxId crypto) {-# UNPACK #-} !TxIx -- | Construct `TxIn` while throwing an error for an out of range `TxIx`. Make -- sure to use it only for testing. -mkTxInPartial :: HW.HasCallStack => TxId crypto -> Integer -> TxIn crypto +mkTxInPartial :: HasCallStack => TxId crypto -> Integer -> TxIn crypto mkTxInPartial txId = TxIn txId . mkTxIxPartial deriving instance Eq (TxIn crypto) diff --git a/libs/cardano-ledger-pretty/cardano-ledger-pretty.cabal b/libs/cardano-ledger-pretty/cardano-ledger-pretty.cabal index 5e94c47f995..ac34bb3d64d 100644 --- a/libs/cardano-ledger-pretty/cardano-ledger-pretty.cabal +++ b/libs/cardano-ledger-pretty/cardano-ledger-pretty.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: cardano-ledger-pretty -version: 0.1.0.0 +version: 0.1.1.1 license: Apache-2.0 author: IOHK Formal Methods Team maintainer: formal.methods@iohk.io @@ -59,6 +59,6 @@ library plutus-ledger-api, prettyprinter, small-steps, - strict-containers, + cardano-strict-containers, text, vector-map diff --git a/libs/cardano-ledger-test/cardano-ledger-test.cabal b/libs/cardano-ledger-test/cardano-ledger-test.cabal index afaed051b5c..fa42b28626e 100644 --- a/libs/cardano-ledger-test/cardano-ledger-test.cabal +++ b/libs/cardano-ledger-test/cardano-ledger-test.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 name: cardano-ledger-test -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Testing harness, tests and benchmarks for Shelley style cardano ledgers -- description: @@ -145,7 +145,7 @@ library small-steps-test, set-algebra, some, - strict-containers, + cardano-strict-containers, tagged, tasty, tasty-hunit, diff --git a/libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal b/libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal index a57e1913593..ae97df1103d 100644 --- a/libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal +++ b/libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: cardano-protocol-tpraos -version: 0.1.0.0 +version: 0.1.1.1 description: Cardano Protocol: Transitional Praos bug-reports: https://github.com/input-output-hk/cardano-ledger/issues diff --git a/libs/ledger-state/ledger-state.cabal b/libs/ledger-state/ledger-state.cabal index be5ad8bea9d..aa6ba3b794a 100644 --- a/libs/ledger-state/ledger-state.cabal +++ b/libs/ledger-state/ledger-state.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: ledger-state -version: 0.1.0.0 +version: 0.1.1.1 license: Apache-2.0 author: IOHK Formal Methods Team maintainer: formal.methods@iohk.io @@ -49,7 +49,7 @@ library , persistent-sqlite , prettyprinter , set-algebra - , strict-containers + , cardano-strict-containers , text , transformers @@ -136,7 +136,7 @@ benchmark address cardano-slotting, criterion, deepseq, - strict-containers, + cardano-strict-containers, text ghc-options: -threaded diff --git a/libs/non-integral/non-integral.cabal b/libs/non-integral/non-integral.cabal index 3041b1f9293..a39a0fd2ce0 100644 --- a/libs/non-integral/non-integral.cabal +++ b/libs/non-integral/non-integral.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: non-integral -version: 0.1.0.0 +version: 0.1.1.1 license: Apache-2.0 author: IOHK Formal Methods Team maintainer: formal.methods@iohk.io diff --git a/libs/plutus-preprocessor/plutus-preprocessor.cabal b/libs/plutus-preprocessor/plutus-preprocessor.cabal index 0d704bcb58d..cd8b71de44b 100644 --- a/libs/plutus-preprocessor/plutus-preprocessor.cabal +++ b/libs/plutus-preprocessor/plutus-preprocessor.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: plutus-preprocessor -version: 0.1.0.0 +version: 0.1.1.1 synopsis: A preproceesor for creating plutus scripts as bytestrings and equivalents diff --git a/libs/set-algebra/set-algebra.cabal b/libs/set-algebra/set-algebra.cabal index 272737148c6..930c2bc740a 100644 --- a/libs/set-algebra/set-algebra.cabal +++ b/libs/set-algebra/set-algebra.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: set-algebra -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Set Algebra homepage: https://github.com/input-output-hk/cardano-legder-specs license: Apache-2.0 diff --git a/libs/small-steps-test/small-steps-test.cabal b/libs/small-steps-test/small-steps-test.cabal index f240f0ceb49..30f72484774 100644 --- a/libs/small-steps-test/small-steps-test.cabal +++ b/libs/small-steps-test/small-steps-test.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: small-steps-test -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Small step semantics testing library homepage: https://github.com/input-output-hk/cardano-legder-specs license: Apache-2.0 @@ -49,7 +49,7 @@ library , QuickCheck -- IOHK deps , small-steps - , strict-containers + , cardano-strict-containers hs-source-dirs: src test-suite examples diff --git a/libs/small-steps/small-steps.cabal b/libs/small-steps/small-steps.cabal index 8d3d07ee4a9..066153e01fc 100644 --- a/libs/small-steps/small-steps.cabal +++ b/libs/small-steps/small-steps.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: small-steps -version: 0.1.0.0 +version: 0.1.1.1 synopsis: Small step semantics homepage: https://github.com/input-output-hk/cardano-legder-specs license: Apache-2.0 @@ -49,7 +49,7 @@ library , free , mtl , nothunks - , strict-containers + , cardano-strict-containers , text , transformers >= 0.5 , validation-selective diff --git a/libs/vector-map/vector-map.cabal b/libs/vector-map/vector-map.cabal index 16d02aa07ae..3bfc963a332 100644 --- a/libs/vector-map/vector-map.cabal +++ b/libs/vector-map/vector-map.cabal @@ -1,7 +1,7 @@ cabal-version: 2.2 name: vector-map -version: 0.1.0.0 +version: 0.1.1.1 synopsis: An efficient VMap that is backed by two vectors: one for keys and another for values. homepage: https://github.com/input-output-hk/cardano-legder-specs license: Apache-2.0