Cardano.Ledger.Mary.Era
data MaryEra era Source #
Defined in Cardano.Ledger.Mary.Rules.Bbody
Methods
injectFailure ∷ ShelleyBbodyPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyLedgerPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyLedgersPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Deleg
injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "DELEG" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Delegs
injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Delpl
injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "DELPL" (MaryEra c) Source #
injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "DELPL" (MaryEra c) Source #
injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "DELPL" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Ledger
injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
injectFailure ∷ ShelleyLedgerPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Ledgers
injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyLedgerPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyLedgersPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Pool
injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "POOL" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Ppup
injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "PPUP" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Utxo
injectFailure ∷ AllegraUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXO" (MaryEra c) Source #
injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "UTXO" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXO" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Rules.Utxow
injectFailure ∷ AllegraUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Transition
parseJSON ∷ Value → Parser (TransitionConfig (MaryEra c)) Source #
parseJSONList ∷ Value → Parser [TransitionConfig (MaryEra c)] Source #
omittedField ∷ Maybe (TransitionConfig (MaryEra c)) Source #
toJSON ∷ TransitionConfig (MaryEra c) → Value Source #
toEncoding ∷ TransitionConfig (MaryEra c) → Encoding Source #
toJSONList ∷ [TransitionConfig (MaryEra c)] → Value Source #
toEncodingList ∷ [TransitionConfig (MaryEra c)] → Encoding Source #
omitField ∷ TransitionConfig (MaryEra c) → Bool Source #
showsPrec ∷ Int → TransitionConfig (MaryEra c) → ShowS Source #
show ∷ TransitionConfig (MaryEra c) → String Source #
showList ∷ [TransitionConfig (MaryEra c)] → ShowS Source #
Defined in Cardano.Ledger.Mary.TxAuxData
timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (MaryEra c)) (StrictSeq (Timelock (MaryEra c))) Source #
Defined in Cardano.Ledger.Mary.TxBody
vldtTxBodyL ∷ Lens' (TxBody (MaryEra c)) ValidityInterval 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
scriptPrefixTag
Defined in Cardano.Ledger.Mary.Scripts
Associated Types
type Script (MaryEra c) = (r ∷ Type) Source #
type NativeScript (MaryEra c) = (r ∷ Type) Source #
upgradeScript ∷ Script (PreviousEra (MaryEra c)) → Script (MaryEra c) Source #
scriptPrefixTag ∷ Script (MaryEra c) → ByteString Source #
getNativeScript ∷ Script (MaryEra c) → Maybe (NativeScript (MaryEra c)) Source #
fromNativeScript ∷ NativeScript (MaryEra c) → Script (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.TxSeq
type TxSeq (MaryEra c) = (r ∷ Type) Source #
fromTxSeq ∷ TxSeq (MaryEra c) → StrictSeq (Tx (MaryEra c)) Source #
toTxSeq ∷ StrictSeq (Tx (MaryEra c)) → TxSeq (MaryEra c) Source #
hashTxSeq ∷ TxSeq (MaryEra c) → Hash (HASH (EraCrypto (MaryEra c))) EraIndependentBlockBody Source #
numSegComponents ∷ Word64 Source #
Defined in Cardano.Ledger.Mary.Tx
type Tx (MaryEra c) = (r ∷ Type) Source #
type TxUpgradeError (MaryEra c) Source #
mkBasicTx ∷ TxBody (MaryEra c) → Tx (MaryEra c) Source #
bodyTxL ∷ Lens' (Tx (MaryEra c)) (TxBody (MaryEra c)) Source #
witsTxL ∷ Lens' (Tx (MaryEra c)) (TxWits (MaryEra c)) Source #
auxDataTxL ∷ Lens' (Tx (MaryEra c)) (StrictMaybe (AuxiliaryData (MaryEra c))) Source #
sizeTxF ∷ SimpleGetter (Tx (MaryEra c)) Integer Source #
validateNativeScript ∷ Tx (MaryEra c) → NativeScript (MaryEra c) → Bool Source #
getMinFeeTx ∷ PParams (MaryEra c) → Tx (MaryEra c) → Int → Coin Source #
upgradeTx ∷ Tx (PreviousEra (MaryEra c)) → Either (TxUpgradeError (MaryEra c)) (Tx (MaryEra c)) Source #
type TxAuxData (MaryEra c) = (r ∷ Type) Source #
mkBasicTxAuxData ∷ TxAuxData (MaryEra c) Source #
metadataTxAuxDataL ∷ Lens' (TxAuxData (MaryEra c)) (Map Word64 Metadatum) Source #
upgradeTxAuxData ∷ TxAuxData (PreviousEra (MaryEra c)) → TxAuxData (MaryEra c) Source #
hashTxAuxData ∷ TxAuxData (MaryEra c) → AuxiliaryDataHash (EraCrypto (MaryEra c)) Source #
validateTxAuxData ∷ ProtVer → TxAuxData (MaryEra c) → Bool Source #
type TxBody (MaryEra c) = (r ∷ Type) Source #
type TxBodyUpgradeError (MaryEra c) Source #
mkBasicTxBody ∷ TxBody (MaryEra c) Source #
inputsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (Set (TxIn (EraCrypto (MaryEra c)))) Source #
outputsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictSeq (TxOut (MaryEra c))) Source #
feeTxBodyL ∷ Lens' (TxBody (MaryEra c)) Coin Source #
withdrawalsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (Withdrawals (EraCrypto (MaryEra c))) Source #
auxDataHashTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (MaryEra c)))) Source #
spendableInputsTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (TxIn (EraCrypto (MaryEra c)))) Source #
allInputsTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (TxIn (EraCrypto (MaryEra c)))) Source #
certsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictSeq (TxCert (MaryEra c))) Source #
getTotalDepositsTxBody ∷ PParams (MaryEra c) → (KeyHash 'StakePool (EraCrypto (MaryEra c)) → Bool) → TxBody (MaryEra c) → Coin Source #
getTotalRefundsTxBody ∷ PParams (MaryEra c) → (Credential 'Staking (EraCrypto (MaryEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (MaryEra c)) → Maybe Coin) → TxBody (MaryEra c) → Coin Source #
getGenesisKeyHashCountTxBody ∷ TxBody (MaryEra c) → Int Source #
upgradeTxBody ∷ TxBody (PreviousEra (MaryEra c)) → Either (TxBodyUpgradeError (MaryEra c)) (TxBody (MaryEra c)) Source #
Defined in Cardano.Ledger.Mary.TxOut
type TxOut (MaryEra c) = (r ∷ Type) Source #
mkBasicTxOut ∷ Addr (EraCrypto (MaryEra c)) → Value (MaryEra c) → TxOut (MaryEra c) Source #
upgradeTxOut ∷ TxOut (PreviousEra (MaryEra c)) → TxOut (MaryEra c) Source #
valueTxOutL ∷ Lens' (TxOut (MaryEra c)) (Value (MaryEra c)) Source #
compactValueTxOutL ∷ Lens' (TxOut (MaryEra c)) (CompactForm (Value (MaryEra c))) Source #
valueEitherTxOutL ∷ Lens' (TxOut (MaryEra c)) (Either (Value (MaryEra c)) (CompactForm (Value (MaryEra c)))) Source #
addrTxOutL ∷ Lens' (TxOut (MaryEra c)) (Addr (EraCrypto (MaryEra c))) Source #
compactAddrTxOutL ∷ Lens' (TxOut (MaryEra c)) (CompactAddr (EraCrypto (MaryEra c))) Source #
addrEitherTxOutL ∷ Lens' (TxOut (MaryEra c)) (Either (Addr (EraCrypto (MaryEra c))) (CompactAddr (EraCrypto (MaryEra c)))) Source #
getMinCoinSizedTxOut ∷ PParams (MaryEra c) → Sized (TxOut (MaryEra c)) → Coin Source #
getMinCoinTxOut ∷ PParams (MaryEra c) → TxOut (MaryEra c) → Coin Source #
Defined in Cardano.Ledger.Mary.TxWits
type TxWits (MaryEra c) = (r ∷ Type) Source #
mkBasicTxWits ∷ TxWits (MaryEra c) Source #
addrTxWitsL ∷ Lens' (TxWits (MaryEra c)) (Set (WitVKey 'Witness (EraCrypto (MaryEra c)))) Source #
bootAddrTxWitsL ∷ Lens' (TxWits (MaryEra c)) (Set (BootstrapWitness (EraCrypto (MaryEra c)))) Source #
scriptTxWitsL ∷ Lens' (TxWits (MaryEra c)) (Map (ScriptHash (EraCrypto (MaryEra c))) (Script (MaryEra c))) Source #
upgradeTxWits ∷ TxWits (PreviousEra (MaryEra c)) → TxWits (MaryEra c) Source #
Defined in Cardano.Ledger.Mary.Era
type EraCrypto (MaryEra c) Source #
type PreviousEra (MaryEra c) = (r ∷ Type) Source #
type ProtVerLow (MaryEra c) ∷ Nat Source #
type ProtVerHigh (MaryEra c) ∷ Nat Source #
eraName ∷ String Source #
Defined in Cardano.Ledger.Mary.PParams
type PParamsHKD f (MaryEra c) = (r ∷ Type) Source #
type UpgradePParams f (MaryEra c) Source #
type DowngradePParams f (MaryEra c) Source #
applyPPUpdates ∷ PParams (MaryEra c) → PParamsUpdate (MaryEra c) → PParams (MaryEra c) Source #
emptyPParamsIdentity ∷ PParamsHKD Identity (MaryEra c) Source #
emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (MaryEra c) Source #
upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (MaryEra c))) ⇒ UpgradePParams f (MaryEra c) → PParamsHKD f (PreviousEra (MaryEra c)) → PParamsHKD f (MaryEra c) Source #
downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (MaryEra c))) ⇒ DowngradePParams f (MaryEra c) → PParamsHKD f (MaryEra c) → PParamsHKD f (PreviousEra (MaryEra c)) Source #
hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #
hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #
hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Word32) Source #
hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Word32) Source #
hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Word16) Source #
hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #
hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #
hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f EpochInterval) Source #
hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Natural) Source #
hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f NonNegativeInterval) Source #
hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f UnitInterval) Source #
hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f UnitInterval) Source #
hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (MaryEra c) 6) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f UnitInterval) Source #
ppDG ∷ SimpleGetter (PParams (MaryEra c)) UnitInterval Source #
hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (MaryEra c) 6) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Nonce) Source #
hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (MaryEra c) 8) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f ProtVer) Source #
ppProtocolVersionL ∷ Lens' (PParams (MaryEra c)) ProtVer Source #
ppuProtocolVersionL ∷ Lens' (PParamsUpdate (MaryEra c)) (StrictMaybe ProtVer) Source #
hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (MaryEra c) 4) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #
hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #
Defined in Cardano.Ledger.Mary.TxCert
type TxCert (MaryEra c) = (r ∷ Type) Source #
type TxCertUpgradeError (MaryEra c) Source #
upgradeTxCert ∷ TxCert (PreviousEra (MaryEra c)) → Either (TxCertUpgradeError (MaryEra c)) (TxCert (MaryEra c)) Source #
getVKeyWitnessTxCert ∷ TxCert (MaryEra c) → Maybe (KeyHash 'Witness (EraCrypto (MaryEra c))) Source #
getScriptWitnessTxCert ∷ TxCert (MaryEra c) → Maybe (ScriptHash (EraCrypto (MaryEra c))) Source #
mkRegPoolTxCert ∷ PoolParams (EraCrypto (MaryEra c)) → TxCert (MaryEra c) Source #
getRegPoolTxCert ∷ TxCert (MaryEra c) → Maybe (PoolParams (EraCrypto (MaryEra c))) Source #
mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (MaryEra c)) → EpochNo → TxCert (MaryEra c) Source #
getRetirePoolTxCert ∷ TxCert (MaryEra c) → Maybe (KeyHash 'StakePool (EraCrypto (MaryEra c)), EpochNo) Source #
lookupRegStakeTxCert ∷ TxCert (MaryEra c) → Maybe (Credential 'Staking (EraCrypto (MaryEra c))) Source #
lookupUnRegStakeTxCert ∷ TxCert (MaryEra c) → Maybe (Credential 'Staking (EraCrypto (MaryEra c))) Source #
getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams (MaryEra c) → (KeyHash 'StakePool (EraCrypto (MaryEra c)) → Bool) → f (TxCert (MaryEra c)) → Coin Source #
getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams (MaryEra c) → (Credential 'Staking (EraCrypto (MaryEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (MaryEra c)) → Maybe Coin) → f (TxCert (MaryEra c)) → Coin Source #
Defined in Cardano.Ledger.Mary.UTxO
type ScriptsNeeded (MaryEra c) = (r ∷ Type) Source #
getConsumedValue ∷ PParams (MaryEra c) → (Credential 'Staking (EraCrypto (MaryEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (MaryEra c)) → Maybe Coin) → UTxO (MaryEra c) → TxBody (MaryEra c) → Value (MaryEra c) Source #
getProducedValue ∷ PParams (MaryEra c) → (KeyHash 'StakePool (EraCrypto (MaryEra c)) → Bool) → TxBody (MaryEra c) → Value (MaryEra c) Source #
getScriptsProvided ∷ UTxO (MaryEra c) → Tx (MaryEra c) → ScriptsProvided (MaryEra c) Source #
getScriptsNeeded ∷ UTxO (MaryEra c) → TxBody (MaryEra c) → ScriptsNeeded (MaryEra c) Source #
getScriptsHashesNeeded ∷ ScriptsNeeded (MaryEra c) → Set (ScriptHash (EraCrypto (MaryEra c))) Source #
getWitsVKeyNeeded ∷ CertState (MaryEra c) → UTxO (MaryEra c) → TxBody (MaryEra c) → Set (KeyHash 'Witness (EraCrypto (MaryEra c))) Source #
getMinFeeTxUtxo ∷ PParams (MaryEra c) → Tx (MaryEra c) → UTxO (MaryEra c) → Coin Source #
mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source #
mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source #
mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #
Defined in Cardano.Ledger.Mary
type AdditionalGenesisConfig (MaryEra c) Source #
fromShelleyPParams ∷ AdditionalGenesisConfig (MaryEra c) → PParams (ShelleyEra (EraCrypto (MaryEra c))) → PParams (MaryEra c) Source #
initialState ∷ ShelleyGenesis (EraCrypto (MaryEra c)) → AdditionalGenesisConfig (MaryEra c) → NewEpochState (MaryEra c) Source #
applyTx ∷ MonadError (ApplyTxError (MaryEra c)) m ⇒ Globals → MempoolEnv (MaryEra c) → MempoolState (MaryEra c) → Tx (MaryEra c) → m (MempoolState (MaryEra c), Validated (Tx (MaryEra c))) Source #
reapplyTx ∷ MonadError (ApplyTxError (MaryEra c)) m ⇒ Globals → MempoolEnv (MaryEra c) → MempoolState (MaryEra c) → Validated (Tx (MaryEra c)) → m (MempoolState (MaryEra c)) Source #
applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (MaryEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (MaryEra c)) (NewEpochState (MaryEra c)) Source #
applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (MaryEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (MaryEra c) → Block (BHeaderView (EraCrypto (MaryEra c))) (MaryEra c) → m (EventReturnType ep (EraRule "BBODY" (MaryEra c)) (NewEpochState (MaryEra c))) Source #
reapplyBlock ∷ Globals → NewEpochState (MaryEra c) → Block (BHeaderView (EraCrypto (MaryEra c))) (MaryEra c) → NewEpochState (MaryEra c) Source #
type GovState (MaryEra c) = (r ∷ Type) Source #
emptyGovState ∷ GovState (MaryEra c) Source #
getProposedPPUpdates ∷ GovState (MaryEra c) → Maybe (ProposedPPUpdates (MaryEra c)) Source #
curPParamsGovStateL ∷ Lens' (GovState (MaryEra c)) (PParams (MaryEra c)) Source #
prevPParamsGovStateL ∷ Lens' (GovState (MaryEra c)) (PParams (MaryEra c)) Source #
futurePParamsGovStateL ∷ Lens' (GovState (MaryEra c)) (FuturePParams (MaryEra c)) Source #
obligationGovState ∷ GovState (MaryEra c) → Obligations Source #
data TransitionConfig (MaryEra c) Source #
mkTransitionConfig ∷ TranslationContext (MaryEra c) → TransitionConfig (PreviousEra (MaryEra c)) → TransitionConfig (MaryEra c) Source #
injectIntoTestState ∷ TransitionConfig (MaryEra c) → NewEpochState (MaryEra c) → NewEpochState (MaryEra c) Source #
tcPreviousEraConfigL ∷ Lens' (TransitionConfig (MaryEra c)) (TransitionConfig (PreviousEra (MaryEra c))) Source #
tcTranslationContextL ∷ Lens' (TransitionConfig (MaryEra c)) (TranslationContext (MaryEra c)) Source #
tcShelleyGenesisL ∷ Lens' (TransitionConfig (MaryEra c)) (ShelleyGenesis (EraCrypto (MaryEra c))) Source #
tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (MaryEra c)) (PParams (MaryEra c)) Source #
ttlTxBodyL ∷ Lens' (TxBody (MaryEra c)) SlotNo Source #
updateTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictMaybe (Update (MaryEra c))) Source #
mkRegTxCert ∷ StakeCredential (EraCrypto (MaryEra c)) → TxCert (MaryEra c) Source #
getRegTxCert ∷ TxCert (MaryEra c) → Maybe (StakeCredential (EraCrypto (MaryEra c))) Source #
mkUnRegTxCert ∷ StakeCredential (EraCrypto (MaryEra c)) → TxCert (MaryEra c) Source #
getUnRegTxCert ∷ TxCert (MaryEra c) → Maybe (StakeCredential (EraCrypto (MaryEra c))) Source #
mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (MaryEra c)) → KeyHash 'StakePool (EraCrypto (MaryEra c)) → TxCert (MaryEra c) Source #
getDelegStakeTxCert ∷ TxCert (MaryEra c) → Maybe (StakeCredential (EraCrypto (MaryEra c)), KeyHash 'StakePool (EraCrypto (MaryEra c))) Source #
mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (MaryEra c)) → TxCert (MaryEra c) Source #
getGenesisDelegTxCert ∷ TxCert (MaryEra c) → Maybe (GenesisDelegCert (EraCrypto (MaryEra c))) Source #
mkMirTxCert ∷ MIRCert (EraCrypto (MaryEra c)) → TxCert (MaryEra c) Source #
getMirTxCert ∷ TxCert (MaryEra c) → Maybe (MIRCert (EraCrypto (MaryEra c))) Source #
(==) ∷ TransitionConfig (MaryEra c) → TransitionConfig (MaryEra c) → Bool Source #
(/=) ∷ TransitionConfig (MaryEra c) → TransitionConfig (MaryEra c) → Bool Source #
noThunks ∷ Context → TransitionConfig (MaryEra c) → IO (Maybe ThunkInfo) Source #
wNoThunks ∷ Context → TransitionConfig (MaryEra c) → IO (Maybe ThunkInfo) Source #
showTypeOf ∷ Proxy (TransitionConfig (MaryEra c)) → String Source #
Defined in Cardano.Ledger.Mary.Translation
type TranslationError (MaryEra c) Timelock Source #
translateEra ∷ TranslationContext (MaryEra c) → Timelock (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) Timelock) (Timelock (MaryEra c)) Source #
type TranslationError (MaryEra c) AllegraTxAuxData Source #
translateEra ∷ TranslationContext (MaryEra c) → AllegraTxAuxData (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) AllegraTxAuxData) (AllegraTxAuxData (MaryEra c)) Source #
type TranslationError (MaryEra c) CertState Source #
translateEra ∷ TranslationContext (MaryEra c) → CertState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) CertState) (CertState (MaryEra c)) Source #
type TranslationError (MaryEra c) CommitteeState Source #
translateEra ∷ TranslationContext (MaryEra c) → CommitteeState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) CommitteeState) (CommitteeState (MaryEra c)) Source #
type TranslationError (MaryEra c) DState Source #
translateEra ∷ TranslationContext (MaryEra c) → DState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) DState) (DState (MaryEra c)) Source #
type TranslationError (MaryEra c) PState Source #
translateEra ∷ TranslationContext (MaryEra c) → PState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) PState) (PState (MaryEra c)) Source #
type TranslationError (MaryEra c) VState Source #
translateEra ∷ TranslationContext (MaryEra c) → VState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) VState) (VState (MaryEra c)) Source #
type TranslationError (MaryEra c) PParams Source #
translateEra ∷ TranslationContext (MaryEra c) → PParams (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) PParams) (PParams (MaryEra c)) Source #
type TranslationError (MaryEra c) PParamsUpdate Source #
translateEra ∷ TranslationContext (MaryEra c) → PParamsUpdate (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) PParamsUpdate) (PParamsUpdate (MaryEra c)) Source #
type TranslationError (MaryEra c) UTxO Source #
translateEra ∷ TranslationContext (MaryEra c) → UTxO (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) UTxO) (UTxO (MaryEra c)) Source #
type TranslationError (MaryEra c) FuturePParams Source #
translateEra ∷ TranslationContext (MaryEra c) → FuturePParams (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) FuturePParams) (FuturePParams (MaryEra c)) Source #
type TranslationError (MaryEra c) ShelleyGovState Source #
translateEra ∷ TranslationContext (MaryEra c) → ShelleyGovState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyGovState) (ShelleyGovState (MaryEra c)) Source #
type TranslationError (MaryEra c) EpochState Source #
translateEra ∷ TranslationContext (MaryEra c) → EpochState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) EpochState) (EpochState (MaryEra c)) Source #
type TranslationError (MaryEra c) LedgerState Source #
translateEra ∷ TranslationContext (MaryEra c) → LedgerState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) LedgerState) (LedgerState (MaryEra c)) Source #
type TranslationError (MaryEra c) NewEpochState Source #
translateEra ∷ TranslationContext (MaryEra c) → NewEpochState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) NewEpochState) (NewEpochState (MaryEra c)) Source #
type TranslationError (MaryEra c) UTxOState Source #
translateEra ∷ TranslationContext (MaryEra c) → UTxOState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) UTxOState) (UTxOState (MaryEra c)) Source #
type TranslationError (MaryEra c) ProposedPPUpdates Source #
translateEra ∷ TranslationContext (MaryEra c) → ProposedPPUpdates (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ProposedPPUpdates) (ProposedPPUpdates (MaryEra c)) Source #
type TranslationError (MaryEra c) Update Source #
translateEra ∷ TranslationContext (MaryEra c) → Update (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) Update) (Update (MaryEra c)) Source #
type TranslationError (MaryEra c) ShelleyTx Source #
translateEra ∷ TranslationContext (MaryEra c) → ShelleyTx (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTx) (ShelleyTx (MaryEra c)) Source #
type TranslationError (MaryEra c) ShelleyTxOut Source #
translateEra ∷ TranslationContext (MaryEra c) → ShelleyTxOut (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTxOut) (ShelleyTxOut (MaryEra c)) Source #
type TranslationError (MaryEra c) ShelleyTxWits Source #
translateEra ∷ TranslationContext (MaryEra c) → ShelleyTxWits (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTxWits) (ShelleyTxWits (MaryEra c)) Source #
Defined in Cardano.Ledger.Mary.Rules
No context is needed to translate from Allegra to Mary.