bv-sized: a BitVector datatype that is parameterized by the vector width

[ bit-vectors, bsd3, library ] [ Propose Tags ] [ Report a vulnerability ]

This module defines a width-parameterized BitVector type and various associated operations that assume a 2's complement representation.

[Skip to Readme]

Modules

[Index]

Data
- BitVector
  - Data.BitVector.Sized
    - Data.BitVector.Sized.Internal

Downloads

bv-sized-0.1.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

KevinQuick, ryanglscott, benselfridge, galoisinc, sauclovian_g, aschwerdfeger_galois

For package maintainers and hackage trustees

edit package information

Candidates

1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4

Versions [RSS]	0.1.0.0, 0.1.1.0, 0.1.1.1, 0.2.0, 0.2.1, 0.3.0, 0.4.0, 0.5.0, 0.6.0, 0.7.0, 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.5, 1.0.6, 1.0.7
Dependencies	base (>=4.7 && <5), parameterized-utils [details]
License	BSD-3-Clause
Copyright	March 2018
Author	Ben Selfridge
Maintainer	benselfridge@galois.com
Uploaded	by benselfridge at 2018-03-08T19:17:33Z
Category	Bit Vectors
Home page	https://github.com/benjaminselfridge/bv-sized
Reverse Dependencies	13 direct, 10 indirect [details]
Downloads	12590 total (77 in the last 30 days)
Rating	2.0 (votes: 1) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2018-03-08 [all 1 reports]

Readme for bv-sized-0.1.0.0

[back to package description]

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.