Modulecardano-ledger-dijkstra-0.3.0.0
Cardano.Ledger.Dijkstra.Rules
- 53 types
- 1 class
- 9 values
- Packagecardano-ledger-dijkstra-0.3.0.0
- Exports65
- LicenceApache-2.0
pattern
pattern InvalidPolicyHash :: StrictMaybe ScriptHash -> StrictMaybe ScriptHash -> DijkstraGovPredFailure eraDeprecated. In favor of InvalidGuardrailsScriptHash
Instances8Embed, STS, BaseM, Environment, Event, PredicateFailure, …
(BaseM ledgers ~ ShelleyBase, ledgers ~ EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"LEDGERS"
era, STS ledgers) => Embed ledgers (BBODY era)(Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"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)type BaseM (BBODY era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphantype Environment (BBODY era) = BbodyEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphantype Event (BBODY era) = AlonzoBbodyEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphantype PredicateFailure (BBODY era) = DijkstraBbodyPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphantype Signal (BBODY era) = DijkstraBbodySignal eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphantype State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan"GOV"
era ~ GOV era, InjectRuleFailure"GOV"
ConwayGovPredFailure era, InjectRuleEvent"GOV"
ConwayGovEvent era, EraCertState era, ConwayEraCertState era) => STS (GOV era)(STS (GOV era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"GOV"
era) ~ DijkstraGovPredFailure era, Event (EraRule"GOV"
era) ~ ConwayGovEvent era) => Embed (GOV era) (LEDGER era)type BaseM (GOV era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphantype Environment (GOV era) = GovEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphantype Event (GOV era) = ConwayGovEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphantype PredicateFailure (GOV era) = DijkstraGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphantype Signal (GOV era) = GovSignal eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphantype State (GOV era) = Proposals eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(ConwayEraPParams era, ConwayEraCertState era, State (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan"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)(STS (GOVCERT era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan"GOVCERT"
era) ~ DijkstraGovCertPredFailure era) => Embed (GOVCERT era) (CERT era)type BaseM (GOVCERT era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphantype Environment (GOVCERT era) = ConwayGovCertEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphantype Event (GOVCERT era) = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphantype PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphantype Signal (GOVCERT era) = ConwayGovCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphantype State (GOVCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
Instances13STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, DijkstraEraTxBody era, DijkstraEraUTxO era, GovState era ~ ConwayGovState era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"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)(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"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)(STS (ENTITIES era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"ENTITIES"
era) ~ EntitiesPredFailure era, Event (EraRule"ENTITIES"
era) ~ EntitiesEvent era) => Embed (ENTITIES era) (LEDGER era)(STS (GOV era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"GOV"
era) ~ DijkstraGovPredFailure era, Event (EraRule"GOV"
era) ~ ConwayGovEvent era) => Embed (GOV era) (LEDGER era)(STS (LEDGER era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
era) ~ DijkstraLedgerPredFailure era, Event (EraRule"LEDGER"
era) ~ DijkstraLedgerEvent era) => Embed (LEDGER era) (LEDGERS era)(STS (LEDGER era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan"LEDGER"
era) ~ DijkstraLedgerPredFailure era, Event (EraRule"LEDGER"
era) ~ DijkstraLedgerEvent era) => Embed (LEDGER era) (MEMPOOL era)(STS (SUBLEDGERS era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"SUBLEDGERS"
era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule"SUBLEDGERS"
era) ~ DijkstraSubLedgersEvent era) => Embed (SUBLEDGERS era) (LEDGER era)type BaseM (LEDGER era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphantype Environment (LEDGER era) = LedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphantype Event (LEDGER era) = DijkstraLedgerEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphantype PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphantype Signal (LEDGER era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphantype State (LEDGER era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan"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)(STS (LEDGER era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan"LEDGER"
era) ~ DijkstraLedgerPredFailure era, Event (EraRule"LEDGER"
era) ~ DijkstraLedgerEvent era) => Embed (LEDGER era) (MEMPOOL era)type BaseM (MEMPOOL era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphantype Environment (MEMPOOL era) = LedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphantype Event (MEMPOOL era) = DijkstraMempoolEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphantype PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphantype Signal (MEMPOOL era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphantype State (MEMPOOL era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
Instances11STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(ConwayEraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"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)(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBGOVCERT"
era) ~ DijkstraSubGovCertPredFailure era) => Embed (SUBGOVCERT era) (SUBCERT era)(STS (SUBCERT era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan"SUBCERT"
era) ~ DijkstraSubCertPredFailure era, Event (EraRule"SUBCERT"
era) ~ DijkstraSubCertEvent era) => Embed (SUBCERT era) (SUBCERTS era)(STS (SUBDELEG era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBDELEG"
era) ~ DijkstraSubDelegPredFailure era) => Embed (SUBDELEG era) (SUBCERT era)(STS (SUBPOOL era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBPOOL"
era) ~ DijkstraSubPoolPredFailure era, Event (EraRule"SUBPOOL"
era) ~ DijkstraSubPoolEvent era) => Embed (SUBPOOL era) (SUBCERT era)type BaseM (SUBCERT era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphantype Environment (SUBCERT era) = CertEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphantype Event (SUBCERT era) = DijkstraSubCertEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphantype PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphantype Signal (SUBCERT era) = TxCert eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphantype State (SUBCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(ConwayEraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan"SUBCERTS"
era ~ SUBCERTS era, EraRule"SUBCERT"
era ~ SUBCERT era, Embed (EraRule"SUBCERT"
era) (SUBCERTS era)) => STS (SUBCERTS era)(STS (SUBCERT era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan"SUBCERT"
era) ~ DijkstraSubCertPredFailure era, Event (EraRule"SUBCERT"
era) ~ DijkstraSubCertEvent era) => Embed (SUBCERT era) (SUBCERTS era)(STS (SUBCERTS era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan"SUBCERTS"
era) ~ DijkstraSubCertsPredFailure era, Event (EraRule"SUBCERTS"
era) ~ DijkstraSubCertsEvent era) => Embed (SUBCERTS era) (SUBENTITIES era)type BaseM (SUBCERTS era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphantype Environment (SUBCERTS era) = SubCertsEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphantype Event (SUBCERTS era) = DijkstraSubCertsEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphantype PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphantype Signal (SUBCERTS era) = Seq (TxCert era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphantype State (SUBCERTS era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan"SUBDELEG"
era ~ SUBDELEG era, InjectRuleFailure"SUBDELEG"
ConwayDelegPredFailure era) => STS (SUBDELEG era)(STS (SUBDELEG era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBDELEG"
era) ~ DijkstraSubDelegPredFailure era) => Embed (SUBDELEG era) (SUBCERT era)type BaseM (SUBDELEG era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphantype Environment (SUBDELEG era) = ConwayDelegEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphantype Event (SUBDELEG era) = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphantype PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphantype Signal (SUBDELEG era) = ConwayDelegCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphantype State (SUBDELEG era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan"SUBGOV"
era ~ SUBGOV era, InjectRuleEvent"SUBGOV"
DijkstraSubGovEvent era, InjectRuleEvent"SUBGOV"
ConwayGovEvent era, InjectRuleFailure"SUBGOV"
DijkstraSubGovPredFailure era, InjectRuleFailure"SUBGOV"
ConwayGovPredFailure era) => STS (SUBGOV era)(STS (SUBGOV era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBGOV"
era) ~ DijkstraSubGovPredFailure era, Event (EraRule"SUBGOV"
era) ~ DijkstraSubGovEvent era) => Embed (SUBGOV era) (SUBLEDGER era)type BaseM (SUBGOV era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphantype Environment (SUBGOV era) = GovEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphantype Event (SUBGOV era) = DijkstraSubGovEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphantype PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphantype Signal (SUBGOV era) = GovSignal eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphantype State (SUBGOV era) = Proposals eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraGov era, ConwayEraPParams era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan"SUBGOVCERT"
era ~ SUBGOVCERT era, InjectRuleFailure"SUBGOVCERT"
ConwayGovCertPredFailure era, InjectRuleFailure"SUBGOVCERT"
DijkstraSubGovCertPredFailure era) => STS (SUBGOVCERT era)(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBGOVCERT"
era) ~ DijkstraSubGovCertPredFailure era) => Embed (SUBGOVCERT era) (SUBCERT era)type BaseM (SUBGOVCERT era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphantype Environment (SUBGOVCERT era) = ConwayGovCertEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphantype Event (SUBGOVCERT era) = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphantype PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphantype Signal (SUBGOVCERT era) = ConwayGovCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphantype State (SUBGOVCERT era) = CertState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
Instances11STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"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)(STS (SUBENTITIES era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBENTITIES"
era) ~ SubEntitiesPredFailure era, Event (EraRule"SUBENTITIES"
era) ~ SubEntitiesEvent era) => Embed (SUBENTITIES era) (SUBLEDGER era)(STS (SUBGOV era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBGOV"
era) ~ DijkstraSubGovPredFailure era, Event (EraRule"SUBGOV"
era) ~ DijkstraSubGovEvent era) => Embed (SUBGOV era) (SUBLEDGER era)(STS (SUBLEDGER era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan"SUBLEDGER"
era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule"SUBLEDGER"
era) ~ DijkstraSubLedgerEvent era) => Embed (SUBLEDGER era) (SUBLEDGERS era)(STS (SUBUTXOW era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBUTXOW"
era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule"SUBUTXOW"
era) ~ DijkstraSubUtxowEvent era) => Embed (SUBUTXOW era) (SUBLEDGER era)type BaseM (SUBLEDGER era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphantype Environment (SUBLEDGER era) = SubLedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphantype Event (SUBLEDGER era) = DijkstraSubLedgerEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphantype PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphantype Signal (SUBLEDGER era) = StAnnTx SubTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphantype State (SUBLEDGER era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(ConwayEraGov era, ConwayEraCertState era, EraPlutusContext era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan"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)(STS (SUBLEDGER era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan"SUBLEDGER"
era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule"SUBLEDGER"
era) ~ DijkstraSubLedgerEvent era) => Embed (SUBLEDGER era) (SUBLEDGERS era)(STS (SUBLEDGERS era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"SUBLEDGERS"
era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule"SUBLEDGERS"
era) ~ DijkstraSubLedgersEvent era) => Embed (SUBLEDGERS era) (LEDGER era)type BaseM (SUBLEDGERS era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphantype Environment (SUBLEDGERS era) = SubLedgerEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphantype Event (SUBLEDGERS era) = DijkstraSubLedgersEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphantype PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphantype Signal (SUBLEDGERS era) = [StAnnTx SubTx era]Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphantype State (SUBLEDGERS era) = LedgerState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan"SUBPOOL"
era ~ SUBPOOL era, InjectRuleEvent"SUBPOOL"
DijkstraSubPoolEvent era, InjectRuleEvent"SUBPOOL"
PoolEvent era, InjectRuleFailure"SUBPOOL"
DijkstraSubPoolPredFailure era, InjectRuleFailure"SUBPOOL"
ShelleyPoolPredFailure era) => STS (SUBPOOL era)(STS (SUBPOOL era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBPOOL"
era) ~ DijkstraSubPoolPredFailure era, Event (EraRule"SUBPOOL"
era) ~ DijkstraSubPoolEvent era) => Embed (SUBPOOL era) (SUBCERT era)type BaseM (SUBPOOL era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphantype Environment (SUBPOOL era) = PoolEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphantype Event (SUBPOOL era) = DijkstraSubPoolEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphantype PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphantype Signal (SUBPOOL era) = PoolCertDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphantype State (SUBPOOL era) = PState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
Instances8STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraTx era, EraStake era, EraCertState era, DijkstraEraTxBody era, AlonzoEraTxWits era, ConwayEraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan"SUBUTXO"
era ~ SUBUTXO era, InjectRuleFailure"SUBUTXO"
ShelleyUtxoPredFailure era, InjectRuleFailure"SUBUTXO"
AllegraUtxoPredFailure era, InjectRuleFailure"SUBUTXO"
AlonzoUtxoPredFailure era, InjectRuleFailure"SUBUTXO"
BabbageUtxoPredFailure era) => STS (SUBUTXO era)(STS (SUBUTXO era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan"SUBUTXO"
era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule"SUBUTXO"
era) ~ DijkstraSubUtxoEvent era) => Embed (SUBUTXO era) (SUBUTXOW era)type BaseM (SUBUTXO era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphantype Environment (SUBUTXO era) = SubUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphantype Event (SUBUTXO era) = DijkstraSubUtxoEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphantype PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphantype Signal (SUBUTXO era) = StAnnTx SubTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphantype State (SUBUTXO era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
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), EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan"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)(STS (SUBUTXO era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan"SUBUTXO"
era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule"SUBUTXO"
era) ~ DijkstraSubUtxoEvent era) => Embed (SUBUTXO era) (SUBUTXOW era)(STS (SUBUTXOW era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBUTXOW"
era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule"SUBUTXOW"
era) ~ DijkstraSubUtxowEvent era) => Embed (SUBUTXOW era) (SUBLEDGER era)type BaseM (SUBUTXOW era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphantype Environment (SUBUTXOW era) = SubUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphantype Event (SUBUTXOW era) = DijkstraSubUtxowEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphantype PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphantype Signal (SUBUTXOW era) = StAnnTx SubTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphantype State (SUBUTXOW era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraTx era, EraUTxO era, EraStake era, DijkstraEraTxBody era, AlonzoEraTx era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan"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)(STS (UTXOS era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan"UTXOS"
era) ~ ConwayUtxosPredFailure era, Event (EraRule"UTXOS"
era) ~ Event (UTXOS era)) => Embed (UTXOS era) (UTXO era)(STS (UTXO era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan"UTXO"
era) ~ DijkstraUtxoPredFailure era, Event (EraRule"UTXO"
era) ~ AlonzoUtxoEvent era) => Embed (UTXO era) (UTXOW era)type BaseM (UTXO era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphantype Environment (UTXO era) = DijkstraUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphantype Event (UTXO era) = AlonzoUtxoEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphantype PredicateFailure (UTXO era) = DijkstraUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphantype Signal (UTXO era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphantype State (UTXO era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(AlonzoEraTx era, DijkstraEraUTxO era, DijkstraEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan"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)(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"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)(STS (UTXO era), PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan"UTXO"
era) ~ DijkstraUtxoPredFailure era, Event (EraRule"UTXO"
era) ~ AlonzoUtxoEvent era) => Embed (UTXO era) (UTXOW era)type BaseM (UTXOW era) = ShelleyBaseDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphantype Environment (UTXOW era) = DijkstraUtxoEnv eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphantype Event (UTXOW era) = AlonzoUtxowEvent eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphantype PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphantype Signal (UTXOW era) = StAnnTx TopTx eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphantype State (UTXOW era) = UTxOState eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
Constructors
WrongBlockBodySizeBBODY (Mismatch RelEQ Int)InvalidBodyHashBBODY (Mismatch RelEQ (Hash HASH EraIndependentBlockBody))LedgersFailure (PredicateFailure (EraRule"LEDGERS"
era))TooManyExUnits (Mismatch RelLTEQ ExUnits)BodyRefScriptsSizeTooBig (Mismatch RelLTEQ Int)PerasCertValidationFailed PerasCert Nonce
Instances8InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody"BBODY"
DijkstraBbodyPredFailure DijkstraEra(Era era, Eq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody"LEDGERS"
era))) => Eq (DijkstraBbodyPredFailure era)(Era era, Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody"LEDGERS"
era))) => Show (DijkstraBbodyPredFailure era)Generic (DijkstraBbodyPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.BbodyNFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody"LEDGERS"
era)) => NFData (DijkstraBbodyPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody"LEDGERS"
era))) => DecCBOR (DijkstraBbodyPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody"LEDGERS"
era))) => EncCBOR (DijkstraBbodyPredFailure era)type Rep (DijkstraBbodyPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody"DijkstraBbodyPredFailure"
"Cardano.Ledger.Dijkstra.Rules.Bbody"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((C1 ('MetaCons"WrongBlockBodySizeBBODY"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Int))) :+: (C1 ('MetaCons"InvalidBodyHashBBODY"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (Hash HASH EraIndependentBlockBody)))) :+: C1 ('MetaCons"LedgersFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"LEDGERS"
era)))))) :+: (C1 ('MetaCons"TooManyExUnits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ ExUnits))) :+: (C1 ('MetaCons"BodyRefScriptsSizeTooBig"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Int))) :+: C1 ('MetaCons"PerasCertValidationFailed"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCert) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce)))))
Constructors
Instances6Eq, Show, Generic, NFData, EncCBOR, Rep
(EraPParams era, Eq (Tx TopTx era)) => Eq (EntitiesEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities(EraPParams era, Show (Tx TopTx era)) => Show (EntitiesEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.EntitiesGeneric (EntitiesEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities(EraPParams era, NFData (Tx TopTx era)) => NFData (EntitiesEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.EntitiesEraTx era => EncCBOR (EntitiesEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entitiestype Rep (EntitiesEnv era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"EntitiesEnv"
"Cardano.Ledger.Dijkstra.Rules.Entities"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"EntitiesEnv"
'PrefixI 'True) (S1 ('MetaSel ('Just"eePlutusLegacyMode"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just"eeCertsEnv"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertsEnv era))))
Constructors
CertsEvent (Event (EraRule"CERTS"
era))
Instances4Eq, Generic, NFData, Rep
Eq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"CERTS"
era)) => Eq (EntitiesEvent era)Generic (EntitiesEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.EntitiesNFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"CERTS"
era)) => NFData (EntitiesEvent era)type Rep (EntitiesEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"EntitiesEvent"
"Cardano.Ledger.Dijkstra.Rules.Entities"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"CertsEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"CERTS"
era)))))
Constructors
CertsFailure (PredicateFailure (EraRule"CERTS"
era))MissingAccountsInWithdrawals WithdrawalsIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch RelEQ Coin))ExceededBalancesInWithdrawals (NonEmptyMap AccountAddress (Mismatch RelLTEQ Coin))MissingAccountsInDirectDeposits DirectDepositsWrongNetworkInWithdrawals Network (NonEmptySet AccountAddress)WrongNetworkInDirectDeposits Network (NonEmptySet AccountAddress)
Instances10InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"ENTITIES"
EntitiesPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
EntitiesPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan"SUBENTITIES"
EntitiesPredFailure DijkstraEraEq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"CERTS"
era)) => Eq (EntitiesPredFailure era)Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"CERTS"
era)) => Show (EntitiesPredFailure era)Generic (EntitiesPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.EntitiesNFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"CERTS"
era)) => NFData (EntitiesPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"CERTS"
era))) => DecCBOR (EntitiesPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"CERTS"
era))) => EncCBOR (EntitiesPredFailure era)type Rep (EntitiesPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities"EntitiesPredFailure"
"Cardano.Ledger.Dijkstra.Rules.Entities"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((C1 ('MetaCons"CertsFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"CERTS"
era)))) :+: (C1 ('MetaCons"MissingAccountsInWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons"IncompleteWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch RelEQ Coin)))))) :+: ((C1 ('MetaCons"ExceededBalancesInWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch RelLTEQ Coin)))) :+: C1 ('MetaCons"MissingAccountsInDirectDeposits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DirectDeposits))) :+: (C1 ('MetaCons"WrongNetworkInWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))) :+: C1 ('MetaCons"WrongNetworkInDirectDeposits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))))))
Constructors
GovActionsDoNotExist (NonEmpty GovActionId)MalformedProposal (GovAction era)ProposalProcedureNetworkIdMismatch AccountAddress NetworkTreasuryWithdrawalsNetworkIdMismatch (NonEmptySet AccountAddress) NetworkProposalDepositIncorrect (Mismatch RelEQ Coin)DisallowedVoters (NonEmpty (Voter, GovActionId))ConflictingCommitteeUpdate (NonEmptySet (Credential ColdCommitteeRole))ExpirationEpochTooSmall (NonEmptyMap (Credential ColdCommitteeRole) EpochNo)InvalidPrevGovActionId (ProposalProcedure era)VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId))ProposalCantFollow (StrictMaybe (GovPurposeId 'HardForkPurpose)) (Mismatch RelGT ProtVer)InvalidGuardrailsScriptHash (StrictMaybe ScriptHash) (StrictMaybe ScriptHash)DisallowedProposalDuringBootstrap (ProposalProcedure era)DisallowedVotesDuringBootstrap (NonEmpty (Voter, GovActionId))VotersDoNotExist (NonEmpty Voter)ZeroTreasuryWithdrawals (GovAction era)ProposalReturnAccountDoesNotExist AccountAddressTreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty AccountAddress)UnelectedCommitteeVoters (NonEmpty (Credential HotCommitteeRole))
Instances12InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"BBODY"
DijkstraGovPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov"GOV"
DijkstraGovPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan"LEDGERS"
DijkstraGovPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
DijkstraGovPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan"SUBGOV"
DijkstraGovPredFailure DijkstraEraEraPParams era => Eq (DijkstraGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovEraPParams era => Show (DijkstraGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovGeneric (DijkstraGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovEraPParams era => NFData (DijkstraGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovEraPParams era => DecCBOR (DijkstraGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovEraPParams era => EncCBOR (DijkstraGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Govtype Rep (DijkstraGovPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov"DijkstraGovPredFailure"
"Cardano.Ledger.Dijkstra.Rules.Gov"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((((C1 ('MetaCons"GovActionsDoNotExist"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty GovActionId))) :+: C1 ('MetaCons"MalformedProposal"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era)))) :+: (C1 ('MetaCons"ProposalProcedureNetworkIdMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountAddress) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)) :+: C1 ('MetaCons"TreasuryWithdrawalsNetworkIdMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network)))) :+: ((C1 ('MetaCons"ProposalDepositIncorrect"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))) :+: C1 ('MetaCons"DisallowedVoters"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId))))) :+: (C1 ('MetaCons"ConflictingCommitteeUpdate"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (Credential ColdCommitteeRole)))) :+: (C1 ('MetaCons"ExpirationEpochTooSmall"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap (Credential ColdCommitteeRole) EpochNo))) :+: C1 ('MetaCons"InvalidPrevGovActionId"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))))))) :+: (((C1 ('MetaCons"VotingOnExpiredGovAction"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId)))) :+: C1 ('MetaCons"ProposalCantFollow"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGT ProtVer)))) :+: (C1 ('MetaCons"InvalidGuardrailsScriptHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash))) :+: (C1 ('MetaCons"DisallowedProposalDuringBootstrap"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProposalProcedure era))) :+: C1 ('MetaCons"DisallowedVotesDuringBootstrap"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Voter, GovActionId))))))) :+: ((C1 ('MetaCons"VotersDoNotExist"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Voter))) :+: C1 ('MetaCons"ZeroTreasuryWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovAction era)))) :+: (C1 ('MetaCons"ProposalReturnAccountDoesNotExist"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountAddress)) :+: (C1 ('MetaCons"TreasuryWithdrawalReturnAccountsDoNotExist"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty AccountAddress))) :+: C1 ('MetaCons"UnelectedCommitteeVoters"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Credential HotCommitteeRole)))))))))
Constructors
DijkstraDRepAlreadyRegistered (Credential DRepRole)DijkstraDRepNotRegistered (Credential DRepRole)DijkstraDRepIncorrectDeposit (Mismatch RelEQ Coin)DijkstraCommitteeHasPreviouslyResigned (Credential ColdCommitteeRole)DijkstraDRepIncorrectRefund (Mismatch RelEQ Coin)DijkstraCommitteeIsUnknown (Credential ColdCommitteeRole)
Instances15InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"BBODY"
DijkstraGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Certs · orphan"CERTS"
DijkstraGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan"CERT"
DijkstraGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan"ENTITIES"
DijkstraGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert"GOVCERT"
DijkstraGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan"LEDGERS"
DijkstraGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
DijkstraGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan"SUBGOVCERT"
DijkstraGovCertPredFailure DijkstraEraEq (DijkstraGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCertShow (DijkstraGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCertGeneric (DijkstraGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCertNFData (DijkstraGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCertTypeable era => DecCBOR (DijkstraGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCertEra era => EncCBOR (DijkstraGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCerttype Rep (DijkstraGovCertPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert"DijkstraGovCertPredFailure"
"Cardano.Ledger.Dijkstra.Rules.GovCert"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((C1 ('MetaCons"DijkstraDRepAlreadyRegistered"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential DRepRole))) :+: (C1 ('MetaCons"DijkstraDRepNotRegistered"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential DRepRole))) :+: C1 ('MetaCons"DijkstraDRepIncorrectDeposit"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))))) :+: (C1 ('MetaCons"DijkstraCommitteeHasPreviouslyResigned"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential ColdCommitteeRole))) :+: (C1 ('MetaCons"DijkstraDRepIncorrectRefund"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))) :+: C1 ('MetaCons"DijkstraCommitteeIsUnknown"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential ColdCommitteeRole))))))
Constructors
UtxowEvent (Event (EraRule"UTXOW"
era))EntitiesEvent (Event (EraRule"ENTITIES"
era))GovEvent (Event (EraRule"GOV"
era))SubLedgersEvent (Event (EraRule"SUBLEDGERS"
era))
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"LEDGER"
DijkstraLedgerEvent DijkstraEra(Eq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"ENTITIES"
era)), Eq (Event (EraRule"UTXOW"
era)), Eq (Event (EraRule"GOV"
era)), Eq (Event (EraRule"SUBLEDGERS"
era))) => Eq (DijkstraLedgerEvent era)Generic (DijkstraLedgerEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger(NFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"ENTITIES"
era)), NFData (Event (EraRule"UTXOW"
era)), NFData (Event (EraRule"GOV"
era)), NFData (Event (EraRule"SUBLEDGERS"
era))) => NFData (DijkstraLedgerEvent era)type Rep (DijkstraLedgerEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"DijkstraLedgerEvent"
"Cardano.Ledger.Dijkstra.Rules.Ledger"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((C1 ('MetaCons"UtxowEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"UTXOW"
era)))) :+: C1 ('MetaCons"EntitiesEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"ENTITIES"
era))))) :+: (C1 ('MetaCons"GovEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"GOV"
era)))) :+: C1 ('MetaCons"SubLedgersEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBLEDGERS"
era))))))
Constructors
DijkstraUtxowFailure (PredicateFailure (EraRule"UTXOW"
era))DijkstraEntitiesFailure (PredicateFailure (EraRule"ENTITIES"
era))DijkstraGovFailure (PredicateFailure (EraRule"GOV"
era))DijkstraTreasuryValueMismatch (Mismatch RelEQ Coin)DijkstraTxRefScriptsSizeTooBig (Mismatch RelLTEQ Int)DijkstraSubLedgersFailure (PredicateFailure (EraRule"SUBLEDGERS"
era))
Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"BBODY"
DijkstraLedgerPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan"LEDGERS"
DijkstraLedgerPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"LEDGER"
DijkstraLedgerPredFailure DijkstraEra(Era era, Eq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"UTXOW"
era)), Eq (PredicateFailure (EraRule"ENTITIES"
era)), Eq (PredicateFailure (EraRule"GOV"
era)), Eq (PredicateFailure (EraRule"SUBLEDGERS"
era))) => Eq (DijkstraLedgerPredFailure era)(Era era, Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"UTXOW"
era)), Show (PredicateFailure (EraRule"ENTITIES"
era)), Show (PredicateFailure (EraRule"GOV"
era)), Show (PredicateFailure (EraRule"SUBLEDGERS"
era))) => Show (DijkstraLedgerPredFailure era)Generic (DijkstraLedgerPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger(Era era, NFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"UTXOW"
era)), NFData (PredicateFailure (EraRule"ENTITIES"
era)), NFData (PredicateFailure (EraRule"GOV"
era)), NFData (PredicateFailure (EraRule"SUBLEDGERS"
era))) => NFData (DijkstraLedgerPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"UTXOW"
era)), DecCBOR (PredicateFailure (EraRule"ENTITIES"
era)), DecCBOR (PredicateFailure (EraRule"GOV"
era)), DecCBOR (PredicateFailure (EraRule"SUBLEDGERS"
era))) => DecCBOR (DijkstraLedgerPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"UTXOW"
era)), EncCBOR (PredicateFailure (EraRule"ENTITIES"
era)), EncCBOR (PredicateFailure (EraRule"GOV"
era)), EncCBOR (PredicateFailure (EraRule"SUBLEDGERS"
era))) => EncCBOR (DijkstraLedgerPredFailure era)Inject (NonEmpty (DijkstraLedgerPredFailure DijkstraEra)) (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphantype Rep (DijkstraLedgerPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger"DijkstraLedgerPredFailure"
"Cardano.Ledger.Dijkstra.Rules.Ledger"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((C1 ('MetaCons"DijkstraUtxowFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"UTXOW"
era)))) :+: (C1 ('MetaCons"DijkstraEntitiesFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"ENTITIES"
era)))) :+: C1 ('MetaCons"DijkstraGovFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"GOV"
era)))))) :+: (C1 ('MetaCons"DijkstraTreasuryValueMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin))) :+: (C1 ('MetaCons"DijkstraTxRefScriptsSizeTooBig"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Int))) :+: C1 ('MetaCons"DijkstraSubLedgersFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBLEDGERS"
era)))))))
Constructors
LedgerEvent (Event (EraRule"LEDGER"
era))
Instances4Eq, Generic, NFData, Rep
Eq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"LEDGER"
era)) => Eq (DijkstraMempoolEvent era)Generic (DijkstraMempoolEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.MempoolNFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"LEDGER"
era)) => NFData (DijkstraMempoolEvent era)type Rep (DijkstraMempoolEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"DijkstraMempoolEvent"
"Cardano.Ledger.Dijkstra.Rules.Mempool"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"LedgerEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"LEDGER"
era)))))
Constructors
LedgerFailure (PredicateFailure (EraRule"LEDGER"
era))MempoolFailure TextAllInputsAreSpent
Instances8InjectRuleFailure, Eq, Show, Generic, DecCBOR, EncCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"MEMPOOL"
DijkstraMempoolPredFailure DijkstraEraEq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"LEDGER"
era)) => Eq (DijkstraMempoolPredFailure era)Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"LEDGER"
era)) => Show (DijkstraMempoolPredFailure era)Generic (DijkstraMempoolPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"LEDGER"
era))) => DecCBOR (DijkstraMempoolPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"LEDGER"
era))) => EncCBOR (DijkstraMempoolPredFailure era)Inject (NonEmpty (DijkstraMempoolPredFailure DijkstraEra)) (ApplyTxError DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra · orphantype Rep (DijkstraMempoolPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool"DijkstraMempoolPredFailure"
"Cardano.Ledger.Dijkstra.Rules.Mempool"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"LedgerFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"LEDGER"
era)))) :+: (C1 ('MetaCons"MempoolFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons"AllInputsAreSpent"
'PrefixI 'False) U1))
Constructors
SubPoolEvent (Event (EraRule"SUBPOOL"
era))
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBCERT"
DijkstraSubCertEvent DijkstraEraEq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBPOOL"
era)) => Eq (DijkstraSubCertEvent era)Generic (DijkstraSubCertEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCertNFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBPOOL"
era)) => NFData (DijkstraSubCertEvent era)type Rep (DijkstraSubCertEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"DijkstraSubCertEvent"
"Cardano.Ledger.Dijkstra.Rules.SubCert"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"SubPoolEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBPOOL"
era)))))
Constructors
SubDelegFailure (PredicateFailure (EraRule"SUBDELEG"
era))SubPoolFailure (PredicateFailure (EraRule"SUBPOOL"
era))SubGovCertFailure (PredicateFailure (EraRule"SUBGOVCERT"
era))
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan"SUBCERTS"
DijkstraSubCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBCERT"
DijkstraSubCertPredFailure DijkstraEra(Eq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBDELEG"
era)), Eq (PredicateFailure (EraRule"SUBPOOL"
era)), Eq (PredicateFailure (EraRule"SUBGOVCERT"
era))) => Eq (DijkstraSubCertPredFailure era)(Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBDELEG"
era)), Show (PredicateFailure (EraRule"SUBPOOL"
era)), Show (PredicateFailure (EraRule"SUBGOVCERT"
era))) => Show (DijkstraSubCertPredFailure era)Generic (DijkstraSubCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert(NFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBDELEG"
era)), NFData (PredicateFailure (EraRule"SUBPOOL"
era)), NFData (PredicateFailure (EraRule"SUBGOVCERT"
era))) => NFData (DijkstraSubCertPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBDELEG"
era)), DecCBOR (PredicateFailure (EraRule"SUBPOOL"
era)), DecCBOR (PredicateFailure (EraRule"SUBGOVCERT"
era))) => DecCBOR (DijkstraSubCertPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"SUBDELEG"
era)), EncCBOR (PredicateFailure (EraRule"SUBPOOL"
era)), EncCBOR (PredicateFailure (EraRule"SUBGOVCERT"
era))) => EncCBOR (DijkstraSubCertPredFailure era)type Rep (DijkstraSubCertPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert"DijkstraSubCertPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubCert"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"SubDelegFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBDELEG"
era)))) :+: (C1 ('MetaCons"SubPoolFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBPOOL"
era)))) :+: C1 ('MetaCons"SubGovCertFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBGOVCERT"
era))))))
Constructors
SubCertEvent (Event (EraRule"SUBCERT"
era))
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERTS"
DijkstraSubCertsEvent DijkstraEraEq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERT"
era)) => Eq (DijkstraSubCertsEvent era)Generic (DijkstraSubCertsEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCertsNFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERT"
era)) => NFData (DijkstraSubCertsEvent era)type Rep (DijkstraSubCertsEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"DijkstraSubCertsEvent"
"Cardano.Ledger.Dijkstra.Rules.SubCerts"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"SubCertEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBCERT"
era)))))
Constructors
SubCertFailure (PredicateFailure (EraRule"SUBCERT"
era))
Instances10InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERTS"
DijkstraSubCertsPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan"SUBENTITIES"
DijkstraSubCertsPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBLEDGER"
DijkstraSubCertsPredFailure DijkstraEraEq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERT"
era)) => Eq (DijkstraSubCertsPredFailure era)Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERT"
era)) => Show (DijkstraSubCertsPredFailure era)Generic (DijkstraSubCertsPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCertsNFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERT"
era)) => NFData (DijkstraSubCertsPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERT"
era))) => DecCBOR (DijkstraSubCertsPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SUBCERT"
era))) => EncCBOR (DijkstraSubCertsPredFailure era)type Rep (DijkstraSubCertsPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"DijkstraSubCertsPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubCerts"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"SubCertFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBCERT"
era)))))
Constructors
SubCertsEnvcertsTx :: Tx SubTx eracertsPParams :: PParams eracertsCurrentEpoch :: EpochNocertsCurrentCommittee :: StrictMaybe (Committee era)certsCommitteeProposals :: Map (GovPurposeId 'CommitteePurpose) (GovActionState era)
Instances6Eq, Show, Generic, NFData, EncCBOR, Rep
(EraPParams era, Eq (Tx SubTx era)) => Eq (SubCertsEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts(EraPParams era, Show (Tx SubTx era)) => Show (SubCertsEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCertsGeneric (SubCertsEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts(EraPParams era, NFData (Tx SubTx era)) => NFData (SubCertsEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCertsEraTx era => EncCBOR (SubCertsEnv era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCertstype Rep (SubCertsEnv era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts"SubCertsEnv"
"Cardano.Ledger.Dijkstra.Rules.SubCerts"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"SubCertsEnv"
'PrefixI 'True) ((S1 ('MetaSel ('Just"certsTx"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx SubTx era)) :*: S1 ('MetaSel ('Just"certsPParams"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just"certsCurrentEpoch"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just"certsCurrentCommittee"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just"certsCommitteeProposals"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose) (GovActionState era)))))))
Constructors
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBCERT"
DijkstraSubDelegPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg"SUBDELEG"
DijkstraSubDelegPredFailure DijkstraEraEq (DijkstraSubDelegPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDelegShow (DijkstraSubDelegPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDelegGeneric (DijkstraSubDelegPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDelegNFData (DijkstraSubDelegPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDelegEra era => DecCBOR (DijkstraSubDelegPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDelegEra era => EncCBOR (DijkstraSubDelegPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDelegtype Rep (DijkstraSubDelegPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg"DijkstraSubDelegPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubDeleg"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"DijkstraSubDelegPredFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayDelegPredFailure era))))
Constructors
SubCertsEvent (Event (EraRule"SUBCERTS"
era))
Instances4Eq, Generic, NFData, Rep
Eq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBCERTS"
era)) => Eq (SubEntitiesEvent era)Generic (SubEntitiesEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntitiesNFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBCERTS"
era)) => NFData (SubEntitiesEvent era)type Rep (SubEntitiesEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SubEntitiesEvent"
"Cardano.Ledger.Dijkstra.Rules.SubEntities"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"SubCertsEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBCERTS"
era)))))
Constructors
SubCertsFailure (PredicateFailure (EraRule"SUBCERTS"
era))SubMissingAccountsInWithdrawals WithdrawalsSubExceededBalancesInWithdrawals (NonEmptyMap AccountAddress (Mismatch RelLTEQ Coin))SubMissingAccountsInDirectDeposits DirectDepositsSubWrongNetworkInWithdrawals Network (NonEmptySet AccountAddress)SubWrongNetworkInDirectDeposits Network (NonEmptySet AccountAddress)
Instances10InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
SubEntitiesPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBENTITIES"
SubEntitiesPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBLEDGER"
SubEntitiesPredFailure DijkstraEraEq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBCERTS"
era)) => Eq (SubEntitiesPredFailure era)Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBCERTS"
era)) => Show (SubEntitiesPredFailure era)Generic (SubEntitiesPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntitiesNFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBCERTS"
era)) => NFData (SubEntitiesPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBCERTS"
era))) => DecCBOR (SubEntitiesPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SUBCERTS"
era))) => EncCBOR (SubEntitiesPredFailure era)type Rep (SubEntitiesPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities"SubEntitiesPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubEntities"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((C1 ('MetaCons"SubCertsFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBCERTS"
era)))) :+: (C1 ('MetaCons"SubMissingAccountsInWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons"SubExceededBalancesInWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch RelLTEQ Coin)))))) :+: (C1 ('MetaCons"SubMissingAccountsInDirectDeposits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DirectDeposits)) :+: (C1 ('MetaCons"SubWrongNetworkInWithdrawals"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))) :+: C1 ('MetaCons"SubWrongNetworkInDirectDeposits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))))))
Constructors
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov"SUBGOV"
DijkstraSubGovEvent DijkstraEraEraPParams era => Eq (DijkstraSubGovEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovGeneric (DijkstraSubGovEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovEraPParams era => NFData (DijkstraSubGovEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovtype Rep (DijkstraSubGovEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov"DijkstraSubGovEvent"
"Cardano.Ledger.Dijkstra.Rules.SubGov"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"DijkstraSubGovEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayGovEvent era))))
Constructors
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov"SUBGOV"
DijkstraSubGovPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBLEDGER"
DijkstraSubGovPredFailure DijkstraEraEraPParams era => Eq (DijkstraSubGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovEraPParams era => Show (DijkstraSubGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovGeneric (DijkstraSubGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovEraPParams era => NFData (DijkstraSubGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovEraPParams era => DecCBOR (DijkstraSubGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovEraPParams era => EncCBOR (DijkstraSubGovPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovtype Rep (DijkstraSubGovPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov"DijkstraSubGovPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubGov"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"DijkstraSubGovPredFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraGovPredFailure era))))
Constructors
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBCERT"
DijkstraSubGovCertPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert"SUBGOVCERT"
DijkstraSubGovCertPredFailure DijkstraEraEq (DijkstraSubGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCertShow (DijkstraSubGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCertGeneric (DijkstraSubGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCertNFData (DijkstraSubGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCertTypeable era => DecCBOR (DijkstraSubGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCertEra era => EncCBOR (DijkstraSubGovCertPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCerttype Rep (DijkstraSubGovCertPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert"DijkstraSubGovCertPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubGovCert"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"DijkstraSubGovCertPredFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraGovCertPredFailure era))))
Constructors
SubEntitiesEvent (Event (EraRule"SUBENTITIES"
era))SubGovEvent (Event (EraRule"SUBGOV"
era))SubUtxowEvent (Event (EraRule"SUBUTXOW"
era))
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBLEDGER"
DijkstraSubLedgerEvent DijkstraEra(Eq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBENTITIES"
era)), Eq (Event (EraRule"SUBGOV"
era)), Eq (Event (EraRule"SUBUTXOW"
era))) => Eq (DijkstraSubLedgerEvent era)Generic (DijkstraSubLedgerEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger(NFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBENTITIES"
era)), NFData (Event (EraRule"SUBGOV"
era)), NFData (Event (EraRule"SUBUTXOW"
era))) => NFData (DijkstraSubLedgerEvent era)type Rep (DijkstraSubLedgerEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"DijkstraSubLedgerEvent"
"Cardano.Ledger.Dijkstra.Rules.SubLedger"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"SubEntitiesEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBENTITIES"
era)))) :+: (C1 ('MetaCons"SubGovEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBGOV"
era)))) :+: C1 ('MetaCons"SubUtxowEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBUTXOW"
era))))))
Constructors
SubUtxowFailure (PredicateFailure (EraRule"SUBUTXOW"
era))SubEntitiesFailure (PredicateFailure (EraRule"SUBENTITIES"
era))SubGovFailure (PredicateFailure (EraRule"SUBGOV"
era))SubTreasuryValueMismatch (Mismatch RelEQ Coin)
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan"SUBLEDGERS"
DijkstraSubLedgerPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBLEDGER"
DijkstraSubLedgerPredFailure DijkstraEra(Eq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBGOV"
era)), Eq (PredicateFailure (EraRule"SUBENTITIES"
era)), Eq (PredicateFailure (EraRule"SUBUTXOW"
era))) => Eq (DijkstraSubLedgerPredFailure era)(Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBGOV"
era)), Show (PredicateFailure (EraRule"SUBENTITIES"
era)), Show (PredicateFailure (EraRule"SUBUTXOW"
era))) => Show (DijkstraSubLedgerPredFailure era)Generic (DijkstraSubLedgerPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger(NFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBGOV"
era)), NFData (PredicateFailure (EraRule"SUBENTITIES"
era)), NFData (PredicateFailure (EraRule"SUBUTXOW"
era))) => NFData (DijkstraSubLedgerPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBUTXOW"
era)), DecCBOR (PredicateFailure (EraRule"SUBENTITIES"
era)), DecCBOR (PredicateFailure (EraRule"SUBGOV"
era))) => DecCBOR (DijkstraSubLedgerPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"SUBUTXOW"
era)), EncCBOR (PredicateFailure (EraRule"SUBENTITIES"
era)), EncCBOR (PredicateFailure (EraRule"SUBGOV"
era))) => EncCBOR (DijkstraSubLedgerPredFailure era)type Rep (DijkstraSubLedgerPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger"DijkstraSubLedgerPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubLedger"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((C1 ('MetaCons"SubUtxowFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBUTXOW"
era)))) :+: C1 ('MetaCons"SubEntitiesFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBENTITIES"
era))))) :+: (C1 ('MetaCons"SubGovFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBGOV"
era)))) :+: C1 ('MetaCons"SubTreasuryValueMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Coin)))))
Constructors
Constructors
SubLedgerEvent (Event (EraRule"SUBLEDGER"
era))
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGERS"
DijkstraSubLedgersEvent DijkstraEraEq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGER"
era)) => Eq (DijkstraSubLedgersEvent era)Generic (DijkstraSubLedgersEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgersNFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGER"
era)) => NFData (DijkstraSubLedgersEvent era)type Rep (DijkstraSubLedgersEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"DijkstraSubLedgersEvent"
"Cardano.Ledger.Dijkstra.Rules.SubLedgers"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"SubLedgerEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBLEDGER"
era)))))
Constructors
SubLedgerFailure (PredicateFailure (EraRule"SUBLEDGER"
era))
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
DijkstraSubLedgersPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGERS"
DijkstraSubLedgersPredFailure DijkstraEraEq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGER"
era)) => Eq (DijkstraSubLedgersPredFailure era)Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGER"
era)) => Show (DijkstraSubLedgersPredFailure era)Generic (DijkstraSubLedgersPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgersNFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGER"
era)) => NFData (DijkstraSubLedgersPredFailure era)(Era era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGER"
era))) => DecCBOR (DijkstraSubLedgersPredFailure era)(Era era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"SUBLEDGER"
era))) => EncCBOR (DijkstraSubLedgersPredFailure era)type Rep (DijkstraSubLedgersPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers"DijkstraSubLedgersPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubLedgers"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"SubLedgerFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBLEDGER"
era)))))
Constructors
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool"SUBPOOL"
DijkstraSubPoolEvent DijkstraEraEq (DijkstraSubPoolEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPoolGeneric (DijkstraSubPoolEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPoolNFData (DijkstraSubPoolEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPooltype Rep (DijkstraSubPoolEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool"DijkstraSubPoolEvent"
"Cardano.Ledger.Dijkstra.Rules.SubPool"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"DijkstraSubPoolEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PoolEvent era))))
Constructors
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"SUBCERT"
DijkstraSubPoolPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool"SUBPOOL"
DijkstraSubPoolPredFailure DijkstraEraEq (DijkstraSubPoolPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPoolShow (DijkstraSubPoolPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPoolGeneric (DijkstraSubPoolPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPoolNFData (DijkstraSubPoolPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPoolEra era => DecCBOR (DijkstraSubPoolPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPoolEra era => EncCBOR (DijkstraSubPoolPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPooltype Rep (DijkstraSubPoolPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool"DijkstraSubPoolPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubPool"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"DijkstraSubPoolPredFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyPoolPredFailure era))))
Constructors
TotalDeposits (SafeHash EraIndependentTxBody) CoinTxUTxODiff (UTxO era) (UTxO era)
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo"SUBUTXO"
DijkstraSubUtxoEvent DijkstraEra(Era era, Eq (TxOut era)) => Eq (DijkstraSubUtxoEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxoGeneric (DijkstraSubUtxoEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo(Era era, NFData (TxOut era)) => NFData (DijkstraSubUtxoEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxotype Rep (DijkstraSubUtxoEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo"DijkstraSubUtxoEvent"
"Cardano.Ledger.Dijkstra.Rules.SubUtxo"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (C1 ('MetaCons"TotalDeposits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons"TxUTxODiff"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era))))
Constructors
SubBadInputsUTxO (NonEmptySet TxIn)SubOutsideValidityIntervalUTxO ValidityInterval SlotNoSubMaxTxSizeUTxO (Mismatch RelLTEQ Word32)SubInputSetEmptyUTxOSubWrongNetwork Network (NonEmptySet Addr)SubOutputBootAddrAttrsTooBig (NonEmpty (TxOut era))SubOutputTooBigUTxO (NonEmpty (Int, Int, TxOut era))SubWrongNetworkInTxBody (Mismatch RelEQ Network)SubOutsideForecast SlotNoSubBabbageOutputTooSmallUTxO (NonEmpty (TxOut era, Coin))
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan"SUBUTXOW"
DijkstraSubUtxoPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo"SUBUTXO"
DijkstraSubUtxoPredFailure DijkstraEra(Era era, Eq (Value era), Eq (TxOut era), Eq (Script era), Eq TxIn) => Eq (DijkstraSubUtxoPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo(Era era, Show (Value era), Show (TxOut era), Show (Script era), Show TxIn) => Show (DijkstraSubUtxoPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxoGeneric (DijkstraSubUtxoPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo(Era era, NFData (Value era), NFData (TxOut era)) => NFData (DijkstraSubUtxoPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era)) => DecCBOR (DijkstraSubUtxoPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo(Era era, EncCBOR (TxOut era)) => EncCBOR (DijkstraSubUtxoPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxotype Rep (DijkstraSubUtxoPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo"DijkstraSubUtxoPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubUtxo"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) (((C1 ('MetaCons"SubBadInputsUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: C1 ('MetaCons"SubOutsideValidityIntervalUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo))) :+: (C1 ('MetaCons"SubMaxTxSizeUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word32))) :+: (C1 ('MetaCons"SubInputSetEmptyUTxO"
'PrefixI 'False) U1 :+: C1 ('MetaCons"SubWrongNetwork"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr)))))) :+: ((C1 ('MetaCons"SubOutputBootAddrAttrsTooBig"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons"SubOutputTooBigUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Int, Int, TxOut era))))) :+: (C1 ('MetaCons"SubWrongNetworkInTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Network))) :+: (C1 ('MetaCons"SubOutsideForecast"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons"SubBabbageOutputTooSmallUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era, Coin))))))))
Constructors
SubUtxoEnvsueSlot :: SlotNosuePParams :: PParams erasueCertState :: CertState erasueOriginalUtxo :: UTxO erasueTopTxIsPhase2Valid :: IsPhase2Valid
Instances5InjectRuleEvent, Eq, Generic, NFData, Rep
InjectRuleEventDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXOW"
DijkstraSubUtxowEvent DijkstraEraEq (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXO"
era)) => Eq (DijkstraSubUtxowEvent era)Generic (DijkstraSubUtxowEvent era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxowNFData (Event (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXO"
era)) => NFData (DijkstraSubUtxowEvent era)type Rep (DijkstraSubUtxowEvent era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"DijkstraSubUtxowEvent"
"Cardano.Ledger.Dijkstra.Rules.SubUtxow"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"SubUtxo"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"SUBUTXO"
era)))))
Constructors
SubUtxoFailure (PredicateFailure (EraRule"SUBUTXO"
era))SubInvalidWitnessesUTXOW (NonEmpty (VKey Witness))SubMissingVKeyWitnessesUTXOW (NonEmptySet (KeyHash Witness))SubScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash)SubMissingTxBodyMetadataHash TxAuxDataHashSubMissingTxMetadata TxAuxDataHashSubConflictingMetadataHash (Mismatch RelEQ TxAuxDataHash)SubInvalidMetadataSubMissingRedeemers (NonEmpty (PlutusPurpose AsItem era, ScriptHash))SubMissingRequiredDatums (NonEmptySet DataHash) (Set DataHash)SubNotAllowedSupplementalDatums (NonEmptySet DataHash) (Set DataHash)SubPPViewHashesDontMatch (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))SubUnspendableUTxONoDatumHash (NonEmptySet TxIn)SubExtraRedeemers (NonEmpty (PlutusPurpose AsIx era))SubMalformedScriptWitnesses (NonEmptySet ScriptHash)SubMalformedReferenceScripts (NonEmptySet ScriptHash)SubScriptIntegrityHashMismatch (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)SubMalformedGuardDatums (NonEmptySet (Credential Guard))
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"SUBLEDGER"
DijkstraSubUtxowPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXOW"
DijkstraSubUtxowPredFailure DijkstraEra(ConwayEraScript era, Eq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXO"
era))) => Eq (DijkstraSubUtxowPredFailure era)(ConwayEraScript era, Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXO"
era))) => Show (DijkstraSubUtxowPredFailure era)Generic (DijkstraSubUtxowPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXO"
era))) => NFData (DijkstraSubUtxowPredFailure era)(ConwayEraScript era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXO"
era))) => DecCBOR (DijkstraSubUtxowPredFailure era)(ConwayEraScript era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"SUBUTXO"
era))) => EncCBOR (DijkstraSubUtxowPredFailure era)type Rep (DijkstraSubUtxowPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow"DijkstraSubUtxowPredFailure"
"Cardano.Ledger.Dijkstra.Rules.SubUtxow"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((((C1 ('MetaCons"SubUtxoFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"SUBUTXO"
era)))) :+: C1 ('MetaCons"SubInvalidWitnessesUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (VKey Witness))))) :+: (C1 ('MetaCons"SubMissingVKeyWitnessesUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (KeyHash Witness)))) :+: C1 ('MetaCons"SubScriptWitnessNotValidatingUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))))) :+: ((C1 ('MetaCons"SubMissingTxBodyMetadataHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash)) :+: C1 ('MetaCons"SubMissingTxMetadata"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash))) :+: (C1 ('MetaCons"SubConflictingMetadataHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ TxAuxDataHash))) :+: (C1 ('MetaCons"SubInvalidMetadata"
'PrefixI 'False) U1 :+: C1 ('MetaCons"SubMissingRedeemers"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsItem era, ScriptHash)))))))) :+: (((C1 ('MetaCons"SubMissingRequiredDatums"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: C1 ('MetaCons"SubNotAllowedSupplementalDatums"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash)))) :+: (C1 ('MetaCons"SubPPViewHashesDontMatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash)))) :+: C1 ('MetaCons"SubUnspendableUTxONoDatumHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))))) :+: ((C1 ('MetaCons"SubExtraRedeemers"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsIx era)))) :+: C1 ('MetaCons"SubMalformedScriptWitnesses"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash)))) :+: (C1 ('MetaCons"SubMalformedReferenceScripts"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: (C1 ('MetaCons"SubScriptIntegrityHashMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ByteString))) :+: C1 ('MetaCons"SubMalformedGuardDatums"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (Credential Guard)))))))))
Constructors
DijkstraUtxoEnvdueSlot :: SlotNoduePParams :: PParams eradueCertState :: CertState eradueOriginalUtxo :: UTxO era
Constructors
UtxosFailure (PredicateFailure (EraRule"UTXOS"
era))BadInputsUTxO (NonEmptySet TxIn)OutsideValidityIntervalUTxO ValidityInterval SlotNoMaxTxSizeUTxO (Mismatch RelLTEQ Word32)InputSetEmptyUTxOFeeTooSmallUTxO (Mismatch RelGTEQ Coin)ValueNotConservedUTxO (Mismatch RelEQ (Value era))WrongNetwork Network (NonEmptySet Addr)OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))OutputTooBigUTxO (NonEmpty (Int, Int, TxOut era))InsufficientCollateral DeltaCoin CoinScriptsNotPaidUTxO (NonEmptyMap TxIn (TxOut era))ExUnitsTooBigUTxO (Mismatch RelLTEQ ExUnits)CollateralContainsNonADA (Value era)WrongNetworkInTxBody (Mismatch RelEQ Network)OutsideForecast SlotNoTooManyCollateralInputs (Mismatch RelLTEQ Word16)NoCollateralInputsIncorrectTotalCollateralField DeltaCoin CoinBabbageOutputTooSmallUTxO (NonEmpty (TxOut era, Coin))BabbageNonDisjointRefInputs (NonEmpty TxIn)PtrPresentInCollateralReturn (TxOut era)WithdrawalsExceedAccountBalance (NonEmptyMap AccountAddress (Mismatch RelLTEQ Coin))
Instances14InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"BBODY"
DijkstraUtxoPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan"LEDGERS"
DijkstraUtxoPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
DijkstraUtxoPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan"MEMPOOL"
DijkstraUtxoPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan"SUBUTXO"
DijkstraUtxoPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan"UTXOW"
DijkstraUtxoPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo"UTXO"
DijkstraUtxoPredFailure DijkstraEra(Era era, Eq (Value era), Eq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo"UTXOS"
era)), Eq (TxOut era), Eq (Script era), Eq TxIn) => Eq (DijkstraUtxoPredFailure era)(Era era, Show (Value era), Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo"UTXOS"
era)), Show (TxOut era), Show (Script era), Show TxIn) => Show (DijkstraUtxoPredFailure era)Generic (DijkstraUtxoPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo"UTXOS"
era))) => NFData (DijkstraUtxoPredFailure era)(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo"UTXOS"
era))) => DecCBOR (DijkstraUtxoPredFailure era)(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo"UTXOS"
era))) => EncCBOR (DijkstraUtxoPredFailure era)type Rep (DijkstraUtxoPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo"DijkstraUtxoPredFailure"
"Cardano.Ledger.Dijkstra.Rules.Utxo"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((((C1 ('MetaCons"UtxosFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"UTXOS"
era)))) :+: C1 ('MetaCons"BadInputsUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn)))) :+: (C1 ('MetaCons"OutsideValidityIntervalUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons"MaxTxSizeUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word32))) :+: C1 ('MetaCons"InputSetEmptyUTxO"
'PrefixI 'False) U1))) :+: ((C1 ('MetaCons"FeeTooSmallUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGTEQ Coin))) :+: (C1 ('MetaCons"ValueNotConservedUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (Value era)))) :+: C1 ('MetaCons"WrongNetwork"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr))))) :+: (C1 ('MetaCons"OutputBootAddrAttrsTooBig"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: (C1 ('MetaCons"OutputTooBigUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Int, Int, TxOut era)))) :+: C1 ('MetaCons"InsufficientCollateral"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))))) :+: (((C1 ('MetaCons"ScriptsNotPaidUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap TxIn (TxOut era)))) :+: (C1 ('MetaCons"ExUnitsTooBigUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ ExUnits))) :+: C1 ('MetaCons"CollateralContainsNonADA"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value era))))) :+: (C1 ('MetaCons"WrongNetworkInTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Network))) :+: (C1 ('MetaCons"OutsideForecast"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons"TooManyCollateralInputs"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word16)))))) :+: ((C1 ('MetaCons"NoCollateralInputs"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"IncorrectTotalCollateralField"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeltaCoin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons"BabbageOutputTooSmallUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era, Coin)))))) :+: (C1 ('MetaCons"BabbageNonDisjointRefInputs"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn))) :+: (C1 ('MetaCons"PtrPresentInCollateralReturn"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxOut era))) :+: C1 ('MetaCons"WithdrawalsExceedAccountBalance"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch RelLTEQ Coin)))))))))
Constructors
UtxoFailure (PredicateFailure (EraRule"UTXO"
era))InvalidWitnessesUTXOW (NonEmpty (VKey Witness))MissingVKeyWitnessesUTXOW (NonEmptySet (KeyHash Witness))MissingScriptWitnessesUTXOW (NonEmptySet ScriptHash)ScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash)MissingTxBodyMetadataHash TxAuxDataHashMissingTxMetadata TxAuxDataHashConflictingMetadataHash (Mismatch RelEQ TxAuxDataHash)InvalidMetadataExtraneousScriptWitnessesUTXOW (NonEmptySet ScriptHash)MissingRedeemers (NonEmpty (PlutusPurpose AsItem era, ScriptHash))MissingRequiredDatums (NonEmptySet DataHash) (Set DataHash)NotAllowedSupplementalDatums (NonEmptySet DataHash) (Set DataHash)PPViewHashesDontMatch (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))UnspendableUTxONoDatumHash (NonEmptySet TxIn)ExtraRedeemers (NonEmpty (PlutusPurpose AsIx era))MalformedScriptWitnesses (NonEmptySet ScriptHash)MalformedReferenceScripts (NonEmptySet ScriptHash)ScriptIntegrityHashMismatch (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)MissingRequiredGuards (NonEmptySet (Credential Guard))MalformedGuardDatums (NonEmptySet (Credential Guard))
Instances12InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"BBODY"
DijkstraUtxowPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledgers · orphan"LEDGERS"
DijkstraUtxowPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"LEDGER"
DijkstraUtxowPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan"SUBUTXOW"
DijkstraUtxowPredFailure DijkstraEraInjectRuleFailureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow"UTXOW"
DijkstraUtxowPredFailure DijkstraEra(ConwayEraScript era, Eq (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow"UTXO"
era))) => Eq (DijkstraUtxowPredFailure era)(ConwayEraScript era, Show (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow"UTXO"
era))) => Show (DijkstraUtxowPredFailure era)Generic (DijkstraUtxowPredFailure era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow"UTXO"
era))) => NFData (DijkstraUtxowPredFailure era)(ConwayEraScript era, DecCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow"UTXO"
era))) => DecCBOR (DijkstraUtxowPredFailure era)(ConwayEraScript era, EncCBOR (PredicateFailure (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow"UTXO"
era))) => EncCBOR (DijkstraUtxowPredFailure era)type Rep (DijkstraUtxowPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow"DijkstraUtxowPredFailure"
"Cardano.Ledger.Dijkstra.Rules.Utxow"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'False) ((((C1 ('MetaCons"UtxoFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule"UTXO"
era)))) :+: C1 ('MetaCons"InvalidWitnessesUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (VKey Witness))))) :+: (C1 ('MetaCons"MissingVKeyWitnessesUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (KeyHash Witness)))) :+: (C1 ('MetaCons"MissingScriptWitnessesUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons"ScriptWitnessNotValidatingUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash)))))) :+: ((C1 ('MetaCons"MissingTxBodyMetadataHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash)) :+: C1 ('MetaCons"MissingTxMetadata"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxAuxDataHash))) :+: (C1 ('MetaCons"ConflictingMetadataHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ TxAuxDataHash))) :+: (C1 ('MetaCons"InvalidMetadata"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ExtraneousScriptWitnessesUTXOW"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))))))) :+: (((C1 ('MetaCons"MissingRedeemers"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsItem era, ScriptHash)))) :+: C1 ('MetaCons"MissingRequiredDatums"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash)))) :+: (C1 ('MetaCons"NotAllowedSupplementalDatums"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet DataHash)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set DataHash))) :+: (C1 ('MetaCons"PPViewHashesDontMatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash)))) :+: C1 ('MetaCons"UnspendableUTxONoDatumHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn)))))) :+: ((C1 ('MetaCons"ExtraRedeemers"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusPurpose AsIx era)))) :+: (C1 ('MetaCons"MalformedScriptWitnesses"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))) :+: C1 ('MetaCons"MalformedReferenceScripts"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet ScriptHash))))) :+: (C1 ('MetaCons"ScriptIntegrityHashMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (StrictMaybe ScriptIntegrityHash))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ByteString))) :+: (C1 ('MetaCons"MissingRequiredGuards"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (Credential Guard)))) :+: C1 ('MetaCons"MalformedGuardDatums"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet (Credential Guard)))))))))
Instances71PredicateFailure, …
type PredicateFailure (UTXO era) = AllegraUtxoPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphantype PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphantype PredicateFailure (BBODY era) = AlonzoBbodyPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphantype PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphantype PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphantype PredicateFailure (UTXO era) = AlonzoUtxoPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphantype PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphantype PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphantype PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphantype PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphantype PredicateFailure (UTXO era) = BabbageUtxoPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphantype PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphantype PredicateFailure (UTXOW era) = BabbageUtxowPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphantype PredicateFailure (BBODY era) = ConwayBbodyPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphantype PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphantype PredicateFailure (CERTS era) = ConwayCertsPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphantype PredicateFailure (DELEG era) = ConwayDelegPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphantype PredicateFailure (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphantype PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphantype PredicateFailure (GOV era) = ConwayGovPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphantype PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphantype PredicateFailure (HARDFORK era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphantype PredicateFailure (LEDGER era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphantype PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphantype PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphantype PredicateFailure (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphantype PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphantype PredicateFailure (UTXO era) = ConwayUtxoPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphantype PredicateFailure (UTXOS era) = ConwayUtxosPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphantype PredicateFailure (UTXOW era) = ConwayUtxowPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphantype PredicateFailure (BBODY era) = DijkstraBbodyPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphantype PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphantype PredicateFailure (ENTITIES era) = EntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphantype PredicateFailure (GOV era) = DijkstraGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphantype PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphantype PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphantype PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphantype PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphantype PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphantype PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphantype PredicateFailure (SUBENTITIES era) = SubEntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphantype PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphantype PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphantype PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphantype PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphantype PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphantype PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphantype PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphantype PredicateFailure (UTXO era) = DijkstraUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphantype PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphantype PredicateFailure (BBODY era) = ShelleyBbodyPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphantype PredicateFailure (DELEG era) = ShelleyDelegPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphantype PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphantype PredicateFailure (DELPL era) = ShelleyDelplPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphantype PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphantype PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphantype PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphantype PredicateFailure (MIR era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphantype PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphantype PredicateFailure (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphantype PredicateFailure (POOL era) = ShelleyPoolPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphantype PredicateFailure (POOLREAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphantype PredicateFailure (PPUP era) = ShelleyPpupPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphantype PredicateFailure (RUPD era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphantype PredicateFailure (SNAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphantype PredicateFailure (TICK era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphantype PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphantype PredicateFailure (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphantype PredicateFailure (UTXO era) = ShelleyUtxoPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphantype PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphantype PredicateFailure (STUB e st si f m) = fDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended
class
class (Eq (PredicateFailure a), Show (PredicateFailure a), Monad (BaseM a), Typeable a) => STS a whereAssociated types
type family PredicateFailure a
Instances71STS, …
EraGov era => STS (ENACT era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphanEraGov era => STS (TICKF era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, AlonzoEraScript era, TxCert era ~ ShelleyTxCert era, EraGov era, State (EraRuleDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan"PPUP"
era) ~ ShelleyGovState era, Embed (EraRule"PPUP"
era) (UTXOS era), Environment (EraRule"PPUP"
era) ~ PpupEnv era, Signal (EraRule"PPUP"
era) ~ StrictMaybe (Update era), EncCBOR (PredicateFailure (EraRule"PPUP"
era)), Eq (EraRuleFailure"PPUP"
era), Show (EraRuleFailure"PPUP"
era), EraPlutusContext era, EraCertState era, EraStake era) => STS (UTXOS era)(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, EraPlutusContext era, EraStake era, EraCertState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRuleDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan"PPUP"
era) (UTXOS era), Environment (EraRule"PPUP"
era) ~ PpupEnv era, Signal (EraRule"PPUP"
era) ~ StrictMaybe (Update era), State (EraRule"PPUP"
era) ~ ShelleyGovState era, Signal (UTXOS era) ~ StAnnTx TopTx era, EncCBOR (EraRuleFailure"PPUP"
era), Eq (EraRuleFailure"PPUP"
era), Show (EraRuleFailure"PPUP"
era), InjectRuleFailure"UTXOS"
AlonzoUtxosPredFailure era, InjectRuleEvent"UTXOS"
AlonzoUtxosEvent era, EraRule"UTXOS"
era ~ UTXOS era) => STS (UTXOS era)(AlonzoEraTx era, AlonzoEraUTxO era, BabbageEraTxOut era, ConwayEraGov era, ConwayEraTxBody era, DijkstraEraTxBody era, EraPlutusContext era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan"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)(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraScript era, ConwayEraPParams era, EraGov era, EraStake era, EraCertState era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (UTXOS era) ~ StAnnTx TopTx era, EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan"UTXOS"
era ~ UTXOS era, InjectRuleFailure"UTXOS"
AlonzoUtxosPredFailure era, InjectRuleEvent"UTXOS"
AlonzoUtxosEvent era, InjectRuleEvent"UTXOS"
ConwayUtxosEvent era) => STS (UTXOS era)(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan"UTXOW"
era ~ UTXOW era, InjectRuleFailure"UTXOW"
ShelleyUtxowPredFailure era, InjectRuleFailure"UTXOW"
AlonzoUtxowPredFailure era, InjectRuleFailure"UTXOW"
BabbageUtxowPredFailure era, InjectRuleFailure"UTXOW"
ConwayUtxowPredFailure era, Embed (EraRule"UTXO"
era) (UTXOW era), Environment (EraRule"UTXO"
era) ~ UtxoEnv 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)(AlonzoEraTx era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), BabbageEraTxBody era, EraRuleDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan"UTXOW"
era ~ UTXOW era, InjectRuleFailure"UTXOW"
ShelleyUtxowPredFailure era, InjectRuleFailure"UTXOW"
AlonzoUtxowPredFailure era, InjectRuleFailure"UTXOW"
BabbageUtxowPredFailure era, Embed (EraRule"UTXO"
era) (UTXOW era), Environment (EraRule"UTXO"
era) ~ UtxoEnv era, State (EraRule"UTXO"
era) ~ UTxOState era, Signal (EraRule"UTXO"
era) ~ StAnnTx TopTx era, Eq (PredicateFailure (EraRule"UTXOS"
era)), Show (PredicateFailure (EraRule"UTXOS"
era)), EraCertState era) => STS (UTXOW era)(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan"UTXOW"
era) (LEDGER era), Embed (EraRule"GOV"
era) (LEDGER era), Embed (EraRule"CERTS"
era) (LEDGER era), State (EraRule"UTXOW"
era) ~ UTxOState era, State (EraRule"CERTS"
era) ~ CertState era, State (EraRule"GOV"
era) ~ Proposals era, Environment (EraRule"UTXOW"
era) ~ UtxoEnv era, Environment (EraRule"CERTS"
era) ~ CertsEnv era, Environment (EraRule"GOV"
era) ~ GovEnv era, Signal (EraRule"UTXOW"
era) ~ StAnnTx TopTx era, Signal (EraRule"CERTS"
era) ~ Seq (TxCert era), Signal (EraRule"GOV"
era) ~ GovSignal era, ConwayEraCertState era, EraRule"LEDGER"
era ~ LEDGER era, InjectRuleFailure"LEDGER"
ShelleyLedgerPredFailure era, InjectRuleFailure"LEDGER"
ConwayLedgerPredFailure era) => STS (LEDGER era)(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, DijkstraEraTxBody era, DijkstraEraUTxO era, GovState era ~ ConwayGovState era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan"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)(AlonzoEraTx era, EraTxAuxData era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraRuleDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan"UTXOW"
era ~ UTXOW era, InjectRuleFailure"UTXOW"
ShelleyUtxowPredFailure era, InjectRuleFailure"UTXOW"
AlonzoUtxowPredFailure era, Embed (EraRule"UTXO"
era) (UTXOW era), Environment (EraRule"UTXO"
era) ~ UtxoEnv era, State (EraRule"UTXO"
era) ~ UTxOState era, Signal (EraRule"UTXO"
era) ~ StAnnTx TopTx era, EraCertState era) => STS (UTXOW era)(AlonzoEraTx era, EraGov era, Embed (EraRuleDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan"DELEGS"
era) (LEDGER era), Embed (EraRule"UTXOW"
era) (LEDGER era), Environment (EraRule"UTXOW"
era) ~ UtxoEnv era, State (EraRule"UTXOW"
era) ~ UTxOState era, Signal (EraRule"UTXOW"
era) ~ StAnnTx TopTx era, Environment (EraRule"DELEGS"
era) ~ DelegsEnv era, State (EraRule"DELEGS"
era) ~ CertState era, Signal (EraRule"DELEGS"
era) ~ Seq (TxCert era), AtMostEra"Babbage"
era, EraRule"LEDGER"
era ~ LEDGER era, EraRuleFailure"LEDGER"
era ~ ShelleyLedgerPredFailure era, InjectRuleFailure"LEDGER"
ShelleyLedgerPredFailure era, EraCertState era) => STS (LEDGER era)(AlonzoEraTx era, EraGov era, Embed (EraRuleDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan"DELEGS"
era) (LEDGER era), Embed (EraRule"UTXOW"
era) (LEDGER era), Environment (EraRule"UTXOW"
era) ~ UtxoEnv era, State (EraRule"UTXOW"
era) ~ UTxOState era, Signal (EraRule"UTXOW"
era) ~ StAnnTx TopTx era, Environment (EraRule"DELEGS"
era) ~ DelegsEnv era, State (EraRule"DELEGS"
era) ~ CertState era, Signal (EraRule"DELEGS"
era) ~ Seq (TxCert era), AtMostEra"Babbage"
era, EraCertState era, EraRule"LEDGER"
era ~ LEDGER era, EraRuleFailure"LEDGER"
era ~ ShelleyLedgerPredFailure era, InjectRuleFailure"LEDGER"
ShelleyLedgerPredFailure era) => STS (LEDGER era)(AlonzoEraTx era, DijkstraEraUTxO era, DijkstraEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, StAnnTxCache era ~ Map ScriptHash (SupportedPlutusRunnable era), EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan"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)(ConwayEraGov era, ConwayEraCertState era, EraPlutusContext era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan"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)(ConwayEraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan"SUBCERTS"
era ~ SUBCERTS era, EraRule"SUBCERT"
era ~ SUBCERT era, Embed (EraRule"SUBCERT"
era) (SUBCERTS era)) => STS (SUBCERTS era)(ConwayEraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan"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)(ConwayEraPParams era, ConwayEraAccounts era, Embed (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan"ENACT"
era) (RATIFY era), State (EraRule"ENACT"
era) ~ EnactState era, Environment (EraRule"ENACT"
era) ~ (), Signal (EraRule"ENACT"
era) ~ EnactSignal era) => STS (RATIFY era)(ConwayEraPParams era, ConwayEraCertState era, State (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan"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)(ConwayEraPParams era, State (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan"GOVCERT"
era) ~ CertState era, Signal (EraRule"GOVCERT"
era) ~ ConwayGovCert, Environment (EraRule"GOVCERT"
era) ~ ConwayGovCertEnv era, EraRule"GOVCERT"
era ~ GOVCERT era, InjectRuleFailure"GOVCERT"
ConwayGovCertPredFailure era, Eq (PredicateFailure (EraRule"GOVCERT"
era)), Show (PredicateFailure (EraRule"GOVCERT"
era)), ConwayEraCertState era) => STS (GOVCERT era)(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan"GOV"
era ~ GOV era, InjectRuleFailure"GOV"
ConwayGovPredFailure era, InjectRuleEvent"GOV"
ConwayGovEvent era) => STS (GOV era)(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan"SUBGOV"
era ~ SUBGOV era, InjectRuleEvent"SUBGOV"
DijkstraSubGovEvent era, InjectRuleEvent"SUBGOV"
ConwayGovEvent era, InjectRuleFailure"SUBGOV"
DijkstraSubGovPredFailure era, InjectRuleFailure"SUBGOV"
ConwayGovPredFailure era) => STS (SUBGOV era)(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan"GOV"
era ~ GOV era, InjectRuleFailure"GOV"
ConwayGovPredFailure era, InjectRuleEvent"GOV"
ConwayGovEvent era, EraCertState era, ConwayEraCertState era) => STS (GOV era)(EraBlockBody era, EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan"BBODY"
era ~ BBODY era, InjectRuleFailure"BBODY"
ShelleyBbodyPredFailure era, Embed (EraRule"LEDGERS"
era) (BBODY era), Environment (EraRule"LEDGERS"
era) ~ ShelleyLedgersEnv era, Signal (EraRule"LEDGERS"
era) ~ Seq (Tx TopTx era)) => STS (BBODY era)(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan"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)(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan"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)), Show (PredicateFailure (EraRule"CERTS"
era)), Show (PredicateFailure (EraRule"GOV"
era)), Show (PredicateFailure (EraRule"UTXOW"
era)), Environment (EraRule"LEDGER"
era) ~ LedgerEnv era, Signal (EraRule"LEDGER"
era) ~ StAnnTx TopTx era) => STS (MEMPOOL era)(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan"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)(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, State (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan"CERT"
era) ~ CertState era, Signal (EraRule"CERT"
era) ~ TxCert era, Environment (EraRule"CERT"
era) ~ CertEnv era, Embed (EraRule"CERT"
era) (CERTS era), EraCertState era, ConwayEraCertState era, EraRuleFailure"CERT"
era ~ PredicateFailure (EraRule"CERT"
era)) => STS (CERTS era)(EraTx era, EraCertState era, ShelleyEraTxBody era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan"DELPL"
era) (DELEGS era), Environment (EraRule"DELPL"
era) ~ DelplEnv era, State (EraRule"DELPL"
era) ~ CertState era, Signal (EraRule"DELPL"
era) ~ TxCert era, EraRule"DELEGS"
era ~ DELEGS era) => STS (DELEGS era)(EraTx era, EraGov era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan"DELEGS"
era) (LEDGER era), Embed (EraRule"UTXOW"
era) (LEDGER era), Environment (EraRule"UTXOW"
era) ~ UtxoEnv era, State (EraRule"UTXOW"
era) ~ UTxOState era, Signal (EraRule"UTXOW"
era) ~ StAnnTx TopTx era, Environment (EraRule"DELEGS"
era) ~ DelegsEnv era, State (EraRule"DELEGS"
era) ~ CertState era, Signal (EraRule"DELEGS"
era) ~ Seq (TxCert era), AtMostEra"Babbage"
era, EraRule"LEDGER"
era ~ LEDGER era, EraRuleFailure"LEDGER"
era ~ ShelleyLedgerPredFailure era, InjectRuleFailure"LEDGER"
ShelleyLedgerPredFailure era) => STS (LEDGER era)(EraTx era, EraStake era, EraCertState era, DijkstraEraTxBody era, AlonzoEraTxWits era, ConwayEraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan"SUBUTXO"
era ~ SUBUTXO era, InjectRuleFailure"SUBUTXO"
ShelleyUtxoPredFailure era, InjectRuleFailure"SUBUTXO"
AllegraUtxoPredFailure era, InjectRuleFailure"SUBUTXO"
AlonzoUtxoPredFailure era, InjectRuleFailure"SUBUTXO"
BabbageUtxoPredFailure era) => STS (SUBUTXO era)(EraTx era, EraUTxO era, BabbageEraTxBody era, AlonzoEraTx era, AlonzoEraTxWits era, EraCertState era, EraStake era, GovState era ~ ShelleyGovState era, EraRuleDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan"UTXO"
era ~ UTXO era, InjectRuleFailure"UTXO"
ShelleyUtxoPredFailure era, InjectRuleFailure"UTXO"
AllegraUtxoPredFailure era, InjectRuleFailure"UTXO"
AlonzoUtxoPredFailure era, InjectRuleFailure"UTXO"
BabbageUtxoPredFailure era, Embed (EraRule"UTXOS"
era) (UTXO era), Environment (EraRule"UTXOS"
era) ~ UtxosEnv era, State (EraRule"UTXOS"
era) ~ ShelleyGovState era, Signal (EraRule"UTXOS"
era) ~ StAnnTx TopTx era, SafeToHash (TxWits era)) => STS (UTXO era)(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTx era, EraStake era, EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan"UTXO"
era ~ UTXO era, InjectRuleFailure"UTXO"
ShelleyUtxoPredFailure era, InjectRuleFailure"UTXO"
AllegraUtxoPredFailure era, InjectRuleFailure"UTXO"
AlonzoUtxoPredFailure era, InjectRuleFailure"UTXO"
BabbageUtxoPredFailure era, InjectRuleFailure"UTXO"
ConwayUtxoPredFailure era, Embed (EraRule"UTXOS"
era) (UTXO era), Environment (EraRule"UTXOS"
era) ~ (), State (EraRule"UTXOS"
era) ~ (), Signal (EraRule"UTXOS"
era) ~ StAnnTx TopTx era, PredicateFailure (EraRule"UTXO"
era) ~ ConwayUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) => STS (UTXO era)(EraTx era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraTxBody era, AllegraEraTxBody era, Embed (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan"PPUP"
era) (UTXO era), Environment (EraRule"PPUP"
era) ~ PpupEnv era, State (EraRule"PPUP"
era) ~ ShelleyGovState era, Signal (EraRule"PPUP"
era) ~ StrictMaybe (Update era), AtMostEra"Babbage"
era, Eq (EraRuleFailure"PPUP"
era), Show (EraRuleFailure"PPUP"
era), EraRule"UTXO"
era ~ UTXO era, GovState era ~ ShelleyGovState era, InjectRuleFailure"UTXO"
AllegraUtxoPredFailure era, InjectRuleFailure"UTXO"
ShelleyUtxoPredFailure era, SafeToHash (TxWits era)) => STS (UTXO era)(EraTx era, EraUTxO era, EraStake era, DijkstraEraTxBody era, AlonzoEraTx era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan"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)(EraTx era, EraUTxO era, EraStake era, ShelleyEraTxBody era, EraGov era, GovState era ~ ShelleyGovState era, ExactEra ShelleyEra era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan"PPUP"
era) (UTXO era), Environment (EraRule"PPUP"
era) ~ PpupEnv era, Signal (EraRule"PPUP"
era) ~ StrictMaybe (Update era), State (EraRule"PPUP"
era) ~ ShelleyGovState era, Eq (EraRuleFailure"PPUP"
era), Show (EraRuleFailure"PPUP"
era), EraRule"UTXO"
era ~ UTXO era, InjectRuleFailure"UTXO"
ShelleyUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) => STS (UTXO era)(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan"UTXO"
era) (UTXOW era), Environment (EraRule"UTXO"
era) ~ UtxoEnv era, State (EraRule"UTXO"
era) ~ UTxOState era, Signal (EraRule"UTXO"
era) ~ StAnnTx TopTx era, EraRule"UTXOW"
era ~ UTXOW era, InjectRuleFailure"UTXOW"
ShelleyUtxowPredFailure era, EraCertState era) => STS (UTXOW era)(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan"UTXO"
era) (UTXOW era), Environment (EraRule"UTXO"
era) ~ UtxoEnv era, State (EraRule"UTXO"
era) ~ UTxOState era, Signal (EraRule"UTXO"
era) ~ StAnnTx TopTx era, EraRule"UTXOW"
era ~ UTXOW era, InjectRuleFailure"UTXOW"
ShelleyUtxowPredFailure era, EraGov era, EraCertState era) => STS (UTXOW era)(EraTx era, DijkstraEraTxBody era, ConwayEraPParams era, ConwayEraCertState era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan"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)(EraTx era, DijkstraEraTxBody era, ConwayEraCertState era, Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan"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)(EraTxOut era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan"EPOCH"
era) (NEWEPOCH era), Event (EraRule"RUPD"
era) ~ RupdEvent, Environment (EraRule"EPOCH"
era) ~ (), State (EraRule"EPOCH"
era) ~ EpochState era, Signal (EraRule"EPOCH"
era) ~ EpochNo, Default (EpochState era), Default (StashedAVVMAddresses era), Signal (EraRule"RATIFY"
era) ~ RatifySignal era, State (EraRule"RATIFY"
era) ~ RatifyState era, Environment (EraRule"RATIFY"
era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, Eq (PredicateFailure (EraRule"RATIFY"
era)), Show (PredicateFailure (EraRule"RATIFY"
era)), Eq (PredicateFailure (NEWEPOCH era)), Show (PredicateFailure (NEWEPOCH era))) => STS (NEWEPOCH era)(EraTxOut era, RunConwayRatify era, ConwayEraCertState era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan"SNAP"
era) (EPOCH era), Environment (EraRule"SNAP"
era) ~ SnapEnv era, State (EraRule"SNAP"
era) ~ SnapShots era, Signal (EraRule"SNAP"
era) ~ (), Embed (EraRule"POOLREAP"
era) (EPOCH era), Environment (EraRule"POOLREAP"
era) ~ (), State (EraRule"POOLREAP"
era) ~ ShelleyPoolreapState era, Signal (EraRule"POOLREAP"
era) ~ EpochNo, Embed (EraRule"RATIFY"
era) (EPOCH era), Environment (EraRule"RATIFY"
era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, State (EraRule"RATIFY"
era) ~ RatifyState era, Signal (EraRule"RATIFY"
era) ~ RatifySignal era, Embed (EraRule"HARDFORK"
era) (EPOCH era), Environment (EraRule"HARDFORK"
era) ~ (), State (EraRule"HARDFORK"
era) ~ EpochState era, Signal (EraRule"HARDFORK"
era) ~ ProtVer) => STS (EPOCH era)(EraTxOut era, EraGov era, EraStake era, EraCertState era, GovState era ~ ShelleyGovState era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan"SNAP"
era) (EPOCH era), Environment (EraRule"SNAP"
era) ~ SnapEnv era, State (EraRule"SNAP"
era) ~ SnapShots era, Signal (EraRule"SNAP"
era) ~ (), Embed (EraRule"POOLREAP"
era) (EPOCH era), Environment (EraRule"POOLREAP"
era) ~ (), State (EraRule"POOLREAP"
era) ~ ShelleyPoolreapState era, Signal (EraRule"POOLREAP"
era) ~ EpochNo, Embed (EraRule"UPEC"
era) (EPOCH era), Environment (EraRule"UPEC"
era) ~ LedgerState era, State (EraRule"UPEC"
era) ~ UpecState era, Signal (EraRule"UPEC"
era) ~ (), Default (PParams era)) => STS (EPOCH era)(EraTxOut era, EraGov era, EraStake era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan"MIR"
era) (NEWEPOCH era), Embed (EraRule"EPOCH"
era) (NEWEPOCH era), Environment (EraRule"MIR"
era) ~ (), State (EraRule"MIR"
era) ~ EpochState era, Signal (EraRule"MIR"
era) ~ (), Event (EraRule"RUPD"
era) ~ RupdEvent, Environment (EraRule"EPOCH"
era) ~ (), State (EraRule"EPOCH"
era) ~ EpochState era, Signal (EraRule"EPOCH"
era) ~ EpochNo, Default (EpochState era), Default (State (EraRule"PPUP"
era)), Default (PParams era), Default (StashedAVVMAddresses era)) => STS (NEWEPOCH era)(EraTxOut era, EraStake era, EraCertState era) => STS (SNAP era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan(EraRuleDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan"BBODY"
era ~ BBODY era, InjectRuleFailure"BBODY"
AlonzoBbodyPredFailure era, InjectRuleFailure"BBODY"
ShelleyBbodyPredFailure era, Embed (EraRule"LEDGERS"
era) (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, AlonzoEraTx era) => STS (BBODY era)(EraPParams era, AtMostEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan"Babbage"
era) => STS (PPUP era)(EraPParams era, EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan"POOL"
era ~ POOL era, InjectRuleFailure"POOL"
ShelleyPoolPredFailure era, InjectRuleEvent"POOL"
PoolEvent era) => STS (POOL era)(EraPParams era, EraCertState era, ConwayEraCertState era, State (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan"DELEG"
era) ~ CertState era, Signal (EraRule"DELEG"
era) ~ ConwayDelegCert, Environment (EraRule"DELEG"
era) ~ ConwayDelegEnv era, EraRule"DELEG"
era ~ DELEG era, InjectRuleFailure"DELEG"
ConwayDelegPredFailure era) => STS (DELEG era)(Era era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan"DELEG"
era) (DELPL era), Environment (EraRule"DELEG"
era) ~ DelegEnv era, State (EraRule"DELEG"
era) ~ CertState era, Embed (EraRule"POOL"
era) (DELPL era), Environment (EraRule"POOL"
era) ~ PoolEnv era, State (EraRule"POOL"
era) ~ PState era, Signal (EraRule"DELEG"
era) ~ TxCert era, Embed (EraRule"POOL"
era) (DELPL era), Environment (EraRule"POOL"
era) ~ PoolEnv era, Signal (EraRule"POOL"
era) ~ PoolCert, TxCert era ~ ShelleyTxCert era) => STS (DELPL era)(Era era, EraGov era, EraCertState era) => STS (RUPD era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan(Era era, State (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan"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 ~ ConwayTxCert era, EraCertState era) => STS (CERT era)(Era era, State (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan"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)(EraCertState era, EraPParams era, ShelleyEraAccounts era, ShelleyEraTxCert era, AtMostEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan"Babbage"
era) => STS (DELEG era)(EraGov era, ConwayEraPParams era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan"SUBGOVCERT"
era ~ SUBGOVCERT era, InjectRuleFailure"SUBGOVCERT"
ConwayGovCertPredFailure era, InjectRuleFailure"SUBGOVCERT"
DijkstraSubGovCertPredFailure era) => STS (SUBGOVCERT era)(EraGov era, ConwayEraCertState era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan"SUBDELEG"
era ~ SUBDELEG era, InjectRuleFailure"SUBDELEG"
ConwayDelegPredFailure era) => STS (SUBDELEG era)(EraGov era, EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan"SUBPOOL"
era ~ SUBPOOL era, InjectRuleEvent"SUBPOOL"
DijkstraSubPoolEvent era, InjectRuleEvent"SUBPOOL"
PoolEvent era, InjectRuleFailure"SUBPOOL"
DijkstraSubPoolPredFailure era, InjectRuleFailure"SUBPOOL"
ShelleyPoolPredFailure era) => STS (SUBPOOL era)(EraGov era, EraCertState era, GovState era ~ ShelleyGovState era, State (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan"PPUP"
era) ~ ShelleyGovState era, Signal (EraRule"UPEC"
era) ~ (), State (EraRule"UPEC"
era) ~ UpecState era, Environment (EraRule"UPEC"
era) ~ LedgerState era, Embed (EraRule"UPEC"
era) (TICKF era)) => STS (TICKF era)(EraGov era, EraCertState era, Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan"NEWEPOCH"
era) (TICK era), Embed (EraRule"RUPD"
era) (TICK era), State (TICK era) ~ NewEpochState era, BaseM (TICK era) ~ ShelleyBase, Environment (EraRule"RUPD"
era) ~ RupdEnv era, State (EraRule"RUPD"
era) ~ StrictMaybe PulsingRewUpdate, Signal (EraRule"RUPD"
era) ~ SlotNo, Environment (EraRule"NEWEPOCH"
era) ~ (), State (EraRule"NEWEPOCH"
era) ~ NewEpochState era, Signal (EraRule"NEWEPOCH"
era) ~ EpochNo) => STS (TICK era)(EraGov era, GovState era ~ ShelleyGovState era, AtMostEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan"Babbage"
era) => STS (NEWPP era)(EraGov era, EraStake era, EraCertState era, ConwayEraCertState era) => STS (HARDFORK era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan(EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, AtMostEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan"Babbage"
era) => STS (UPEC era)(EraUTxO era, AlonzoEraTx era, Embed (EraRuleDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan"UTXOS"
era) (UTXO era), Environment (EraRule"UTXOS"
era) ~ UtxosEnv era, State (EraRule"UTXOS"
era) ~ ShelleyGovState era, Signal (EraRule"UTXOS"
era) ~ StAnnTx TopTx era, EraRule"UTXO"
era ~ UTXO era, InjectRuleFailure"UTXO"
ShelleyUtxoPredFailure era, InjectRuleFailure"UTXO"
AlonzoUtxoPredFailure era, InjectRuleFailure"UTXO"
AllegraUtxoPredFailure era, AtMostEra"Babbage"
era, EraCertState era, EraStake era, SafeToHash (TxWits era), GovState era ~ ShelleyGovState era) => STS (UTXO era)(ApplyTx era, EraGov era, EraStake era, Default (CertState era), Embed (EraRuleDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan"LEDGER"
era) (LEDGERS era), Environment (EraRule"LEDGER"
era) ~ LedgerEnv era, State (EraRule"LEDGER"
era) ~ LedgerState era, Signal (EraRule"LEDGER"
era) ~ StAnnTx TopTx era, Default (LedgerState era)) => STS (LEDGERS era)(ApplyTx era, EraGov era, EraStake era, Default (CertState era), Embed (EraRuleDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan"LEDGER"
era) (LEDGERS era), Environment (EraRule"LEDGER"
era) ~ LedgerEnv era, State (EraRule"LEDGER"
era) ~ LedgerState era, Signal (EraRule"LEDGER"
era) ~ StAnnTx TopTx era, Default (LedgerState era)) => STS (LEDGERS era)(ApplyTx era, EraGov era, EraStake era, Default (CertState era), Embed (EraRuleDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan"LEDGER"
era) (LEDGERS era), Environment (EraRule"LEDGER"
era) ~ LedgerEnv era, State (EraRule"LEDGER"
era) ~ LedgerState era, Signal (EraRule"LEDGER"
era) ~ StAnnTx TopTx era, Default (LedgerState era)) => STS (LEDGERS era)(Default (EpochState era), EraGov era, EraCertState era) => STS (MIR era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan(Default (ShelleyPoolreapState era), EraPParams era, EraGov era, EraCertState era) => STS (POOLREAP era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan(Embed (EraRuleDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan"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)(Embed (EraRuleDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan"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"
ShelleyBbodyPredFailure era, EraRule"BBODY"
era ~ BBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era) => STS (BBODY era)(Eq f, Monad m, Show f, Typeable e, Typeable f, Typeable si, Typeable st, Typeable m) => STS (STUB e st si f m)Defined in small-steps-1.1.4.0 · Control.State.Transition.Extended
Orphan instances
6 instancesInjectRuleEvent"EPOCH"
ConwayHardForkEvent DijkstraEraInjectRuleEvent"NEWEPOCH"
ConwayEpochEvent DijkstraEraInjectRuleEvent"NEWEPOCH"
ConwayHardForkEvent DijkstraEraInjectRuleEvent"TICK"
ConwayEpochEvent DijkstraEraInjectRuleEvent"TICK"
ConwayHardForkEvent DijkstraEraInjectRuleEvent"TICK"
ConwayNewEpochEvent DijkstraEra