Modulecardano-ledger-conway-1.23.0.0

Cardano.Ledger.Conway

1 type
10 values

Packagecardano-ledger-conway-1.23.0.0
Exports21
LicenceApache-2.0

valuehardforkConwayBootstrapPhase :: ProtVer -> Bool

valuehardforkConwayDELEGIncorrectDepositsAndRefunds :: ProtVer -> Bool

valuehardforkConwayDisallowUnelectedCommitteeFromVoting :: ProtVer -> Bool

valuehardforkConwayMoveWithdrawalsAndDRepChecksToLedgerRule :: ProtVer -> Bool

datadata ConwayEra

Instances332EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …

EraBlockBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.BlockBody · orphan
EraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
EraTx ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) => EraTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
EraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EraTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
EraTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
EraPParams ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams · orphan
EraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
EraTxLevel ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
EraGenesis ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Genesis · orphan
EraAccounts ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account · orphan
EraCertState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState · orphan
EraGov ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance · orphan
EraStake ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake · orphan
EraUTxO ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.UTxO · orphan
EraForecast ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Forecast · orphan
ApplyTx ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
ApplyTick ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
ShelleyEraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
ShelleyEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
EraTransition ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphan
StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) => AllegraEraTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
AllegraEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
AllegraEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
MaryEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EraPlutusContext ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo · orphan
AlonzoEraUTxO ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.UTxO · orphan
AlonzoEraTx ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
AlonzoEraPParams ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams · orphan
AlonzoEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) => AlonzoEraTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
AlonzoEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
AlonzoEraTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
AlonzoEraTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
BabbageEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
BabbageEraPParams ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams · orphan
BabbageEraTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
RunConwayRatify ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
ConwayEraPParams ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
ConwayEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
ConwayEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
ConwayEraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ConwayEraGov ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
ConwayEraAccounts ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
ConwayEraCertState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
ConwayEraTransition ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition
TranslateEra ConwayEra PParamsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra DStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra PStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra FuturePParamsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra SnapShotsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra UTxODefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra EpochStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra LedgerStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra NewEpochStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra ConwayEra UTxOStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
HasEraTxLevel ConwayTxBodyRaw ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
HasEraTxLevel Tx ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
HasEraTxLevel TxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EraBlockHeader h ConwayEra => ApplyBlock h ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
EraPlutusTxInfo 'PlutusV1 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo · orphan
EraPlutusTxInfo 'PlutusV2 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo · orphan
EraPlutusTxInfo 'PlutusV3 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo · orphan
ConwayEraPlutusTxInfo 'PlutusV3 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
InjectRuleEvent "EPOCH" ConwayHardForkEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
InjectRuleEvent "GOV" ConwayGovEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
InjectRuleEvent "NEWEPOCH" ConwayEpochEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
InjectRuleEvent "POOL" PoolEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Pool · orphan
InjectRuleEvent "TICK" ConwayEpochEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules · orphan
InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules · orphan
InjectRuleEvent "UTXOS" AlonzoUtxosEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
InjectRuleFailure "BBODY" AllegraUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" BabbageUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" BabbageUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody
InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPoolPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs
InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
InjectRuleFailure "CERTS" ShelleyPoolPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert
InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
InjectRuleFailure "CERT" ShelleyPoolPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert
InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Pool · orphan
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
InjectRuleFailure "UTXO" AllegraUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
InjectRuleFailure "UTXO" BabbageUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo
InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
TranslateEra ConwayEra (Tx TopTx)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
Eq (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Eq (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Eq (TransitionConfig ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphan
Ord (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Show (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Show (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Show (TransitionConfig ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphan
Generic (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Generic (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Generic (TransitionConfig ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphan
Semigroup (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
NFData (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
MemPack (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
NoThunks (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
NoThunks (TransitionConfig ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphan
DecCBOR (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Typeable l => DecCBOR (Annotator (ConwayTxBodyRaw l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
Typeable l => DecCBOR (Annotator (Tx l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Typeable l => DecCBOR (Annotator (TxBody l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EncCBOR (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
SafeToHash (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Eq (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
Eq (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Eq (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Show (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
Show (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Show (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Generic (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Generic (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
NFData (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
NFData (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
NFData (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Typeable l => NoThunks (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
Typeable l => NoThunks (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Typeable l => NoThunks (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Typeable l => ToCBOR (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Typeable l => ToCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Typeable l => DecCBOR (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
EncCBOR (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
EncCBOR (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
EncCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
SafeToHash (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EqRaw (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
EqRaw (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Memoized (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
HashAnnotated (TxBody l ConwayEra) EraIndependentTxBodyDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type Rep (Tx l ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l ConwayEra))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
type Rep (TxBody l ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphan
type BlockBody ConwayEra = AlonzoBlockBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.BlockBody · orphan
type NativeScript ConwayEra = Timelock ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type Script ConwayEra = AlonzoScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type StAnnTx l ConwayEra = AlonzoStAnnTx l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
type StAnnTxCache ConwayEra = Map ScriptHash (SupportedPlutusRunnable ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
data Tx l ConwayEra
- MkConwayTxunConwayTx :: AlonzoTx l ConwayEra
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
data TxBody l ConwayEra
- MkConwayTxBody (MemoBytes (ConwayTxBodyRaw l ConwayEra))
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
type TxOut ConwayEra = BabbageTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
type TxWits ConwayEra = AlonzoTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
type Value ConwayEra = MaryValueDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "BBODY" ConwayEra = BBODY ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "CERTS" ConwayEra = CERTS ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "CERT" ConwayEra = CERT ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "DELEG" ConwayEra = DELEG ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "ENACT" ConwayEra = ENACT ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "EPOCH" ConwayEra = EPOCH ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "GOVCERT" ConwayEra = GOVCERT ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "GOV" ConwayEra = GOV ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "HARDFORK" ConwayEra = HARDFORK ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "LEDGERS" ConwayEra = LEDGERS ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "LEDGER" ConwayEra = LEDGER ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "MEMPOOL" ConwayEra = MEMPOOL ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "MIR" ConwayEra = VoidEraRule "MIR" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "NEWEPOCH" ConwayEra = NEWEPOCH ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "POOLREAP" ConwayEra = POOLREAP ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "POOL" ConwayEra = POOL ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "RATIFY" ConwayEra = RATIFY ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "RUPD" ConwayEra = RUPD ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "SNAP" ConwayEra = SNAP ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "TICKF" ConwayEra = TICKF ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "TICK" ConwayEra = TICK ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "UTXOS" ConwayEra = UTXOS ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "UTXOW" ConwayEra = UTXOW ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRule "UTXO" ConwayEra = UTXO ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleEvent "BBODY" ConwayEra = AlonzoBbodyEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type EraRuleEvent "CERTS" ConwayEra = ConwayCertsEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type EraRuleEvent "CERT" ConwayEra = ConwayCertEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type EraRuleEvent "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleEvent "DELEG" ConwayEra = VoidEraRule "DELEG" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type EraRuleEvent "ENACT" ConwayEra = VoidEraRule "ENACT" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type EraRuleEvent "EPOCH" ConwayEra = ConwayEpochEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type EraRuleEvent "GOVCERT" ConwayEra = VoidEraRule "GOVCERT" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type EraRuleEvent "GOV" ConwayEra = ConwayGovEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type EraRuleEvent "HARDFORK" ConwayEra = ConwayHardForkEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type EraRuleEvent "LEDGERS" ConwayEra = ShelleyLedgersEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
type EraRuleEvent "LEDGER" ConwayEra = ConwayLedgerEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type EraRuleEvent "MIR" ConwayEra = VoidEraRule "MIR" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleEvent "NEWEPOCH" ConwayEra = ConwayNewEpochEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type EraRuleEvent "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleEvent "POOL" ConwayEra = PoolEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Pool · orphan
type EraRuleEvent "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleEvent "TICK" ConwayEra = ShelleyTickEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules · orphan
type EraRuleEvent "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleEvent "UTXOS" ConwayEra = ConwayUtxosEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type EraRuleEvent "UTXOW" ConwayEra = AlonzoUtxowEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type EraRuleEvent "UTXO" ConwayEra = AlonzoUtxoEvent ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type EraRuleFailure "BBODY" ConwayEra = ConwayBbodyPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type EraRuleFailure "CERTS" ConwayEra = ConwayCertsPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type EraRuleFailure "CERT" ConwayEra = ConwayCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type EraRuleFailure "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleFailure "DELEG" ConwayEra = ConwayDelegPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type EraRuleFailure "GOVCERT" ConwayEra = ConwayGovCertPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type EraRuleFailure "GOV" ConwayEra = ConwayGovPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type EraRuleFailure "LEDGERS" ConwayEra = ShelleyLedgersPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledgers · orphan
type EraRuleFailure "LEDGER" ConwayEra = ConwayLedgerPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type EraRuleFailure "MIR" ConwayEra = VoidEraRule "MIR" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleFailure "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleFailure "POOL" ConwayEra = ShelleyPoolPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Pool · orphan
type EraRuleFailure "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleFailure "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type EraRuleFailure "UTXOS" ConwayEra = ConwayUtxosPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type EraRuleFailure "UTXOW" ConwayEra = ConwayUtxowPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type EraRuleFailure "UTXO" ConwayEra = ConwayUtxoPredFailure ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type DowngradePParams f ConwayEra = ()Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams · orphan
type PParamsHKD f ConwayEra = ConwayPParams f ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams · orphan
type UpgradePParams f ConwayEra = UpgradeConwayPParams fDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams · orphan
type TranslationError ConwayEra PParams = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra DState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra PState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra FuturePParams = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra SnapShots = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra UTxO = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra EpochState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra LedgerState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra NewEpochState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra UTxOState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError ConwayEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationContext ConwayEra = ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TxCert ConwayEra = ConwayTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeErrorDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
type STxLevel l ConwayEra = STxTopLevel l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Era · orphan
type Genesis ConwayEra = ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Genesis · orphan
type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) = EraIndependentTxBodyDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
type RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
type AccountState ConwayEra = ConwayAccountState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account · orphan
type Accounts ConwayEra = ConwayAccounts ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account · orphan
type CertState ConwayEra = ConwayCertState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState · orphan
type GovState ConwayEra = ConwayGovState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance · orphan
type InstantStake ConwayEra = ConwayInstantStake ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake · orphan
type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.UTxO · orphan
type Forecast t ConwayEra = BabbageForecast t ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Forecast · orphan
data ApplyTxError ConwayEra
- ConwayApplyTxError (NonEmpty (ConwayLedgerPredFailure ConwayEra))
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
data TransitionConfig ConwayEra
- ConwayTransitionConfigctcConwayGenesis :: !ConwayGenesisctcBabbageTransitionConfig :: !TransitionConfig BabbageEra
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphan
data TxInfoResult ConwayEra
- ConwayTxInfoResult (PlutusTxInfoResult 'PlutusV1 ConwayEra) (PlutusTxInfoResult 'PlutusV2 ConwayEra) (PlutusTxInfoResult 'PlutusV3 ConwayEra)
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo · orphan
type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
data PlutusScript ConwayEra
- ConwayPlutusV1 !(Plutus 'PlutusV1)
- ConwayPlutusV2 !(Plutus 'PlutusV2)
- ConwayPlutusV3 !(Plutus 'PlutusV3)
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type ContextError ConwayEra = ConwayContextError ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo · orphan

familydata family Tx (l :: TxLevel) era

Instances83HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …

HasEraTxLevel Tx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
HasEraTxLevel Tx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
HasEraTxLevel Tx BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
HasEraTxLevel Tx ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
HasEraTxLevel Tx MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
TranslateEra AllegraEra (Tx TopTx)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra (Tx TopTx)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra BabbageEra (Tx TopTx)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
TranslateEra ConwayEra (Tx TopTx)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra MaryEra (Tx TopTx)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
EraTx era => HasOKey TxId (Tx l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (Tx l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => DecCBOR (Annotator (Tx l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
Typeable l => DecCBOR (Annotator (Tx l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Typeable l => DecCBOR (Annotator (Tx l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => DecCBOR (Annotator (Tx t AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => DecCBOR (Annotator (Tx t MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Eq (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Eq (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
Eq (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Eq (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Show (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Show (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
Show (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Show (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Generic (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Generic (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
Generic (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Generic (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
NFData (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
NFData (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
NFData (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
NFData (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Typeable l => NoThunks (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => NoThunks (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
Typeable l => NoThunks (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => NoThunks (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => NoThunks (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Typeable l => ToCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => ToCBOR (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
Typeable l => ToCBOR (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => ToCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => ToCBOR (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
EncCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EncCBOR (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
EncCBOR (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EncCBOR (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
EqRaw (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EqRaw (Tx l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
EqRaw (Tx l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EqRaw (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
type Rep (Tx l BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.14.0.0-LQI6qsZPaAxIU6S3WezBmC" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l BabbageEra))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
type Rep (Tx l ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l ConwayEra))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.0.0-KJG8vrj48Bd5Cke8e4rFyC" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
data Tx l AlonzoEra
- MkAlonzoTxunAlonzoTx :: AlonzoTx l AlonzoEra
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
data Tx l BabbageEra
- MkBabbageTxunBabbageTx :: AlonzoTx l BabbageEra
Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
data Tx l ConwayEra
- MkConwayTxunConwayTx :: AlonzoTx l ConwayEra
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
data Tx t AllegraEra
- MkAllegraTxunAllegraTx :: ShelleyTx t AllegraEra
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
data Tx t MaryEra
- MkMaryTxunMaryTx :: ShelleyTx t MaryEra
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
type TranslationError AllegraEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError BabbageEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
type TranslationError ConwayEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError MaryEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

constructorMkAllegraTx

Fields

unAllegraTx :: ShelleyTx t AllegraEra

valueunAllegraTx :: Tx t AllegraEra -> ShelleyTx t AllegraEra

constructorMkAlonzoTx

Fields

unAlonzoTx :: AlonzoTx l AlonzoEra

valueunAlonzoTx :: Tx l AlonzoEra -> AlonzoTx l AlonzoEra

constructorMkBabbageTx

Fields

unBabbageTx :: AlonzoTx l BabbageEra

valueunBabbageTx :: Tx l BabbageEra -> AlonzoTx l BabbageEra

constructorMkConwayTx

Fields

unConwayTx :: AlonzoTx l ConwayEra

valueunConwayTx :: Tx l ConwayEra -> AlonzoTx l ConwayEra

constructorMkMaryTx

Fields

unMaryTx :: ShelleyTx t MaryEra

valueunMaryTx :: Tx t MaryEra -> ShelleyTx t MaryEra

constructorMkShelleyTx

Fields

unShelleyTx :: ShelleyTx l ShelleyEra

valueunShelleyTx :: Tx l ShelleyEra -> ShelleyTx l ShelleyEra

familydata family ApplyTxError era

Instances49Eq, Show, Generic, Semigroup, DecCBOR, EncCBOR, …

Eq (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Eq (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Eq (ApplyTxError BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
Eq (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Eq (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Eq (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Show (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Show (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Show (ApplyTxError BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
Show (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Show (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Show (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Generic (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Generic (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Generic (ApplyTxError BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
Generic (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Generic (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Generic (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Semigroup (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Semigroup (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Semigroup (ApplyTxError BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
Semigroup (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
Semigroup (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Semigroup (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
DecCBOR (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
DecCBOR (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
DecCBOR (ApplyTxError BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
DecCBOR (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
DecCBOR (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
DecCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
EncCBOR (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
EncCBOR (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
EncCBOR (ApplyTxError BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
EncCBOR (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
EncCBOR (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
EncCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
type Rep (ApplyTxError BabbageEra) = Rep (NonEmpty (ShelleyLedgerPredFailure BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
data ApplyTxError AllegraEra
- AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
data ApplyTxError AlonzoEra
- AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
data ApplyTxError BabbageEra
- BabbageApplyTxError (NonEmpty (ShelleyLedgerPredFailure BabbageEra))
Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage · orphan
data ApplyTxError ConwayEra
- ConwayApplyTxError (NonEmpty (ConwayLedgerPredFailure ConwayEra))
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan
data ApplyTxError MaryEra
- MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
data ApplyTxError ShelleyEra
- ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool

constructorConwayApplyTxError (NonEmpty (ConwayLedgerPredFailure ConwayEra))

constructorShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Orphan instances

11 instances