Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.Rules

66 types
43 values

Packagecardano-ledger-shelley-1.19.0.1
Exports111
LicenceApache-2.0

valuevalidateBlockBodyHash

:: (EraBlockHeader h era, EraBlockBody era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era)
=> Block h era
-> Rule (EraRule "BBODY" era) 'Transition ()

valuevalidateBlockBodySize

:: (EraBlockHeader h era, EraBlockBody era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era)
=> Block h era
-> ProtVer
-> Rule (EraRule "BBODY" era) 'Transition ()

valueledgerAccountL

:: Functor f
=> ChainAccountState -> f ChainAccountState
-> LedgerEnv era
-> f (LedgerEnv era)

valueledgerEpochNoL

:: Functor f
=> Maybe EpochNo -> f (Maybe EpochNo)
-> LedgerEnv era
-> f (LedgerEnv era)

valueledgerIxL

:: Functor f
=> TxIx -> f TxIx
-> LedgerEnv era
-> f (LedgerEnv era)

valueledgerPpL

:: Functor f
=> PParams era -> f (PParams era)
-> LedgerEnv era
-> f (LedgerEnv era)

valueledgerSlotNoL

:: Functor f
=> SlotNo -> f SlotNo
-> LedgerEnv era
-> f (LedgerEnv era)

valuerenderDepositEqualsObligationViolation

:: (EraTx era, EraGov era, EraCertState era, Environment t ~ LedgerEnv era, Signal t ~ StAnnTx TopTx era, State t ~ LedgerState era)
=> AssertionViolation t
-> String

valueshelleyLedgerAssertions :: (EraGov era, EraCertState era, State (rule era) ~ LedgerState era) => [Assertion (rule era)]

valuetestIncompleteAndMissingWithdrawals

:: (EraAccounts era, STS sts, BaseM sts ~ ShelleyBase, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, sts ~ EraRule "LEDGER" era)
=> Accounts era
-> Withdrawals
-> Rule sts ctx ()

valueemptyInstantaneousRewards :: InstantaneousRewards

valueupdateRewards

:: (EraGov era, EraCertState era)
=> EpochState era
-> EpochNo
-> RewardUpdate
-> Rule (NEWEPOCH era) 'Transition (EpochState era)

value

poolTransition :: (EraPParams era, Signal (EraRule rule era) ~ PoolCert, Environment (EraRule rule era) ~ PoolEnv era, State (EraRule rule era) ~ PState era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, InjectRuleFailure rule ShelleyPoolPredFailure era, InjectRuleEvent rule PoolEvent era) => TransitionRule (EraRule rule era)

valueprCertStateL

:: Functor f
=> CertState era -> f (CertState era)
-> ShelleyPoolreapState era
-> f (ShelleyPoolreapState era)

valueprChainAccountStateL

:: Functor f
=> ChainAccountState -> f ChainAccountState
-> ShelleyPoolreapState era
-> f (ShelleyPoolreapState era)

valueprUTxOStateL

:: Functor f
=> UTxOState era -> f (UTxOState era)
-> ShelleyPoolreapState era
-> f (ShelleyPoolreapState era)

valuevotedFuturePParams

:: EraPParams era
=> ProposedPPUpdates era
-> PParams era
-> Word64
-> Maybe (PParams era)

valueadoptGenesisDelegs

:: EraCertState era
=> EpochState era
-> SlotNo
-> EpochState era

valuesolidifyNextEpochPParams

:: EraGov era
=> NewEpochState era
-> SlotNo
-> ShelleyBase (EpochNo, NewEpochState era)

valuevalidatingTickTransition

:: (EraGov era, EraCertState era, Embed (EraRule "NEWEPOCH" era) (tick era), STS (tick era), State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo)
=> NewEpochState era
-> SlotNo
-> TransitionRule (tick era)

valuevalidatingTickTransitionFORECAST

:: (State (tick era) ~ NewEpochState era, BaseM (tick era) ~ ShelleyBase, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (tick era), STS (tick era), GovState era ~ ShelleyGovState era, EraGov era, EraCertState era)
=> NewEpochState era
-> SlotNo
-> TransitionRule (tick era)

valueupdateUTxOAndInstantStake

:: (EraTxBody era, EraStake era, Monad m)
=> TxBody l era
-> UTxO era -> UTxO era -> m ()
-> UTxOState era
-> m (UTxOState era)

valueupdateUTxOState

:: (EraTxBody era, EraStake era, EraCertState era, Monad m)
=> PParams era
-> TxBody TopTx era
-> CertState era
-> Coin -> m ()
-> UTxO era -> UTxO era -> m ()
-> UTxOState era
-> m (UTxOState era)

valueupdateUTxOStateDeposits

:: (EraTxBody era, EraCertState era, Monad m)
=> PParams era
-> CertState era
-> TxBody TopTx era
-> Coin -> m ()
-> UTxOState era
-> m (UTxOState era)

valueutxoEnvCertStateL

:: Functor f
=> CertState era -> f (CertState era)
-> UtxoEnv era
-> f (UtxoEnv era)

valueutxoEnvPParamsL

:: Functor f
=> PParams era -> f (PParams era)
-> UtxoEnv era
-> f (UtxoEnv era)

valueutxoEnvSlotL

:: Functor f
=> SlotNo -> f SlotNo
-> UtxoEnv era
-> f (UtxoEnv era)

value

validSizeComputationCheck :: (EraTx era, SafeToHash (TxWits era), Signal (rule era) ~ StAnnTx TopTx era) => Assertion (rule era)

valuevalidateBadInputsUTxO

:: UTxO era
-> Set TxIn
-> Test (ShelleyUtxoPredFailure era)

valuevalidateFeeTooSmallUTxO

:: EraUTxO era
=> PParams era
-> Tx TopTx era
-> UTxO era
-> Test (ShelleyUtxoPredFailure era)

valuevalidateInputSetEmptyUTxO

:: EraTxBody era
=> TxBody t era
-> Test (ShelleyUtxoPredFailure era)

valuevalidateMaxTxSizeUTxO

:: EraTx era
=> PParams era
-> Tx l era
-> Test (ShelleyUtxoPredFailure era)

