vector-map-0.1.1.2

Synopsis

An efficient VMap that is backed by two vectors: one for keys and another for values.

Description

Author

IOHK Formal Methods Team

Maintainer

formal.methods@iohk.io

License

Apache-2.0

Source
https://github.com/input-output-hk/cardano-ledger
Commit hash
760a73e89ef040d3ad91b4b0386b3bbace9431a9
Subdir
libs/vector-map
Timestamp

2022-11-14T13:25:11Z

Revisions

None

Dependencies
library vector-map:
  • ["base >=4.11 && <5","cardano-binary","containers","deepseq","nothunks","primitive","vector","vector-algorithms"]
test-suite bench:
  • ["base","criterion","vector-map","containers","random"]