{-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE GADTs #-} module Test.Cardano.Ledger.Constrained.Conway.Ledger where import Constrained.API import Cardano.Ledger.Conway (ConwayEra) import Cardano.Ledger.Conway.Core import Test.Cardano.Ledger.Constrained.Conway.Utxo ledgerTxSpec :: UtxoExecContext ConwayEra -> Specification (Tx ConwayEra) ledgerTxSpec :: UtxoExecContext ConwayEra -> Specification (Tx ConwayEra) ledgerTxSpec = forall era. HasSpec (AlonzoTx era) => UtxoExecContext era -> Specification (AlonzoTx era) utxoTxSpec