bv: Bit-vector arithmetic library

[ bit-vectors, bsd3, data, library ] [ Propose Tags ]

Bit-vectors implemented as a wrapper over integers.

Versions [RSS] [faq] 0.1.0, 0.2.0, 0.2.1, 0.2.2, 0.3.0, 0.4.0, 0.4.1, 0.5
Dependencies base (>=4.4 && <5), QuickCheck (>=2.4 && <2.7), test-framework-quickcheck2 (==0.3.*), test-framework-th (==0.2.*) [details]
License BSD-3-Clause
Copyright 2012-2013 Iago Abal, HASLab & University of Minho
Author Iago Abal <>
Maintainer Iago Abal <>
Category Data, Bit Vectors
Home page
Bug tracker
Source repo head: hg clone
Uploaded by IagoAbal at 2013-03-24T17:36:51Z
Distributions LTSHaskell:0.5, NixOS:0.5, Stackage:0.5
Executables bv-tester
Downloads 7014 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]



Manual Flags

Automatic Flags

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


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees