Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Rules.Chain

Synopsis

data CHAIN
data ChainState
data TestChainPredicateFailure
data ChainEvent
family PredicateFailure
data AdaPots
value initialShelleyState
value totalAda
value totalAdaPots
value chainStateNesL

Packagecardano-ledger-shelley-test-1.9.0.0
Exports10
LanguageHaskell2010
LicenceApache-2.0
SourceChain.hs

datadata CHAIN era

Instances13STS, Embed, HasTrace, BaseM, Environment, Event, …

(Era era, Era era, PredicateFailure (EraRule "TICKN" era) ~ Void, Event (EraRule "TICKN" era) ~ Void) => Embed TICKN (CHAIN era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
(EraGov era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ BbodySignal era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, Embed (PRTCL MockCrypto) (CHAIN era), EncCBORGroup (BlockBody era), AtMostEra "Alonzo" era, State (EraRule "LEDGERS" era) ~ LedgerState era, EraCertState era, EraBlockHeader (BHeader MockCrypto) era) => STS (CHAIN era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
Era era => Embed (PRTCL MockCrypto) (CHAIN era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
(Era era, Era era, STS (BBODY era), PredicateFailure (EraRule "BBODY" era) ~ ShelleyBbodyPredFailure era, Event (EraRule "BBODY" era) ~ Event (BBODY era)) => Embed (BBODY era) (CHAIN era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
(Era era, Era era, STS (TICK era), Event (EraRule "TICK" era) ~ ShelleyTickEvent era) => Embed (TICK era) (CHAIN era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
(EraGen era, EraBlockBody era, EraBlockHeader (BHeader MockCrypto) era, ApplyBlock TestBlockHeader era, ShelleyEraForecast era, MinLEDGER_STS era, MinCHAIN_STS era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ BbodySignal era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, HasTrace (EraRule "LEDGERS" era) (GenEnv MockCrypto era), PredicateFailure (EraRule "TICKF" era) ~ Void) => HasTrace (CHAIN era) (GenEnv MockCrypto era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Chain · orphan
type BaseM (CHAIN era) = ShelleyBaseDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type Environment (CHAIN era) = ()Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type Event (CHAIN era) = ChainEvent eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type PredicateFailure (CHAIN era) = TestChainPredicateFailure eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type Signal (CHAIN era) = Block (BHeader MockCrypto) eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type State (CHAIN era) = ChainState eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type BaseEnv (CHAIN era) = GlobalsDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Chain · orphan

datadata ChainState era

Constructors

ChainState
- chainNes :: NewEpochState era
- chainOCertIssue :: Map (KeyHash BlockIssuer) Word64
- chainEpochNonce :: Nonce
- chainEvolvingNonce :: Nonce
- chainCandidateNonce :: Nonce
- chainPrevEpochNonce :: Nonce
- chainLastAppliedBlock :: WithOrigin LastAppliedBlock

Instances6Eq, Show, Generic, NFData, ToExpr, Rep

Eq (NewEpochState era) => Eq (ChainState era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
Show (NewEpochState era) => Show (ChainState era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
Generic (ChainState era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
NFData (NewEpochState era) => NFData (ChainState era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
(ToExpr (PParams era), ToExpr (TxOut era), ToExpr (StashedAVVMAddresses era), ToExpr (GovState era), ToExpr (CertState era), ToExpr (InstantStake era)) => ToExpr (ChainState era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type Rep (ChainState era) = D1 ('MetaData "ChainState" "Test.Cardano.Ledger.Shelley.Rules.Chain" "cardano-ledger-shelley-test-1.9.0.0-BzFjVfFWD1N9AJHF6ME4Bv" 'False) (C1 ('MetaCons "ChainState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "chainNes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NewEpochState era)) :*: (S1 ('MetaSel ('Just "chainOCertIssue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash BlockIssuer) Word64)) :*: S1 ('MetaSel ('Just "chainEpochNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce))) :*: ((S1 ('MetaSel ('Just "chainEvolvingNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Just "chainCandidateNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce)) :*: (S1 ('MetaSel ('Just "chainPrevEpochNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Just "chainLastAppliedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin LastAppliedBlock))))))Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain

datadata TestChainPredicateFailure era

Constructors

RealChainPredicateFailure ChainPredicateFailure
BbodyFailure (PredicateFailure (EraRule "BBODY" era))
TicknFailure (PredicateFailure (EraRule "TICKN" era))
PrtclFailure (PredicateFailure (PRTCL MockCrypto))
PrtclSeqFailure PrtlSeqFailure

Instances4Eq, Show, Generic, Rep

(Era era, Eq (PredicateFailure (EraRule "BBODY" era)), Eq (PredicateFailure (EraRule "TICK" era)), Eq (PredicateFailure (EraRule "TICKN" era))) => Eq (TestChainPredicateFailure era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
(Era era, Show (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "TICK" era)), Show (PredicateFailure (EraRule "TICKN" era))) => Show (TestChainPredicateFailure era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
Generic (TestChainPredicateFailure era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type Rep (TestChainPredicateFailure era) = D1 ('MetaData "TestChainPredicateFailure" "Test.Cardano.Ledger.Shelley.Rules.Chain" "cardano-ledger-shelley-test-1.9.0.0-BzFjVfFWD1N9AJHF6ME4Bv" 'False) ((C1 ('MetaCons "RealChainPredicateFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainPredicateFailure)) :+: C1 ('MetaCons "BbodyFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "BBODY" era))))) :+: (C1 ('MetaCons "TicknFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "TICKN" era)))) :+: (C1 ('MetaCons "PrtclFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (PRTCL MockCrypto)))) :+: C1 ('MetaCons "PrtclSeqFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrtlSeqFailure)))))Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain

datadata ChainEvent era

Constructors

BbodyEvent !(Event (EraRule "BBODY" era))
TickEvent !(Event (EraRule "TICK" era))
TicknEvent !(Event (EraRule "TICKN" era))
PrtclEvent !(Event (PRTCL MockCrypto))

familytype family PredicateFailure a

Instances108PredicateFailure, …

type PredicateFailure BBODY = BbodyPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.BBody
type PredicateFailure BUPI = BupiPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Bupi
type PredicateFailure CHAIN = ChainPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Chain
type PredicateFailure EPOCH = EpochPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Epoch
type PredicateFailure PBFT = PbftPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.Pbft
type PredicateFailure SIGCNT = SigcntPredicateFailureDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Rule.SigCnt
type PredicateFailure ADELEG = AdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure ADELEGS = AdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure DELEG = DelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure MSDELEG = MsdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure SDELEG = SdelegPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure SDELEGS = SdelegsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Delegation
type PredicateFailure UTXO = UtxoPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
type PredicateFailure UTXOW = UtxowPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
type PredicateFailure UTXOWS = UtxowsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
type PredicateFailure ADDVOTE = AddvotePredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure APPLYVOTES = ApplyVotesPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure FADS = FadsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure PVBUMP = PvbumpPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPEND = UpendPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPIEC = UpiecPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPIEND = UpiendPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPIREG = UpiregPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPIVOTE = UpivotePredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPIVOTES = UpivotesPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPPVV = UppvvPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPREG = UpregPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPSVV = UpsvvPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPV = UpvPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure UPVOTE = UpvotePredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.Update
type PredicateFailure TICKN = VoidDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Tickn
type PredicateFailure (UTXO era) = AllegraUtxoPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Ledgers · orphan
type PredicateFailure (UTXO era) = BabbageUtxoPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure eraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ConwayBbodyPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Bbody · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Cert · orphan
type PredicateFailure (CERTS era) = ConwayCertsPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Certs · orphan
type PredicateFailure (DELEG era) = ConwayDelegPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Deleg · orphan
type PredicateFailure (ENACT era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Enact · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Epoch · orphan
type PredicateFailure (GOV era) = ConwayGovPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Gov · orphan
type PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.GovCert · orphan
type PredicateFailure (HARDFORK era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.HardFork · orphan
type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ledger · orphan
type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Mempool · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.NewEpoch · orphan
type PredicateFailure (RATIFY era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Ratify · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Tickf · orphan
type PredicateFailure (UTXO era) = ConwayUtxoPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxo · orphan
type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxos · orphan
type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure eraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Bbody · orphan
type PredicateFailure (CERT era) = ConwayCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Cert · orphan
type PredicateFailure (ENTITIES era) = EntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Entities · orphan
type PredicateFailure (GOV era) = DijkstraGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Gov · orphan
type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.GovCert · orphan
type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Ledger · orphan
type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Mempool · orphan
type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCert · orphan
type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubCerts · orphan
type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubDeleg · orphan
type PredicateFailure (SUBENTITIES era) = SubEntitiesPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubEntities · orphan
type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGov · orphan
type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubGovCert · orphan
type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedger · orphan
type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubLedgers · orphan
type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubPool · orphan
type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxo · orphan
type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.SubUtxow · orphan
type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure eraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Rules.Utxow · orphan
type PredicateFailure (BBODY era) = ShelleyBbodyPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type PredicateFailure (DELEG era) = ShelleyDelegPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type PredicateFailure (DELPL era) = ShelleyDelplPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type PredicateFailure (MIR era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type PredicateFailure (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type PredicateFailure (POOL era) = ShelleyPoolPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type PredicateFailure (POOLREAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type PredicateFailure (PPUP era) = ShelleyPpupPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type PredicateFailure (RUPD era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type PredicateFailure (SNAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type PredicateFailure (TICK era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (TICKF era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type PredicateFailure (UTXO era) = ShelleyUtxoPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type PredicateFailure (CERTS era) = CertsPredicateFailure eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert
type PredicateFailure (CHAIN era) = TestChainPredicateFailure eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rules.Chain
type PredicateFailure (OCERT c) = OcertPredicateFailureDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.OCert
type PredicateFailure (OVERLAY c) = OverlayPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Overlay
type PredicateFailure (PRTCL c) = PrtclPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Prtcl
type PredicateFailure (UPDN c) = UpdnPredicateFailure cDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.Rules.Updn
type PredicateFailure (STUB e st si f m) = fDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended