@hackage bv0.5

Bit-vector arithmetic library

Installation
In your cabal file:
Dependencies (3)
- base >=4.6 && <5
- ghc-prim
- integer-gmp >=0.5.1
Dependents (7)
@hackage/acme-everything, @hackage/resolve, @hackage/funcons-tools, @hackage/workflow-osx, @hackage/haquil, @hackage/libriscv, Show all…

gmp

(on by default)

Using Integer GMP backend.

test

(off by default)

Build the test suite, and an executable to run it.

check-bounds

(on by default)

Bounds checking.

dev

(off by default)

Development options.

Bit-vectors implemented as a thin wrapper over integers.