valuevalidateOutputBootAddrAttrsTooBig

:: (EraTxOut era, Foldable f)
=> f (TxOut era)
-> Test (ShelleyUtxoPredFailure era)

valuevalidateValueNotConservedUTxO

:: (EraUTxO era, EraCertState era)
=> PParams era
-> UTxO era
-> CertState era
-> TxBody TopTx era
-> Test (ShelleyUtxoPredFailure era)

valuevalidateWrongNetwork

:: (EraTxOut era, Foldable f)
=> Network
-> f (TxOut era)
-> Test (ShelleyUtxoPredFailure era)

valuevalidateWrongNetworkWithdrawal

:: EraTxBody era
=> Network
-> TxBody t era
-> Test (ShelleyUtxoPredFailure era)

value

transitionRulesUTXOW :: (EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx TopTx era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, STS (EraRule "UTXOW" era), EraCertState era) => TransitionRule (EraRule "UTXOW" era)

valuevalidateFailedNativeScripts

:: EraTx era
=> ScriptsProvided era
-> Tx l era
-> Test (ShelleyUtxowPredFailure era)

valuevalidateMIRInsufficientGenesisSigs

:: (EraTx era, ShelleyEraTxBody era)
=> GenDelegs
-> Word64
-> Set (KeyHash Witness)
-> Tx TopTx era
-> Test (ShelleyUtxowPredFailure era)

valuevalidateMetadata

:: EraTx era
=> PParams era
-> StAnnTx l era
-> Test (ShelleyUtxowPredFailure era)

valuevalidateMissingScripts

valuevalidateNeededWitnesses

:: EraUTxO era
=> Set (KeyHash Witness)
-> CertState era
-> UTxO era
-> TxBody t era
-> Test (ShelleyUtxowPredFailure era)

valuevalidateVerifiedWits

:: EraTx era
=> Tx l era
-> Test (ShelleyUtxowPredFailure era)

datadata BbodySignal era

Constructors

forall h. EraBlockHeader h era => BbodySignal (Block h era)

datadata BBODY era

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

