Added the Compact data modules

cabal.project

@@ -22,6 +22,7 @@ packages:
   libs/non-integral
   libs/small-steps
   libs/small-steps-test
+  libs/compact-map
 
   -- Deprecations
   eras/shelley/chain-and-ledger/executable-spec
@@ -172,6 +173,9 @@ package cardano-ledger-test
 package cardano-protocol-tpraos
   ghc-options: -Werror
 
+package compact-map
+  ghc-options: -Werror
+
 package non-integral
   ghc-options: -Werror
 
@@ -183,4 +187,3 @@ package small-steps-test
 
 package small-steps
   ghc-options: -Werror
-

libs/compact-map/CHANGELOG.md

@@ -0,0 +1,3 @@
+# Revision history for compact-map
+
+

libs/compact-map/Setup.hs

@@ -0,0 +1,3 @@
+import Distribution.Simple
+
+main = defaultMain

libs/compact-map/compact-map.cabal

@@ -0,0 +1,62 @@
+cabal-version: 2.2
+
+name:                compact-map
+version:             0.1.0.0
+synopsis:            A KeyMap that is based on collisionless HashMap implementation
+homepage:            https://github.com/input-output-hk/cardano-legder-specs
+license:             Apache-2.0
+author:              IOHK Formal Methods Team
+maintainer:          [email protected]
+category:            Control
+build-type:          Simple
+extra-source-files:  CHANGELOG.md
+
+source-repository head
+  type:     git
+  location: https://github.com/input-output-hk/cardano-ledger-specs
+  subdir:   libs/compact-map
+
+common project-config
+  default-language:   Haskell2010
+
+  ghc-options:        -Wall
+                      -Wcompat
+                      -Wincomplete-record-updates
+                      -Wincomplete-uni-patterns
+                      -Wredundant-constraints
+                      -Wunused-packages
+
+library
+  import:             project-config
+
+  exposed-modules:     Data.Compact.KeyMap
+                     , Data.Compact.HashMap
+  other-modules:       Data.Compact.Class
+  build-depends:       base >=4.11 && <5
+                     , array
+                     , containers
+                     , deepseq
+                     , prettyprinter
+                     , primitive
+                     , random
+                     , text
+                     , cardano-prelude
+  hs-source-dirs:      src
+
+test-suite tests
+  import:             project-config
+
+  hs-source-dirs:      test
+  main-is:             Main.hs
+  other-modules:       Test.Compact.KeyMap
+  type:                exitcode-stdio-1.0
+  default-language:    Haskell2010
+  build-depends:       base
+                     -- , containers
+                     , tasty
+                     -- , tasty-expected-failure
+                     , tasty-quickcheck
+                     -- , tasty-hunit
+                     , compact-map
+                     , QuickCheck
+  ghc-options:        -threaded