typed-protocols-examples.cabal

cabal-version:       3.4
name:                typed-protocols-examples
version:             0.6.0.0
synopsis:            Examples and tests for the typed-protocols framework
-- description:
license:             Apache-2.0
license-files:
  LICENSE
  NOTICE
copyright:           2019-2025 Input Output Global Inc (IOG)
author:              Alexander Vieth, Duncan Coutts, Marcin Szamotulski
maintainer:          alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
category:            Control
build-type:          Simple
tested-with:         GHC == {8.10, 9.2, 9.4, 9.6, 9.8, 9.10}

-- These should probably be added at some point.
-- extra-doc-files:     ChangeLog.md, README.md

library
  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
  other-extensions:  GADTs
                   , RankNTypes
                   , PolyKinds
                   , DataKinds
                   , ScopedTypeVariables
                   , TypeFamilies
                   , TypeOperators
                   , BangPatterns
  build-depends:     base,
                     bytestring,
                     cborg,
                     serialise,
                     singletons,
                     contra-tracer,
                     io-classes:{io-classes,si-timers},
                     network,
                     time,
                     typed-protocols ^>= 0.4,
                     typed-protocols-cborg,
                     typed-protocols-stateful,
  hs-source-dirs:    src
  default-language:  Haskell2010
  -- ghc-9.2 pulls `ghc-heap-9.12` which is not compatible
  if impl(ghc < 9.4)
    build-depends: ghc-heap < 9.12
  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
  other-modules:     Network.TypedProtocol.PingPong.Tests
                   , Network.TypedProtocol.ReqResp.Tests
  build-depends:     base
                   , bytestring
                   , contra-tracer
                   , typed-protocols
                   , typed-protocols-cborg
                   , typed-protocols-examples
                   , io-classes:{io-classes,si-timers}
                   , io-sim
                   , QuickCheck
                   , tasty
                   , tasty-quickcheck

  if !os(windows)
      build-depends: directory
                   , network
                   , unix

  default-language:  Haskell2010
  ghc-options:       -rtsopts
                     -Wall
                     -Wno-unticked-promoted-constructors
                     -Wno-orphans