(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, Era era) => Embed ledgers (BBODY era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
(EraBlockBody era, EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type BaseM (BBODY era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type Environment (BBODY era) = BbodyEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type Event (BBODY era) = ShelleyBbodyEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type PredicateFailure (BBODY era) = ShelleyBbodyPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type Signal (BBODY era) = BbodySignal eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan

datadata DELEG era

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

(EraCertState era, EraPParams era, ShelleyEraAccounts era, ShelleyEraTxCert era, AtMostEra "Babbage" era) => STS (DELEG era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
(ShelleyEraAccounts era, ShelleyEraTxCert era, EraCertState era, EraPParams era, AtMostEra "Babbage" era, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) => Embed (DELEG era) (DELPL era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type BaseM (DELEG era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type Environment (DELEG era) = DelegEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type Event (DELEG era) = ShelleyDelegEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type PredicateFailure (DELEG era) = ShelleyDelegPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type Signal (DELEG era) = TxCert eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type State (DELEG era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan

datadata DELEGS era

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

(EraTx era, EraCertState era, ShelleyEraTxBody era, Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
(Era era, STS (DELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) => Embed (DELEGS era) (LEDGER era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
(Era era, STS (DELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) => Embed (DELPL era) (DELEGS era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type BaseM (DELEGS era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type Environment (DELEGS era) = DelegsEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type Event (DELEGS era) = ShelleyDelegsEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type Signal (DELEGS era) = Seq (TxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type State (DELEGS era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan

datadata DELPL era

Instances10STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(Era era, EraCertState era, Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
(Era era, STS (DELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) => Embed (DELPL era) (DELEGS era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
(Era era, STS (POOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) => Embed (POOL era) (DELPL era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
(ShelleyEraAccounts era, ShelleyEraTxCert era, EraCertState era, EraPParams era, AtMostEra "Babbage" era, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) => Embed (DELEG era) (DELPL era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type BaseM (DELPL era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type Environment (DELPL era) = DelplEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type Event (DELPL era) = ShelleyDelplEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type PredicateFailure (DELPL era) = ShelleyDelplPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type Signal (DELPL era) = TxCert eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type State (DELPL era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan

datadata EPOCH era

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

(EraTxOut era, EraGov era, EraStake era, EraCertState era, GovState era ~ ShelleyGovState era, Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
(EraTxOut era, EraStake era, Event (EraRule "SNAP" era) ~ SnapEvent era, EraCertState era) => Embed (SNAP era) (EPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
(Era era, STS (POOLREAP era), Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) => Embed (POOLREAP era) (EPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
(Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) => Embed (UPEC era) (EPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
(STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) => Embed (EPOCH era) (NEWEPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type BaseM (EPOCH era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type Environment (EPOCH era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type Event (EPOCH era) = ShelleyEpochEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type PredicateFailure (EPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type Signal (EPOCH era) = EpochNoDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type State (EPOCH era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan

datadata LEDGER era

Instances10STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTx era, EraGov era, EraCertState era, Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
(Era era, STS (DELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) => Embed (DELEGS era) (LEDGER era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
(Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) => Embed (LEDGER era) (LEDGERS era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
(STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (UTXOW era)) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type BaseM (LEDGER era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type Environment (LEDGER era) = LedgerEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type Event (LEDGER era) = ShelleyLedgerEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type Signal (LEDGER era) = StAnnTx TopTx eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan

datadata LEDGERS era

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

(ApplyTx era, EraGov era, EraStake era, Default (CertState era), Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
(Era era, STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) => Embed (LEDGER era) (LEDGERS era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type BaseM (LEDGERS era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type Environment (LEDGERS era) = ShelleyLedgersEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type Event (LEDGERS era) = ShelleyLedgersEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type Signal (LEDGERS era) = Seq (Tx TopTx era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan

datadata MIR era

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

(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
(EraGov era, EraCertState era, Default (EpochState era), Event (EraRule "MIR" era) ~ ShelleyMirEvent era) => Embed (MIR era) (NEWEPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type BaseM (MIR era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type Environment (MIR era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type Event (MIR era) = ShelleyMirEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type PredicateFailure (MIR era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type Signal (MIR era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type State (MIR era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan

datadata NEWEPOCH era

Instances10STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraTxOut era, EraGov era, EraStake era, EraCertState era, Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
(EraGov era, EraCertState era, Default (EpochState era), Event (EraRule "MIR" era) ~ ShelleyMirEvent era) => Embed (MIR era) (NEWEPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
(STS (EPOCH era), Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) => Embed (EPOCH era) (NEWEPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
(STS (NEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) => Embed (NEWEPOCH era) (TICK era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type BaseM (NEWEPOCH era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type Environment (NEWEPOCH era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type Event (NEWEPOCH era) = ShelleyNewEpochEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type PredicateFailure (NEWEPOCH era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type Signal (NEWEPOCH era) = EpochNoDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type State (NEWEPOCH era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan

datadata NEWPP era

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

(EraGov era, GovState era ~ ShelleyGovState era, AtMostEra "Babbage" era) => STS (NEWPP era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
(Era era, STS (NEWPP era)) => Embed (NEWPP era) (UPEC era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type BaseM (NEWPP era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type Environment (NEWPP era) = NewppEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type Event (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type PredicateFailure (NEWPP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type Signal (NEWPP era) = PParams eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type State (NEWPP era) = ShelleyNewppState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan

datadata POOL era

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

(EraPParams era, EraRule "POOL" era ~ POOL era, InjectRuleFailure "POOL" ShelleyPoolPredFailure era, InjectRuleEvent "POOL" PoolEvent era) => STS (POOL era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
(Era era, STS (POOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) => Embed (POOL era) (DELPL era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type BaseM (POOL era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type Environment (POOL era) = PoolEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type Event (POOL era) = PoolEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type PredicateFailure (POOL era) = ShelleyPoolPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type Signal (POOL era) = PoolCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type State (POOL era) = PState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan

datadata POOLREAP era

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

(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
(Era era, STS (POOLREAP era), Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) => Embed (POOLREAP era) (EPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type BaseM (POOLREAP era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type Environment (POOLREAP era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type Event (POOLREAP era) = ShelleyPoolreapEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type PredicateFailure (POOLREAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type Signal (POOLREAP era) = EpochNoDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type State (POOLREAP era) = ShelleyPoolreapState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan

datadata PPUP era

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

(EraPParams era, AtMostEra "Babbage" era) => STS (PPUP era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
(Era era, STS (PPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) => Embed (PPUP era) (UTXO era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type BaseM (PPUP era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type Environment (PPUP era) = PpupEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type Event (PPUP era) = PpupEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type PredicateFailure (PPUP era) = ShelleyPpupPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type Signal (PPUP era) = StrictMaybe (Update era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type State (PPUP era) = ShelleyGovState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan

datadata RUPD era

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

(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, STS (RUPD era), Event (EraRule "RUPD" era) ~ RupdEvent) => Embed (RUPD era) (TICK era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type BaseM (RUPD era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type Environment (RUPD era) = RupdEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type Event (RUPD era) = RupdEventDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type PredicateFailure (RUPD era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type Signal (RUPD era) = SlotNoDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type State (RUPD era) = StrictMaybe PulsingRewUpdateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan

datadata SNAP era

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

(EraTxOut era, EraStake era, EraCertState era) => STS (SNAP era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
(EraTxOut era, EraStake era, Event (EraRule "SNAP" era) ~ SnapEvent era, EraCertState era) => Embed (SNAP era) (EPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type BaseM (SNAP era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type Environment (SNAP era) = SnapEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type Event (SNAP era) = SnapEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type PredicateFailure (SNAP era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type Signal (SNAP era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type State (SNAP era) = SnapShots eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan

datadata TICK era

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

(EraGov era, EraCertState era, Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
(Era era, STS (RUPD era), Event (EraRule "RUPD" era) ~ RupdEvent) => Embed (RUPD era) (TICK era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
(STS (NEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) => Embed (NEWEPOCH era) (TICK era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type BaseM (TICK era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type Environment (TICK era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type Event (TICK era) = ShelleyTickEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type PredicateFailure (TICK era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type Signal (TICK era) = SlotNoDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type State (TICK era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan

datadata TICKF era

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

(EraGov era, EraCertState era, GovState era ~ ShelleyGovState era, State (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
(Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) => Embed (UPEC era) (TICKF era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type BaseM (TICKF era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type Environment (TICKF era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type Event (TICKF era) = ShelleyTickfEvent eraDefined 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 Signal (TICKF era) = SlotNoDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type State (TICKF era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan

datadata UPEC era

Instances10STS, Embed, BaseM, Environment, Event, PredicateFailure, …

(EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, AtMostEra "Babbage" era) => STS (UPEC era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
(Era era, STS (NEWPP era)) => Embed (NEWPP era) (UPEC era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
(Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) => Embed (UPEC era) (EPOCH era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
(Era era, STS (UPEC era), Event (EraRule "UPEC" era) ~ Void) => Embed (UPEC era) (TICKF era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type BaseM (UPEC era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type Environment (UPEC era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type Event (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type PredicateFailure (UPEC era) = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type Signal (UPEC era) = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type State (UPEC era) = UpecState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan

datadata UTXO era

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

(EraTx era, EraUTxO era, EraStake era, ShelleyEraTxBody era, EraGov era, GovState era ~ ShelleyGovState era, ExactEra ShelleyEra era, Embed (EraRule "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)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
(Era era, STS (PPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) => Embed (PPUP era) (UTXO era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type BaseM (UTXO era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type Environment (UTXO era) = UtxoEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type Event (UTXO era) = UtxoEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type PredicateFailure (UTXO era) = ShelleyUtxoPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type Signal (UTXO era) = StAnnTx TopTx eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type State (UTXO era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan

datadata UTXOW era

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

(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded 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, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, EraGov era, EraCertState era) => STS (UTXOW era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) => Embed (UTXO era) (UTXOW era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
(STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (UTXOW era)) => Embed (UTXOW era) (LEDGER era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type BaseM (UTXOW era) = ShelleyBaseDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type Environment (UTXOW era) = UtxoEnv eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type Event (UTXOW era) = ShelleyUtxowEvent eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type Signal (UTXOW era) = StAnnTx TopTx eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan

datadata ShelleyGovState era

Constructors

ShelleyGovState
- sgsCurProposals :: !ProposedPPUpdates era
- sgsFutureProposals :: !ProposedPPUpdates era
- sgsCurPParams :: !PParams era
- sgsPrevPParams :: !PParams era
- sgsFuturePParams :: !FuturePParams era

Instances15Eq, Show, Generic, NFData, ToJSON, Default, …

(Eq (PParamsUpdate era), Eq (PParams era)) => Eq (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Show (PParamsUpdate era), Show (PParams era)) => Show (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
Generic (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(NFData (PParamsUpdate era), NFData (PParams era)) => NFData (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
EraPParams era => ToJSON (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
EraPParams era => Default (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(NoThunks (PParamsUpdate era), NoThunks (PParams era)) => NoThunks (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => FromCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => ToCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => DecCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => DecShareCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => EncCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
EraPParams era => ToKeyValuePairs (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "ShelleyGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sgsCurProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just "sgsFutureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :*: (S1 ('MetaSel ('Just "sgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "sgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "sgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
type Share (ShelleyGovState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance

datadata BbodyEnv era

Constructors

BbodyEnv
- bbodyPp :: PParams era
- bbodyAccount :: ChainAccountState

newtypenewtype ShelleyBbodyEvent era

Constructors

LedgersEvent (Event (EraRule "LEDGERS" era))

Instances3Eq, Generic, Rep

Eq (Event (EraRule "LEDGERS" era)) => Eq (ShelleyBbodyEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
Generic (ShelleyBbodyEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
type Rep (ShelleyBbodyEvent era) = D1 ('MetaData "ShelleyBbodyEvent" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "LedgersEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "LEDGERS" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody

datadata ShelleyBbodyPredFailure era

Constructors

WrongBlockBodySizeBBODY (Mismatch RelEQ Int)
InvalidBodyHashBBODY (Mismatch RelEQ (Hash HASH EraIndependentBlockBody))
LedgersFailure (PredicateFailure (EraRule "LEDGERS" era))

Instances8InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) => Eq (ShelleyBbodyPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) => Show (ShelleyBbodyPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
Generic (ShelleyBbodyPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
NFData (PredicateFailure (EraRule "LEDGERS" era)) => NFData (ShelleyBbodyPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) => DecCBOR (ShelleyBbodyPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) => EncCBOR (ShelleyBbodyPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
type Rep (ShelleyBbodyPredFailure era) = D1 ('MetaData "ShelleyBbodyPredFailure" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" '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))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody

datadata ShelleyBbodyState era

Constructors

BbodyState !(State (EraRule "LEDGERS" era)) !BlocksMade

Instances4Eq, Show, Generic, Rep

Eq (State (EraRule "LEDGERS" era)) => Eq (ShelleyBbodyState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
Show (State (EraRule "LEDGERS" era)) => Show (ShelleyBbodyState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
Generic (ShelleyBbodyState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
type Rep (ShelleyBbodyState era) = D1 ('MetaData "ShelleyBbodyState" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "BbodyState" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (State (EraRule "LEDGERS" era))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlocksMade)))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody

datadata DelegEnv era

Constructors

DelegEnv
- slotNo :: SlotNo
- deCurEpochNo :: EpochNo
- ptr_ :: Ptr
- deChainAccountState :: ChainAccountState
- ppDE :: PParams era

Instances5Eq, Show, Generic, NFData, Rep

Eq (PParams era) => Eq (DelegEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
Show (PParams era) => Show (DelegEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
Generic (DelegEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
NFData (PParams era) => NFData (DelegEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
type Rep (DelegEnv era) = D1 ('MetaData "DelegEnv" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "DelegEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "slotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "deCurEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ptr_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ptr) :*: (S1 ('MetaSel ('Just "deChainAccountState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState) :*: S1 ('MetaSel ('Just "ppDE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg

newtypenewtype ShelleyDelegEvent era

Constructors

DelegNewEpoch EpochNo

Instances4Eq, Generic, NFData, Rep

Eq (ShelleyDelegEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
Generic (ShelleyDelegEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
NFData (ShelleyDelegEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
type Rep (ShelleyDelegEvent era) = D1 ('MetaData "ShelleyDelegEvent" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "DelegNewEpoch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg

datadata ShelleyDelegPredFailure era

Instances13InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
Eq (ShelleyDelegPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
Show (ShelleyDelegPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
Generic (ShelleyDelegPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
NFData (ShelleyDelegPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
(Era era, Typeable (Script era)) => DecCBOR (ShelleyDelegPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
Era era => EncCBOR (ShelleyDelegPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
type Rep (ShelleyDelegPredFailure era) = D1 ('MetaData "ShelleyDelegPredFailure" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) ((((C1 ('MetaCons "StakeKeyAlreadyRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Staking))) :+: C1 ('MetaCons "StakeKeyNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Staking)))) :+: (C1 ('MetaCons "StakeKeyNonZeroAccountBalanceDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "StakeDelegationImpossibleDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Staking))))) :+: ((C1 ('MetaCons "WrongCertificateTypeDELEG" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GenesisKeyNotInMappingDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash GenesisRole)))) :+: (C1 ('MetaCons "DuplicateGenesisDelegateDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash GenesisDelegate))) :+: C1 ('MetaCons "InsufficientForInstantaneousRewardsDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Coin)))))) :+: (((C1 ('MetaCons "MIRCertificateTooLateinEpochDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLT SlotNo))) :+: C1 ('MetaCons "DuplicateGenesisVRFDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash GenDelegVRF)))) :+: (C1 ('MetaCons "MIRTransferNotCurrentlyAllowed" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MIRNegativesNotCurrentlyAllowed" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "InsufficientForTransferDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Coin))) :+: C1 ('MetaCons "MIRProducesNegativeUpdate" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "MIRNegativeTransfer" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "DelegateeNotRegisteredDELEG" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool)))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg

datadata DelegsEnv era

Constructors

DelegsEnv
- delegsSlotNo :: SlotNo
- delegsEpochNo :: EpochNo
- delegsIx :: TxIx
- delegspp :: PParams era
- delegsTx :: Tx TopTx era
- delegsAccount :: ChainAccountState

Instances1Show

(Show (Tx TopTx era), Show (PParams era)) => Show (DelegsEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs

newtypenewtype ShelleyDelegsEvent era

Constructors

DelplEvent (Event (EraRule "DELPL" era))

Instances4Eq, Generic, NFData, Rep

Eq (Event (EraRule "DELPL" era)) => Eq (ShelleyDelegsEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
Generic (ShelleyDelegsEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
NFData (Event (EraRule "DELPL" era)) => NFData (ShelleyDelegsEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
type Rep (ShelleyDelegsEvent era) = D1 ('MetaData "ShelleyDelegsEvent" "Cardano.Ledger.Shelley.Rules.Delegs" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "DelplEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELPL" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs

newtypenewtype ShelleyDelegsPredFailure era

Constructors

DelplFailure (PredicateFailure (EraRule "DELPL" era))

Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
Eq (PredicateFailure (EraRule "DELPL" era)) => Eq (ShelleyDelegsPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
Show (PredicateFailure (EraRule "DELPL" era)) => Show (ShelleyDelegsPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
Generic (ShelleyDelegsPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
NFData (PredicateFailure (EraRule "DELPL" era)) => NFData (ShelleyDelegsPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
(Era era, DecCBOR (PredicateFailure (EraRule "DELPL" era)), Typeable (Script era)) => DecCBOR (ShelleyDelegsPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
(Era era, EncCBOR (PredicateFailure (EraRule "DELPL" era))) => EncCBOR (ShelleyDelegsPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
type Rep (ShelleyDelegsPredFailure era) = D1 ('MetaData "ShelleyDelegsPredFailure" "Cardano.Ledger.Shelley.Rules.Delegs" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "DelplFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELPL" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs

datadata DelplEnv era

Constructors

DelplEnv
- delplSlotNo :: SlotNo
- delplEpochNo :: EpochNo
- delPlPtr :: Ptr
- delPlPp :: PParams era
- delPlAccount :: ChainAccountState

datadata ShelleyDelplEvent era

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "POOL" era))) => Eq (ShelleyDelplEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
Generic (ShelleyDelplEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
(NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "POOL" era))) => NFData (ShelleyDelplEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
type Rep (ShelleyDelplEvent era) = D1 ('MetaData "ShelleyDelplEvent" "Cardano.Ledger.Shelley.Rules.Delpl" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl

datadata ShelleyDelplPredFailure era

Constructors

PoolFailure (PredicateFailure (EraRule "POOL" era))
DelegFailure (PredicateFailure (EraRule "DELEG" era))

Instances12InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
(Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era))) => Eq (ShelleyDelplPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
(Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era))) => Show (ShelleyDelplPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
Generic (ShelleyDelplPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
(NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era))) => NFData (ShelleyDelplPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
(Era era, DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "DELEG" era)), Typeable (Script era)) => DecCBOR (ShelleyDelplPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
(Era era, EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "DELEG" era))) => EncCBOR (ShelleyDelplPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
type Rep (ShelleyDelplPredFailure era) = D1 ('MetaData "ShelleyDelplPredFailure" "Cardano.Ledger.Shelley.Rules.Delpl" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl

datadata ShelleyEpochEvent era

Constructors

PoolReapEvent (Event (EraRule "POOLREAP" era))
SnapEvent (Event (EraRule "SNAP" era))
UpecEvent (Event (EraRule "UPEC" era))

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "UPEC" era))) => Eq (ShelleyEpochEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch
Generic (ShelleyEpochEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch
(NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "UPEC" era))) => NFData (ShelleyEpochEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch
type Rep (ShelleyEpochEvent era) = D1 ('MetaData "ShelleyEpochEvent" "Cardano.Ledger.Shelley.Rules.Epoch" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "PoolReapEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOLREAP" era)))) :+: (C1 ('MetaCons "SnapEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SNAP" era)))) :+: C1 ('MetaCons "UpecEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UPEC" era))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch

datadata LedgerEnv era

Constructors

LedgerEnv
- ledgerSlotNo :: SlotNo
- ledgerEpochNo :: Maybe EpochNo
- ledgerIx :: TxIx
- ledgerPp :: PParams era
- ledgerAccount :: ChainAccountState

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

Eq (PParams era) => Eq (LedgerEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
Show (PParams era) => Show (LedgerEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
Generic (LedgerEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
NFData (PParams era) => NFData (LedgerEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
EraPParams era => EncCBOR (LedgerEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
type Rep (LedgerEnv era) = D1 ('MetaData "LedgerEnv" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "LedgerEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgerSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgerEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EpochNo))) :*: (S1 ('MetaSel ('Just "ledgerIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIx) :*: (S1 ('MetaSel ('Just "ledgerPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgerAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger

datadata ShelleyLedgerEvent era

Constructors

UtxowEvent (Event (EraRule "UTXOW" era))
DelegsEvent (Event (EraRule "DELEGS" era))

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "DELEGS" era))) => Eq (ShelleyLedgerEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
Generic (ShelleyLedgerEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
(NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "DELEGS" era))) => NFData (ShelleyLedgerEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
type Rep (ShelleyLedgerEvent era) = D1 ('MetaData "ShelleyLedgerEvent" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "DelegsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEGS" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger

datadata ShelleyLedgerPredFailure era

Constructors

UtxowFailure (PredicateFailure (EraRule "UTXOW" era))
DelegsFailure (PredicateFailure (EraRule "DELEGS" era))
ShelleyWithdrawalsMissingAccounts Withdrawals
ShelleyIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch RelEQ Coin))

Instances10InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
(Eq (PredicateFailure (EraRule "DELEGS" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Era era) => Eq (ShelleyLedgerPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
(Show (PredicateFailure (EraRule "DELEGS" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Era era) => Show (ShelleyLedgerPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
Generic (ShelleyLedgerPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
(NFData (PredicateFailure (EraRule "DELEGS" era)), NFData (PredicateFailure (EraRule "UTXOW" era)), Era era) => NFData (ShelleyLedgerPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
(DecCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) => DecCBOR (ShelleyLedgerPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
(EncCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) => EncCBOR (ShelleyLedgerPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
type Rep (ShelleyLedgerPredFailure era) = D1 ('MetaData "ShelleyLedgerPredFailure" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) ((C1 ('MetaCons "UtxowFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "DelegsFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEGS" era))))) :+: (C1 ('MetaCons "ShelleyWithdrawalsMissingAccounts" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Withdrawals)) :+: C1 ('MetaCons "ShelleyIncompleteWithdrawals" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap AccountAddress (Mismatch RelEQ Coin))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger

datadata ShelleyLedgersEnv era

Constructors

LedgersEnv
- ledgersSlotNo :: SlotNo
- ledgersEpochNo :: EpochNo
- ledgersPp :: PParams era
- ledgersAccount :: ChainAccountState

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

Eq (PParamsHKD Identity era) => Eq (ShelleyLedgersEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
Show (PParamsHKD Identity era) => Show (ShelleyLedgersEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
Generic (ShelleyLedgersEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
NFData (PParamsHKD Identity era) => NFData (ShelleyLedgersEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
EraPParams era => EncCBOR (ShelleyLedgersEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
type Rep (ShelleyLedgersEnv era) = D1 ('MetaData "ShelleyLedgersEnv" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "LedgersEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgersSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgersEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ledgersPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgersAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers

newtypenewtype ShelleyLedgersEvent era

Constructors

LedgerEvent (Event (EraRule "LEDGER" era))

Instances3Eq, Generic, Rep

Eq (Event (EraRule "LEDGER" era)) => Eq (ShelleyLedgersEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
Generic (ShelleyLedgersEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
type Rep (ShelleyLedgersEvent era) = D1 ('MetaData "ShelleyLedgersEvent" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "LedgerEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "LEDGER" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers

newtypenewtype ShelleyLedgersPredFailure era

Constructors

LedgerFailure (PredicateFailure (EraRule "LEDGER" era))

Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
(Era era, Eq (PredicateFailure (EraRule "LEDGER" era))) => Eq (ShelleyLedgersPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
(Era era, Show (PredicateFailure (EraRule "LEDGER" era))) => Show (ShelleyLedgersPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
Generic (ShelleyLedgersPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
NFData (PredicateFailure (EraRule "LEDGER" era)) => NFData (ShelleyLedgersPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) => DecCBOR (ShelleyLedgersPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) => EncCBOR (ShelleyLedgersPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
type Rep (ShelleyLedgersPredFailure era) = D1 ('MetaData "ShelleyLedgersPredFailure" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "LedgerFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGER" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers

datadata ShelleyMirEvent era

Constructors

Instances4Eq, Generic, NFData, Rep

Eq (ShelleyMirEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir
Generic (ShelleyMirEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir
NFData (ShelleyMirEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir
type Rep (ShelleyMirEvent era) = D1 ('MetaData "ShelleyMirEvent" "Cardano.Ledger.Shelley.Rules.Mir" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "MirTransfer" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstantaneousRewards)) :+: C1 ('MetaCons "NoMirTransfer" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstantaneousRewards) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir

datadata ShelleyNewEpochEvent era

Constructors

DeltaRewardEvent (Event (EraRule "RUPD" era))
RestrainedRewards EpochNo (Map (Credential Staking) (Set Reward)) (Set (Credential Staking))
TotalRewardEvent EpochNo (Map (Credential Staking) (Set Reward))
EpochEvent (Event (EraRule "EPOCH" era))
MirEvent (Event (EraRule "MIR" era))
TotalAdaPotsEvent AdaPots

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "MIR" era)), Eq (Event (EraRule "RUPD" era))) => Eq (ShelleyNewEpochEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch
Generic (ShelleyNewEpochEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch
(NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "MIR" era)), NFData (Event (EraRule "RUPD" era))) => NFData (ShelleyNewEpochEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch
type Rep (ShelleyNewEpochEvent era) = D1 ('MetaData "ShelleyNewEpochEvent" "Cardano.Ledger.Shelley.Rules.NewEpoch" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "RUPD" era)))) :+: (C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential Staking) (Set Reward))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential Staking))))) :+: C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential Staking) (Set Reward)))))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "EPOCH" era)))) :+: (C1 ('MetaCons "MirEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "MIR" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdaPots)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch

datadata NewppEnv era

Constructors

NewppEnv
- neCertState :: CertState era
- neUTxOState :: UTxOState era

datadata ShelleyNewppState era

Constructors

NewppState (PParams era) (ShelleyGovState era)

Instances1Default

EraPParams era => Default (ShelleyNewppState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp

datadata PoolEnv era

Constructors

PoolEnv EpochNo (PParams era)

Instances6Eq, Show, Generic, NFData, EncCBOR, Rep

Eq (PParams era) => Eq (PoolEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Show (PParams era) => Show (PoolEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Generic (PoolEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
NFData (PParams era) => NFData (PoolEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
EraPParams era => EncCBOR (PoolEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
type Rep (PoolEnv era) = D1 ('MetaData "PoolEnv" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "PoolEnv" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool

datadata PoolEvent era

Constructors

RegisterPool (KeyHash StakePool)
ReregisterPool (KeyHash StakePool)

Instances5InjectRuleEvent, Eq, Generic, NFData, Rep

InjectRuleEvent "POOL" PoolEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Eq (PoolEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Generic (PoolEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
NFData (PoolEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
type Rep (PoolEvent era) = D1 ('MetaData "PoolEvent" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "RegisterPool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool))) :+: C1 ('MetaCons "ReregisterPool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool

datadata ShelleyPoolPredFailure era

Instances13InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Eq (ShelleyPoolPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Show (ShelleyPoolPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Generic (ShelleyPoolPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
NFData (ShelleyPoolPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Era era => DecCBOR (ShelleyPoolPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
Era era => EncCBOR (ShelleyPoolPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
type Rep (ShelleyPoolPredFailure era) = D1 ('MetaData "ShelleyPoolPredFailure" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) ((C1 ('MetaCons "StakePoolNotRegisteredOnKeyPOOL" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool))) :+: (C1 ('MetaCons "StakePoolRetirementWrongEpochPOOL" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGT EpochNo)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ EpochNo))) :+: C1 ('MetaCons "StakePoolCostTooLowPOOL" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGTEQ Coin))))) :+: (C1 ('MetaCons "WrongNetworkPOOL" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ Network)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool))) :+: (C1 ('MetaCons "PoolMedataHashTooBig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "VRFKeyHashAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VRFVerKeyHash StakePoolVRF))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool

datadata ShelleyPoolreapEvent era

Constructors

RetiredPools
- refundPools :: Map (Credential Staking) (Map (KeyHash StakePool) (CompactForm Coin))
- unclaimedPools :: Map (Credential Staking) (Map (KeyHash StakePool) (CompactForm Coin))
- epochNo :: EpochNo

Instances4Eq, Generic, NFData, Rep

Eq (ShelleyPoolreapEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap
Generic (ShelleyPoolreapEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap
NFData (ShelleyPoolreapEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap
type Rep (ShelleyPoolreapEvent era) = D1 ('MetaData "ShelleyPoolreapEvent" "Cardano.Ledger.Shelley.Rules.PoolReap" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "RetiredPools" 'PrefixI 'True) (S1 ('MetaSel ('Just "refundPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential Staking) (Map (KeyHash StakePool) (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "unclaimedPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential Staking) (Map (KeyHash StakePool) (CompactForm Coin)))) :*: S1 ('MetaSel ('Just "epochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap

datadata ShelleyPoolreapState era

Constructors

PoolreapState
- prUTxOSt :: UTxOState era
- prChainAccountState :: ChainAccountState
- prCertState :: CertState era

Instances2Show, Default

(Show (UTxOState era), Show (CertState era)) => Show (ShelleyPoolreapState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap
(Default (UTxOState era), Default (CertState era)) => Default (ShelleyPoolreapState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap

datadata PpupEnv era

Constructors

PPUPEnv SlotNo (PParams era) GenDelegs

newtypenewtype PpupEvent era

Constructors

PpupNewEpoch EpochNo

Instances4Eq, Generic, NFData, Rep

Eq (PpupEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
Generic (PpupEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
NFData (PpupEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
type Rep (PpupEvent era) = D1 ('MetaData "PpupEvent" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "PpupNewEpoch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup

datadata ShelleyPpupPredFailure era

Constructors

NonGenesisUpdatePPUP (Mismatch RelSubset (Set (KeyHash GenesisRole)))
PPUpdateWrongEpoch EpochNo EpochNo VotingPeriod
PVCannotFollowPPUP ProtVer

Instances13InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
Eq (ShelleyPpupPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
Show (ShelleyPpupPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
Generic (ShelleyPpupPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
NFData (ShelleyPpupPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
Era era => DecCBOR (ShelleyPpupPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
Era era => EncCBOR (ShelleyPpupPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
type Rep (ShelleyPpupPredFailure era) = D1 ('MetaData "ShelleyPpupPredFailure" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "NonGenesisUpdatePPUP" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelSubset (Set (KeyHash GenesisRole))))) :+: (C1 ('MetaCons "PPUpdateWrongEpoch" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VotingPeriod))) :+: C1 ('MetaCons "PVCannotFollowPPUP" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup

datadata VotingPeriod

VoteForThisEpoch VoteForNextEpoch

Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq VotingPeriodDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
Show VotingPeriodDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
Generic VotingPeriodDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
NFData VotingPeriodDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
NoThunks VotingPeriodDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
DecCBOR VotingPeriodDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
EncCBOR VotingPeriodDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
type Rep VotingPeriod = D1 ('MetaData "VotingPeriod" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "VoteForThisEpoch" 'PrefixI 'False) U1 :+: C1 ('MetaCons "VoteForNextEpoch" 'PrefixI 'False) U1)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup

datadata RupdEnv era

Constructors

RupdEnv BlocksMade (EpochState era)

datadata RupdEvent

Constructors

RupdEvent !EpochNo !(Map (Credential Staking) (Set Reward))

Instances4Eq, Generic, NFData, Rep

Eq RupdEventDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd
Generic RupdEventDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd
NFData RupdEventDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd
type Rep RupdEvent = D1 ('MetaData "RupdEvent" "Cardano.Ledger.Shelley.Rules.Rupd" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "RupdEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential Staking) (Set Reward)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd

datadata SnapEnv era

Constructors

SnapEnv (LedgerState era) (PParams era)

newtypenewtype SnapEvent era

Constructors

StakeDistEvent (Map (Credential Staking) (Coin, KeyHash StakePool))

Instances4Eq, Generic, NFData, Rep

Eq (SnapEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap
Generic (SnapEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap
NFData (SnapEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap
type Rep (SnapEvent era) = D1 ('MetaData "SnapEvent" "Cardano.Ledger.Shelley.Rules.Snap" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "StakeDistEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential Staking) (Coin, KeyHash StakePool)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap

datadata ShelleyTickEvent era

Constructors

TickNewEpochEvent (Event (EraRule "NEWEPOCH" era))
TickRupdEvent (Event (EraRule "RUPD" era))

Instances4Eq, Generic, NFData, Rep

(Eq (Event (EraRule "NEWEPOCH" era)), Eq (Event (EraRule "RUPD" era))) => Eq (ShelleyTickEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick
Generic (ShelleyTickEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick
(NFData (Event (EraRule "NEWEPOCH" era)), NFData (Event (EraRule "RUPD" era))) => NFData (ShelleyTickEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick
type Rep (ShelleyTickEvent era) = D1 ('MetaData "ShelleyTickEvent" "Cardano.Ledger.Shelley.Rules.Tick" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "TickNewEpochEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "NEWEPOCH" era)))) :+: C1 ('MetaCons "TickRupdEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "RUPD" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick

datadata UpecState era

Constructors

UpecState
- usCurPParams :: !PParams era
- usGovState :: !ShelleyGovState era

Instances1Show

(Show (PParams era), Show (PParamsUpdate era)) => Show (UpecState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec

datadata ShelleyUtxoPredFailure era

Constructors

BadInputsUTxO (NonEmptySet TxIn)
ExpiredUTxO (Mismatch RelLTEQ SlotNo)
MaxTxSizeUTxO (Mismatch RelLTEQ Word32)
InputSetEmptyUTxO
FeeTooSmallUTxO (Mismatch RelGTEQ Coin)
ValueNotConservedUTxO (Mismatch RelEQ (Value era))
WrongNetwork Network (NonEmptySet Addr)
WrongNetworkWithdrawal Network (NonEmptySet AccountAddress)
OutputTooSmallUTxO (NonEmpty (TxOut era))
UpdateFailure (EraRuleFailure "PPUP" era)
OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))

Instances12InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Eq (Value era), Eq (TxOut era), Eq (EraRuleFailure "PPUP" era)) => Eq (ShelleyUtxoPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Show (Value era), Show (TxOut era), Show (EraRuleFailure "PPUP" era)) => Show (ShelleyUtxoPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
Generic (ShelleyUtxoPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Era era, NFData (Value era), NFData (TxOut era), NFData (EraRuleFailure "PPUP" era)) => NFData (ShelleyUtxoPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(EraTxOut era, DecCBOR (EraRuleFailure "PPUP" era)) => DecCBOR (ShelleyUtxoPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Era era, EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (EraRuleFailure "PPUP" era)) => EncCBOR (ShelleyUtxoPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
type Rep (ShelleyUtxoPredFailure era) = D1 ('MetaData "ShelleyUtxoPredFailure" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: C1 ('MetaCons "ExpiredUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ 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 "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))))) :+: (C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: (C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era))) :+: C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era))))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo

datadata UtxoEnv era

Constructors

UtxoEnv
- ueSlot :: SlotNo
- uePParams :: PParams era
- ueCertState :: CertState era

Instances7Eq, Show, Generic, NFData, DecCBOR, EncCBOR, …

(Eq (PParams era), Eq (CertState era)) => Eq (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Show (PParams era), Show (CertState era)) => Show (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
Generic (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Era era, NFData (PParams era), NFData (CertState era)) => NFData (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(EraPParams era, EraCertState era, Typeable (CertState era)) => DecCBOR (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(EraPParams era, EraCertState era) => EncCBOR (UtxoEnv era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
type Rep (UtxoEnv era) = D1 ('MetaData "UtxoEnv" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "UtxoEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo

datadata UtxoEvent era

Constructors

TotalDeposits (SafeHash EraIndependentTxBody) Coin
UpdateEvent (Event (EraRule "PPUP" era))
TxUTxODiff (UTxO era) (UTxO era)

Instances4Eq, Generic, NFData, Rep

(Era era, Eq (TxOut era), Eq (Event (EraRule "PPUP" era))) => Eq (UtxoEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
Generic (UtxoEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
(Era era, NFData (Event (EraRule "PPUP" era)), NFData (TxOut era)) => NFData (UtxoEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
type Rep (UtxoEvent era) = D1 ('MetaData "UtxoEvent" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" '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 "UpdateEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "PPUP" era)))) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo

newtypenewtype ShelleyUtxowEvent era

Constructors

UtxoEvent (Event (EraRule "UTXO" era))

Instances4Eq, Generic, NFData, Rep

Eq (Event (EraRule "UTXO" era)) => Eq (ShelleyUtxowEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
Generic (ShelleyUtxowEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
NFData (Event (EraRule "UTXO" era)) => NFData (ShelleyUtxowEvent era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
type Rep (ShelleyUtxowEvent era) = D1 ('MetaData "ShelleyUtxowEvent" "Cardano.Ledger.Shelley.Rules.Utxow" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "UtxoEvent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXO" era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow

datadata ShelleyUtxowPredFailure era

Instances11InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
(Eq (PredicateFailure (EraRule "UTXO" era)), Era era) => Eq (ShelleyUtxowPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
(Show (PredicateFailure (EraRule "UTXO" era)), Era era) => Show (ShelleyUtxowPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
Generic (ShelleyUtxowPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
(NFData (PredicateFailure (EraRule "UTXO" era)), Era era) => NFData (ShelleyUtxowPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
(Era era, DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) => DecCBOR (ShelleyUtxowPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
(Era era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) => EncCBOR (ShelleyUtxowPredFailure era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
type Rep (ShelleyUtxowPredFailure era) = D1 ('MetaData "ShelleyUtxowPredFailure" "Cardano.Ledger.Shelley.Rules.Utxow" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (((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 "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era))))))) :+: ((C1 ('MetaCons "MIRInsufficientGenesisSigsUTXOW" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash Witness)))) :+: (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)))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow

familytype family State a

Instances21State, …

type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type State (DELEG era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type State (DELEGS era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type State (DELPL era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type State (EPOCH era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type State (MIR era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type State (NEWEPOCH era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type State (NEWPP era) = ShelleyNewppState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type State (POOL era) = PState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type State (POOLREAP era) = ShelleyPoolreapState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type State (PPUP era) = ShelleyGovState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type State (RUPD era) = StrictMaybe PulsingRewUpdateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type State (SNAP era) = SnapShots eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type State (TICK era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type State (TICKF era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type State (UPEC era) = UpecState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type State (UTXO era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type State (STUB e st si f m) = stDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended

familytype family State a

Instances21State, …

type State (BBODY era) = ShelleyBbodyState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type State (DELEG era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type State (DELEGS era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type State (DELPL era) = CertState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type State (EPOCH era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Epoch · orphan
type State (LEDGER era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type State (LEDGERS era) = LedgerState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type State (MIR era) = EpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Mir · orphan
type State (NEWEPOCH era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type State (NEWPP era) = ShelleyNewppState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Newpp · orphan
type State (POOL era) = PState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type State (POOLREAP era) = ShelleyPoolreapState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type State (PPUP era) = ShelleyGovState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type State (RUPD era) = StrictMaybe PulsingRewUpdateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Rupd · orphan
type State (SNAP era) = SnapShots eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Snap · orphan
type State (TICK era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type State (TICKF era) = NewEpochState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type State (UPEC era) = UpecState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Upec · orphan
type State (UTXO era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type State (UTXOW era) = UTxOState eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type State (STUB e st si f m) = stDefined in small-steps-1.1.4.0 · Control.State.Transition.Extended