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