Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.Era

Synopsis

data AllegraEra c
data AllegraUTXO era
data AllegraUTXOW era

Documentation

data AllegraEra c Source #

The Allegra era

Instances

Instances details

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure (AllegraEra c) → EraRuleFailure "BBODY" (AllegraEra c) Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure (AllegraEra c) → EraRuleFailure "DELEG" (AllegraEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure (AllegraEra c) → EraRuleFailure "DELEGS" (AllegraEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure (AllegraEra c) → EraRuleFailure "DELEGS" (AllegraEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure (AllegraEra c) → EraRuleFailure "DELEGS" (AllegraEra c) Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure (AllegraEra c) → EraRuleFailure "DELEGS" (AllegraEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure (AllegraEra c) → EraRuleFailure "DELPL" (AllegraEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure (AllegraEra c) → EraRuleFailure "DELPL" (AllegraEra c) Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure (AllegraEra c) → EraRuleFailure "DELPL" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure (AllegraEra c) → EraRuleFailure "LEDGER" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure (AllegraEra c) → EraRuleFailure "LEDGERS" (AllegraEra c) Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure (AllegraEra c) → EraRuleFailure "POOL" (AllegraEra c) Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "PPUP" (AllegraEra c) Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
Crypto c ⇒ FromJSON (TransitionConfig (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (AllegraEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (AllegraEra c)] Source # omittedField ∷ Maybe (TransitionConfig (AllegraEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods toJSON ∷ TransitionConfig (AllegraEra c) → Value Source # toEncoding ∷ TransitionConfig (AllegraEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (AllegraEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (AllegraEra c)] → Encoding Source # omitField ∷ TransitionConfig (AllegraEra c) → Bool Source #
Crypto c ⇒ Show (TransitionConfig (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods showsPrec ∷ Int → TransitionConfig (AllegraEra c) → ShowS Source # show ∷ TransitionConfig (AllegraEra c) → String Source # showList ∷ [TransitionConfig (AllegraEra c)] → ShowS Source #
Crypto c ⇒ AllegraEraTxAuxData (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (AllegraEra c)) (StrictSeq (Timelock (AllegraEra c))) Source #
Crypto c ⇒ AllegraEraTxBody (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source #
Crypto c ⇒ EraScript (AllegraEra c) Source #	Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same `scriptPrefixTag` tag here as we did for the ValidateScript instance in MultiSig
Instance details Defined in Cardano.Ledger.Allegra.Scripts Associated Types type Script (AllegraEra c) = (r ∷ Type) Source # type NativeScript (AllegraEra c) = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra (AllegraEra c)) → Script (AllegraEra c) Source # scriptPrefixTag ∷ Script (AllegraEra c) → ByteString Source # getNativeScript ∷ Script (AllegraEra c) → Maybe (NativeScript (AllegraEra c)) Source # fromNativeScript ∷ NativeScript (AllegraEra c) → Script (AllegraEra c) Source #
Crypto c ⇒ EraSegWits (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxSeq Associated Types type TxSeq (AllegraEra c) = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq (AllegraEra c) → StrictSeq (Tx (AllegraEra c)) Source # toTxSeq ∷ StrictSeq (Tx (AllegraEra c)) → TxSeq (AllegraEra c) Source # hashTxSeq ∷ TxSeq (AllegraEra c) → Hash (HASH (EraCrypto (AllegraEra c))) EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
Crypto c ⇒ EraTx (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Associated Types type Tx (AllegraEra c) = (r ∷ Type) Source # type TxUpgradeError (AllegraEra c) Source # Methods mkBasicTx ∷ TxBody (AllegraEra c) → Tx (AllegraEra c) Source # bodyTxL ∷ Lens' (Tx (AllegraEra c)) (TxBody (AllegraEra c)) Source # witsTxL ∷ Lens' (Tx (AllegraEra c)) (TxWits (AllegraEra c)) Source # auxDataTxL ∷ Lens' (Tx (AllegraEra c)) (StrictMaybe (AuxiliaryData (AllegraEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (AllegraEra c)) Integer Source # validateNativeScript ∷ Tx (AllegraEra c) → NativeScript (AllegraEra c) → Bool Source # getMinFeeTx ∷ PParams (AllegraEra c) → Tx (AllegraEra c) → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra (AllegraEra c)) → Either (TxUpgradeError (AllegraEra c)) (Tx (AllegraEra c)) Source #
Crypto c ⇒ EraTxAuxData (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Associated Types type TxAuxData (AllegraEra c) = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData (AllegraEra c) Source # metadataTxAuxDataL ∷ Lens' (TxAuxData (AllegraEra c)) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra (AllegraEra c)) → TxAuxData (AllegraEra c) Source # hashTxAuxData ∷ TxAuxData (AllegraEra c) → AuxiliaryDataHash (EraCrypto (AllegraEra c)) Source # validateTxAuxData ∷ ProtVer → TxAuxData (AllegraEra c) → Bool Source #
Crypto c ⇒ EraTxBody (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Associated Types type TxBody (AllegraEra c) = (r ∷ Type) Source # type TxBodyUpgradeError (AllegraEra c) Source # Methods mkBasicTxBody ∷ TxBody (AllegraEra c) Source # inputsTxBodyL ∷ Lens' (TxBody (AllegraEra c)) (Set (TxIn (EraCrypto (AllegraEra c)))) Source # outputsTxBodyL ∷ Lens' (TxBody (AllegraEra c)) (StrictSeq (TxOut (AllegraEra c))) Source # feeTxBodyL ∷ Lens' (TxBody (AllegraEra c)) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody (AllegraEra c)) (Withdrawals (EraCrypto (AllegraEra c))) Source # auxDataHashTxBodyL ∷ Lens' (TxBody (AllegraEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (AllegraEra c)))) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody (AllegraEra c)) (Set (TxIn (EraCrypto (AllegraEra c)))) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody (AllegraEra c)) (Set (TxIn (EraCrypto (AllegraEra c)))) Source # certsTxBodyL ∷ Lens' (TxBody (AllegraEra c)) (StrictSeq (TxCert (AllegraEra c))) Source # getTotalDepositsTxBody ∷ PParams (AllegraEra c) → (KeyHash 'StakePool (EraCrypto (AllegraEra c)) → Bool) → TxBody (AllegraEra c) → Coin Source # getTotalRefundsTxBody ∷ PParams (AllegraEra c) → (Credential 'Staking (EraCrypto (AllegraEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (AllegraEra c)) → Maybe Coin) → TxBody (AllegraEra c) → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody (AllegraEra c) → Int Source # upgradeTxBody ∷ TxBody (PreviousEra (AllegraEra c)) → Either (TxBodyUpgradeError (AllegraEra c)) (TxBody (AllegraEra c)) Source #
Crypto c ⇒ EraTxOut (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxOut Associated Types type TxOut (AllegraEra c) = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr (EraCrypto (AllegraEra c)) → Value (AllegraEra c) → TxOut (AllegraEra c) Source # upgradeTxOut ∷ TxOut (PreviousEra (AllegraEra c)) → TxOut (AllegraEra c) Source # valueTxOutL ∷ Lens' (TxOut (AllegraEra c)) (Value (AllegraEra c)) Source # compactValueTxOutL ∷ Lens' (TxOut (AllegraEra c)) (CompactForm (Value (AllegraEra c))) Source # valueEitherTxOutL ∷ Lens' (TxOut (AllegraEra c)) (Either (Value (AllegraEra c)) (CompactForm (Value (AllegraEra c)))) Source # addrTxOutL ∷ Lens' (TxOut (AllegraEra c)) (Addr (EraCrypto (AllegraEra c))) Source # compactAddrTxOutL ∷ Lens' (TxOut (AllegraEra c)) (CompactAddr (EraCrypto (AllegraEra c))) Source # addrEitherTxOutL ∷ Lens' (TxOut (AllegraEra c)) (Either (Addr (EraCrypto (AllegraEra c))) (CompactAddr (EraCrypto (AllegraEra c)))) Source # getMinCoinSizedTxOut ∷ PParams (AllegraEra c) → Sized (TxOut (AllegraEra c)) → Coin Source # getMinCoinTxOut ∷ PParams (AllegraEra c) → TxOut (AllegraEra c) → Coin Source #
Crypto c ⇒ EraTxWits (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxWits Associated Types type TxWits (AllegraEra c) = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits (AllegraEra c) Source # addrTxWitsL ∷ Lens' (TxWits (AllegraEra c)) (Set (WitVKey 'Witness (EraCrypto (AllegraEra c)))) Source # bootAddrTxWitsL ∷ Lens' (TxWits (AllegraEra c)) (Set (BootstrapWitness (EraCrypto (AllegraEra c)))) Source # scriptTxWitsL ∷ Lens' (TxWits (AllegraEra c)) (Map (ScriptHash (EraCrypto (AllegraEra c))) (Script (AllegraEra c))) Source # upgradeTxWits ∷ TxWits (PreviousEra (AllegraEra c)) → TxWits (AllegraEra c) Source #
Crypto c ⇒ Era (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type EraCrypto (AllegraEra c) Source # type PreviousEra (AllegraEra c) = (r ∷ Type) Source # type ProtVerLow (AllegraEra c) ∷ Nat Source # type ProtVerHigh (AllegraEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ EraPParams (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams Associated Types type PParamsHKD f (AllegraEra c) = (r ∷ Type) Source # type UpgradePParams f (AllegraEra c) Source # type DowngradePParams f (AllegraEra c) Source # Methods applyPPUpdates ∷ PParams (AllegraEra c) → PParamsUpdate (AllegraEra c) → PParams (AllegraEra c) Source # emptyPParamsIdentity ∷ PParamsHKD Identity (AllegraEra c) Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (AllegraEra c) Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (AllegraEra c))) ⇒ UpgradePParams f (AllegraEra c) → PParamsHKD f (PreviousEra (AllegraEra c)) → PParamsHKD f (AllegraEra c) Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (AllegraEra c))) ⇒ DowngradePParams f (AllegraEra c) → PParamsHKD f (AllegraEra c) → PParamsHKD f (PreviousEra (AllegraEra c)) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Natural) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 6) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams (AllegraEra c)) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 6) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 8) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams (AllegraEra c)) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate (AllegraEra c)) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 4) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #
Crypto c ⇒ EraTxCert (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxCert Associated Types type TxCert (AllegraEra c) = (r ∷ Type) Source # type TxCertUpgradeError (AllegraEra c) Source # Methods upgradeTxCert ∷ TxCert (PreviousEra (AllegraEra c)) → Either (TxCertUpgradeError (AllegraEra c)) (TxCert (AllegraEra c)) Source # getVKeyWitnessTxCert ∷ TxCert (AllegraEra c) → Maybe (KeyHash 'Witness (EraCrypto (AllegraEra c))) Source # getScriptWitnessTxCert ∷ TxCert (AllegraEra c) → Maybe (ScriptHash (EraCrypto (AllegraEra c))) Source # mkRegPoolTxCert ∷ PoolParams (EraCrypto (AllegraEra c)) → TxCert (AllegraEra c) Source # getRegPoolTxCert ∷ TxCert (AllegraEra c) → Maybe (PoolParams (EraCrypto (AllegraEra c))) Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (AllegraEra c)) → EpochNo → TxCert (AllegraEra c) Source # getRetirePoolTxCert ∷ TxCert (AllegraEra c) → Maybe (KeyHash 'StakePool (EraCrypto (AllegraEra c)), EpochNo) Source # lookupRegStakeTxCert ∷ TxCert (AllegraEra c) → Maybe (Credential 'Staking (EraCrypto (AllegraEra c))) Source # lookupUnRegStakeTxCert ∷ TxCert (AllegraEra c) → Maybe (Credential 'Staking (EraCrypto (AllegraEra c))) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams (AllegraEra c) → (KeyHash 'StakePool (EraCrypto (AllegraEra c)) → Bool) → f (TxCert (AllegraEra c)) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams (AllegraEra c) → (Credential 'Staking (EraCrypto (AllegraEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (AllegraEra c)) → Maybe Coin) → f (TxCert (AllegraEra c)) → Coin Source #
Crypto c ⇒ EraUTxO (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.UTxO Associated Types type ScriptsNeeded (AllegraEra c) = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams (AllegraEra c) → (Credential 'Staking (EraCrypto (AllegraEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (AllegraEra c)) → Maybe Coin) → UTxO (AllegraEra c) → TxBody (AllegraEra c) → Value (AllegraEra c) Source # getProducedValue ∷ PParams (AllegraEra c) → (KeyHash 'StakePool (EraCrypto (AllegraEra c)) → Bool) → TxBody (AllegraEra c) → Value (AllegraEra c) Source # getScriptsProvided ∷ UTxO (AllegraEra c) → Tx (AllegraEra c) → ScriptsProvided (AllegraEra c) Source # getScriptsNeeded ∷ UTxO (AllegraEra c) → TxBody (AllegraEra c) → ScriptsNeeded (AllegraEra c) Source # getScriptsHashesNeeded ∷ ScriptsNeeded (AllegraEra c) → Set (ScriptHash (EraCrypto (AllegraEra c))) Source # getWitsVKeyNeeded ∷ CertState (AllegraEra c) → UTxO (AllegraEra c) → TxBody (AllegraEra c) → Set (KeyHash 'Witness (EraCrypto (AllegraEra c))) Source # getMinFeeTxUtxo ∷ PParams (AllegraEra c) → Tx (AllegraEra c) → UTxO (AllegraEra c) → Coin Source #
Crypto c ⇒ CanStartFromGenesis (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra Associated Types type AdditionalGenesisConfig (AllegraEra c) Source # Methods fromShelleyPParams ∷ AdditionalGenesisConfig (AllegraEra c) → PParams (ShelleyEra (EraCrypto (AllegraEra c))) → PParams (AllegraEra c) Source # initialState ∷ ShelleyGenesis (EraCrypto (AllegraEra c)) → AdditionalGenesisConfig (AllegraEra c) → NewEpochState (AllegraEra c) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra Methods applyTx ∷ MonadError (ApplyTxError (AllegraEra c)) m ⇒ Globals → MempoolEnv (AllegraEra c) → MempoolState (AllegraEra c) → Tx (AllegraEra c) → m (MempoolState (AllegraEra c), Validated (Tx (AllegraEra c))) Source # reapplyTx ∷ MonadError (ApplyTxError (AllegraEra c)) m ⇒ Globals → MempoolEnv (AllegraEra c) → MempoolState (AllegraEra c) → Validated (Tx (AllegraEra c)) → m (MempoolState (AllegraEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (AllegraEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (AllegraEra c)) (NewEpochState (AllegraEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (AllegraEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (AllegraEra c) → Block (BHeaderView (EraCrypto (AllegraEra c))) (AllegraEra c) → m (EventReturnType ep (EraRule "BBODY" (AllegraEra c)) (NewEpochState (AllegraEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (AllegraEra c) → Block (BHeaderView (EraCrypto (AllegraEra c))) (AllegraEra c) → NewEpochState (AllegraEra c) Source #
Crypto c ⇒ EraGov (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams Associated Types type GovState (AllegraEra c) = (r ∷ Type) Source # Methods emptyGovState ∷ GovState (AllegraEra c) Source # getProposedPPUpdates ∷ GovState (AllegraEra c) → Maybe (ProposedPPUpdates (AllegraEra c)) Source # curPParamsGovStateL ∷ Lens' (GovState (AllegraEra c)) (PParams (AllegraEra c)) Source # prevPParamsGovStateL ∷ Lens' (GovState (AllegraEra c)) (PParams (AllegraEra c)) Source # futurePParamsGovStateL ∷ Lens' (GovState (AllegraEra c)) (FuturePParams (AllegraEra c)) Source # obligationGovState ∷ GovState (AllegraEra c) → Obligations Source #
Crypto c ⇒ EraTransition (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Associated Types data TransitionConfig (AllegraEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (AllegraEra c) → TransitionConfig (PreviousEra (AllegraEra c)) → TransitionConfig (AllegraEra c) Source # injectIntoTestState ∷ TransitionConfig (AllegraEra c) → NewEpochState (AllegraEra c) → NewEpochState (AllegraEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (AllegraEra c)) (TransitionConfig (PreviousEra (AllegraEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (AllegraEra c)) (TranslationContext (AllegraEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (AllegraEra c)) (ShelleyGenesis (EraCrypto (AllegraEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (AllegraEra c)) (PParams (AllegraEra c)) Source #
Crypto c ⇒ ShelleyEraTxBody (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody (AllegraEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (AllegraEra c)) (StrictMaybe (Update (AllegraEra c))) Source #
Crypto c ⇒ ShelleyEraTxCert (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxCert Methods mkRegTxCert ∷ StakeCredential (EraCrypto (AllegraEra c)) → TxCert (AllegraEra c) Source # getRegTxCert ∷ TxCert (AllegraEra c) → Maybe (StakeCredential (EraCrypto (AllegraEra c))) Source # mkUnRegTxCert ∷ StakeCredential (EraCrypto (AllegraEra c)) → TxCert (AllegraEra c) Source # getUnRegTxCert ∷ TxCert (AllegraEra c) → Maybe (StakeCredential (EraCrypto (AllegraEra c))) Source # mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (AllegraEra c)) → KeyHash 'StakePool (EraCrypto (AllegraEra c)) → TxCert (AllegraEra c) Source # getDelegStakeTxCert ∷ TxCert (AllegraEra c) → Maybe (StakeCredential (EraCrypto (AllegraEra c)), KeyHash 'StakePool (EraCrypto (AllegraEra c))) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (AllegraEra c)) → TxCert (AllegraEra c) Source # getGenesisDelegTxCert ∷ TxCert (AllegraEra c) → Maybe (GenesisDelegCert (EraCrypto (AllegraEra c))) Source # mkMirTxCert ∷ MIRCert (EraCrypto (AllegraEra c)) → TxCert (AllegraEra c) Source # getMirTxCert ∷ TxCert (AllegraEra c) → Maybe (MIRCert (EraCrypto (AllegraEra c))) Source #
Crypto c ⇒ Eq (TransitionConfig (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods (==) ∷ TransitionConfig (AllegraEra c) → TransitionConfig (AllegraEra c) → Bool Source # (/=) ∷ TransitionConfig (AllegraEra c) → TransitionConfig (AllegraEra c) → Bool Source #
Crypto c ⇒ NoThunks (TransitionConfig (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods noThunks ∷ Context → TransitionConfig (AllegraEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (AllegraEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (AllegraEra c)) → String Source #
Crypto c ⇒ TranslateEra (AllegraEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) CertState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → CertState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) CertState) (CertState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) CommitteeState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → CommitteeState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) CommitteeState) (CommitteeState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) DState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) DState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → DState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) DState) (DState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) PState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) PState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → PState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) PState) (PState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) VState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) VState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → VState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) VState) (VState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) PParams Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → PParams (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) PParams) (PParams (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) PParamsUpdate Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) PParamsUpdate Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → PParamsUpdate (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) PParamsUpdate) (PParamsUpdate (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) UTxO Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → UTxO (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) UTxO) (UTxO (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) FuturePParams Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → FuturePParams (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) FuturePParams) (FuturePParams (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) ShelleyGovState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → ShelleyGovState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) ShelleyGovState) (ShelleyGovState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) EpochState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → EpochState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) EpochState) (EpochState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) LedgerState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → LedgerState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) LedgerState) (LedgerState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) NewEpochState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → NewEpochState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) NewEpochState) (NewEpochState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) UTxOState Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → UTxOState (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) UTxOState) (UTxOState (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) ProposedPPUpdates Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → ProposedPPUpdates (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) ProposedPPUpdates) (ProposedPPUpdates (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) Update Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) Update Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → Update (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) Update) (Update (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) ShelleyTx Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → ShelleyTx (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) ShelleyTx) (ShelleyTx (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) ShelleyTxOut Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → ShelleyTxOut (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) ShelleyTxOut) (ShelleyTxOut (AllegraEra c)) Source #
Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError (AllegraEra c) ShelleyTxWits Source # Methods translateEra ∷ TranslationContext (AllegraEra c) → ShelleyTxWits (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) ShelleyTxWits) (ShelleyTxWits (AllegraEra c)) Source #
type EraRule "BBODY" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "BBODY" (AllegraEra c) = ShelleyBBODY (AllegraEra c)
type EraRule "DELEG" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEG" (AllegraEra c) = ShelleyDELEG (AllegraEra c)
type EraRule "DELEGS" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEGS" (AllegraEra c) = ShelleyDELEGS (AllegraEra c)
type EraRule "DELPL" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELPL" (AllegraEra c) = ShelleyDELPL (AllegraEra c)
type EraRule "EPOCH" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "EPOCH" (AllegraEra c) = ShelleyEPOCH (AllegraEra c)
type EraRule "LEDGER" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGER" (AllegraEra c) = ShelleyLEDGER (AllegraEra c)
type EraRule "LEDGERS" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGERS" (AllegraEra c) = ShelleyLEDGERS (AllegraEra c)
type EraRule "MIR" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "MIR" (AllegraEra c) = ShelleyMIR (AllegraEra c)
type EraRule "NEWEPOCH" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWEPOCH" (AllegraEra c) = ShelleyNEWEPOCH (AllegraEra c)
type EraRule "NEWPP" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWPP" (AllegraEra c) = ShelleyNEWPP (AllegraEra c)
type EraRule "POOL" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOL" (AllegraEra c) = ShelleyPOOL (AllegraEra c)
type EraRule "POOLREAP" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOLREAP" (AllegraEra c) = ShelleyPOOLREAP (AllegraEra c)
type EraRule "PPUP" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "PPUP" (AllegraEra c) = ShelleyPPUP (AllegraEra c)
type EraRule "RUPD" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "RUPD" (AllegraEra c) = ShelleyRUPD (AllegraEra c)
type EraRule "SNAP" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "SNAP" (AllegraEra c) = ShelleySNAP (AllegraEra c)
type EraRule "TICK" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICK" (AllegraEra c) = ShelleyTICK (AllegraEra c)
type EraRule "TICKF" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICKF" (AllegraEra c) = ShelleyTICKF (AllegraEra c)
type EraRule "UPEC" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UPEC" (AllegraEra c) = ShelleyUPEC (AllegraEra c)
type EraRule "UTXO" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXO" (AllegraEra c) = AllegraUTXO (AllegraEra c)
type EraRule "UTXOW" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXOW" (AllegraEra c) = AllegraUTXOW (AllegraEra c)
type EraRuleEvent "LEDGER" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleEvent "LEDGER" (AllegraEra c) = ShelleyLedgerEvent (AllegraEra c)
type EraRuleEvent "TICK" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules type EraRuleEvent "TICK" (AllegraEra c) = ShelleyTickEvent (AllegraEra c)
type EraRuleFailure "BBODY" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody type EraRuleFailure "BBODY" (AllegraEra c) = ShelleyBbodyPredFailure (AllegraEra c)
type EraRuleFailure "DELEG" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Deleg type EraRuleFailure "DELEG" (AllegraEra c) = ShelleyDelegPredFailure (AllegraEra c)
type EraRuleFailure "DELEGS" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs type EraRuleFailure "DELEGS" (AllegraEra c) = ShelleyDelegsPredFailure (AllegraEra c)
type EraRuleFailure "DELPL" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delpl type EraRuleFailure "DELPL" (AllegraEra c) = ShelleyDelplPredFailure (AllegraEra c)
type EraRuleFailure "LEDGER" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleFailure "LEDGER" (AllegraEra c) = ShelleyLedgerPredFailure (AllegraEra c)
type EraRuleFailure "LEDGERS" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers type EraRuleFailure "LEDGERS" (AllegraEra c) = ShelleyLedgersPredFailure (AllegraEra c)
type EraRuleFailure "POOL" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Pool type EraRuleFailure "POOL" (AllegraEra c) = ShelleyPoolPredFailure (AllegraEra c)
type EraRuleFailure "PPUP" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ppup type EraRuleFailure "PPUP" (AllegraEra c) = ShelleyPpupPredFailure (AllegraEra c)
type EraRuleFailure "UTXO" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type EraRuleFailure "UTXO" (AllegraEra c) = AllegraUtxoPredFailure (AllegraEra c)
type EraRuleFailure "UTXOW" (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type EraRuleFailure "UTXOW" (AllegraEra c) = ShelleyUtxowPredFailure (AllegraEra c)
type DowngradePParams f (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f (AllegraEra c) = ()
type PParamsHKD f (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams type PParamsHKD f (AllegraEra c) = ShelleyPParams f (AllegraEra c)
type UpgradePParams f (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f (AllegraEra c) = ()
type NativeScript (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts type NativeScript (AllegraEra c) = Timelock (AllegraEra c)
type Script (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script (AllegraEra c) = Timelock (AllegraEra c)
type Tx (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx type Tx (AllegraEra c) = ShelleyTx (AllegraEra c)
type TxAuxData (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData (AllegraEra c) = AllegraTxAuxData (AllegraEra c)
type TxBody (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody type TxBody (AllegraEra c) = AllegraTxBody (AllegraEra c)
type TxBodyUpgradeError (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody type TxBodyUpgradeError (AllegraEra c) = Void
type TxOut (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut (AllegraEra c) = ShelleyTxOut (AllegraEra c)
type TxSeq (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxSeq type TxSeq (AllegraEra c) = ShelleyTxSeq (AllegraEra c)
type TxUpgradeError (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx type TxUpgradeError (AllegraEra c) = Void
type TxWits (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxWits type TxWits (AllegraEra c) = ShelleyTxWits (AllegraEra c)
type Value (AllegraEra _1) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type Value (AllegraEra _1) = Coin
type EraCrypto (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type EraCrypto (AllegraEra c) = c
type PreviousEra (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type PreviousEra (AllegraEra c) = ShelleyEra c
type ProtVerHigh (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerHigh (AllegraEra c) = ProtVerLow (AllegraEra c)
type ProtVerLow (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerLow (AllegraEra c) = 3
type TranslationContext (AllegraEra c) Source #	No context is needed to translate from Shelley to Allegra.
Instance details Defined in Cardano.Ledger.Allegra.Era type TranslationContext (AllegraEra c) = ()
type TxCert (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCert (AllegraEra c) = ShelleyTxCert (AllegraEra c)
type TxCertUpgradeError (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCertUpgradeError (AllegraEra c) = Void
type ScriptsNeeded (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded (AllegraEra c) = ShelleyScriptsNeeded (AllegraEra c)
type AdditionalGenesisConfig (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra type AdditionalGenesisConfig (AllegraEra c) = ()
type GovState (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState (AllegraEra c) = ShelleyGovState (AllegraEra c)
newtype TransitionConfig (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig (AllegraEra c) = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig (ShelleyEra c) }
type TranslationError (AllegraEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) CertState = Void
type TranslationError (AllegraEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) CommitteeState = Void
type TranslationError (AllegraEra c) DState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) DState = Void
type TranslationError (AllegraEra c) PState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PState = Void
type TranslationError (AllegraEra c) VState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) VState = Void
type TranslationError (AllegraEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParams = Void
type TranslationError (AllegraEra c) PParamsUpdate Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParamsUpdate = Void
type TranslationError (AllegraEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) UTxO = Void
type TranslationError (AllegraEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) FuturePParams = Void
type TranslationError (AllegraEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyGovState = Void
type TranslationError (AllegraEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) EpochState = Void
type TranslationError (AllegraEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) LedgerState = Void
type TranslationError (AllegraEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) NewEpochState = Void
type TranslationError (AllegraEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) UTxOState = Void
type TranslationError (AllegraEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ProposedPPUpdates = Void
type TranslationError (AllegraEra c) Update Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) Update = Void
type TranslationError (AllegraEra c) ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTx = DecoderError
type TranslationError (AllegraEra c) ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTxOut = Void
type TranslationError (AllegraEra c) ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTxWits = DecoderError

data AllegraUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ShelleyEraTxBody era, AllegraEraTxBody era, Embed (EraRule "PPUP" era) (AllegraUTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), ProtVerAtMost era 8, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ AllegraUTXO era, GovState era ~ ShelleyGovState era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era) ⇒ STS (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Associated Types type State (AllegraUTXO era) Source # type Signal (AllegraUTXO era) Source # type Environment (AllegraUTXO era) Source # type BaseM (AllegraUTXO era) ∷ Type → Type Source # type Event (AllegraUTXO era) Source # type PredicateFailure (AllegraUTXO era) Source # Methods initialRules ∷ [InitialRule (AllegraUTXO era)] Source # transitionRules ∷ [TransitionRule (AllegraUTXO era)] Source # assertions ∷ [Assertion (AllegraUTXO era)] Source # renderAssertionViolation ∷ AssertionViolation (AllegraUTXO era) → String Source #
(Era era, STS (AllegraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AllegraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ Event (AllegraUTXO era)) ⇒ Embed (AllegraUTXO era) (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (AllegraUTXO era) → PredicateFailure (AllegraUTXOW era) Source # wrapEvent ∷ Event (AllegraUTXO era) → Event (AllegraUTXOW era) Source #
(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (ShelleyPPUP era)) ⇒ Embed (ShelleyPPUP era) (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (AllegraUTXO era) Source # wrapEvent ∷ Event (ShelleyPPUP era) → Event (AllegraUTXO era) Source #
type BaseM (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type BaseM (AllegraUTXO era) = ShelleyBase
type Environment (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type Environment (AllegraUTXO era) = UtxoEnv era
type Event (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type Event (AllegraUTXO era) = AllegraUtxoEvent era
type PredicateFailure (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type PredicateFailure (AllegraUTXO era) = AllegraUtxoPredFailure era
type Signal (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type Signal (AllegraUTXO era) = Tx era
type State (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type State (AllegraUTXO era) = UTxOState era

data AllegraUTXOW era Source #

Instances

Instances details

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