cleaned up the cabal file

Author: coot

typed-protocols/typed-protocols.cabal

@@ -16,60 +16,54 @@ tested-with:         GHC == {9.6, 9.8, 9.10, 9.12}
 extra-doc-files:     CHANGELOG.md
                      README.md
 
+common warnings
+  ghc-options:      -Wall
+                    -Wno-unticked-promoted-constructors
+                    -Wcompat
+                    -Wincomplete-uni-patterns
+                    -Wincomplete-record-updates
+                    -Wpartial-fields
+                    -Widentities
+                    -Wredundant-constraints
+
 library
-  exposed-modules:   Network.TypedProtocol
-                   , Network.TypedProtocol.Core
-                   , Network.TypedProtocol.Peer
-                   , Network.TypedProtocol.Peer.Client
-                   , Network.TypedProtocol.Peer.Server
-                   , Network.TypedProtocol.Codec
-                   , Network.TypedProtocol.Driver
-                   , Network.TypedProtocol.Proofs
-  other-modules:     Network.TypedProtocol.Lemmas
-  build-depends:     base >=4.12 && <4.22,
-                     io-classes:io-classes ^>= 1.8,
-                     singletons ^>= 3.0
-
-  hs-source-dirs:    src
-  default-language:  GHC2021
+  import:             warnings
+  exposed-modules:    Network.TypedProtocol
+                    , Network.TypedProtocol.Core
+                    , Network.TypedProtocol.Peer
+                    , Network.TypedProtocol.Peer.Client
+                    , Network.TypedProtocol.Peer.Server
+                    , Network.TypedProtocol.Codec
+                    , Network.TypedProtocol.Driver
+                    , Network.TypedProtocol.Proofs
+  other-modules:      Network.TypedProtocol.Lemmas
+  build-depends:      base >=4.12 && <4.22,
+                      io-classes:io-classes ^>= 1.8,
+                      singletons ^>= 3.0
+  hs-source-dirs:     src
+  default-language:   GHC2021
   default-extensions: DataKinds
                       GADTs
                       LambdaCase
-  ghc-options:       -Wall
-                     -Wno-unticked-promoted-constructors
-                     -Wcompat
-                     -Wincomplete-uni-patterns
-                     -Wincomplete-record-updates
-                     -Wpartial-fields
-                     -Widentities
-                     -Wredundant-constraints
 
 library cborg
-  visibility:        public
-  exposed-modules:   Network.TypedProtocol.Codec.CBOR
-
-  build-depends:     base,
-                     bytestring      >=0.10  && <0.13,
-                     cborg           >=0.2.1 && <0.3,
-                     singletons,       
-                     primitive,
-
-                     io-classes:io-classes,
-                     typed-protocols:typed-protocols
+  import:             warnings
+  visibility:         public
+  exposed-modules:    Network.TypedProtocol.Codec.CBOR
+  build-depends:      base,
+                      bytestring      >=0.10  && <0.13,
+                      cborg           >=0.2.1 && <0.3,
+                      singletons,       
+                      primitive,
 
-  hs-source-dirs:    cborg
-  default-language:  GHC2021
+                      io-classes:io-classes,
+                      typed-protocols:typed-protocols
+  hs-source-dirs:     cborg
+  default-language:   GHC2021
   default-extensions: LambdaCase
-  ghc-options:       -Wall
-                     -Wno-unticked-promoted-constructors
-                     -Wcompat
-                     -Wincomplete-uni-patterns
-                     -Wincomplete-record-updates
-                     -Wpartial-fields
-                     -Widentities
-                     -Wredundant-constraints
 
 library stateful
+  import:             warnings
   visibility:         public
   exposed-modules:    Network.TypedProtocol.Stateful.Peer
                     , Network.TypedProtocol.Stateful.Peer.Client
@@ -81,117 +75,92 @@ library stateful
                       singletons,
                       io-classes:io-classes,
                       typed-protocols:typed-protocols
-
   hs-source-dirs:     stateful
   default-language:   GHC2021
   default-extensions: DataKinds
                       GADTs
                       ImportQualifiedPost
-  ghc-options:        -Wall
-                      -Wno-unticked-promoted-constructors
-                      -Wcompat
-                      -Wincomplete-uni-patterns
-                      -Wincomplete-record-updates
-                      -Wpartial-fields
-                      -Widentities
-                      -Wredundant-constraints
 
 library stateful-cborg
-  visibility:        public
-  exposed-modules:   Network.TypedProtocol.Stateful.Codec.CBOR
-
-  build-depends:     base,
-                     bytestring,
-                     cborg,
-                     singletons,       
+  import:             warnings
+  visibility:         public
+  exposed-modules:    Network.TypedProtocol.Stateful.Codec.CBOR
 
-                     io-classes:io-classes,
-                     typed-protocols:{typed-protocols,cborg,stateful}
+  build-depends:      base,
+                      bytestring,
+                      cborg,
+                      singletons,       
 
-  hs-source-dirs:    stateful-cborg
-  default-language:  GHC2021
+                      io-classes:io-classes,
+                      typed-protocols:{typed-protocols,cborg,stateful}
+  hs-source-dirs:     stateful-cborg
+  default-language:   GHC2021
   default-extensions: ImportQualifiedPost
-  ghc-options:       -Wall
-                     -Wno-unticked-promoted-constructors
-                     -Wcompat
-                     -Wincomplete-uni-patterns
-                     -Wincomplete-record-updates
-                     -Wpartial-fields
-                     -Widentities
-                     -Wredundant-constraints
 
 library examples
