name: bv-sized version: 1.0.0 category: Bit Vectors synopsis: a BitVector datatype that is parameterized by the vector width description: This module defines a width-parameterized 'BitVector' type and various associated operations that assume a 2's complement representation. extra-source-files: changelog.md homepage: https://github.com/GaloisInc/bv-sized license: BSD3 license-file: LICENSE author: Ben Selfridge maintainer: benselfridge@galois.com copyright: Galois Inc., Ben Selfridge March 2018 build-type: Simple cabal-version: >=1.10 extra-source-files: README.md source-repository head type: git location: https://github.com/GaloisInc/bv-sized library exposed-modules: Data.BitVector.Sized Data.BitVector.Sized.Signed Data.BitVector.Sized.Unsigned Data.BitVector.Sized.Overflow other-modules: Data.BitVector.Sized.Internal Data.BitVector.Sized.Panic build-depends: base >= 4.10 && <5, bitwise >= 1.0.0 && < 1.1, bytestring >= 0.10.10 && < 0.11, panic >= 0.4.0 && < 0.5, parameterized-utils >= 2.0.2 && < 2.1, th-lift >= 0.8.1 && < 0.9 hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall test-suite bv-sized-tests type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Main.hs build-depends: base >= 4.7 && < 5, bv-sized, bytestring >= 0.10.10 && < 0.11, hedgehog >= 1.0.2 && < 1.1, parameterized-utils >= 2.0.2 && < 2.1, tasty >= 1.2.3 && < 1.3, tasty-hedgehog >= 1.0.0.2 && < 1.1 default-language: Haskell2010 ghc-options: -Wall -Wcompat