homepage: https://github.com/benjaminselfridge/bv-sized
changelog-type: ''
hash: 4c48a3e2382c04658abf8ec475263c24a7ad4299c9823dc3e127223d3ceddb67
test-bench-deps: {}
maintainer: benselfridge@galois.com
synopsis: a BitVector datatype that is parameterized by the vector width
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  parameterized-utils: -any
all-versions:
- '0.1.0.0'
author: Ben Selfridge
latest: '0.1.0.0'
description-type: markdown
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.

'
license-name: BSD3

homepage: https://github.com/benjaminselfridge/bv-sized
changelog-type: markdown
hash: 67d9390a587541050d6bc80680df237d602aceb175989cbd2e95237029e449ee
test-bench-deps: {}
maintainer: benselfridge@galois.com
synopsis: a BitVector datatype that is parameterized by the vector width
changelog: ! "# Changelog for [`bv-sized` package](http://hackage.haskell.org/package/bv-sized)\n\n##
  0.1.0.0 *March 2018*\n  * First release\n\n## 0.1.1.0 *March 2018*\n  * added functions
  `bvMulFS`/`bvMulFU` for full bitvector multiplication\n    without truncation\n
  \ * removed Internal module, now export all those functions in Data.BitVector.Sized\n
  \ * fixed the bv*WithRepr functions, which were not truncating the inputs properly\n"
basic-deps:
  base: ! '>=4.7 && <5'
  containers: ! '>=0.5.11 && <0.6'
  lens: ! '>=4 && <5'
  parameterized-utils: -any
all-versions:
- '0.1.0.0'
- '0.1.1.0'
author: Ben Selfridge
latest: '0.1.1.0'
description-type: markdown
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.

'
license-name: BSD3

Update from Hackage at 2018-03-11T16:30:13Z
Update from Hackage at 2018-03-11T16:30:13Z
