Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Mary

Contents

Orphan instances

Synopsis

type Mary = MaryEra StandardCrypto
data MaryEra era
data ShelleyTx era
data ShelleyTxOut era
data MaryValue c
data MaryTxBody era

Documentation

type Mary = MaryEra StandardCrypto Source #

data MaryEra era Source #

Instances

Instances details

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "BBODY" (MaryEra c) Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "DELEG" (MaryEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "DELEGS" (MaryEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "DELPL" (MaryEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "DELPL" (MaryEra c) Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "DELPL" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "LEDGER" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "LEDGERS" (MaryEra c) Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure (MaryEra c) → EraRuleFailure "POOL" (MaryEra c) Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "PPUP" (MaryEra c) Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXO" (MaryEra c) Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "UTXO" (MaryEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXO" (MaryEra c) Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (MaryEra c) → EraRuleFailure "UTXOW" (MaryEra c) Source #
Crypto c ⇒ FromJSON (TransitionConfig (MaryEra c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (MaryEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (MaryEra c)] Source # omittedField ∷ Maybe (TransitionConfig (MaryEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (MaryEra c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods 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 #
Crypto c ⇒ Show (TransitionConfig (MaryEra c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods showsPrec ∷ Int → TransitionConfig (MaryEra c) → ShowS Source # show ∷ TransitionConfig (MaryEra c) → String Source # showList ∷ [TransitionConfig (MaryEra c)] → ShowS Source #
Crypto c ⇒ AllegraEraScript (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript (MaryEra c) Source # getTimeStart ∷ NativeScript (MaryEra c) → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript (MaryEra c) Source # getTimeExpire ∷ NativeScript (MaryEra c) → Maybe SlotNo Source #
Crypto c ⇒ AllegraEraTxAuxData (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (MaryEra c)) (StrictSeq (Timelock (MaryEra c))) Source #
Crypto c ⇒ AllegraEraTxBody (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody (MaryEra c)) ValidityInterval Source #
Crypto c ⇒ EraScript (MaryEra 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.Mary.Scripts Associated Types type Script (MaryEra c) = (r ∷ Type) Source # type NativeScript (MaryEra c) = (r ∷ Type) Source # Methods 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 #
Crypto c ⇒ EraSegWits (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxSeq Associated Types type TxSeq (MaryEra c) = (r ∷ Type) Source # Methods 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 #
Crypto c ⇒ EraTx (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Tx Associated Types type Tx (MaryEra c) = (r ∷ Type) Source # type TxUpgradeError (MaryEra c) Source # Methods 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 (TxAuxData (MaryEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (MaryEra c)) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx (MaryEra c)) Word32 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 #
Crypto c ⇒ EraTxAuxData (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxAuxData Associated Types type TxAuxData (MaryEra c) = (r ∷ Type) Source # Methods 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 #
Crypto c ⇒ EraTxBody (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Associated Types type TxBody (MaryEra c) = (r ∷ Type) Source # type TxBodyUpgradeError (MaryEra c) Source # Methods 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 #
Crypto c ⇒ EraTxOut (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxOut Associated Types type TxOut (MaryEra c) = (r ∷ Type) Source # Methods 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 #
Crypto c ⇒ EraTxWits (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxWits Associated Types type TxWits (MaryEra c) = (r ∷ Type) Source # Methods 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 #
Crypto c ⇒ Era (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type EraCrypto (MaryEra c) Source # type PreviousEra (MaryEra c) = (r ∷ Type) Source # type ProtVerLow (MaryEra c) ∷ Nat Source # type ProtVerHigh (MaryEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ EraPParams (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.PParams Associated Types type PParamsHKD f (MaryEra c) = (r ∷ Type) Source # type UpgradePParams f (MaryEra c) Source # type DowngradePParams f (MaryEra c) Source # Methods 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 #
Crypto c ⇒ EraTxCert (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert Associated Types type TxCert (MaryEra c) = (r ∷ Type) Source # type TxCertUpgradeError (MaryEra c) Source # Methods 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 #
Crypto c ⇒ EraGenesis (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type Genesis (MaryEra c) Source #
Crypto c ⇒ EraUTxO (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.UTxO Associated Types type ScriptsNeeded (MaryEra c) = (r ∷ Type) Source # Methods 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 #
Crypto c ⇒ MaryEraTxBody (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods 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 #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError (MaryEra c)) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv (MaryEra c) → MempoolState (MaryEra c) → Tx (MaryEra c) → m (EventReturnType ep (EraRule "LEDGER" (MaryEra c)) (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 #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary Methods 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 #
Crypto c ⇒ EraGov (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.PParams Associated Types type GovState (MaryEra c) = (r ∷ Type) Source # Methods 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 #
Crypto c ⇒ ShelleyEraScript (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness (EraCrypto (MaryEra c)) → NativeScript (MaryEra c) Source # getRequireSignature ∷ NativeScript (MaryEra c) → Maybe (KeyHash 'Witness (EraCrypto (MaryEra c))) Source # mkRequireAllOf ∷ StrictSeq (NativeScript (MaryEra c)) → NativeScript (MaryEra c) Source # getRequireAllOf ∷ NativeScript (MaryEra c) → Maybe (StrictSeq (NativeScript (MaryEra c))) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript (MaryEra c)) → NativeScript (MaryEra c) Source # getRequireAnyOf ∷ NativeScript (MaryEra c) → Maybe (StrictSeq (NativeScript (MaryEra c))) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript (MaryEra c)) → NativeScript (MaryEra c) Source # getRequireMOf ∷ NativeScript (MaryEra c) → Maybe (Int, StrictSeq (NativeScript (MaryEra c))) Source #
Crypto c ⇒ EraTransition (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Associated Types data TransitionConfig (MaryEra c) Source # Methods 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 #
Crypto c ⇒ ShelleyEraTxBody (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods ttlTxBodyL ∷ Lens' (TxBody (MaryEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictMaybe (Update (MaryEra c))) Source #
Crypto c ⇒ ShelleyEraTxCert (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert Methods 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 #
Crypto c ⇒ Eq (TransitionConfig (MaryEra c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods (==) ∷ TransitionConfig (MaryEra c) → TransitionConfig (MaryEra c) → Bool Source # (/=) ∷ TransitionConfig (MaryEra c) → TransitionConfig (MaryEra c) → Bool Source #
Crypto c ⇒ NoThunks (TransitionConfig (MaryEra c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods 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 #
Crypto c ⇒ TranslateEra (MaryEra c) Timelock Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) Timelock Source # Methods translateEra ∷ TranslationContext (MaryEra c) → Timelock (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) Timelock) (Timelock (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) AllegraTxAuxData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) AllegraTxAuxData Source # Methods translateEra ∷ TranslationContext (MaryEra c) → AllegraTxAuxData (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) AllegraTxAuxData) (AllegraTxAuxData (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) CertState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → CertState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) CertState) (CertState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) CommitteeState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → CommitteeState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) CommitteeState) (CommitteeState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) DState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) DState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → DState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) DState) (DState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) PState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) PState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → PState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) PState) (PState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) VState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) VState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → VState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) VState) (VState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) PParams Source # Methods translateEra ∷ TranslationContext (MaryEra c) → PParams (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) PParams) (PParams (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) PParamsUpdate Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) PParamsUpdate Source # Methods translateEra ∷ TranslationContext (MaryEra c) → PParamsUpdate (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) PParamsUpdate) (PParamsUpdate (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) UTxO Source # Methods translateEra ∷ TranslationContext (MaryEra c) → UTxO (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) UTxO) (UTxO (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) FuturePParams Source # Methods translateEra ∷ TranslationContext (MaryEra c) → FuturePParams (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) FuturePParams) (FuturePParams (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) ShelleyGovState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → ShelleyGovState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyGovState) (ShelleyGovState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) EpochState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → EpochState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) EpochState) (EpochState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) LedgerState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → LedgerState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) LedgerState) (LedgerState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) NewEpochState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → NewEpochState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) NewEpochState) (NewEpochState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) UTxOState Source # Methods translateEra ∷ TranslationContext (MaryEra c) → UTxOState (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) UTxOState) (UTxOState (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) ProposedPPUpdates Source # Methods translateEra ∷ TranslationContext (MaryEra c) → ProposedPPUpdates (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ProposedPPUpdates) (ProposedPPUpdates (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) Update Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) Update Source # Methods translateEra ∷ TranslationContext (MaryEra c) → Update (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) Update) (Update (MaryEra c)) Source #
(Crypto c, EraTx (MaryEra c)) ⇒ TranslateEra (MaryEra c) ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) ShelleyTx Source # Methods translateEra ∷ TranslationContext (MaryEra c) → ShelleyTx (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTx) (ShelleyTx (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) ShelleyTxOut Source # Methods translateEra ∷ TranslationContext (MaryEra c) → ShelleyTxOut (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTxOut) (ShelleyTxOut (MaryEra c)) Source #
Crypto c ⇒ TranslateEra (MaryEra c) ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) ShelleyTxWits Source # Methods translateEra ∷ TranslationContext (MaryEra c) → ShelleyTxWits (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTxWits) (ShelleyTxWits (MaryEra c)) Source #
type EraRule "BBODY" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "BBODY" (MaryEra c) = ShelleyBBODY (MaryEra c)
type EraRule "DELEG" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEG" (MaryEra c) = ShelleyDELEG (MaryEra c)
type EraRule "DELEGS" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEGS" (MaryEra c) = ShelleyDELEGS (MaryEra c)
type EraRule "DELPL" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELPL" (MaryEra c) = ShelleyDELPL (MaryEra c)
type EraRule "EPOCH" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "EPOCH" (MaryEra c) = ShelleyEPOCH (MaryEra c)
type EraRule "LEDGER" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGER" (MaryEra c) = ShelleyLEDGER (MaryEra c)
type EraRule "LEDGERS" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGERS" (MaryEra c) = ShelleyLEDGERS (MaryEra c)
type EraRule "MIR" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "MIR" (MaryEra c) = ShelleyMIR (MaryEra c)
type EraRule "NEWEPOCH" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWEPOCH" (MaryEra c) = ShelleyNEWEPOCH (MaryEra c)
type EraRule "NEWPP" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWPP" (MaryEra c) = ShelleyNEWPP (MaryEra c)
type EraRule "POOL" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOL" (MaryEra c) = ShelleyPOOL (MaryEra c)
type EraRule "POOLREAP" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOLREAP" (MaryEra c) = ShelleyPOOLREAP (MaryEra c)
type EraRule "PPUP" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "PPUP" (MaryEra c) = ShelleyPPUP (MaryEra c)
type EraRule "RUPD" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "RUPD" (MaryEra c) = ShelleyRUPD (MaryEra c)
type EraRule "SNAP" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "SNAP" (MaryEra c) = ShelleySNAP (MaryEra c)
type EraRule "TICK" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICK" (MaryEra c) = ShelleyTICK (MaryEra c)
type EraRule "TICKF" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICKF" (MaryEra c) = ShelleyTICKF (MaryEra c)
type EraRule "UPEC" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UPEC" (MaryEra c) = ShelleyUPEC (MaryEra c)
type EraRule "UTXO" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXO" (MaryEra c) = AllegraUTXO (MaryEra c)
type EraRule "UTXOW" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXOW" (MaryEra c) = AllegraUTXOW (MaryEra c)
type EraRuleEvent "LEDGER" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleEvent "LEDGER" (MaryEra c) = ShelleyLedgerEvent (MaryEra c)
type EraRuleEvent "TICK" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules type EraRuleEvent "TICK" (MaryEra c) = ShelleyTickEvent (MaryEra c)
type EraRuleFailure "BBODY" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody type EraRuleFailure "BBODY" (MaryEra c) = ShelleyBbodyPredFailure (MaryEra c)
type EraRuleFailure "DELEG" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Deleg type EraRuleFailure "DELEG" (MaryEra c) = ShelleyDelegPredFailure (MaryEra c)
type EraRuleFailure "DELEGS" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs type EraRuleFailure "DELEGS" (MaryEra c) = ShelleyDelegsPredFailure (MaryEra c)
type EraRuleFailure "DELPL" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl type EraRuleFailure "DELPL" (MaryEra c) = ShelleyDelplPredFailure (MaryEra c)
type EraRuleFailure "LEDGER" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleFailure "LEDGER" (MaryEra c) = ShelleyLedgerPredFailure (MaryEra c)
type EraRuleFailure "LEDGERS" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers type EraRuleFailure "LEDGERS" (MaryEra c) = ShelleyLedgersPredFailure (MaryEra c)
type EraRuleFailure "POOL" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Pool type EraRuleFailure "POOL" (MaryEra c) = ShelleyPoolPredFailure (MaryEra c)
type EraRuleFailure "PPUP" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ppup type EraRuleFailure "PPUP" (MaryEra c) = ShelleyPpupPredFailure (MaryEra c)
type EraRuleFailure "UTXO" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo type EraRuleFailure "UTXO" (MaryEra c) = AllegraUtxoPredFailure (MaryEra c)
type EraRuleFailure "UTXOW" (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow type EraRuleFailure "UTXOW" (MaryEra c) = ShelleyUtxowPredFailure (MaryEra c)
type DowngradePParams f (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f (MaryEra c) = ()
type PParamsHKD f (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type PParamsHKD f (MaryEra c) = ShelleyPParams f (MaryEra c)
type UpgradePParams f (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f (MaryEra c) = ()
type NativeScript (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts type NativeScript (MaryEra c) = Timelock (MaryEra c)
type Script (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script (MaryEra c) = Timelock (MaryEra c)
type Tx (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Tx type Tx (MaryEra c) = ShelleyTx (MaryEra c)
type TxAuxData (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData (MaryEra c) = AllegraTxAuxData (MaryEra c)
type TxBody (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBody (MaryEra c) = MaryTxBody (MaryEra c)
type TxBodyUpgradeError (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBodyUpgradeError (MaryEra c) = Void
type TxOut (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut (MaryEra c) = ShelleyTxOut (MaryEra c)
type TxSeq (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxSeq type TxSeq (MaryEra c) = ShelleyTxSeq (MaryEra c)
type TxUpgradeError (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Tx type TxUpgradeError (MaryEra c) = Void
type TxWits (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxWits type TxWits (MaryEra c) = ShelleyTxWits (MaryEra c)
type Value (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type Value (MaryEra c) = MaryValue c
type EraCrypto (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraCrypto (MaryEra c) = c
type PreviousEra (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type PreviousEra (MaryEra c) = AllegraEra c
type ProtVerHigh (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerHigh (MaryEra c) = ProtVerLow (MaryEra c)
type ProtVerLow (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerLow (MaryEra c) = 4
type TranslationContext (MaryEra c) Source #	No context is needed to translate from Allegra to Mary.
Instance details Defined in Cardano.Ledger.Mary.Era type TranslationContext (MaryEra c) = NoGenesis (MaryEra c)
type TxCert (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert (MaryEra c) = ShelleyTxCert (MaryEra c)
type TxCertUpgradeError (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError (MaryEra c) = Void
type Genesis (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis (MaryEra c) = NoGenesis (MaryEra c)
type ScriptsNeeded (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded (MaryEra c) = ShelleyScriptsNeeded (MaryEra c)
type GovState (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState (MaryEra c) = ShelleyGovState (MaryEra c)
newtype TransitionConfig (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig (MaryEra c) = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig (AllegraEra c) }
type TranslationError (MaryEra c) Timelock Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) Timelock = Void
type TranslationError (MaryEra c) AllegraTxAuxData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) AllegraTxAuxData = Void
type TranslationError (MaryEra c) CertState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) CertState = Void
type TranslationError (MaryEra c) CommitteeState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) CommitteeState = Void
type TranslationError (MaryEra c) DState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) DState = Void
type TranslationError (MaryEra c) PState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PState = Void
type TranslationError (MaryEra c) VState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) VState = Void
type TranslationError (MaryEra c) PParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParams = Void
type TranslationError (MaryEra c) PParamsUpdate Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParamsUpdate = Void
type TranslationError (MaryEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) UTxO = Void
type TranslationError (MaryEra c) FuturePParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) FuturePParams = Void
type TranslationError (MaryEra c) ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyGovState = Void
type TranslationError (MaryEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) EpochState = Void
type TranslationError (MaryEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) LedgerState = Void
type TranslationError (MaryEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) NewEpochState = Void
type TranslationError (MaryEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) UTxOState = Void
type TranslationError (MaryEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ProposedPPUpdates = Void
type TranslationError (MaryEra c) Update Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) Update = Void
type TranslationError (MaryEra c) ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTx = DecoderError
type TranslationError (MaryEra c) ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTxOut = Void
type TranslationError (MaryEra c) ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTxWits = DecoderError

data ShelleyTx era Source #

Instances

Instances details

Memoized ShelleyTx
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type RawType ShelleyTx = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ ShelleyTx era → MemoBytes (RawType ShelleyTx) era wrapMemoBytes ∷ MemoBytes (RawType ShelleyTx) era → ShelleyTx era
Generic (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type Rep (ShelleyTx era) ∷ Type → Type Source # Methods from ∷ ShelleyTx era → Rep (ShelleyTx era) x Source # to ∷ Rep (ShelleyTx era) x → ShelleyTx era Source #
(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods showsPrec ∷ Int → ShelleyTx era → ShowS Source # show ∷ ShelleyTx era → String Source # showList ∷ [ShelleyTx era] → ShowS Source #
Typeable era ⇒ ToCBOR (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods toCBOR ∷ ShelleyTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #
EraTx era ⇒ DecCBOR (Annotator (ShelleyTx era))
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods decCBOR ∷ Decoder s (Annotator (ShelleyTx era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTx era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTx era)) → Text Source #
Era era ⇒ EncCBOR (ShelleyTx era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods encCBOR ∷ ShelleyTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #
(Tx era ~ ShelleyTx era, EraTx era) ⇒ EqRaw (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods eqRaw ∷ ShelleyTx era → ShelleyTx era → Bool Source #
SafeToHash (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods originalBytes ∷ ShelleyTx era → ByteString Source # originalBytesSize ∷ ShelleyTx era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ShelleyTx era → SafeHash c index Source #
(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods rnf ∷ ShelleyTx era → () Source #
(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods (==) ∷ ShelleyTx era → ShelleyTx era → Bool Source # (/=) ∷ ShelleyTx era → ShelleyTx era → Bool Source #
(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods noThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTx era) → String Source #
(Crypto c, EraTx (MaryEra c)) ⇒ TranslateEra (MaryEra c) ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) ShelleyTx Source # Methods translateEra ∷ TranslationContext (MaryEra c) → ShelleyTx (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTx) (ShelleyTx (MaryEra c)) Source #
type RawType ShelleyTx
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type RawType ShelleyTx = ShelleyTxRaw
type Rep (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx.Internal" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "TxConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxRaw era))))
type TranslationError (AllegraEra c) ShelleyTx
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTx = DecoderError
type TranslationError (MaryEra c) ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTx = DecoderError

data ShelleyTxOut era Source #

Instances

Instances details

(Era era, Val (Value era)) ⇒ ToJSON (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods toJSON ∷ ShelleyTxOut era → Value Source # toEncoding ∷ ShelleyTxOut era → Encoding Source # toJSONList ∷ [ShelleyTxOut era] → Value Source # toEncodingList ∷ [ShelleyTxOut era] → Encoding Source # omitField ∷ ShelleyTxOut era → Bool Source #
(Era era, Val (Value era)) ⇒ Show (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods showsPrec ∷ Int → ShelleyTxOut era → ShowS Source # show ∷ ShelleyTxOut era → String Source # showList ∷ [ShelleyTxOut era] → ShowS Source #
(Era era, DecCBOR (CompactForm (Value era))) ⇒ FromCBOR (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods fromCBOR ∷ Decoder s (ShelleyTxOut era) Source # label ∷ Proxy (ShelleyTxOut era) → Text Source #
(Era era, EncCBOR (CompactForm (Value era))) ⇒ ToCBOR (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods toCBOR ∷ ShelleyTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #
(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecCBOR (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods decCBOR ∷ Decoder s (ShelleyTxOut era) Source # dropCBOR ∷ Proxy (ShelleyTxOut era) → Decoder s () Source # label ∷ Proxy (ShelleyTxOut era) → Text Source #
(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecShareCBOR (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Associated Types type Share (ShelleyTxOut era) Source # Methods getShare ∷ ShelleyTxOut era → Share (ShelleyTxOut era) Source # decShareCBOR ∷ Share (ShelleyTxOut era) → Decoder s (ShelleyTxOut era) Source # decSharePlusCBOR ∷ StateT (Share (ShelleyTxOut era)) (Decoder s) (ShelleyTxOut era) Source #
(Era era, EncCBOR (CompactForm (Value era))) ⇒ EncCBOR (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods encCBOR ∷ ShelleyTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #
NFData (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods rnf ∷ ShelleyTxOut era → () Source #
Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods (==) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool Source # (/=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool Source #
(Era era, HeapWords (CompactForm (Value era))) ⇒ HeapWords (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods heapWords ∷ ShelleyTxOut era → Int Source #
NoThunks (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods noThunks ∷ Context → ShelleyTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxOut era) → String Source #
Crypto c ⇒ TranslateEra (MaryEra c) ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) ShelleyTxOut Source # Methods translateEra ∷ TranslationContext (MaryEra c) → ShelleyTxOut (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) ShelleyTxOut) (ShelleyTxOut (MaryEra c)) Source #
type Share (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut type Share (ShelleyTxOut era) = Interns (Credential 'Staking (EraCrypto era))
type TranslationError (AllegraEra c) ShelleyTxOut
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTxOut = Void
type TranslationError (MaryEra c) ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTxOut = Void

data MaryValue c Source #

The Value representing MultiAssets

Instances

Instances details

Inject Coin (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods inject ∷ Coin → MaryValue c Source #
Crypto c ⇒ ToJSON (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods toJSON ∷ MaryValue c → Value Source # toEncoding ∷ MaryValue c → Encoding Source # toJSONList ∷ [MaryValue c] → Value Source # toEncodingList ∷ [MaryValue c] → Encoding Source # omitField ∷ MaryValue c → Bool Source #
Monoid (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods mempty ∷ MaryValue c Source # mappend ∷ MaryValue c → MaryValue c → MaryValue c Source # mconcat ∷ [MaryValue c] → MaryValue c Source #
Semigroup (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods (<>) ∷ MaryValue c → MaryValue c → MaryValue c Source # sconcat ∷ NonEmpty (MaryValue c) → MaryValue c Source # stimes ∷ Integral b ⇒ b → MaryValue c → MaryValue c Source #
Generic (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Associated Types type Rep (MaryValue c) ∷ Type → Type Source # Methods from ∷ MaryValue c → Rep (MaryValue c) x Source # to ∷ Rep (MaryValue c) x → MaryValue c Source #
Show (CompactForm (MaryValue c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → CompactForm (MaryValue c) → ShowS Source # show ∷ CompactForm (MaryValue c) → String Source # showList ∷ [CompactForm (MaryValue c)] → ShowS Source #
Show (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → MaryValue c → ShowS Source # show ∷ MaryValue c → String Source # showList ∷ [MaryValue c] → ShowS Source #
Crypto c ⇒ DecCBOR (CompactForm (MaryValue c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods decCBOR ∷ Decoder s (CompactForm (MaryValue c)) Source # dropCBOR ∷ Proxy (CompactForm (MaryValue c)) → Decoder s () Source # label ∷ Proxy (CompactForm (MaryValue c)) → Text Source #
Crypto c ⇒ DecCBOR (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods decCBOR ∷ Decoder s (MaryValue c) Source # dropCBOR ∷ Proxy (MaryValue c) → Decoder s () Source # label ∷ Proxy (MaryValue c) → Text Source #
Crypto c ⇒ EncCBOR (CompactForm (MaryValue c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods encCBOR ∷ CompactForm (MaryValue c) → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm (MaryValue c)) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm (MaryValue c)] → Size Source #
Crypto c ⇒ EncCBOR (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods encCBOR ∷ MaryValue c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryValue c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryValue c] → Size Source #
Crypto c ⇒ Compactible (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Associated Types data CompactForm (MaryValue c) Source # Methods toCompact ∷ MaryValue c → Maybe (CompactForm (MaryValue c)) Source # fromCompact ∷ CompactForm (MaryValue c) → MaryValue c Source #
Crypto c ⇒ Val (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods zero ∷ MaryValue c Source # (<+>) ∷ MaryValue c → MaryValue c → MaryValue c Source # (<×>) ∷ Integral i ⇒ i → MaryValue c → MaryValue c Source # (<->) ∷ MaryValue c → MaryValue c → MaryValue c Source # isZero ∷ MaryValue c → Bool Source # coin ∷ MaryValue c → Coin Source # modifyCoin ∷ (Coin → Coin) → MaryValue c → MaryValue c Source # size ∷ MaryValue c → Integer Source # pointwise ∷ (Integer → Integer → Bool) → MaryValue c → MaryValue c → Bool Source # isAdaOnly ∷ MaryValue c → Bool Source # isAdaOnlyCompact ∷ CompactForm (MaryValue c) → Bool Source # coinCompact ∷ CompactForm (MaryValue c) → CompactForm Coin Source # injectCompact ∷ CompactForm Coin → CompactForm (MaryValue c) Source # modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm (MaryValue c) → CompactForm (MaryValue c) Source #
NFData (CompactForm (MaryValue c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ CompactForm (MaryValue c) → () Source #
NFData (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ MaryValue c → () Source #
Crypto c ⇒ Eq (CompactForm (MaryValue c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ CompactForm (MaryValue c) → CompactForm (MaryValue c) → Bool Source # (/=) ∷ CompactForm (MaryValue c) → CompactForm (MaryValue c) → Bool Source #
Crypto c ⇒ Eq (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ MaryValue c → MaryValue c → Bool Source # (/=) ∷ MaryValue c → MaryValue c → Bool Source #
Abelian (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value
Group (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods invert ∷ MaryValue c → MaryValue c Source # (~~) ∷ MaryValue c → MaryValue c → MaryValue c Source # pow ∷ Integral x ⇒ MaryValue c → x → MaryValue c Source #
NoThunks (CompactForm (MaryValue c)) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods noThunks ∷ Context → CompactForm (MaryValue c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactForm (MaryValue c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CompactForm (MaryValue c)) → String Source #
NoThunks (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods noThunks ∷ Context → MaryValue c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryValue c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MaryValue c) → String Source #
type Rep (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value type Rep (MaryValue c) = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.7.0.2-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset c))))
newtype CompactForm (MaryValue c) Source #
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm (MaryValue c) = CompactValue (CompactValue c)

data MaryTxBody era Source #

Instances

Instances details

Memoized MaryTxBody Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Associated Types type RawType MaryTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ MaryTxBody era → MemoBytes (RawType MaryTxBody) era wrapMemoBytes ∷ MemoBytes (RawType MaryTxBody) era → MaryTxBody era
Generic (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Associated Types type Rep (MaryTxBody era) ∷ Type → Type Source # Methods from ∷ MaryTxBody era → Rep (MaryTxBody era) x Source # to ∷ Rep (MaryTxBody era) x → MaryTxBody era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods showsPrec ∷ Int → MaryTxBody era → ShowS Source # show ∷ MaryTxBody era → String Source # showList ∷ [MaryTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods toCBOR ∷ MaryTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #
MaryEraTxBody era ⇒ DecCBOR (Annotator (MaryTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods decCBOR ∷ Decoder s (Annotator (MaryTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (MaryTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (MaryTxBody era)) → Text Source #
Era era ⇒ EncCBOR (MaryTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods encCBOR ∷ MaryTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods eqRaw ∷ MaryTxBody era → MaryTxBody era → Bool Source #
SafeToHash (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods originalBytes ∷ MaryTxBody era → ByteString Source # originalBytesSize ∷ MaryTxBody era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → MaryTxBody era → SafeHash c index Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods rnf ∷ MaryTxBody era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods (==) ∷ MaryTxBody era → MaryTxBody era → Bool Source # (/=) ∷ MaryTxBody era → MaryTxBody era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods noThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MaryTxBody era) → String Source #
(c ~ EraCrypto era, Era era) ⇒ HashAnnotated (MaryTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods indexProxy ∷ MaryTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ MaryTxBody era → SafeHash c EraIndependentTxBody Source #
type RawType MaryTxBody Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type RawType MaryTxBody = MaryTxBodyRaw
type Rep (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type Rep (MaryTxBody era) = D1 ('MetaData "MaryTxBody" "Cardano.Ledger.Mary.TxBody.Internal" "cardano-ledger-mary-1.7.0.2-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw era))))

Orphan instances

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (MaryEra c) Source #
Instance details Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError (MaryEra c)) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv (MaryEra c) → MempoolState (MaryEra c) → Tx (MaryEra c) → m (EventReturnType ep (EraRule "LEDGER" (MaryEra c)) (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 #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (MaryEra c) Source #
Instance details Methods 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 #