{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}

{-# OPTIONS_GHC -Wno-orphans #-}

module Test.ThreadNet.TxGen.Alonzo () where

import           Ouroboros.Consensus.Protocol.TPraos (TPraos)
import           Ouroboros.Consensus.Shelley.Eras
import           Ouroboros.Consensus.Shelley.Ledger
import           Test.ThreadNet.TxGen (TxGen (..))

-- | Dummy generator until CAD-2119 is done, i.e., the transaction generator in
-- the ledger has been generalised over the eras.
instance TxGen (ShelleyBlock (TPraos c) AlonzoEra) where

  type TxGenExtra _ = ()

  testGenTxs :: CoreNodeId
-> NumCoreNodes
-> SlotNo
-> TopLevelConfig (ShelleyBlock (TPraos c) AlonzoEra)
-> TxGenExtra (ShelleyBlock (TPraos c) AlonzoEra)
-> LedgerState (ShelleyBlock (TPraos c) AlonzoEra) ValuesMK
-> Gen [GenTx (ShelleyBlock (TPraos c) AlonzoEra)]
testGenTxs CoreNodeId
_ NumCoreNodes
_ SlotNo
_ TopLevelConfig (ShelleyBlock (TPraos c) AlonzoEra)
_ TxGenExtra (ShelleyBlock (TPraos c) AlonzoEra)
_ LedgerState (ShelleyBlock (TPraos c) AlonzoEra) ValuesMK
_ = [GenTx (ShelleyBlock (TPraos c) AlonzoEra)]
-> Gen [GenTx (ShelleyBlock (TPraos c) AlonzoEra)]
forall a. a -> Gen a
forall (f :: * -> *) a. Applicative f => a -> f a
pure []