name: bv-sized version: 1.0.4 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. 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.11 && <5, bitwise >= 1.0.0 && < 1.1, bytestring >= 0.10 && < 0.12, deepseq >= 1.4.0 && < 1.5.0, panic >= 0.4.0 && < 0.5, parameterized-utils >= 2.0.2 && < 2.2, random >= 1.2.0 && < 1.3, th-lift >= 0.8.1 && < 0.9 hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall -Wcompat test-suite bv-sized-tests type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Main.hs build-depends: base, bv-sized, bytestring, hedgehog, MonadRandom >= 0.5.3 && < 0.6, parameterized-utils, tasty >= 1.2.3 && < 1.5, tasty-hedgehog >= 1.0.0.2 && < 1.2 default-language: Haskell2010 ghc-options: -Wall -Wcompat