liquid-bytestring-0.10.12.1: liquid-bytestring.cabal

cabal-version:      1.24
name:               liquid-bytestring
version:            0.10.12.1
synopsis:           LiquidHaskell specs for the bytestring package
description:        LiquidHaskell specs for the bytestring package.
license:            BSD3
license-file:       LICENSE
copyright:          2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.
author:             Ranjit Jhala, Niki Vazou, Eric Seidel
maintainer:         Ranjit Jhala <jhala@cs.ucsd.edu>
category:           Language
homepage:           https://github.com/ucsd-progsys/liquidhaskell
build-type:         Custom

data-files:           src/Data/ByteString.spec
                      src/Data/ByteString/Short.spec
                      src/Data/ByteString/Lazy.spec
                      src/Data/ByteString/Unsafe.spec
                      src/Data/ByteString/Char8.spec
                      src/Data/ByteString/Lazy/Char8.spec

custom-setup
  setup-depends: Cabal<4, base<5, liquidhaskell

library
  exposed-modules:    Data.ByteString
                      Data.ByteString.Char8
                      Data.ByteString.Unsafe
                      Data.ByteString.Internal
                      Data.ByteString.Lazy
                      Data.ByteString.Lazy.Internal
                      Data.ByteString.Short
                      Data.ByteString.Short.Internal

                      Data.ByteString.Builder
                      Data.ByteString.Builder.Extra
                      Data.ByteString.Builder.Prim

                      Data.ByteString.Builder.Internal
                      Data.ByteString.Builder.Prim.Internal
                      Data.ByteString.Lazy.Builder
                      Data.ByteString.Lazy.Builder.Extras
                      Data.ByteString.Lazy.Builder.ASCII

                      -- FIXME: This is commented out as unfortunately it doesn't refine
                      -- correctly with modern versions of bytestring.
                      -- Data.ByteString.Lazy.Char8

  hs-source-dirs:     src
  build-depends:      liquid-base          < 5
                    , bytestring           >= 0.10.12.1 && < 0.11
                    , liquidhaskell        >= 0.9.0.2
  default-language:   Haskell2010
  default-extensions: PackageImports
  if impl(ghc >= 8.10)
    ghc-options: -fplugin=LiquidHaskell