cabal-version:   3.0
name:            ouroboros-consensus-diffusion
version:         0.6.0.0
synopsis:        Integration for the Ouroboros Network layer
description:
  Top level integration for consensus & network layers of the Ouroboros blockchain protocol.

license:         Apache-2.0
license-files:
  LICENSE
  NOTICE

copyright:       2022-2023 Input Output Global Inc (IOG)
author:          IOHK Engineering Team
maintainer:      operations@iohk.io
category:        Network
build-type:      Simple
extra-doc-files: CHANGELOG.md

source-repository head
  type:     git
  location: https://github.com/input-output-hk/ouroboros-consensus

flag asserts
  description: Enable assertions
  manual:      False
  default:     False

common common-lib
  default-language: Haskell2010
  ghc-options:
    -Wall -Wcompat -Wincomplete-uni-patterns
    -Wincomplete-record-updates -Wpartial-fields -Widentities
    -Wredundant-constraints -Wmissing-export-lists -Wunused-packages
    -Wno-unticked-promoted-constructors

  if flag(asserts)
    ghc-options: -fno-ignore-asserts
    cpp-options: -DENABLE_ASSERTIONS

common common-test
  import:      common-lib
  ghc-options: -threaded -rtsopts

library
  import:             common-lib
  hs-source-dirs:     src/ouroboros-consensus-diffusion
  exposed-modules:
    Ouroboros.Consensus.Network.NodeToClient
    Ouroboros.Consensus.Network.NodeToNode
    Ouroboros.Consensus.Node
    Ouroboros.Consensus.Node.DbLock
    Ouroboros.Consensus.Node.DbMarker
    Ouroboros.Consensus.Node.ErrorPolicy
    Ouroboros.Consensus.Node.Exit
    Ouroboros.Consensus.Node.ExitPolicy
    Ouroboros.Consensus.Node.Recovery
    Ouroboros.Consensus.Node.RethrowPolicy
    Ouroboros.Consensus.Node.Tracers
    Ouroboros.Consensus.NodeKernel

  reexported-modules:
    Ouroboros.Consensus.Block
    , Ouroboros.Consensus.Node.Run
    , Ouroboros.Consensus.Node.NetworkProtocolVersion

  other-extensions:
    BangPatterns
    ConstraintKinds
    DataKinds
    DeriveAnyClass
    DeriveFunctor
    DeriveGeneric
    EmptyDataDecls
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    KindSignatures
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    OverloadedStrings
    PackageImports
    PolyKinds
    RankNTypes
    RecordWildCards
    ScopedTypeVariables
    StandaloneDeriving
    TemplateHaskell
    TupleSections
    TypeApplications
    TypeFamilies
    TypeFamilyDependencies
    TypeInType
    TypeOperators
    UndecidableInstances
    UndecidableSuperClasses
    ViewPatterns

  build-depends:
    , base                         >=4.14   && <4.17
    , bytestring                   >=0.10   && <0.12
    , cborg                        ^>=0.2.2
    , containers                   >=0.5    && <0.7
    , contra-tracer
    , deepseq
    , filepath
    , fs-api
    , hashable
    , io-classes                   ^>=1.1
    , mtl                          ^>=2.2
    , ouroboros-consensus          ^>=0.7
    , ouroboros-network            ^>=0.7 || ^>=0.8
    , ouroboros-network-api        ^>=0.5
    , ouroboros-network-framework  ^>=0.6
    , ouroboros-network-protocols  ^>=0.5.0.3
    , random
    , serialise                    ^>=0.2
    , si-timers                    ^>=1.1
    , text                         >=1.2    && <1.3
    , time
    , typed-protocols

library diffusion-testlib
  import:          common-lib
  hs-source-dirs:  src/diffusion-testlib
  visibility:      public
  exposed-modules:
    Test.ThreadNet.General
    Test.ThreadNet.Network
    Test.ThreadNet.Ref.PBFT
    Test.ThreadNet.Rekeying
    Test.ThreadNet.TxGen
    Test.ThreadNet.Util
    Test.ThreadNet.Util.Expectations
    Test.ThreadNet.Util.HasCreator
    Test.ThreadNet.Util.NodeJoinPlan
    Test.ThreadNet.Util.NodeRestarts
    Test.ThreadNet.Util.NodeToNodeVersion
    Test.ThreadNet.Util.NodeTopology
    Test.ThreadNet.Util.Seed

  build-depends:
    , base
    , bytestring
    , cborg
    , containers
    , contra-tracer
    , fgl
    , fs-sim
    , graphviz                                                      >=2999.20.1.0
    , io-classes
    , io-sim
    , mtl
    , ouroboros-consensus-diffusion
    , ouroboros-consensus:{ouroboros-consensus, consensus-testlib}
    , ouroboros-network
    , ouroboros-network-api
    , ouroboros-network-framework
    , ouroboros-network-mock
    , ouroboros-network-protocols
    , QuickCheck
    , quiet                                                         >=0.2         && <0.3
    , random
    , si-timers
    , text
    , typed-protocols

library mock-testlib
  import:          common-lib
  visibility:      public
  hs-source-dirs:  src/mock-testlib
  exposed-modules:
    Test.Consensus.Ledger.Mock.Generators
    Test.ThreadNet.TxGen.Mock
    Test.ThreadNet.Util.HasCreator.Mock
    Test.ThreadNet.Util.SimpleBlock

  build-depends:
    , base
    , bytestring
    , cardano-crypto-class
    , containers
    , diffusion-testlib
    , ouroboros-consensus:{ouroboros-consensus, consensus-testlib, mock-block}
    , QuickCheck
    , serialise

test-suite infra-test
  import:         common-test
  type:           exitcode-stdio-1.0
  hs-source-dirs: test/infra-test
  main-is:        Main.hs
  other-modules:  Test.ThreadNet.Util.Tests
  build-depends:
    , base
    , diffusion-testlib
    , ouroboros-consensus:{ouroboros-consensus, consensus-testlib}
    , tasty
    , tasty-quickcheck

test-suite mock-test
  import:         common-test
  type:           exitcode-stdio-1.0
  hs-source-dirs: test/mock-test
  main-is:        Main.hs
  other-modules:
    Test.Consensus.Ledger.Mock
    Test.ThreadNet.BFT
    Test.ThreadNet.LeaderSchedule
    Test.ThreadNet.PBFT
    Test.ThreadNet.Praos

  build-depends:
    , base
    , bytestring
    , cborg
    , containers
    , diffusion-testlib
    , mock-testlib
    , ouroboros-consensus:{ouroboros-consensus, consensus-testlib, mock-block}
    , ouroboros-network-mock
    , QuickCheck
    , serialise
    , tasty
    , tasty-quickcheck

test-suite consensus-test
  import:         common-test
  type:           exitcode-stdio-1.0
  hs-source-dirs: test/consensus-test
  main-is:        Main.hs
  other-modules:
    Test.Consensus.HardFork.Combinator
    Test.Consensus.HardFork.Combinator.A
    Test.Consensus.HardFork.Combinator.B
    Test.Consensus.Node

  build-depends:
    , base
    , binary
    , bytestring
    , cardano-slotting
    , containers
    , diffusion-testlib
    , directory
    , fs-api
    , fs-sim
    , io-sim
    , mtl
    , nothunks
    , ouroboros-consensus-diffusion
    , ouroboros-consensus:{ouroboros-consensus, consensus-testlib}
    , ouroboros-network-api
    , ouroboros-network-mock
    , QuickCheck
    , quiet
    , serialise
    , si-timers
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , temporary
    , time