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