-  visibility:        public
-  exposed-modules:   Network.TypedProtocol.Channel
-                   , Network.TypedProtocol.Driver.Simple
-
-                   , Network.TypedProtocol.PingPong.Type
-                   , Network.TypedProtocol.PingPong.Client
-                   , Network.TypedProtocol.PingPong.Server
-                   , Network.TypedProtocol.PingPong.Codec
-                   , Network.TypedProtocol.PingPong.Codec.CBOR
-                   , Network.TypedProtocol.PingPong.Examples
-
-                   , Network.TypedProtocol.ReqResp.Type
-                   , Network.TypedProtocol.ReqResp.Client
-                   , Network.TypedProtocol.ReqResp.Server
-                   , Network.TypedProtocol.ReqResp.Codec
-                   , Network.TypedProtocol.ReqResp.Codec.CBOR
-                   , Network.TypedProtocol.ReqResp.Examples
-
-                   , Network.TypedProtocol.ReqResp2.Type
-                   , Network.TypedProtocol.ReqResp2.Client
-
-                   , Network.TypedProtocol.Stateful.ReqResp.Type
-                   , Network.TypedProtocol.Stateful.ReqResp.Client
-                   , Network.TypedProtocol.Stateful.ReqResp.Server
-                   , Network.TypedProtocol.Stateful.ReqResp.Codec
-                   , Network.TypedProtocol.Stateful.ReqResp.Examples
-
-                   , Network.TypedProtocol.Trans.Wedge
-  build-depends:     base,
-                     bytestring,
-                     cborg,
-                     serialise,
-                     singletons,
-                     contra-tracer,
-                     io-classes:{io-classes, si-timers},
-                     network,
-                     time,
-                     typed-protocols:{typed-protocols,cborg,stateful}
-
-  hs-source-dirs:    examples
-  default-language:  GHC2021
+  import:             warnings
+  visibility:         public
+  exposed-modules:    Network.TypedProtocol.Channel
+                    , Network.TypedProtocol.Driver.Simple
+
+                    , Network.TypedProtocol.PingPong.Type
+                    , Network.TypedProtocol.PingPong.Client
+                    , Network.TypedProtocol.PingPong.Server
+                    , Network.TypedProtocol.PingPong.Codec
+                    , Network.TypedProtocol.PingPong.Codec.CBOR
+                    , Network.TypedProtocol.PingPong.Examples
+
+                    , Network.TypedProtocol.ReqResp.Type
+                    , Network.TypedProtocol.ReqResp.Client
+                    , Network.TypedProtocol.ReqResp.Server
+                    , Network.TypedProtocol.ReqResp.Codec
+                    , Network.TypedProtocol.ReqResp.Codec.CBOR
+                    , Network.TypedProtocol.ReqResp.Examples
+
+                    , Network.TypedProtocol.ReqResp2.Type
+                    , Network.TypedProtocol.ReqResp2.Client
+
+                    , Network.TypedProtocol.Stateful.ReqResp.Type
+                    , Network.TypedProtocol.Stateful.ReqResp.Client
+                    , Network.TypedProtocol.Stateful.ReqResp.Server
+                    , Network.TypedProtocol.Stateful.ReqResp.Codec
+                    , Network.TypedProtocol.Stateful.ReqResp.Examples
+
+                    , Network.TypedProtocol.Trans.Wedge
+  build-depends:      base,
+                      bytestring,
+                      cborg,
+                      serialise,
+                      singletons,
+                      contra-tracer,
+                      io-classes:{io-classes, si-timers},
+                      network,
+                      time,
+                      typed-protocols:{typed-protocols,cborg,stateful}
+  hs-source-dirs:     examples
+  default-language:   GHC2021
   default-extensions: DataKinds
                       GADTs
                       LambdaCase
-  ghc-options:       -Wall
-                     -Wno-unticked-promoted-constructors
-                     -Wcompat
-                     -Wincomplete-uni-patterns
-                     -Wincomplete-record-updates
-                     -Wpartial-fields
-                     -Widentities
-                     -Wredundant-constraints
 
 test-suite test
-  type:              exitcode-stdio-1.0
-  main-is:           Main.hs
-  hs-source-dirs:    test
-  default-language:  GHC2021
+  type:               exitcode-stdio-1.0
+  main-is:            Main.hs
+  hs-source-dirs:     test
+  default-language:   GHC2021
   default-extensions: GADTs
                       LambdaCase
-  other-modules:     Network.TypedProtocol.PingPong.Tests
-                   , Network.TypedProtocol.ReqResp.Tests
-  build-depends:     base
-                   , bytestring
-                   , contra-tracer
-                   , typed-protocols:{typed-protocols,cborg,examples}
-                   , io-classes:{io-classes,si-timers}
-                   , io-sim
-                   , QuickCheck
-                   , tasty
-                   , tasty-quickcheck
+  other-modules:      Network.TypedProtocol.PingPong.Tests
+                    , Network.TypedProtocol.ReqResp.Tests
+  build-depends:      base
+                    , bytestring
+                    , contra-tracer
+                    , typed-protocols:{typed-protocols,cborg,examples}
+                    , io-classes:{io-classes,si-timers}
+                    , io-sim
+                    , QuickCheck
+                    , tasty
+                    , tasty-quickcheck
 
   if !os(windows)
       build-depends: directory