Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Era

Documentation

data ShelleyEra c Source #

Instances

Instances details

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEG" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "POOL" (ShelleyEra c) Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "PPUP" (ShelleyEra c) Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "UTXO" (ShelleyEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "UTXO" (ShelleyEra c) Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #
Crypto c ⇒ FromJSON (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (ShelleyEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (ShelleyEra c)] Source # omittedField ∷ Maybe (TransitionConfig (ShelleyEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toJSON ∷ TransitionConfig (ShelleyEra c) → Value Source # toEncoding ∷ TransitionConfig (ShelleyEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (ShelleyEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (ShelleyEra c)] → Encoding Source # omitField ∷ TransitionConfig (ShelleyEra c) → Bool Source #
Generic (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig (ShelleyEra c)) ∷ Type → Type Source # Methods from ∷ TransitionConfig (ShelleyEra c) → Rep (TransitionConfig (ShelleyEra c)) x Source # to ∷ Rep (TransitionConfig (ShelleyEra c)) x → TransitionConfig (ShelleyEra c) Source #
Crypto c ⇒ Show (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig (ShelleyEra c) → ShowS Source # show ∷ TransitionConfig (ShelleyEra c) → String Source # showList ∷ [TransitionConfig (ShelleyEra c)] → ShowS Source #
Crypto c ⇒ EraScript (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Associated Types type Script (ShelleyEra c) = (r ∷ Type) Source # type NativeScript (ShelleyEra c) = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra (ShelleyEra c)) → Script (ShelleyEra c) Source # scriptPrefixTag ∷ Script (ShelleyEra c) → ByteString Source # getNativeScript ∷ Script (ShelleyEra c) → Maybe (NativeScript (ShelleyEra c)) Source # fromNativeScript ∷ NativeScript (ShelleyEra c) → Script (ShelleyEra c) Source #
Crypto c ⇒ EraSegWits (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain Associated Types type TxSeq (ShelleyEra c) = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq (ShelleyEra c) → StrictSeq (Tx (ShelleyEra c)) Source # toTxSeq ∷ StrictSeq (Tx (ShelleyEra c)) → TxSeq (ShelleyEra c) Source # hashTxSeq ∷ TxSeq (ShelleyEra c) → Hash (HASH (EraCrypto (ShelleyEra c))) EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
Crypto c ⇒ EraTx (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Tx (ShelleyEra c) = (r ∷ Type) Source # type TxUpgradeError (ShelleyEra c) Source # Methods mkBasicTx ∷ TxBody (ShelleyEra c) → Tx (ShelleyEra c) Source # bodyTxL ∷ Lens' (Tx (ShelleyEra c)) (TxBody (ShelleyEra c)) Source # witsTxL ∷ Lens' (Tx (ShelleyEra c)) (TxWits (ShelleyEra c)) Source # auxDataTxL ∷ Lens' (Tx (ShelleyEra c)) (StrictMaybe (AuxiliaryData (ShelleyEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (ShelleyEra c)) Integer Source # validateNativeScript ∷ Tx (ShelleyEra c) → NativeScript (ShelleyEra c) → Bool Source # getMinFeeTx ∷ PParams (ShelleyEra c) → Tx (ShelleyEra c) → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra (ShelleyEra c)) → Either (TxUpgradeError (ShelleyEra c)) (Tx (ShelleyEra c)) Source #
Crypto c ⇒ EraTxAuxData (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type TxAuxData (ShelleyEra c) = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData (ShelleyEra c) Source # metadataTxAuxDataL ∷ Lens' (TxAuxData (ShelleyEra c)) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra (ShelleyEra c)) → TxAuxData (ShelleyEra c) Source # hashTxAuxData ∷ TxAuxData (ShelleyEra c) → AuxiliaryDataHash (EraCrypto (ShelleyEra c)) Source # validateTxAuxData ∷ ProtVer → TxAuxData (ShelleyEra c) → Bool Source #
Crypto c ⇒ EraTxBody (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type TxBody (ShelleyEra c) = (r ∷ Type) Source # type TxBodyUpgradeError (ShelleyEra c) Source # Methods mkBasicTxBody ∷ TxBody (ShelleyEra c) Source # inputsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (Set (TxIn (EraCrypto (ShelleyEra c)))) Source # outputsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictSeq (TxOut (ShelleyEra c))) Source # feeTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (Withdrawals (EraCrypto (ShelleyEra c))) Source # auxDataHashTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (ShelleyEra c)))) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody (ShelleyEra c)) (Set (TxIn (EraCrypto (ShelleyEra c)))) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody (ShelleyEra c)) (Set (TxIn (EraCrypto (ShelleyEra c)))) Source # certsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictSeq (TxCert (ShelleyEra c))) Source # getTotalDepositsTxBody ∷ PParams (ShelleyEra c) → (KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → Bool) → TxBody (ShelleyEra c) → Coin Source # getTotalRefundsTxBody ∷ PParams (ShelleyEra c) → (Credential 'Staking (EraCrypto (ShelleyEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ShelleyEra c)) → Maybe Coin) → TxBody (ShelleyEra c) → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody (ShelleyEra c) → Int Source # upgradeTxBody ∷ TxBody (PreviousEra (ShelleyEra c)) → Either (TxBodyUpgradeError (ShelleyEra c)) (TxBody (ShelleyEra c)) Source #
Crypto crypto ⇒ EraTxOut (ShelleyEra crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Associated Types type TxOut (ShelleyEra crypto) = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr (EraCrypto (ShelleyEra crypto)) → Value (ShelleyEra crypto) → TxOut (ShelleyEra crypto) Source # upgradeTxOut ∷ TxOut (PreviousEra (ShelleyEra crypto)) → TxOut (ShelleyEra crypto) Source # valueTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Value (ShelleyEra crypto)) Source # compactValueTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (CompactForm (Value (ShelleyEra crypto))) Source # valueEitherTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Either (Value (ShelleyEra crypto)) (CompactForm (Value (ShelleyEra crypto)))) Source # addrTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Addr (EraCrypto (ShelleyEra crypto))) Source # compactAddrTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (CompactAddr (EraCrypto (ShelleyEra crypto))) Source # addrEitherTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Either (Addr (EraCrypto (ShelleyEra crypto))) (CompactAddr (EraCrypto (ShelleyEra crypto)))) Source # getMinCoinSizedTxOut ∷ PParams (ShelleyEra crypto) → Sized (TxOut (ShelleyEra crypto)) → Coin Source # getMinCoinTxOut ∷ PParams (ShelleyEra crypto) → TxOut (ShelleyEra crypto) → Coin Source #
Crypto c ⇒ EraTxWits (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type TxWits (ShelleyEra c) = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits (ShelleyEra c) Source # addrTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Set (WitVKey 'Witness (EraCrypto (ShelleyEra c)))) Source # bootAddrTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Set (BootstrapWitness (EraCrypto (ShelleyEra c)))) Source # scriptTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Map (ScriptHash (EraCrypto (ShelleyEra c))) (Script (ShelleyEra c))) Source # upgradeTxWits ∷ TxWits (PreviousEra (ShelleyEra c)) → TxWits (ShelleyEra c) Source #
Crypto c ⇒ Era (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era Associated Types type EraCrypto (ShelleyEra c) Source # type PreviousEra (ShelleyEra c) = (r ∷ Type) Source # type ProtVerLow (ShelleyEra c) ∷ Nat Source # type ProtVerHigh (ShelleyEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ EraPParams (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Associated Types type PParamsHKD f (ShelleyEra c) = (r ∷ Type) Source # type UpgradePParams f (ShelleyEra c) Source # type DowngradePParams f (ShelleyEra c) Source # Methods applyPPUpdates ∷ PParams (ShelleyEra c) → PParamsUpdate (ShelleyEra c) → PParams (ShelleyEra c) Source # emptyPParamsIdentity ∷ PParamsHKD Identity (ShelleyEra c) Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (ShelleyEra c) Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (ShelleyEra c))) ⇒ UpgradePParams f (ShelleyEra c) → PParamsHKD f (PreviousEra (ShelleyEra c)) → PParamsHKD f (ShelleyEra c) Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (ShelleyEra c))) ⇒ DowngradePParams f (ShelleyEra c) → PParamsHKD f (ShelleyEra c) → PParamsHKD f (PreviousEra (ShelleyEra c)) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Natural) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 6) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams (ShelleyEra c)) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 6) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 8) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams (ShelleyEra c)) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate (ShelleyEra c)) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 4) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source #
Crypto c ⇒ EraTxCert (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type TxCert (ShelleyEra c) = (r ∷ Type) Source # type TxCertUpgradeError (ShelleyEra c) Source # Methods upgradeTxCert ∷ TxCert (PreviousEra (ShelleyEra c)) → Either (TxCertUpgradeError (ShelleyEra c)) (TxCert (ShelleyEra c)) Source # getVKeyWitnessTxCert ∷ TxCert (ShelleyEra c) → Maybe (KeyHash 'Witness (EraCrypto (ShelleyEra c))) Source # getScriptWitnessTxCert ∷ TxCert (ShelleyEra c) → Maybe (ScriptHash (EraCrypto (ShelleyEra c))) Source # mkRegPoolTxCert ∷ PoolParams (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getRegPoolTxCert ∷ TxCert (ShelleyEra c) → Maybe (PoolParams (EraCrypto (ShelleyEra c))) Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → EpochNo → TxCert (ShelleyEra c) Source # getRetirePoolTxCert ∷ TxCert (ShelleyEra c) → Maybe (KeyHash 'StakePool (EraCrypto (ShelleyEra c)), EpochNo) Source # lookupRegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (Credential 'Staking (EraCrypto (ShelleyEra c))) Source # lookupUnRegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (Credential 'Staking (EraCrypto (ShelleyEra c))) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams (ShelleyEra c) → (KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → Bool) → f (TxCert (ShelleyEra c)) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams (ShelleyEra c) → (Credential 'Staking (EraCrypto (ShelleyEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ShelleyEra c)) → Maybe Coin) → f (TxCert (ShelleyEra c)) → Coin Source #
Crypto c ⇒ EraUTxO (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO Associated Types type ScriptsNeeded (ShelleyEra c) = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams (ShelleyEra c) → (Credential 'Staking (EraCrypto (ShelleyEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ShelleyEra c)) → Maybe Coin) → UTxO (ShelleyEra c) → TxBody (ShelleyEra c) → Value (ShelleyEra c) Source # getProducedValue ∷ PParams (ShelleyEra c) → (KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → Bool) → TxBody (ShelleyEra c) → Value (ShelleyEra c) Source # getScriptsProvided ∷ UTxO (ShelleyEra c) → Tx (ShelleyEra c) → ScriptsProvided (ShelleyEra c) Source # getScriptsNeeded ∷ UTxO (ShelleyEra c) → TxBody (ShelleyEra c) → ScriptsNeeded (ShelleyEra c) Source # getScriptsHashesNeeded ∷ ScriptsNeeded (ShelleyEra c) → Set (ScriptHash (EraCrypto (ShelleyEra c))) Source # getWitsVKeyNeeded ∷ CertState (ShelleyEra c) → UTxO (ShelleyEra c) → TxBody (ShelleyEra c) → Set (KeyHash 'Witness (EraCrypto (ShelleyEra c))) Source # getMinFeeTxUtxo ∷ PParams (ShelleyEra c) → Tx (ShelleyEra c) → UTxO (ShelleyEra c) → Coin Source #
Crypto c ⇒ CanStartFromGenesis (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis Associated Types type AdditionalGenesisConfig (ShelleyEra c) Source # Methods fromShelleyPParams ∷ AdditionalGenesisConfig (ShelleyEra c) → PParams (ShelleyEra (EraCrypto (ShelleyEra c))) → PParams (ShelleyEra c) Source # initialState ∷ ShelleyGenesis (EraCrypto (ShelleyEra c)) → AdditionalGenesisConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #
(EraPParams (ShelleyEra c), DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Tx (ShelleyEra c) → m (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source # reapplyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Validated (Tx (ShelleyEra c)) → m (MempoolState (ShelleyEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (ShelleyEra c)) (NewEpochState (ShelleyEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ShelleyEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → m (EventReturnType ep (EraRule "BBODY" (ShelleyEra c)) (NewEpochState (ShelleyEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #
Crypto c ⇒ EraGov (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovState (ShelleyEra c) = (r ∷ Type) Source # Methods emptyGovState ∷ GovState (ShelleyEra c) Source # getProposedPPUpdates ∷ GovState (ShelleyEra c) → Maybe (ProposedPPUpdates (ShelleyEra c)) Source # curPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source # prevPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source # futurePParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (FuturePParams (ShelleyEra c)) Source # obligationGovState ∷ GovState (ShelleyEra c) → Obligations Source #
Crypto c ⇒ EraTransition (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types data TransitionConfig (ShelleyEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (ShelleyEra c) → TransitionConfig (PreviousEra (ShelleyEra c)) → TransitionConfig (ShelleyEra c) Source # injectIntoTestState ∷ TransitionConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) → NewEpochState (ShelleyEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TransitionConfig (PreviousEra (ShelleyEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TranslationContext (ShelleyEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (ShelleyEra c)) (ShelleyGenesis (EraCrypto (ShelleyEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (ShelleyEra c)) (PParams (ShelleyEra c)) Source #
Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source #
Crypto c ⇒ ShelleyEraTxCert (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkUnRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getUnRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getDelegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c)), KeyHash 'StakePool (EraCrypto (ShelleyEra c))) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getGenesisDelegTxCert ∷ TxCert (ShelleyEra c) → Maybe (GenesisDelegCert (EraCrypto (ShelleyEra c))) Source # mkMirTxCert ∷ MIRCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getMirTxCert ∷ TxCert (ShelleyEra c) → Maybe (MIRCert (EraCrypto (ShelleyEra c))) Source #
Crypto c ⇒ Eq (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods (==) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool Source # (/=) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool Source #
Crypto c ⇒ NoThunks (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (ShelleyEra c)) → String Source #
type EraRule "BBODY" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "BBODY" (ShelleyEra c) = ShelleyBBODY (ShelleyEra c)
type EraRule "DELEG" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEG" (ShelleyEra c) = ShelleyDELEG (ShelleyEra c)
type EraRule "DELEGS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEGS" (ShelleyEra c) = ShelleyDELEGS (ShelleyEra c)
type EraRule "DELPL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELPL" (ShelleyEra c) = ShelleyDELPL (ShelleyEra c)
type EraRule "EPOCH" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "EPOCH" (ShelleyEra c) = ShelleyEPOCH (ShelleyEra c)
type EraRule "LEDGER" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGER" (ShelleyEra c) = ShelleyLEDGER (ShelleyEra c)
type EraRule "LEDGERS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGERS" (ShelleyEra c) = ShelleyLEDGERS (ShelleyEra c)
type EraRule "MIR" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "MIR" (ShelleyEra c) = ShelleyMIR (ShelleyEra c)
type EraRule "NEWEPOCH" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWEPOCH" (ShelleyEra c) = ShelleyNEWEPOCH (ShelleyEra c)
type EraRule "NEWPP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWPP" (ShelleyEra c) = ShelleyNEWPP (ShelleyEra c)
type EraRule "POOL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOL" (ShelleyEra c) = ShelleyPOOL (ShelleyEra c)
type EraRule "POOLREAP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOLREAP" (ShelleyEra c) = ShelleyPOOLREAP (ShelleyEra c)
type EraRule "PPUP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "PPUP" (ShelleyEra c) = ShelleyPPUP (ShelleyEra c)
type EraRule "RUPD" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "RUPD" (ShelleyEra c) = ShelleyRUPD (ShelleyEra c)
type EraRule "SNAP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "SNAP" (ShelleyEra c) = ShelleySNAP (ShelleyEra c)
type EraRule "TICK" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICK" (ShelleyEra c) = ShelleyTICK (ShelleyEra c)
type EraRule "TICKF" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICKF" (ShelleyEra c) = ShelleyTICKF (ShelleyEra c)
type EraRule "UPEC" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UPEC" (ShelleyEra c) = ShelleyUPEC (ShelleyEra c)
type EraRule "UTXO" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXO" (ShelleyEra c) = ShelleyUTXO (ShelleyEra c)
type EraRule "UTXOW" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXOW" (ShelleyEra c) = ShelleyUTXOW (ShelleyEra c)
type EraRuleEvent "LEDGER" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleEvent "LEDGER" (ShelleyEra c) = ShelleyLedgerEvent (ShelleyEra c)
type EraRuleEvent "LEDGERS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleEvent "LEDGERS" (ShelleyEra c) = ShelleyLedgersEvent (ShelleyEra c)
type EraRuleEvent "NEWEPOCH" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" (ShelleyEra c) = ShelleyNewEpochEvent (ShelleyEra c)
type EraRuleEvent "POOLREAP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type EraRuleEvent "POOLREAP" (ShelleyEra c) = ShelleyPoolreapEvent (ShelleyEra c)
type EraRuleEvent "TICK" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type EraRuleEvent "TICK" (ShelleyEra c) = ShelleyTickEvent (ShelleyEra c)
type EraRuleFailure "BBODY" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type EraRuleFailure "BBODY" (ShelleyEra c) = ShelleyBbodyPredFailure (ShelleyEra c)
type EraRuleFailure "DELEG" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type EraRuleFailure "DELEG" (ShelleyEra c) = ShelleyDelegPredFailure (ShelleyEra c)
type EraRuleFailure "DELEGS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type EraRuleFailure "DELEGS" (ShelleyEra c) = ShelleyDelegsPredFailure (ShelleyEra c)
type EraRuleFailure "DELPL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type EraRuleFailure "DELPL" (ShelleyEra c) = ShelleyDelplPredFailure (ShelleyEra c)
type EraRuleFailure "LEDGER" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleFailure "LEDGER" (ShelleyEra c) = ShelleyLedgerPredFailure (ShelleyEra c)
type EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleFailure "LEDGERS" (ShelleyEra c) = ShelleyLedgersPredFailure (ShelleyEra c)
type EraRuleFailure "POOL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type EraRuleFailure "POOL" (ShelleyEra c) = ShelleyPoolPredFailure (ShelleyEra c)
type EraRuleFailure "PPUP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type EraRuleFailure "PPUP" (ShelleyEra c) = ShelleyPpupPredFailure (ShelleyEra c)
type EraRuleFailure "UTXO" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type EraRuleFailure "UTXO" (ShelleyEra c) = ShelleyUtxoPredFailure (ShelleyEra c)
type EraRuleFailure "UTXOW" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type EraRuleFailure "UTXOW" (ShelleyEra c) = ShelleyUtxowPredFailure (ShelleyEra c)
type DowngradePParams f (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f (ShelleyEra c) = Void
type PParamsHKD f (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f (ShelleyEra c) = ShelleyPParams f (ShelleyEra c)
type UpgradePParams f (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f (ShelleyEra c) = Void
type Rep (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig (ShelleyEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.11.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesis c))))
type NativeScript (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript (ShelleyEra c) = MultiSig (ShelleyEra c)
type Script (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script (ShelleyEra c) = MultiSig (ShelleyEra c)
type Tx (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Tx (ShelleyEra c) = ShelleyTx (ShelleyEra c)
type TxAuxData (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData (ShelleyEra c) = ShelleyTxAuxData (ShelleyEra c)
type TxBody (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody (ShelleyEra c) = ShelleyTxBody (ShelleyEra c)
type TxBodyUpgradeError (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBodyUpgradeError (ShelleyEra c) = Void
type TxOut (ShelleyEra crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut (ShelleyEra crypto) = ShelleyTxOut (ShelleyEra crypto)
type TxSeq (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain type TxSeq (ShelleyEra c) = ShelleyTxSeq (ShelleyEra c)
type TxUpgradeError (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type TxUpgradeError (ShelleyEra c) = Void
type TxWits (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits (ShelleyEra c) = ShelleyTxWits (ShelleyEra c)
type Value (ShelleyEra _c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type Value (ShelleyEra _c) = Coin
type EraCrypto (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraCrypto (ShelleyEra c) = c
type PreviousEra (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type PreviousEra (ShelleyEra c) = ByronEra c
type ProtVerHigh (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerHigh (ShelleyEra c) = ProtVerLow (ShelleyEra c)
type ProtVerLow (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerLow (ShelleyEra c) = 2
type TranslationContext (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation type TranslationContext (ShelleyEra c) = FromByronTranslationContext c
type TxCert (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert (ShelleyEra c) = ShelleyTxCert (ShelleyEra c)
type TxCertUpgradeError (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError (ShelleyEra c) = Void
type ScriptsNeeded (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded (ShelleyEra c) = ShelleyScriptsNeeded (ShelleyEra c)
type AdditionalGenesisConfig (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig (ShelleyEra c) = ()
type GovState (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState (ShelleyEra c) = ShelleyGovState (ShelleyEra c)
newtype TransitionConfig (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig (ShelleyEra c) = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis c }

data ShelleyBBODY era Source #

Instances

Instances details

(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (ShelleyBBODY era) Source # wrapEvent ∷ Event ledgers → Event (ShelleyBBODY era) Source #
(EraSegWits era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "LEDGERS" era) (ShelleyBBODY era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era)) ⇒ STS (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Associated Types type State (ShelleyBBODY era) Source # type Signal (ShelleyBBODY era) Source # type Environment (ShelleyBBODY era) Source # type BaseM (ShelleyBBODY era) ∷ Type → Type Source # type Event (ShelleyBBODY era) Source # type PredicateFailure (ShelleyBBODY era) Source # Methods initialRules ∷ [InitialRule (ShelleyBBODY era)] Source # transitionRules ∷ [TransitionRule (ShelleyBBODY era)] Source # assertions ∷ [Assertion (ShelleyBBODY era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyBBODY era) → String Source #
type BaseM (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type BaseM (ShelleyBBODY era) = ShelleyBase
type Environment (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type Environment (ShelleyBBODY era) = BbodyEnv era
type Event (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type Event (ShelleyBBODY era) = ShelleyBbodyEvent era
type PredicateFailure (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type Signal (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type Signal (ShelleyBBODY era) = Block (BHeaderView (EraCrypto era)) era
type State (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type State (ShelleyBBODY era) = ShelleyBbodyState era

data ShelleyDELEG era Source #

Instances

Instances details

(EraPParams era, ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ STS (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg Associated Types type State (ShelleyDELEG era) Source # type Signal (ShelleyDELEG era) Source # type Environment (ShelleyDELEG era) Source # type BaseM (ShelleyDELEG era) ∷ Type → Type Source # type Event (ShelleyDELEG era) Source # type PredicateFailure (ShelleyDELEG era) Source # Methods initialRules ∷ [InitialRule (ShelleyDELEG era)] Source # transitionRules ∷ [TransitionRule (ShelleyDELEG era)] Source # assertions ∷ [Assertion (ShelleyDELEG era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyDELEG era) → String Source #
(ShelleyEraTxCert era, EraPParams era, ProtVerAtMost era 8, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (ShelleyDELEG era) (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyDELEG era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyDELEG era) → Event (ShelleyDELPL era) Source #
type BaseM (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type BaseM (ShelleyDELEG era) = ShelleyBase
type Environment (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type Environment (ShelleyDELEG era) = DelegEnv era
type Event (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type Event (ShelleyDELEG era) = ShelleyDelegEvent era
type PredicateFailure (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type Signal (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type Signal (ShelleyDELEG era) = TxCert era
type State (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type State (ShelleyDELEG era) = DState era

data ShelleyDELEGS era Source #

Instances

Instances details

(EraTx era, ShelleyEraTxBody era, Embed (EraRule "DELPL" era) (ShelleyDELEGS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, EraRule "DELEGS" era ~ ShelleyDELEGS era) ⇒ STS (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Associated Types type State (ShelleyDELEGS era) Source # type Signal (ShelleyDELEGS era) Source # type Environment (ShelleyDELEGS era) Source # type BaseM (ShelleyDELEGS era) ∷ Type → Type Source # type Event (ShelleyDELEGS era) Source # type PredicateFailure (ShelleyDELEGS era) Source # Methods initialRules ∷ [InitialRule (ShelleyDELEGS era)] Source # transitionRules ∷ [TransitionRule (ShelleyDELEGS era)] Source # assertions ∷ [Assertion (ShelleyDELEGS era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyDELEGS era) → String Source #
(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyDELEGS era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyDELEGS era) → Event (ShelleyLEDGER era) Source #
(Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods wrapFailed ∷ PredicateFailure (ShelleyDELPL era) → PredicateFailure (ShelleyDELEGS era) Source # wrapEvent ∷ Event (ShelleyDELPL era) → Event (ShelleyDELEGS era) Source #
type BaseM (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type BaseM (ShelleyDELEGS era) = ShelleyBase
type Environment (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type Environment (ShelleyDELEGS era) = DelegsEnv era
type Event (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type Event (ShelleyDELEGS era) = ShelleyDelegsEvent era
type PredicateFailure (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type Signal (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type Signal (ShelleyDELEGS era) = Seq (TxCert era)
type State (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type State (ShelleyDELEGS era) = CertState era

data ShelleyDELPL era Source #

Instances

Instances details

(Era era, Embed (EraRule "DELEG" era) (ShelleyDELPL era), Environment (EraRule "DELEG" era) ~ DelegEnv era, State (EraRule "DELEG" era) ~ DState era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, State (EraRule "POOL" era) ~ PState era, Signal (EraRule "DELEG" era) ~ TxCert era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), TxCert era ~ ShelleyTxCert era) ⇒ STS (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Associated Types type State (ShelleyDELPL era) Source # type Signal (ShelleyDELPL era) Source # type Environment (ShelleyDELPL era) Source # type BaseM (ShelleyDELPL era) ∷ Type → Type Source # type Event (ShelleyDELPL era) Source # type PredicateFailure (ShelleyDELPL era) Source # Methods initialRules ∷ [InitialRule (ShelleyDELPL era)] Source # transitionRules ∷ [TransitionRule (ShelleyDELPL era)] Source # assertions ∷ [Assertion (ShelleyDELPL era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyDELPL era) → String Source #
(ShelleyEraTxCert era, EraPParams era, ProtVerAtMost era 8, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (ShelleyDELEG era) (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyDELEG era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyDELEG era) → Event (ShelleyDELPL era) Source #
(Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods wrapFailed ∷ PredicateFailure (ShelleyDELPL era) → PredicateFailure (ShelleyDELEGS era) Source # wrapEvent ∷ Event (ShelleyDELPL era) → Event (ShelleyDELEGS era) Source #
(Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ShelleyDELPL era) Source #
type BaseM (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type BaseM (ShelleyDELPL era) = ShelleyBase
type Environment (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Environment (ShelleyDELPL era) = DelplEnv era
type Event (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Event (ShelleyDELPL era) = ShelleyDelplEvent era
type PredicateFailure (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type Signal (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Signal (ShelleyDELPL era) = TxCert era
type State (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type State (ShelleyDELPL era) = CertState era

data ShelleyEPOCH era Source #

Instances

Instances details

(EraTxOut era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "SNAP" era) (ShelleyEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots (EraCrypto era), Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ShelleyEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "UPEC" era) (ShelleyEPOCH era), Environment (EraRule "UPEC" era) ~ LedgerState era, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Default (PParams era), Eq (UpecPredFailure era), Show (UpecPredFailure era)) ⇒ STS (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Associated Types type State (ShelleyEPOCH era) Source # type Signal (ShelleyEPOCH era) Source # type Environment (ShelleyEPOCH era) Source # type BaseM (ShelleyEPOCH era) ∷ Type → Type Source # type Event (ShelleyEPOCH era) Source # type PredicateFailure (ShelleyEPOCH era) Source # Methods initialRules ∷ [InitialRule (ShelleyEPOCH era)] Source # transitionRules ∷ [TransitionRule (ShelleyEPOCH era)] Source # assertions ∷ [Assertion (ShelleyEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyEPOCH era) → String Source #
(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyEPOCH era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyEPOCH era) → Event (ShelleyNEWEPOCH era) Source #
(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ShelleyEPOCH era) Source #
(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleySNAP era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleySNAP era) → Event (ShelleyEPOCH era) Source #
(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyEPOCH era) Source #
type BaseM (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type BaseM (ShelleyEPOCH era) = ShelleyBase
type Environment (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type Environment (ShelleyEPOCH era) = ()
type Event (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type Event (ShelleyEPOCH era) = ShelleyEpochEvent era
type PredicateFailure (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type Signal (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type Signal (ShelleyEPOCH era) = EpochNo
type State (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type State (ShelleyEPOCH era) = EpochState era

data ShelleyLEDGER era Source #

Instances

Instances details

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraTx era, EraGov era, Embed (EraRule "DELEGS" era) (ShelleyLEDGER era), Embed (EraRule "UTXOW" era) (ShelleyLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types type State (ShelleyLEDGER era) Source # type Signal (ShelleyLEDGER era) Source # type Environment (ShelleyLEDGER era) Source # type BaseM (ShelleyLEDGER era) ∷ Type → Type Source # type Event (ShelleyLEDGER era) Source # type PredicateFailure (ShelleyLEDGER era) Source # Methods initialRules ∷ [InitialRule (ShelleyLEDGER era)] Source # transitionRules ∷ [TransitionRule (ShelleyLEDGER era)] Source # assertions ∷ [Assertion (ShelleyLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyLEDGER era) → String Source #
(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyDELEGS era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyDELEGS era) → Event (ShelleyLEDGER era) Source #
(Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods wrapFailed ∷ PredicateFailure (ShelleyLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ShelleyLEDGER era) → Event (ShelleyLEDGERS era) Source #
(STS (ShelleyUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (ShelleyUTXOW era)) ⇒ Embed (ShelleyUTXOW era) (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyUTXOW era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyUTXOW era) → Event (ShelleyLEDGER era) Source #
type BaseM (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type BaseM (ShelleyLEDGER era) = ShelleyBase
type Environment (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Environment (ShelleyLEDGER era) = LedgerEnv era
type Event (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Event (ShelleyLEDGER era) = ShelleyLedgerEvent era
type PredicateFailure (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type Signal (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Signal (ShelleyLEDGER era) = Tx era
type State (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type State (ShelleyLEDGER era) = LedgerState era

data ShelleyLEDGERS era Source #

Instances

Instances details

(Era era, Embed (EraRule "LEDGER" era) (ShelleyLEDGERS era), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "LEDGER" era) ~ LedgerState era, Signal (EraRule "LEDGER" era) ~ Tx era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Default (LedgerState era)) ⇒ STS (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Associated Types type State (ShelleyLEDGERS era) Source # type Signal (ShelleyLEDGERS era) Source # type Environment (ShelleyLEDGERS era) Source # type BaseM (ShelleyLEDGERS era) ∷ Type → Type Source # type Event (ShelleyLEDGERS era) Source # type PredicateFailure (ShelleyLEDGERS era) Source # Methods initialRules ∷ [InitialRule (ShelleyLEDGERS era)] Source # transitionRules ∷ [TransitionRule (ShelleyLEDGERS era)] Source # assertions ∷ [Assertion (ShelleyLEDGERS era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyLEDGERS era) → String Source #
(Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods wrapFailed ∷ PredicateFailure (ShelleyLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ShelleyLEDGER era) → Event (ShelleyLEDGERS era) Source #
type BaseM (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type BaseM (ShelleyLEDGERS era) = ShelleyBase
type Environment (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Environment (ShelleyLEDGERS era) = ShelleyLedgersEnv era
type Event (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Event (ShelleyLEDGERS era) = ShelleyLedgersEvent era
type PredicateFailure (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type Signal (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Signal (ShelleyLEDGERS era) = Seq (Tx era)
type State (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type State (ShelleyLEDGERS era) = LedgerState era

data ShelleyMIR era Source #

Instances

Instances details

(Default (EpochState era), EraGov era) ⇒ STS (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir Associated Types type State (ShelleyMIR era) Source # type Signal (ShelleyMIR era) Source # type Environment (ShelleyMIR era) Source # type BaseM (ShelleyMIR era) ∷ Type → Type Source # type Event (ShelleyMIR era) Source # type PredicateFailure (ShelleyMIR era) Source # Methods initialRules ∷ [InitialRule (ShelleyMIR era)] Source # transitionRules ∷ [TransitionRule (ShelleyMIR era)] Source # assertions ∷ [Assertion (ShelleyMIR era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyMIR era) → String Source #
(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyMIR era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyMIR era) → Event (ShelleyNEWEPOCH era) Source #
type BaseM (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type BaseM (ShelleyMIR era) = ShelleyBase
type Environment (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type Environment (ShelleyMIR era) = ()
type Event (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type Event (ShelleyMIR era) = ShelleyMirEvent era
type PredicateFailure (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type Signal (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type Signal (ShelleyMIR era) = ()
type State (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type State (ShelleyMIR era) = EpochState era

data ShelleyNEWEPOCH era Source #

Instances

Instances details

(EraTxOut era, EraGov era, Embed (EraRule "MIR" era) (ShelleyNEWEPOCH era), Embed (EraRule "EPOCH" era) (ShelleyNEWEPOCH era), Environment (EraRule "MIR" era) ~ (), State (EraRule "MIR" era) ~ EpochState era, Signal (EraRule "MIR" era) ~ (), Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era), 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 (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Associated Types type State (ShelleyNEWEPOCH era) Source # type Signal (ShelleyNEWEPOCH era) Source # type Environment (ShelleyNEWEPOCH era) Source # type BaseM (ShelleyNEWEPOCH era) ∷ Type → Type Source # type Event (ShelleyNEWEPOCH era) Source # type PredicateFailure (ShelleyNEWEPOCH era) Source # Methods initialRules ∷ [InitialRule (ShelleyNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ShelleyNEWEPOCH era)] Source # assertions ∷ [Assertion (ShelleyNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyNEWEPOCH era) → String Source #
(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyEPOCH era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyEPOCH era) → Event (ShelleyNEWEPOCH era) Source #
(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyMIR era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyMIR era) → Event (ShelleyNEWEPOCH era) Source #
(STS (ShelleyNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyNEWEPOCH era) → Event (ShelleyTICK era) Source #
type BaseM (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type BaseM (ShelleyNEWEPOCH era) = ShelleyBase
type Environment (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Environment (ShelleyNEWEPOCH era) = ()
type Event (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Event (ShelleyNEWEPOCH era) = ShelleyNewEpochEvent era
type PredicateFailure (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type Signal (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Signal (ShelleyNEWEPOCH era) = EpochNo
type State (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type State (ShelleyNEWEPOCH era) = NewEpochState era

data ShelleyNEWPP era Source #

Instances

Instances details

(EraGov era, GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp Associated Types type State (ShelleyNEWPP era) Source # type Signal (ShelleyNEWPP era) Source # type Environment (ShelleyNEWPP era) Source # type BaseM (ShelleyNEWPP era) ∷ Type → Type Source # type Event (ShelleyNEWPP era) Source # type PredicateFailure (ShelleyNEWPP era) Source # Methods initialRules ∷ [InitialRule (ShelleyNEWPP era)] Source # transitionRules ∷ [TransitionRule (ShelleyNEWPP era)] Source # assertions ∷ [Assertion (ShelleyNEWPP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyNEWPP era) → String Source #
(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods wrapFailed ∷ PredicateFailure (ShelleyNEWPP era) → PredicateFailure (ShelleyUPEC era) Source # wrapEvent ∷ Event (ShelleyNEWPP era) → Event (ShelleyUPEC era) Source #
type BaseM (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type BaseM (ShelleyNEWPP era) = ShelleyBase
type Environment (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type Environment (ShelleyNEWPP era) = NewppEnv era
type Event (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type Event (ShelleyNEWPP era) = Void
type PredicateFailure (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
type Signal (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type Signal (ShelleyNEWPP era) = PParams era
type State (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type State (ShelleyNEWPP era) = ShelleyNewppState era

data ShelleyPOOL era Source #

Instances

Instances details

(ShelleyEraTxCert era, EraPParams era) ⇒ STS (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types type State (ShelleyPOOL era) Source # type Signal (ShelleyPOOL era) Source # type Environment (ShelleyPOOL era) Source # type BaseM (ShelleyPOOL era) ∷ Type → Type Source # type Event (ShelleyPOOL era) Source # type PredicateFailure (ShelleyPOOL era) Source # Methods initialRules ∷ [InitialRule (ShelleyPOOL era)] Source # transitionRules ∷ [TransitionRule (ShelleyPOOL era)] Source # assertions ∷ [Assertion (ShelleyPOOL era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPOOL era) → String Source #
(Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ShelleyDELPL era) Source #
type BaseM (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type BaseM (ShelleyPOOL era) = ShelleyBase
type Environment (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Environment (ShelleyPOOL era) = PoolEnv era
type Event (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Event (ShelleyPOOL era) = PoolEvent era
type PredicateFailure (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type Signal (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Signal (ShelleyPOOL era) = PoolCert (EraCrypto era)
type State (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type State (ShelleyPOOL era) = PState era

data ShelleyPOOLREAP era Source #

Instances

Instances details

(Default (ShelleyPoolreapState era), EraPParams era, EraGov era) ⇒ STS (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Associated Types type State (ShelleyPOOLREAP era) Source # type Signal (ShelleyPOOLREAP era) Source # type Environment (ShelleyPOOLREAP era) Source # type BaseM (ShelleyPOOLREAP era) ∷ Type → Type Source # type Event (ShelleyPOOLREAP era) Source # type PredicateFailure (ShelleyPOOLREAP era) Source # Methods initialRules ∷ [InitialRule (ShelleyPOOLREAP era)] Source # transitionRules ∷ [TransitionRule (ShelleyPOOLREAP era)] Source # assertions ∷ [Assertion (ShelleyPOOLREAP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPOOLREAP era) → String Source #
(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ShelleyEPOCH era) Source #
type BaseM (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type BaseM (ShelleyPOOLREAP era) = ShelleyBase
type Environment (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Environment (ShelleyPOOLREAP era) = ShelleyPoolreapEnv era
type Event (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Event (ShelleyPOOLREAP era) = ShelleyPoolreapEvent era
type PredicateFailure (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type Signal (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Signal (ShelleyPOOLREAP era) = EpochNo
type State (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type State (ShelleyPOOLREAP era) = ShelleyPoolreapState era

data ShelleyPPUP era Source #

Instances

Instances details

(EraPParams era, ProtVerAtMost era 8) ⇒ STS (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types type State (ShelleyPPUP era) Source # type Signal (ShelleyPPUP era) Source # type Environment (ShelleyPPUP era) Source # type BaseM (ShelleyPPUP era) ∷ Type → Type Source # type Event (ShelleyPPUP era) Source # type PredicateFailure (ShelleyPPUP era) Source # Methods initialRules ∷ [InitialRule (ShelleyPPUP era)] Source # transitionRules ∷ [TransitionRule (ShelleyPPUP era)] Source # assertions ∷ [Assertion (ShelleyPPUP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPPUP era) → String Source #
(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (ShelleyUTXO era) Source # wrapEvent ∷ Event (ShelleyPPUP era) → Event (ShelleyUTXO era) Source #
type BaseM (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type BaseM (ShelleyPPUP era) = ShelleyBase
type Environment (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Environment (ShelleyPPUP era) = PpupEnv era
type Event (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Event (ShelleyPPUP era) = PpupEvent era
type PredicateFailure (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type Signal (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Signal (ShelleyPPUP era) = StrictMaybe (Update era)
type State (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type State (ShelleyPPUP era) = ShelleyGovState era

data ShelleyRUPD era Source #

Instances

Instances details

(Era era, EraGov era) ⇒ STS (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Associated Types type State (ShelleyRUPD era) Source # type Signal (ShelleyRUPD era) Source # type Environment (ShelleyRUPD era) Source # type BaseM (ShelleyRUPD era) ∷ Type → Type Source # type Event (ShelleyRUPD era) Source # type PredicateFailure (ShelleyRUPD era) Source # Methods initialRules ∷ [InitialRule (ShelleyRUPD era)] Source # transitionRules ∷ [TransitionRule (ShelleyRUPD era)] Source # assertions ∷ [Assertion (ShelleyRUPD era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyRUPD era) → String Source #
(Era era, STS (ShelleyRUPD era), PredicateFailure (EraRule "RUPD" era) ~ ShelleyRupdPredFailure era, Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era)) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyRUPD era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyRUPD era) → Event (ShelleyTICK era) Source #
type BaseM (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type BaseM (ShelleyRUPD era) = ShelleyBase
type Environment (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Environment (ShelleyRUPD era) = RupdEnv era
type Event (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Event (ShelleyRUPD era) = RupdEvent (EraCrypto era)
type PredicateFailure (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type Signal (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Signal (ShelleyRUPD era) = SlotNo
type State (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type State (ShelleyRUPD era) = StrictMaybe (PulsingRewUpdate (EraCrypto era))

data ShelleySNAP era Source #

Instances

Instances details

EraTxOut era ⇒ STS (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap Associated Types type State (ShelleySNAP era) Source # type Signal (ShelleySNAP era) Source # type Environment (ShelleySNAP era) Source # type BaseM (ShelleySNAP era) ∷ Type → Type Source # type Event (ShelleySNAP era) Source # type PredicateFailure (ShelleySNAP era) Source # Methods initialRules ∷ [InitialRule (ShelleySNAP era)] Source # transitionRules ∷ [TransitionRule (ShelleySNAP era)] Source # assertions ∷ [Assertion (ShelleySNAP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleySNAP era) → String Source #
(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleySNAP era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleySNAP era) → Event (ShelleyEPOCH era) Source #
type BaseM (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type BaseM (ShelleySNAP era) = ShelleyBase
type Environment (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type Environment (ShelleySNAP era) = SnapEnv era
type Event (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type Event (ShelleySNAP era) = SnapEvent era
type PredicateFailure (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type Signal (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type Signal (ShelleySNAP era) = ()
type State (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type State (ShelleySNAP era) = SnapShots (EraCrypto era)

data ShelleyTICK era Source #

Instances

Instances details

(EraGov era, Embed (EraRule "NEWEPOCH" era) (ShelleyTICK era), Embed (EraRule "RUPD" era) (ShelleyTICK era), State (ShelleyTICK era) ~ NewEpochState era, BaseM (ShelleyTICK era) ~ ShelleyBase, Environment (EraRule "RUPD" era) ~ RupdEnv era, State (EraRule "RUPD" era) ~ StrictMaybe (PulsingRewUpdate (EraCrypto era)), Signal (EraRule "RUPD" era) ~ SlotNo, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ STS (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types type State (ShelleyTICK era) Source # type Signal (ShelleyTICK era) Source # type Environment (ShelleyTICK era) Source # type BaseM (ShelleyTICK era) ∷ Type → Type Source # type Event (ShelleyTICK era) Source # type PredicateFailure (ShelleyTICK era) Source # Methods initialRules ∷ [InitialRule (ShelleyTICK era)] Source # transitionRules ∷ [TransitionRule (ShelleyTICK era)] Source # assertions ∷ [Assertion (ShelleyTICK era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyTICK era) → String Source #
(STS (ShelleyNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyNEWEPOCH era) → Event (ShelleyTICK era) Source #
(Era era, STS (ShelleyRUPD era), PredicateFailure (EraRule "RUPD" era) ~ ShelleyRupdPredFailure era, Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era)) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyRUPD era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyRUPD era) → Event (ShelleyTICK era) Source #
type BaseM (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type BaseM (ShelleyTICK era) = ShelleyBase
type Environment (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Environment (ShelleyTICK era) = ()
type Event (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Event (ShelleyTICK era) = ShelleyTickEvent era
type PredicateFailure (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type Signal (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Signal (ShelleyTICK era) = SlotNo
type State (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State (ShelleyTICK era) = NewEpochState era

data ShelleyTICKF era Source #

Instances

Instances details

(EraGov 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) (ShelleyTICKF era)) ⇒ STS (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types type State (ShelleyTICKF era) Source # type Signal (ShelleyTICKF era) Source # type Environment (ShelleyTICKF era) Source # type BaseM (ShelleyTICKF era) ∷ Type → Type Source # type Event (ShelleyTICKF era) Source # type PredicateFailure (ShelleyTICKF era) Source # Methods initialRules ∷ [InitialRule (ShelleyTICKF era)] Source # transitionRules ∷ [TransitionRule (ShelleyTICKF era)] Source # assertions ∷ [Assertion (ShelleyTICKF era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyTICKF era) → String Source #
(Era era, STS (ShelleyUPEC era), PredicateFailure (EraRule "UPEC" era) ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyTICKF era) Source # wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyTICKF era) Source #
type BaseM (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type BaseM (ShelleyTICKF era) = ShelleyBase
type Environment (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Environment (ShelleyTICKF era) = ()
type Event (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Event (ShelleyTICKF era)
type PredicateFailure (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type Signal (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Signal (ShelleyTICKF era) = SlotNo
type State (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State (ShelleyTICKF era) = NewEpochState era

data ShelleyUPEC era Source #

Instances

Instances details

(EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Associated Types type State (ShelleyUPEC era) Source # type Signal (ShelleyUPEC era) Source # type Environment (ShelleyUPEC era) Source # type BaseM (ShelleyUPEC era) ∷ Type → Type Source # type Event (ShelleyUPEC era) Source # type PredicateFailure (ShelleyUPEC era) Source # Methods initialRules ∷ [InitialRule (ShelleyUPEC era)] Source # transitionRules ∷ [TransitionRule (ShelleyUPEC era)] Source # assertions ∷ [Assertion (ShelleyUPEC era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyUPEC era) → String Source #
(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods wrapFailed ∷ PredicateFailure (ShelleyNEWPP era) → PredicateFailure (ShelleyUPEC era) Source # wrapEvent ∷ Event (ShelleyNEWPP era) → Event (ShelleyUPEC era) Source #
(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyEPOCH era) Source #
(Era era, STS (ShelleyUPEC era), PredicateFailure (EraRule "UPEC" era) ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyTICKF era) Source # wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyTICKF era) Source #
type BaseM (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type BaseM (ShelleyUPEC era) = ShelleyBase
type Environment (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Environment (ShelleyUPEC era) = LedgerState era
type Event (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Event (ShelleyUPEC era) = Void
type PredicateFailure (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type Signal (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Signal (ShelleyUPEC era) = ()
type State (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type State (ShelleyUPEC era) = UpecState era

data ShelleyUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ShelleyEraTxBody era, EraGov era, GovState era ~ ShelleyGovState era, ExactEra ShelleyEra era, Embed (EraRule "PPUP" era) (ShelleyUTXO 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 ~ ShelleyUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era) ⇒ STS (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types type State (ShelleyUTXO era) Source # type Signal (ShelleyUTXO era) Source # type Environment (ShelleyUTXO era) Source # type BaseM (ShelleyUTXO era) ∷ Type → Type Source # type Event (ShelleyUTXO era) Source # type PredicateFailure (ShelleyUTXO era) Source # Methods initialRules ∷ [InitialRule (ShelleyUTXO era)] Source # transitionRules ∷ [TransitionRule (ShelleyUTXO era)] Source # assertions ∷ [Assertion (ShelleyUTXO era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyUTXO era) → String Source #
(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (ShelleyUTXO era) Source # wrapEvent ∷ Event (ShelleyPPUP era) → Event (ShelleyUTXO era) Source #
(Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (ShelleyUTXO era) → PredicateFailure (ShelleyUTXOW era) Source # wrapEvent ∷ Event (ShelleyUTXO era) → Event (ShelleyUTXOW era) Source #
type BaseM (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type BaseM (ShelleyUTXO era) = ShelleyBase
type Environment (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type Environment (ShelleyUTXO era) = UtxoEnv era
type Event (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type Event (ShelleyUTXO era) = UtxoEvent era
type PredicateFailure (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type Signal (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type Signal (ShelleyUTXO era) = Tx era
type State (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type State (ShelleyUTXO era) = UTxOState era

data ShelleyUTXOW era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "UTXO" era) (ShelleyUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, EraRule "UTXOW" era ~ ShelleyUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraGov era) ⇒ STS (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Associated Types type State (ShelleyUTXOW era) Source # type Signal (ShelleyUTXOW era) Source # type Environment (ShelleyUTXOW era) Source # type BaseM (ShelleyUTXOW era) ∷ Type → Type Source # type Event (ShelleyUTXOW era) Source # type PredicateFailure (ShelleyUTXOW era) Source # Methods initialRules ∷ [InitialRule (ShelleyUTXOW era)] Source # transitionRules ∷ [TransitionRule (ShelleyUTXOW era)] Source # assertions ∷ [Assertion (ShelleyUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyUTXOW era) → String Source #
(Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (ShelleyUTXO era) → PredicateFailure (ShelleyUTXOW era) Source # wrapEvent ∷ Event (ShelleyUTXO era) → Event (ShelleyUTXOW era) Source #
(STS (ShelleyUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (ShelleyUTXOW era)) ⇒ Embed (ShelleyUTXOW era) (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyUTXOW era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyUTXOW era) → Event (ShelleyLEDGER era) Source #
type BaseM (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type BaseM (ShelleyUTXOW era) = ShelleyBase
type Environment (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type Environment (ShelleyUTXOW era) = UtxoEnv era
type Event (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type Event (ShelleyUTXOW era) = ShelleyUtxowEvent era
type PredicateFailure (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
type Signal (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type Signal (ShelleyUTXOW era) = Tx era
type State (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type State (ShelleyUTXOW era) = UTxOState era