@hackage bv-sized0.2.1
a BitVector datatype that is parameterized by the vector width
Installation
Dependencies (7)
- QuickCheck >=2.11 && <2.12
- base >=4.7 && <5
- containers >=0.5.11 && <0.6
- lens >=4 && <5
- parameterized-utils
- prettyclass >=1.0 && <2.0 Show all…
Dependents (13)
@hackage/crucible-syntax, @hackage/bv-sized-lens, @hackage/cryptol, @hackage/copilot-verifier, @hackage/acme-everything, @hackage/crucible-llvm, Show all…
bv-sized
This library defines a BitVector datatype that is parameterized by the vector width.
It is especially useful in applications where the length of every individual bit vector will be known at compile time. Supports width-changing operations like truncation, signed/unsigned extension, and extraction/bit slicing.