Modulecardano-ledger-dijkstra-0.3.0.0

Cardano.Ledger.Dijkstra.Era

40 types
1 class

Packagecardano-ledger-dijkstra-0.3.0.0
Exports41
LicenceApache-2.0

datadata DijkstraEra

Instances478EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …

EraBlockBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal · orphan
EraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
EraTx DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) => EraTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => EraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
EraTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan
EraTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan
EraPParams DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams · orphan
EraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
EraTxLevel DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
EraGenesis DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Genesis · orphan
EraAccounts DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.Account · orphan
EraCertState DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.CertState · orphan
EraGov DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Governance · orphan
EraStake DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.Stake · orphan
EraUTxO DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.UTxO · orphan
EraForecast DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Forecast · orphan
ApplyTx DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
ApplyTick DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
ShelleyEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
EraTransition DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) => AllegraEraTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => AllegraEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
AllegraEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => MaryEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
EraPlutusContext DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
AlonzoEraUTxO DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.UTxO · orphan
AlonzoEraTx DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
AlonzoEraPParams DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams · orphan
AlonzoEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) => AlonzoEraTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => AlonzoEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
AlonzoEraTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan
AlonzoEraTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => BabbageEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
BabbageEraPParams DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams · orphan
BabbageEraTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan
RunConwayRatify DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
ConwayEraPParams DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams · orphan
ConwayEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => ConwayEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
ConwayEraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
ConwayEraGov DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Governance · orphan
ConwayEraAccounts DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.Account · orphan
ConwayEraCertState DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.CertState · orphan
ConwayEraTransition DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => DijkstraEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody
DijkstraEraBlockBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal
DijkstraEraPParams DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
DijkstraEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
DijkstraEraUTxO DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.UTxO
TranslateEra DijkstraEra ConwayGovStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra DRepPulsingStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra PulsingSnapshotDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra EnactStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra RatifyStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra GovActionDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra GovActionStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra ProposalProcedureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra ProposalsDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra VStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra PParamsDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra DStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra PStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra FuturePParamsDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra SnapShotsDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra UTxODefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra EpochStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra LedgerStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra NewEpochStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
TranslateEra DijkstraEra UTxOStateDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
HasEraTxLevel Tx DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
HasEraTxLevel TxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
HasEraTxLevel DijkstraTx DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx
HasEraTxLevel DijkstraTxBodyRaw DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody
(EraBlockHeader h DijkstraEra, DijkstraEraBlockHeader h DijkstraEra) => ApplyBlock h DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
EraPlutusTxInfo 'PlutusV1 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
EraPlutusTxInfo 'PlutusV2 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
EraPlutusTxInfo 'PlutusV3 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
EraPlutusTxInfo 'PlutusV4 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
ConwayEraPlutusTxInfo 'PlutusV3 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
ConwayEraPlutusTxInfo 'PlutusV4 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
InjectRuleEvent "EPOCH" ConwayHardForkEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
InjectRuleEvent "GOV" ConwayGovEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
InjectRuleEvent "LEDGER" DijkstraLedgerEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger
InjectRuleEvent "NEWEPOCH" ConwayEpochEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
InjectRuleEvent "POOL" PoolEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Pool · orphan
InjectRuleEvent "SUBCERTS" DijkstraSubCertsEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts
InjectRuleEvent "SUBCERT" DijkstraSubCertEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert
InjectRuleEvent "SUBGOV" ConwayGovEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
InjectRuleEvent "SUBGOV" DijkstraSubGovEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov
InjectRuleEvent "SUBLEDGERS" DijkstraSubLedgersEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers
InjectRuleEvent "SUBLEDGER" DijkstraSubLedgerEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger
InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool
InjectRuleEvent "SUBPOOL" PoolEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
InjectRuleEvent "SUBUTXOW" DijkstraSubUtxowEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow
InjectRuleEvent "SUBUTXO" DijkstraSubUtxoEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo
InjectRuleEvent "TICK" ConwayEpochEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
InjectRuleEvent "TICK" ConwayHardForkEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
InjectRuleEvent "TICK" ConwayNewEpochEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
InjectRuleEvent "UTXOS" AlonzoUtxosEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxos · orphan
InjectRuleEvent "UTXOS" ConwayUtxosEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxos · orphan
InjectRuleFailure "BBODY" AllegraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" BabbageUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" BabbageUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayBbodyPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ConwayUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" DijkstraBbodyPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody
InjectRuleFailure "BBODY" DijkstraGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" DijkstraLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" DijkstraUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
InjectRuleFailure "CERTS" ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
InjectRuleFailure "CERTS" ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
InjectRuleFailure "CERTS" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
InjectRuleFailure "CERTS" ConwayGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
InjectRuleFailure "CERTS" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
InjectRuleFailure "CERTS" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
InjectRuleFailure "CERT" ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
InjectRuleFailure "CERT" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
InjectRuleFailure "CERT" ConwayGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
InjectRuleFailure "CERT" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
InjectRuleFailure "CERT" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
InjectRuleFailure "DELEG" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Deleg · orphan
InjectRuleFailure "ENTITIES" ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "ENTITIES" ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "ENTITIES" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "ENTITIES" ConwayGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "ENTITIES" ConwayLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "ENTITIES" EntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities
InjectRuleFailure "ENTITIES" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "ENTITIES" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "ENTITIES" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
InjectRuleFailure "GOVCERT" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert
InjectRuleFailure "GOV" ConwayGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
InjectRuleFailure "GOV" DijkstraGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" DijkstraGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" DijkstraLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" DijkstraUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" EntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" DijkstraGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger
InjectRuleFailure "LEDGER" SubEntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" DijkstraSubLedgersPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" DijkstraUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
InjectRuleFailure "MEMPOOL" ConwayLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
InjectRuleFailure "MEMPOOL" DijkstraMempoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool
InjectRuleFailure "MEMPOOL" DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Pool · orphan
InjectRuleFailure "SUBCERTS" ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
InjectRuleFailure "SUBCERTS" DijkstraSubCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
InjectRuleFailure "SUBCERTS" DijkstraSubCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts
InjectRuleFailure "SUBCERT" ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
InjectRuleFailure "SUBCERT" DijkstraSubCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert
InjectRuleFailure "SUBCERT" DijkstraSubDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
InjectRuleFailure "SUBCERT" DijkstraSubGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
InjectRuleFailure "SUBCERT" DijkstraSubPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
InjectRuleFailure "SUBDELEG" ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
InjectRuleFailure "SUBDELEG" DijkstraSubDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg
InjectRuleFailure "SUBENTITIES" ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
InjectRuleFailure "SUBENTITIES" ConwayLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
InjectRuleFailure "SUBENTITIES" EntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
InjectRuleFailure "SUBENTITIES" DijkstraSubCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
InjectRuleFailure "SUBENTITIES" SubEntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities
InjectRuleFailure "SUBENTITIES" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
InjectRuleFailure "SUBGOVCERT" ConwayGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
InjectRuleFailure "SUBGOVCERT" DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert
InjectRuleFailure "SUBGOV" ConwayGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
InjectRuleFailure "SUBGOV" DijkstraGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov
InjectRuleFailure "SUBLEDGERS" DijkstraSubLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
InjectRuleFailure "SUBLEDGERS" DijkstraSubLedgersPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers
InjectRuleFailure "SUBLEDGER" ConwayLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
InjectRuleFailure "SUBLEDGER" DijkstraSubCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
InjectRuleFailure "SUBLEDGER" SubEntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
InjectRuleFailure "SUBLEDGER" DijkstraSubGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
InjectRuleFailure "SUBLEDGER" DijkstraSubLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger
InjectRuleFailure "SUBLEDGER" DijkstraSubUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool
InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
InjectRuleFailure "SUBUTXOW" AlonzoUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
InjectRuleFailure "SUBUTXOW" BabbageUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
InjectRuleFailure "SUBUTXOW" ConwayUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
InjectRuleFailure "SUBUTXOW" DijkstraSubUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
InjectRuleFailure "SUBUTXOW" DijkstraSubUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow
InjectRuleFailure "SUBUTXOW" DijkstraUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
InjectRuleFailure "SUBUTXOW" ShelleyUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
InjectRuleFailure "SUBUTXO" AllegraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
InjectRuleFailure "SUBUTXO" AlonzoUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
InjectRuleFailure "SUBUTXO" BabbageUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
InjectRuleFailure "SUBUTXO" ConwayUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
InjectRuleFailure "SUBUTXO" DijkstraSubUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo
InjectRuleFailure "SUBUTXO" DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
InjectRuleFailure "SUBUTXO" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxos · orphan
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxos · orphan
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" DijkstraUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
InjectRuleFailure "UTXO" AllegraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
InjectRuleFailure "UTXO" BabbageUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ConwayUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ConwayUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
InjectRuleFailure "UTXO" DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
TranslateEra DijkstraEra (Tx TopTx)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
Eq (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Eq (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
Eq (TransitionConfig DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
Ord (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Show (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Show (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
Show (TransitionConfig DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
Generic (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Generic (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
Generic (TransitionConfig DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
Semigroup (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
NFData (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
MemPack (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
NoThunks (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
NoThunks (TransitionConfig DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
DecCBOR (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
Typeable l => DecCBOR (Annotator (Tx l DijkstraEra))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => DecCBOR (Annotator (TxBody l DijkstraEra))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
EncCBOR (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
SafeToHash (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Inject (NonEmpty (DijkstraLedgerPredFailure DijkstraEra)) (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
Inject (NonEmpty (DijkstraMempoolPredFailure DijkstraEra)) (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
Eq (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Eq (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Show (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
(Show (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Show (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Generic (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
Generic (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
NFData (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NFData (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Typeable l => NoThunks (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NoThunks (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Typeable l => ToCBOR (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
Typeable l => ToCBOR (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
EncCBOR (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
EncCBOR (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
SafeToHash (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
EqRaw (Tx l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => EqRaw (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Memoized (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
HashAnnotated (TxBody l DijkstraEra) EraIndependentTxBodyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
type Rep (PlutusScript DijkstraEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "DijkstraPlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "DijkstraPlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2)))) :+: (C1 ('MetaCons "DijkstraPlutusV3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3))) :+: C1 ('MetaCons "DijkstraPlutusV4" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV4)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type Rep (Tx l DijkstraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Dijkstra.Tx" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'True) (C1 ('MetaCons "MkDijkstraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDijkstraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraTx l DijkstraEra))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
type Rep (TxBody l DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
type Rep (ApplyTxError DijkstraEra) = Rep (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) (C1 ('MetaCons "DijkstraTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtcDijkstraGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DijkstraGenesis) :*: S1 ('MetaSel ('Just "dtcConwayTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig ConwayEra))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
type BlockBody DijkstraEra = DijkstraBlockBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal · orphan
type NativeScript DijkstraEra = DijkstraNativeScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type Script DijkstraEra = AlonzoScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type StAnnTx l DijkstraEra = DijkstraStAnnTx l DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
type StAnnTxCache DijkstraEra = Map ScriptHash (SupportedPlutusRunnable DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
data Tx l DijkstraEra
- MkDijkstraTxunDijkstraTx :: DijkstraTx l DijkstraEra
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
type TxAuxData DijkstraEra = AlonzoTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan
data TxBody l DijkstraEra
- MkDijkstraTxBody (MemoBytes (DijkstraTxBodyRaw l DijkstraEra))
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
type TxOut DijkstraEra = BabbageTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan
type TxWits DijkstraEra = AlonzoTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan
type Value DijkstraEra = MaryValueDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "BBODY" DijkstraEra = BBODY DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "CERTS" DijkstraEra = CERTS DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "CERT" DijkstraEra = CERT DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "DELEGS" DijkstraEra = VoidEraRule "DELEGS" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "DELEG" DijkstraEra = DELEG DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "ENACT" DijkstraEra = ENACT DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "ENTITIES" DijkstraEra = ENTITIES DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "EPOCH" DijkstraEra = EPOCH DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "GOVCERT" DijkstraEra = GOVCERT DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "GOV" DijkstraEra = GOV DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "HARDFORK" DijkstraEra = HARDFORK DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "LEDGERS" DijkstraEra = LEDGERS DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "LEDGER" DijkstraEra = LEDGER DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "MEMPOOL" DijkstraEra = MEMPOOL DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "NEWEPOCH" DijkstraEra = NEWEPOCH DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "NEWPP" DijkstraEra = VoidEraRule "NEWPP" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "POOLREAP" DijkstraEra = POOLREAP DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "POOL" DijkstraEra = POOL DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "RATIFY" DijkstraEra = RATIFY DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "RUPD" DijkstraEra = RUPD DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SNAP" DijkstraEra = SNAP DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBCERTS" DijkstraEra = SUBCERTS DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBCERT" DijkstraEra = SUBCERT DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBDELEG" DijkstraEra = SUBDELEG DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBENTITIES" DijkstraEra = SUBENTITIES DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBGOVCERT" DijkstraEra = SUBGOVCERT DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBGOV" DijkstraEra = SUBGOV DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBLEDGERS" DijkstraEra = SUBLEDGERS DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBLEDGER" DijkstraEra = SUBLEDGER DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBPOOL" DijkstraEra = SUBPOOL DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBUTXOW" DijkstraEra = SUBUTXOW DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "SUBUTXO" DijkstraEra = SUBUTXO DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "TICKF" DijkstraEra = TICKF DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "TICK" DijkstraEra = TICK DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "UTXOS" DijkstraEra = UTXOS DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "UTXOW" DijkstraEra = UTXOW DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRule "UTXO" DijkstraEra = UTXO DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleEvent "BBODY" DijkstraEra = AlonzoBbodyEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type EraRuleEvent "CERTS" DijkstraEra = ConwayCertsEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
type EraRuleEvent "CERT" DijkstraEra = ConwayCertEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type EraRuleEvent "DELEGS" DijkstraEra = VoidEraRule "DELEGS" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleEvent "DELEG" DijkstraEra = VoidEraRule "DELEG" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Deleg · orphan
type EraRuleEvent "ENTITIES" DijkstraEra = EntitiesEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type EraRuleEvent "EPOCH" DijkstraEra = ConwayEpochEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
type EraRuleEvent "GOVCERT" DijkstraEra = VoidEraRule "GOVCERT" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type EraRuleEvent "GOV" DijkstraEra = ConwayGovEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type EraRuleEvent "HARDFORK" DijkstraEra = ConwayHardForkEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
type EraRuleEvent "LEDGERS" DijkstraEra = ShelleyLedgersEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
type EraRuleEvent "LEDGER" DijkstraEra = DijkstraLedgerEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type EraRuleEvent "MEMPOOL" DijkstraEra = DijkstraMempoolEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type EraRuleEvent "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleEvent "NEWEPOCH" DijkstraEra = ConwayNewEpochEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
type EraRuleEvent "NEWPP" DijkstraEra = VoidEraRule "NEWPP" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleEvent "POOL" DijkstraEra = PoolEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Pool · orphan
type EraRuleEvent "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleEvent "SUBCERTS" DijkstraEra = DijkstraSubCertsEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type EraRuleEvent "SUBCERT" DijkstraEra = DijkstraSubCertEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type EraRuleEvent "SUBDELEG" DijkstraEra = VoidEraRule "SUBDELEG" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type EraRuleEvent "SUBENTITIES" DijkstraEra = SubEntitiesEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type EraRuleEvent "SUBGOVCERT" DijkstraEra = VoidEraRule "SUBGOVCERT" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type EraRuleEvent "SUBGOV" DijkstraEra = DijkstraSubGovEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type EraRuleEvent "SUBLEDGERS" DijkstraEra = DijkstraSubLedgersEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type EraRuleEvent "SUBLEDGER" DijkstraEra = DijkstraSubLedgerEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type EraRuleEvent "SUBPOOL" DijkstraEra = DijkstraSubPoolEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type EraRuleEvent "SUBUTXOW" DijkstraEra = DijkstraSubUtxowEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type EraRuleEvent "SUBUTXO" DijkstraEra = DijkstraSubUtxoEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type EraRuleEvent "TICK" DijkstraEra = ShelleyTickEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules · orphan
type EraRuleEvent "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleEvent "UTXOS" DijkstraEra = ConwayUtxosEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxos · orphan
type EraRuleEvent "UTXOW" DijkstraEra = AlonzoUtxowEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type EraRuleEvent "UTXO" DijkstraEra = AlonzoUtxoEvent DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type EraRuleFailure "BBODY" DijkstraEra = DijkstraBbodyPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type EraRuleFailure "CERTS" DijkstraEra = ConwayCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
type EraRuleFailure "CERT" DijkstraEra = ConwayCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type EraRuleFailure "DELEGS" DijkstraEra = VoidEraRule "DELEGS" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleFailure "DELEG" DijkstraEra = ConwayDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Deleg · orphan
type EraRuleFailure "ENTITIES" DijkstraEra = EntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type EraRuleFailure "GOVCERT" DijkstraEra = DijkstraGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type EraRuleFailure "GOV" DijkstraEra = DijkstraGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type EraRuleFailure "LEDGERS" DijkstraEra = ShelleyLedgersPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan
type EraRuleFailure "LEDGER" DijkstraEra = DijkstraLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type EraRuleFailure "MEMPOOL" DijkstraEra = DijkstraMempoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type EraRuleFailure "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleFailure "NEWPP" DijkstraEra = VoidEraRule "NEWPP" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleFailure "POOL" DijkstraEra = ShelleyPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Pool · orphan
type EraRuleFailure "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleFailure "SUBCERTS" DijkstraEra = DijkstraSubCertsPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type EraRuleFailure "SUBCERT" DijkstraEra = DijkstraSubCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type EraRuleFailure "SUBDELEG" DijkstraEra = DijkstraSubDelegPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type EraRuleFailure "SUBENTITIES" DijkstraEra = SubEntitiesPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type EraRuleFailure "SUBGOVCERT" DijkstraEra = DijkstraSubGovCertPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type EraRuleFailure "SUBGOV" DijkstraEra = DijkstraSubGovPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type EraRuleFailure "SUBLEDGERS" DijkstraEra = DijkstraSubLedgersPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type EraRuleFailure "SUBLEDGER" DijkstraEra = DijkstraSubLedgerPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type EraRuleFailure "SUBPOOL" DijkstraEra = DijkstraSubPoolPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type EraRuleFailure "SUBUTXOW" DijkstraEra = DijkstraSubUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type EraRuleFailure "SUBUTXO" DijkstraEra = DijkstraSubUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type EraRuleFailure "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type EraRuleFailure "UTXOS" DijkstraEra = ConwayUtxosPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxos · orphan
type EraRuleFailure "UTXOW" DijkstraEra = DijkstraUtxowPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type EraRuleFailure "UTXO" DijkstraEra = DijkstraUtxoPredFailure DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type DowngradePParams f DijkstraEra = ()Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams · orphan
type PParamsHKD f DijkstraEra = DijkstraPParams f DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams · orphan
type UpgradePParams f DijkstraEra = UpgradeDijkstraPParams f DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams · orphan
type TranslationError DijkstraEra ConwayGovState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra DRepPulsingState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra PulsingSnapshot = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra EnactState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra RatifyState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra GovAction = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra GovActionState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra ProposalProcedure = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra Proposals = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra VState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra PParams = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra DState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra PState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra FuturePParams = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra SnapShots = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra UTxO = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra EpochState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra LedgerState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra NewEpochState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra UTxOState = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationError DijkstraEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TranslationContext DijkstraEra = DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
type TxCert DijkstraEra = DijkstraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
type TxCertUpgradeError DijkstraEra = DijkstraTxCertUpgradeErrorDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
type STxLevel l DijkstraEra = STxBothLevels l DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Era · orphan
type Genesis DijkstraEra = DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Genesis · orphan
type MemoHashIndex (DijkstraTxBodyRaw l DijkstraEra) = EraIndependentTxBodyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody
type RawType (TxBody l DijkstraEra) = DijkstraTxBodyRaw l DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
type AccountState DijkstraEra = ConwayAccountState DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.Account · orphan
type Accounts DijkstraEra = ConwayAccounts DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.Account · orphan
type CertState DijkstraEra = ConwayCertState DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.CertState · orphan
type GovState DijkstraEra = ConwayGovState DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Governance · orphan
type InstantStake DijkstraEra = ConwayInstantStake DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.State.Stake · orphan
type ScriptsNeeded DijkstraEra = AlonzoScriptsNeeded DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.UTxO · orphan
type Forecast t DijkstraEra = BabbageForecast t DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Forecast · orphan
data ApplyTxError DijkstraEra
- DijkstraApplyTxError (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphan
data TransitionConfig DijkstraEra
- DijkstraTransitionConfigdtcDijkstraGenesis :: !DijkstraGenesisdtcConwayTransitionConfig :: !TransitionConfig ConwayEra
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphan
data TxInfoResult DijkstraEra
- DijkstraTxInfoResult (PlutusTxInfoResult 'PlutusV1 DijkstraEra) (PlutusTxInfoResult 'PlutusV2 DijkstraEra) (PlutusTxInfoResult 'PlutusV3 DijkstraEra) (PlutusTxInfoResult 'PlutusV4 DijkstraEra)
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan
type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
data PlutusScript DijkstraEra
- DijkstraPlutusV1 !(Plutus 'PlutusV1)
- DijkstraPlutusV2 !(Plutus 'PlutusV2)
- DijkstraPlutusV3 !(Plutus 'PlutusV3)
- DijkstraPlutusV4 !(Plutus 'PlutusV4)
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type ContextError DijkstraEra = DijkstraContextError DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxInfo · orphan

datadata BBODY era

Instances8Embed, STS, BaseM, Environment, Event, PredicateFailure, …

(BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers) => Embed ledgers (BBODY era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
(Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx TopTx era), AlonzoEraTxWits era, EraBlockBody era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, InjectRuleFailure "BBODY" DijkstraBbodyPredFailure era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era, EraRule "BBODY" era ~ BBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era, DijkstraEraBlockBody era) => STS (BBODY era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type BaseM (BBODY era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type Environment (BBODY era) = BbodyEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type Event (BBODY era) = AlonzoBbodyEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type Signal (BBODY era) = DijkstraBbodySignal eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan

datadata CERT era

Instances12STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(Era era, State (EraRule "DELEG" era) ~ CertState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ CertState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Signal (EraRule "POOL" era) ~ PoolCert, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Embed (EraRule "DELEG" era) (CERT era), Embed (EraRule "POOL" era) (CERT era), Embed (EraRule "GOVCERT" era) (CERT era), TxCert era ~ DijkstraTxCert era, EraCertState era) => STS (CERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
(Era era, STS (CERT era), Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) => Embed (CERT era) (CERTS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
(STS (DELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) => Embed (DELEG era) (CERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
(STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) => Embed (GOVCERT era) (CERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
(STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) => Embed (GOVCERT era) (CERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
(STS (POOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) => Embed (POOL era) (CERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan
type BaseM (CERT era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type Environment (CERT era) = CertEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type Event (CERT era) = ConwayCertEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type Signal (CERT era) = TxCert eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type State (CERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan

typetype DijkstraBBODY = BBODY

Deprecated. In favor of BBODY

datadata DijkstraBbodySignal era

Constructors

forall h. DijkstraEraBlockHeader h era => DijkstraBbodySignal (Block h era)

typetype DijkstraCERT = CERT

Deprecated. In favor of CERT

classclass EraBlockHeader h era => DijkstraEraBlockHeader h era where

Methods

prevNonceBlockHeaderL :: Lens' (Block h era) Nonce

typetype DijkstraGOV = GOV

Deprecated. In favor of GOV

typetype DijkstraGOVCERT = GOVCERT

Deprecated. In favor of GOVCERT

typetype DijkstraLEDGER = LEDGER

Deprecated. In favor of LEDGER

typetype DijkstraMEMPOOL = MEMPOOL

Deprecated. In favor of MEMPOOL

typetype DijkstraSUBCERT = SUBCERT

Deprecated. In favor of SUBCERT

typetype DijkstraSUBCERTS = SUBCERTS

Deprecated. In favor of SUBCERTS

typetype DijkstraSUBDELEG = SUBDELEG

Deprecated. In favor of SUBDELEG

typetype DijkstraSUBGOV = SUBGOV

Deprecated. In favor of SUBGOV

typetype DijkstraSUBGOVCERT = SUBGOVCERT

Deprecated. In favor of SUBGOVCERT

typetype DijkstraSUBLEDGER = SUBLEDGER

Deprecated. In favor of SUBLEDGER

typetype DijkstraSUBLEDGERS = SUBLEDGERS

Deprecated. In favor of SUBLEDGERS

typetype DijkstraSUBPOOL = SUBPOOL

Deprecated. In favor of SUBPOOL

typetype DijkstraSUBUTXO = SUBUTXO

Deprecated. In favor of SUBUTXO

typetype DijkstraSUBUTXOW = SUBUTXOW

Deprecated. In favor of SUBUTXOW

typetype DijkstraUTXO = UTXO

Deprecated. In favor of UTXO

typetype DijkstraUTXOW = UTXOW

Deprecated. In favor of UTXOW

datadata ENTITIES era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, DijkstraEraTxBody era, ConwayEraPParams era, ConwayEraCertState era, Embed (EraRule "CERTS" era) (ENTITIES era), State (EraRule "CERTS" era) ~ CertState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Environment (EraRule "CERTS" era) ~ CertsEnv era, EraRule "ENTITIES" era ~ ENTITIES era, InjectRuleFailure "ENTITIES" EntitiesPredFailure era, InjectRuleFailure "ENTITIES" ShelleyUtxoPredFailure era, InjectRuleFailure "ENTITIES" ConwayLedgerPredFailure era) => STS (ENTITIES era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
(STS (CERTS era), PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era) => Embed (CERTS era) (ENTITIES era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
(STS (ENTITIES era), PredicateFailure (EraRule "ENTITIES" era) ~ EntitiesPredFailure era, Event (EraRule "ENTITIES" era) ~ EntitiesEvent era) => Embed (ENTITIES era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type BaseM (ENTITIES era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type Environment (ENTITIES era) = EntitiesEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type Event (ENTITIES era) = EntitiesEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type PredicateFailure (ENTITIES era) = EntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type Signal (ENTITIES era) = Seq (TxCert era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type State (ENTITIES era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan

datadata GOV era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era, EraCertState era, ConwayEraCertState era) => STS (GOV era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
(STS (GOV era), PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era) => Embed (GOV era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type BaseM (GOV era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type Environment (GOV era) = GovEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type Event (GOV era) = ConwayGovEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type PredicateFailure (GOV era) = DijkstraGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type Signal (GOV era) = GovSignal eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type State (GOV era) = Proposals eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan

datadata GOVCERT era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraPParams era, ConwayEraCertState era, State (EraRule "GOVCERT" era) ~ CertState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era, EraRule "GOVCERT" era ~ GOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) => STS (GOVCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
(STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) => Embed (GOVCERT era) (CERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type BaseM (GOVCERT era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type Environment (GOVCERT era) = ConwayGovCertEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type Event (GOVCERT era) = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type Signal (GOVCERT era) = ConwayGovCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type State (GOVCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan

datadata LEDGER era

Instances13STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, DijkstraEraTxBody era, DijkstraEraUTxO era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "ENTITIES" era) (LEDGER era), Embed (EraRule "SUBLEDGERS" era) (LEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "ENTITIES" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ DijkstraUtxoEnv era, Environment (EraRule "ENTITIES" era) ~ EntitiesEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Signal (EraRule "ENTITIES" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "SUBLEDGERS" era) ~ [StAnnTx SubTx era], ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era) => STS (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ DijkstraUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
(STS (ENTITIES era), PredicateFailure (EraRule "ENTITIES" era) ~ EntitiesPredFailure era, Event (EraRule "ENTITIES" era) ~ EntitiesEvent era) => Embed (ENTITIES era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
(STS (GOV era), PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era) => Embed (GOV era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) => Embed (LEDGER era) (LEDGERS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) => Embed (LEDGER era) (MEMPOOL era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
(STS (SUBLEDGERS era), PredicateFailure (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersEvent era) => Embed (SUBLEDGERS era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type BaseM (LEDGER era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type Environment (LEDGER era) = LedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type Event (LEDGER era) = DijkstraLedgerEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type Signal (LEDGER era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan

datadata MEMPOOL era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRule "LEDGER" era) (MEMPOOL era), State (EraRule "LEDGER" era) ~ LedgerState era, Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "SUBLEDGERS" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "SUBLEDGERS" era)), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Signal (EraRule "LEDGER" era) ~ StAnnTx TopTx era, EraRuleFailure "SUBLEDGERS" era ~ DijkstraSubLedgersPredFailure era) => STS (MEMPOOL era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) => Embed (LEDGER era) (MEMPOOL era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type BaseM (MEMPOOL era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type Environment (MEMPOOL era) = LedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type Event (MEMPOOL era) = DijkstraMempoolEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type Signal (MEMPOOL era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type State (MEMPOOL era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan

datadata SUBCERT era

Instances11STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ SUBCERT era, EraRule "SUBDELEG" era ~ SUBDELEG era, EraRule "SUBPOOL" era ~ SUBPOOL era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, Embed (EraRule "SUBDELEG" era) (SUBCERT era), Embed (EraRule "SUBPOOL" era) (SUBCERT era), Embed (EraRule "SUBGOVCERT" era) (SUBCERT era), TxCert era ~ DijkstraTxCert era) => STS (SUBCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRule "SUBGOVCERT" era) ~ DijkstraSubGovCertPredFailure era) => Embed (SUBGOVCERT era) (SUBCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
(STS (SUBCERT era), PredicateFailure (EraRule "SUBCERT" era) ~ DijkstraSubCertPredFailure era, Event (EraRule "SUBCERT" era) ~ DijkstraSubCertEvent era) => Embed (SUBCERT era) (SUBCERTS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
(STS (SUBDELEG era), PredicateFailure (EraRule "SUBDELEG" era) ~ DijkstraSubDelegPredFailure era) => Embed (SUBDELEG era) (SUBCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
(STS (SUBPOOL era), PredicateFailure (EraRule "SUBPOOL" era) ~ DijkstraSubPoolPredFailure era, Event (EraRule "SUBPOOL" era) ~ DijkstraSubPoolEvent era) => Embed (SUBPOOL era) (SUBCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type BaseM (SUBCERT era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type Environment (SUBCERT era) = CertEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type Event (SUBCERT era) = DijkstraSubCertEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type Signal (SUBCERT era) = TxCert eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type State (SUBCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan

datadata SUBCERTS era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ SUBCERTS era, EraRule "SUBCERT" era ~ SUBCERT era, Embed (EraRule "SUBCERT" era) (SUBCERTS era)) => STS (SUBCERTS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
(STS (SUBCERT era), PredicateFailure (EraRule "SUBCERT" era) ~ DijkstraSubCertPredFailure era, Event (EraRule "SUBCERT" era) ~ DijkstraSubCertEvent era) => Embed (SUBCERT era) (SUBCERTS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
(STS (SUBCERTS era), PredicateFailure (EraRule "SUBCERTS" era) ~ DijkstraSubCertsPredFailure era, Event (EraRule "SUBCERTS" era) ~ DijkstraSubCertsEvent era) => Embed (SUBCERTS era) (SUBENTITIES era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type BaseM (SUBCERTS era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type Environment (SUBCERTS era) = SubCertsEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type Event (SUBCERTS era) = DijkstraSubCertsEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type Signal (SUBCERTS era) = Seq (TxCert era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type State (SUBCERTS era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan

datadata SUBDELEG era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraGov era, ConwayEraCertState era, EraRule "SUBDELEG" era ~ SUBDELEG era, InjectRuleFailure "SUBDELEG" ConwayDelegPredFailure era) => STS (SUBDELEG era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
(STS (SUBDELEG era), PredicateFailure (EraRule "SUBDELEG" era) ~ DijkstraSubDelegPredFailure era) => Embed (SUBDELEG era) (SUBCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type BaseM (SUBDELEG era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type Environment (SUBDELEG era) = ConwayDelegEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type Event (SUBDELEG era) = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type Signal (SUBDELEG era) = ConwayDelegCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type State (SUBDELEG era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan

datadata SUBENTITIES era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, DijkstraEraTxBody era, ConwayEraCertState era, Embed (EraRule "SUBCERTS" era) (SUBENTITIES era), State (EraRule "SUBCERTS" era) ~ CertState era, Signal (EraRule "SUBCERTS" era) ~ Seq (TxCert era), Environment (EraRule "SUBCERTS" era) ~ SubCertsEnv era, EraRule "SUBENTITIES" era ~ SUBENTITIES era, InjectRuleFailure "SUBENTITIES" SubEntitiesPredFailure era, InjectRuleFailure "SUBENTITIES" EntitiesPredFailure era, InjectRuleFailure "SUBENTITIES" ShelleyUtxoPredFailure era, InjectRuleFailure "SUBENTITIES" ConwayLedgerPredFailure era) => STS (SUBENTITIES era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
(STS (SUBCERTS era), PredicateFailure (EraRule "SUBCERTS" era) ~ DijkstraSubCertsPredFailure era, Event (EraRule "SUBCERTS" era) ~ DijkstraSubCertsEvent era) => Embed (SUBCERTS era) (SUBENTITIES era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
(STS (SUBENTITIES era), PredicateFailure (EraRule "SUBENTITIES" era) ~ SubEntitiesPredFailure era, Event (EraRule "SUBENTITIES" era) ~ SubEntitiesEvent era) => Embed (SUBENTITIES era) (SUBLEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type BaseM (SUBENTITIES era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type Environment (SUBENTITIES era) = SubCertsEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type Event (SUBENTITIES era) = SubEntitiesEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type PredicateFailure (SUBENTITIES era) = SubEntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type Signal (SUBENTITIES era) = Seq (TxCert era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type State (SUBENTITIES era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan

datadata SUBGOV era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "SUBGOV" era ~ SUBGOV era, InjectRuleEvent "SUBGOV" DijkstraSubGovEvent era, InjectRuleEvent "SUBGOV" ConwayGovEvent era, InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure era, InjectRuleFailure "SUBGOV" ConwayGovPredFailure era) => STS (SUBGOV era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
(STS (SUBGOV era), PredicateFailure (EraRule "SUBGOV" era) ~ DijkstraSubGovPredFailure era, Event (EraRule "SUBGOV" era) ~ DijkstraSubGovEvent era) => Embed (SUBGOV era) (SUBLEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type BaseM (SUBGOV era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type Environment (SUBGOV era) = GovEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type Event (SUBGOV era) = DijkstraSubGovEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type Signal (SUBGOV era) = GovSignal eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type State (SUBGOV era) = Proposals eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan

datadata SUBGOVCERT era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraGov era, ConwayEraPParams era, ConwayEraCertState era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, InjectRuleFailure "SUBGOVCERT" ConwayGovCertPredFailure era, InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure era) => STS (SUBGOVCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRule "SUBGOVCERT" era) ~ DijkstraSubGovCertPredFailure era) => Embed (SUBGOVCERT era) (SUBCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type BaseM (SUBGOVCERT era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type Environment (SUBGOVCERT era) = ConwayGovCertEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type Event (SUBGOVCERT era) = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type Signal (SUBGOVCERT era) = ConwayGovCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type State (SUBGOVCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan

datadata SUBLEDGER era

Instances11STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ SUBLEDGER era, EraRule "SUBGOV" era ~ SUBGOV era, EraRule "SUBUTXO" era ~ SUBUTXO era, EraRule "SUBUTXOW" era ~ SUBUTXOW era, EraRule "SUBENTITIES" era ~ SUBENTITIES era, EraRule "SUBCERTS" era ~ SUBCERTS era, EraRule "SUBCERT" era ~ SUBCERT era, EraRule "SUBDELEG" era ~ SUBDELEG era, EraRule "SUBPOOL" era ~ SUBPOOL era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, Embed (EraRule "SUBGOV" era) (SUBLEDGER era), Embed (EraRule "SUBUTXOW" era) (SUBLEDGER era), Embed (EraRule "SUBENTITIES" era) (SUBLEDGER era), InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era, InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure era, InjectRuleFailure "SUBGOVCERT" ConwayGovCertPredFailure era, InjectRuleFailure "SUBDELEG" ConwayDelegPredFailure era, InjectRuleFailure "SUBDELEG" DijkstraSubDelegPredFailure era, InjectRuleFailure "SUBLEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "SUBUTXOW" AlonzoUtxowPredFailure era, TxCert era ~ DijkstraTxCert era) => STS (SUBLEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
(STS (SUBENTITIES era), PredicateFailure (EraRule "SUBENTITIES" era) ~ SubEntitiesPredFailure era, Event (EraRule "SUBENTITIES" era) ~ SubEntitiesEvent era) => Embed (SUBENTITIES era) (SUBLEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
(STS (SUBGOV era), PredicateFailure (EraRule "SUBGOV" era) ~ DijkstraSubGovPredFailure era, Event (EraRule "SUBGOV" era) ~ DijkstraSubGovEvent era) => Embed (SUBGOV era) (SUBLEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
(STS (SUBLEDGER era), PredicateFailure (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerEvent era) => Embed (SUBLEDGER era) (SUBLEDGERS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
(STS (SUBUTXOW era), PredicateFailure (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowEvent era) => Embed (SUBUTXOW era) (SUBLEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type BaseM (SUBLEDGER era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type Environment (SUBLEDGER era) = SubLedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type Event (SUBLEDGER era) = DijkstraSubLedgerEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type Signal (SUBLEDGER era) = StAnnTx SubTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type State (SUBLEDGER era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan

datadata SUBLEDGERS era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(ConwayEraGov era, ConwayEraCertState era, EraPlutusContext era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era, EraRule "SUBLEDGER" era ~ SUBLEDGER era, Embed (EraRule "SUBLEDGER" era) (SUBLEDGERS era), InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era) => STS (SUBLEDGERS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
(STS (SUBLEDGER era), PredicateFailure (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerEvent era) => Embed (SUBLEDGER era) (SUBLEDGERS era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
(STS (SUBLEDGERS era), PredicateFailure (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersEvent era) => Embed (SUBLEDGERS era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type BaseM (SUBLEDGERS era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type Environment (SUBLEDGERS era) = SubLedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type Event (SUBLEDGERS era) = DijkstraSubLedgersEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type Signal (SUBLEDGERS era) = [StAnnTx SubTx era]Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type State (SUBLEDGERS era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan

datadata SUBPOOL era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraGov era, EraRule "SUBPOOL" era ~ SUBPOOL era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era) => STS (SUBPOOL era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
(STS (SUBPOOL era), PredicateFailure (EraRule "SUBPOOL" era) ~ DijkstraSubPoolPredFailure era, Event (EraRule "SUBPOOL" era) ~ DijkstraSubPoolEvent era) => Embed (SUBPOOL era) (SUBCERT era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type BaseM (SUBPOOL era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type Environment (SUBPOOL era) = PoolEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type Event (SUBPOOL era) = DijkstraSubPoolEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type Signal (SUBPOOL era) = PoolCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type State (SUBPOOL era) = PState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan

datadata SUBUTXO era

Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, EraStake era, EraCertState era, DijkstraEraTxBody era, AlonzoEraTxWits era, ConwayEraGov era, EraRule "SUBUTXO" era ~ SUBUTXO era, InjectRuleFailure "SUBUTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AllegraUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "SUBUTXO" BabbageUtxoPredFailure era) => STS (SUBUTXO era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
(STS (SUBUTXO era), PredicateFailure (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoEvent era) => Embed (SUBUTXO era) (SUBUTXOW era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type BaseM (SUBUTXO era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type Environment (SUBUTXO era) = SubUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type Event (SUBUTXO era) = DijkstraSubUtxoEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type Signal (SUBUTXO era) = StAnnTx SubTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type State (SUBUTXO era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan

datadata SUBUTXOW era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(AlonzoEraTx era, AlonzoEraUTxO era, BabbageEraTxOut era, ConwayEraGov era, ConwayEraTxBody era, DijkstraEraTxBody era, EraPlutusContext era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), EraRule "SUBUTXO" era ~ SUBUTXO era, EraRule "SUBUTXOW" era ~ SUBUTXOW era, Embed (EraRule "SUBUTXO" era) (SUBUTXOW era), InjectRuleFailure "SUBUTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" DijkstraUtxowPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era) => STS (SUBUTXOW era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
(STS (SUBUTXO era), PredicateFailure (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoEvent era) => Embed (SUBUTXO era) (SUBUTXOW era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
(STS (SUBUTXOW era), PredicateFailure (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowEvent era) => Embed (SUBUTXOW era) (SUBLEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type BaseM (SUBUTXOW era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type Environment (SUBUTXOW era) = SubUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type Event (SUBUTXOW era) = DijkstraSubUtxowEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type Signal (SUBUTXOW era) = StAnnTx SubTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type State (SUBUTXOW era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan

datadata UTXO era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, EraUTxO era, EraStake era, DijkstraEraTxBody era, AlonzoEraTx era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, InjectRuleFailure "UTXO" DijkstraUtxoPredFailure era, Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ (), State (EraRule "UTXOS" era) ~ (), Signal (EraRule "UTXOS" era) ~ StAnnTx TopTx era, EraCertState era, EraRule "UTXO" era ~ UTXO era, SafeToHash (TxWits era)) => STS (UTXO era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
(STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) => Embed (UTXOS era) (UTXO era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
(STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type BaseM (UTXO era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type Environment (UTXO era) = DijkstraUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type Event (UTXO era) = AlonzoUtxoEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type Signal (UTXO era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type State (UTXO era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan

datadata UTXOW era

Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(AlonzoEraTx era, DijkstraEraUTxO era, DijkstraEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "UTXOW" ConwayUtxowPredFailure era, InjectRuleFailure "UTXOW" DijkstraUtxowPredFailure era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) => STS (UTXOW era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ DijkstraUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), Event (UTXOW era) ~ AlonzoUtxowEvent era) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
(STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type BaseM (UTXOW era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type Environment (UTXOW era) = DijkstraUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type Event (UTXOW era) = AlonzoUtxowEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type Signal (UTXOW era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan

Orphan instances

1 instance

EraTxLevel DijkstraEra