Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Mary

Contents

Orphan instances

Synopsis

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

Documentation

type Mary = MaryEra Source #

Deprecated: In favor of MaryEra

data MaryEra Source #

Instances

Instances details

AllegraEraScript MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript MaryEra Source # getTimeStart ∷ NativeScript MaryEra → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript MaryEra Source # getTimeExpire ∷ NativeScript MaryEra → Maybe SlotNo Source #
AllegraEraTxAuxData MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (StrictSeq (Timelock MaryEra)) Source #
AllegraEraTxBody MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody MaryEra) ValidityInterval Source #
EraScript MaryEra 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 = (r ∷ Type) Source # type NativeScript MaryEra = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra MaryEra) → Script MaryEra Source # scriptPrefixTag ∷ Script MaryEra → ByteString Source # getNativeScript ∷ Script MaryEra → Maybe (NativeScript MaryEra) Source # fromNativeScript ∷ NativeScript MaryEra → Script MaryEra Source #
EraSegWits MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxSeq Associated Types type TxSeq MaryEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq MaryEra → StrictSeq (Tx MaryEra) Source # toTxSeq ∷ StrictSeq (Tx MaryEra) → TxSeq MaryEra Source # hashTxSeq ∷ TxSeq MaryEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
EraTx MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Tx Associated Types type Tx MaryEra = (r ∷ Type) Source # type TxUpgradeError MaryEra Source # Methods mkBasicTx ∷ TxBody MaryEra → Tx MaryEra Source # bodyTxL ∷ Lens' (Tx MaryEra) (TxBody MaryEra) Source # witsTxL ∷ Lens' (Tx MaryEra) (TxWits MaryEra) Source # auxDataTxL ∷ Lens' (Tx MaryEra) (StrictMaybe (TxAuxData MaryEra)) Source # sizeTxF ∷ SimpleGetter (Tx MaryEra) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx MaryEra) Word32 Source # sizeTxForFeeCalculation ∷ Tx MaryEra → Integer Source # validateNativeScript ∷ Tx MaryEra → NativeScript MaryEra → Bool Source # getMinFeeTx ∷ PParams MaryEra → Tx MaryEra → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra MaryEra) → Either (TxUpgradeError MaryEra) (Tx MaryEra) Source #
EraTxAuxData MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxAuxData Associated Types type TxAuxData MaryEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData MaryEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra MaryEra) → TxAuxData MaryEra Source # validateTxAuxData ∷ ProtVer → TxAuxData MaryEra → Bool Source #
EraTxBody MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type TxBody MaryEra = (r ∷ Type) Source # type TxBodyUpgradeError MaryEra Source # Methods mkBasicTxBody ∷ TxBody MaryEra Source # inputsTxBodyL ∷ Lens' (TxBody MaryEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody MaryEra) (StrictSeq (TxOut MaryEra)) Source # feeTxBodyL ∷ Lens' (TxBody MaryEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody MaryEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody MaryEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody MaryEra) (StrictSeq (TxCert MaryEra)) Source # getTotalDepositsTxBody ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody MaryEra → Coin Source # getTotalRefundsTxBody ∷ PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody MaryEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody MaryEra → Int Source # upgradeTxBody ∷ TxBody (PreviousEra MaryEra) → Either (TxBodyUpgradeError MaryEra) (TxBody MaryEra) Source #
EraTxOut MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxOut Associated Types type TxOut MaryEra = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr → Value MaryEra → TxOut MaryEra Source # upgradeTxOut ∷ TxOut (PreviousEra MaryEra) → TxOut MaryEra Source # valueTxOutL ∷ Lens' (TxOut MaryEra) (Value MaryEra) Source # compactValueTxOutL ∷ Lens' (TxOut MaryEra) (CompactForm (Value MaryEra)) Source # valueEitherTxOutL ∷ Lens' (TxOut MaryEra) (Either (Value MaryEra) (CompactForm (Value MaryEra))) Source # addrTxOutL ∷ Lens' (TxOut MaryEra) Addr Source # compactAddrTxOutL ∷ Lens' (TxOut MaryEra) CompactAddr Source # addrEitherTxOutL ∷ Lens' (TxOut MaryEra) (Either Addr CompactAddr) Source # getMinCoinSizedTxOut ∷ PParams MaryEra → Sized (TxOut MaryEra) → Coin Source # getMinCoinTxOut ∷ PParams MaryEra → TxOut MaryEra → Coin Source #
EraTxWits MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxWits Associated Types type TxWits MaryEra = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits MaryEra Source # addrTxWitsL ∷ Lens' (TxWits MaryEra) (Set (WitVKey 'Witness)) Source # bootAddrTxWitsL ∷ Lens' (TxWits MaryEra) (Set BootstrapWitness) Source # scriptTxWitsL ∷ Lens' (TxWits MaryEra) (Map ScriptHash (Script MaryEra)) Source # upgradeTxWits ∷ TxWits (PreviousEra MaryEra) → TxWits MaryEra Source #
Era MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type PreviousEra MaryEra = (r ∷ Type) Source # type ProtVerLow MaryEra ∷ Nat Source # type ProtVerHigh MaryEra ∷ Nat Source # Methods eraName ∷ String Source #
EraPParams MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.PParams Associated Types type PParamsHKD f MaryEra = (r ∷ Type) Source # type UpgradePParams f MaryEra Source # type DowngradePParams f MaryEra Source # Methods applyPPUpdates ∷ PParams MaryEra → PParamsUpdate MaryEra → PParams MaryEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity MaryEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe MaryEra Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra MaryEra)) ⇒ UpgradePParams f MaryEra → PParamsHKD f (PreviousEra MaryEra) → PParamsHKD f MaryEra Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra MaryEra)) ⇒ DowngradePParams f MaryEra → PParamsHKD f MaryEra → PParamsHKD f (PreviousEra MaryEra) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Word16) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost MaryEra 6) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams MaryEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost MaryEra 6) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost MaryEra 8) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams MaryEra) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate MaryEra) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost MaryEra 4) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source #
EraTxCert MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert Associated Types type TxCert MaryEra = (r ∷ Type) Source # type TxCertUpgradeError MaryEra Source # Methods upgradeTxCert ∷ TxCert (PreviousEra MaryEra) → Either (TxCertUpgradeError MaryEra) (TxCert MaryEra) Source # getVKeyWitnessTxCert ∷ TxCert MaryEra → Maybe (KeyHash 'Witness) Source # getScriptWitnessTxCert ∷ TxCert MaryEra → Maybe ScriptHash Source # mkRegPoolTxCert ∷ PoolParams → TxCert MaryEra Source # getRegPoolTxCert ∷ TxCert MaryEra → Maybe PoolParams Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert MaryEra Source # getRetirePoolTxCert ∷ TxCert MaryEra → Maybe (KeyHash 'StakePool, EpochNo) Source # lookupRegStakeTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source # lookupUnRegStakeTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (KeyHash 'StakePool → Bool) → f (TxCert MaryEra) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert MaryEra) → Coin Source #
EraGenesis MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type Genesis MaryEra Source #
EraCertState MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.State.CertState Associated Types type CertState MaryEra = (r ∷ Type) Source # Methods certDStateL ∷ Lens' (CertState MaryEra) (DState MaryEra) Source # certPStateL ∷ Lens' (CertState MaryEra) (PState MaryEra) Source # obligationCertState ∷ CertState MaryEra → Obligations Source # certsTotalDepositsTxBody ∷ PParams MaryEra → CertState MaryEra → TxBody MaryEra → Coin Source # certsTotalRefundsTxBody ∷ PParams MaryEra → CertState MaryEra → TxBody MaryEra → Coin Source #
EraGov MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.PParams Associated Types type GovState MaryEra = (r ∷ Type) Source # Methods emptyGovState ∷ GovState MaryEra Source # curPParamsGovStateL ∷ Lens' (GovState MaryEra) (PParams MaryEra) Source # prevPParamsGovStateL ∷ Lens' (GovState MaryEra) (PParams MaryEra) Source # futurePParamsGovStateL ∷ Lens' (GovState MaryEra) (FuturePParams MaryEra) Source # obligationGovState ∷ GovState MaryEra → Obligations Source #
EraStake MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.State.Stake Associated Types type InstantStake MaryEra = (r ∷ Type) Source # Methods instantStakeCredentialsL ∷ Lens' (InstantStake MaryEra) (Map (Credential 'Staking) (CompactForm Coin)) Source # addInstantStake ∷ UTxO MaryEra → InstantStake MaryEra → InstantStake MaryEra Source # deleteInstantStake ∷ UTxO MaryEra → InstantStake MaryEra → InstantStake MaryEra Source # resolveInstantStake ∷ InstantStake MaryEra → UMap → Stake Source #
EraUTxO MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.UTxO Associated Types type ScriptsNeeded MaryEra = (r ∷ Type) Source # Methods consumed ∷ PParams MaryEra → CertState MaryEra → UTxO MaryEra → TxBody MaryEra → Value MaryEra Source # getConsumedValue ∷ PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO MaryEra → TxBody MaryEra → Value MaryEra Source # getProducedValue ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody MaryEra → Value MaryEra Source # getScriptsProvided ∷ UTxO MaryEra → Tx MaryEra → ScriptsProvided MaryEra Source # getScriptsNeeded ∷ UTxO MaryEra → TxBody MaryEra → ScriptsNeeded MaryEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded MaryEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ CertState MaryEra → UTxO MaryEra → TxBody MaryEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ PParams MaryEra → Tx MaryEra → UTxO MaryEra → Coin Source #
MaryEraTxBody MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source #
ApplyTx MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv MaryEra → MempoolState MaryEra → Tx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra, Validated (Tx MaryEra)) Source #
ApplyBlock MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState MaryEra → Block BHeaderView MaryEra → (NewEpochState MaryEra, [PredicateFailure (EraRule "BBODY" MaryEra)], [Event (EraRule "BBODY" MaryEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState MaryEra → SlotNo → (NewEpochState MaryEra, [Event (EraRule "TICK" MaryEra)]) Source #
ShelleyEraScript MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness → NativeScript MaryEra Source # getRequireSignature ∷ NativeScript MaryEra → Maybe (KeyHash 'Witness) Source # mkRequireAllOf ∷ StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source # getRequireAllOf ∷ NativeScript MaryEra → Maybe (StrictSeq (NativeScript MaryEra)) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source # getRequireAnyOf ∷ NativeScript MaryEra → Maybe (StrictSeq (NativeScript MaryEra)) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source # getRequireMOf ∷ NativeScript MaryEra → Maybe (Int, StrictSeq (NativeScript MaryEra)) Source #
EraTransition MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Associated Types data TransitionConfig MaryEra Source # Methods mkTransitionConfig ∷ TranslationContext MaryEra → TransitionConfig (PreviousEra MaryEra) → TransitionConfig MaryEra Source # injectIntoTestState ∷ TransitionConfig MaryEra → NewEpochState MaryEra → NewEpochState MaryEra Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig MaryEra) (TransitionConfig (PreviousEra MaryEra)) Source # tcTranslationContextL ∷ Lens' (TransitionConfig MaryEra) (TranslationContext MaryEra) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig MaryEra) ShelleyGenesis Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig MaryEra) (PParams MaryEra) Source #
ShelleyEraTxBody MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody MaryEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody MaryEra) (StrictMaybe (Update MaryEra)) Source #
ShelleyEraTxCert MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert MaryEra Source # getRegTxCert ∷ TxCert MaryEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert MaryEra Source # getUnRegTxCert ∷ TxCert MaryEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert MaryEra Source # getDelegStakeTxCert ∷ TxCert MaryEra → Maybe (StakeCredential, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert MaryEra Source # getGenesisDelegTxCert ∷ TxCert MaryEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert MaryEra Source # getMirTxCert ∷ TxCert MaryEra → Maybe MIRCert Source #
TranslateEra MaryEra AllegraTxAuxData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra AllegraTxAuxData Source # Methods translateEra ∷ TranslationContext MaryEra → AllegraTxAuxData (PreviousEra MaryEra) → Except (TranslationError MaryEra AllegraTxAuxData) (AllegraTxAuxData MaryEra) Source #
TranslateEra MaryEra PParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra PParams Source # Methods translateEra ∷ TranslationContext MaryEra → PParams (PreviousEra MaryEra) → Except (TranslationError MaryEra PParams) (PParams MaryEra) Source #
TranslateEra MaryEra PParamsUpdate Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra PParamsUpdate Source # Methods translateEra ∷ TranslationContext MaryEra → PParamsUpdate (PreviousEra MaryEra) → Except (TranslationError MaryEra PParamsUpdate) (PParamsUpdate MaryEra) Source #
TranslateEra MaryEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra CommitteeState Source # Methods translateEra ∷ TranslationContext MaryEra → CommitteeState (PreviousEra MaryEra) → Except (TranslationError MaryEra CommitteeState) (CommitteeState MaryEra) Source #
TranslateEra MaryEra DState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra DState Source # Methods translateEra ∷ TranslationContext MaryEra → DState (PreviousEra MaryEra) → Except (TranslationError MaryEra DState) (DState MaryEra) Source #
TranslateEra MaryEra PState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra PState Source # Methods translateEra ∷ TranslationContext MaryEra → PState (PreviousEra MaryEra) → Except (TranslationError MaryEra PState) (PState MaryEra) Source #
TranslateEra MaryEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra FuturePParams Source # Methods translateEra ∷ TranslationContext MaryEra → FuturePParams (PreviousEra MaryEra) → Except (TranslationError MaryEra FuturePParams) (FuturePParams MaryEra) Source #
TranslateEra MaryEra UTxO Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra UTxO Source # Methods translateEra ∷ TranslationContext MaryEra → UTxO (PreviousEra MaryEra) → Except (TranslationError MaryEra UTxO) (UTxO MaryEra) Source #
TranslateEra MaryEra ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyGovState Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyGovState (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyGovState) (ShelleyGovState MaryEra) Source #
TranslateEra MaryEra EpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra EpochState Source # Methods translateEra ∷ TranslationContext MaryEra → EpochState (PreviousEra MaryEra) → Except (TranslationError MaryEra EpochState) (EpochState MaryEra) Source #
TranslateEra MaryEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra LedgerState Source # Methods translateEra ∷ TranslationContext MaryEra → LedgerState (PreviousEra MaryEra) → Except (TranslationError MaryEra LedgerState) (LedgerState MaryEra) Source #
TranslateEra MaryEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra NewEpochState Source # Methods translateEra ∷ TranslationContext MaryEra → NewEpochState (PreviousEra MaryEra) → Except (TranslationError MaryEra NewEpochState) (NewEpochState MaryEra) Source #
TranslateEra MaryEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra UTxOState Source # Methods translateEra ∷ TranslationContext MaryEra → UTxOState (PreviousEra MaryEra) → Except (TranslationError MaryEra UTxOState) (UTxOState MaryEra) Source #
TranslateEra MaryEra ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ProposedPPUpdates Source # Methods translateEra ∷ TranslationContext MaryEra → ProposedPPUpdates (PreviousEra MaryEra) → Except (TranslationError MaryEra ProposedPPUpdates) (ProposedPPUpdates MaryEra) Source #
TranslateEra MaryEra Update Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra Update Source # Methods translateEra ∷ TranslationContext MaryEra → Update (PreviousEra MaryEra) → Except (TranslationError MaryEra Update) (Update MaryEra) Source #
TranslateEra MaryEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyCertState Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyCertState (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyCertState) (ShelleyCertState MaryEra) Source #
TranslateEra MaryEra ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyInstantStake Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyInstantStake (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyInstantStake) (ShelleyInstantStake MaryEra) Source #
TranslateEra MaryEra ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyTx Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyTx (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTx) (ShelleyTx MaryEra) Source #
TranslateEra MaryEra ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyTxOut Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyTxOut (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxOut) (ShelleyTxOut MaryEra) Source #
TranslateEra MaryEra ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyTxWits Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyTxWits (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxWits) (ShelleyTxWits MaryEra) Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELEG" MaryEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "POOL" MaryEra Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "PPUP" MaryEra Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #
TranslateEra MaryEra (Timelock ∷ Type → TYPE LiftedRep) Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra Timelock Source # Methods translateEra ∷ TranslationContext MaryEra → Timelock (PreviousEra MaryEra) → Except (TranslationError MaryEra Timelock) (Timelock MaryEra) Source #
FromJSON (TransitionConfig MaryEra) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig MaryEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig MaryEra] Source # omittedField ∷ Maybe (TransitionConfig MaryEra) Source #
ToJSON (TransitionConfig MaryEra) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods toJSON ∷ TransitionConfig MaryEra → Value Source # toEncoding ∷ TransitionConfig MaryEra → Encoding Source # toJSONList ∷ [TransitionConfig MaryEra] → Value Source # toEncodingList ∷ [TransitionConfig MaryEra] → Encoding Source # omitField ∷ TransitionConfig MaryEra → Bool Source #
Show (TransitionConfig MaryEra) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods showsPrec ∷ Int → TransitionConfig MaryEra → ShowS # show ∷ TransitionConfig MaryEra → String # showList ∷ [TransitionConfig MaryEra] → ShowS #
Eq (TransitionConfig MaryEra) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods (==) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool # (/=) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #
NoThunks (TransitionConfig MaryEra) Source #
Instance details Defined in Cardano.Ledger.Mary.Transition Methods noThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig MaryEra) → String Source #
type NativeScript MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts type NativeScript MaryEra = Timelock MaryEra
type Script MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type Tx MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Tx type Tx MaryEra = ShelleyTx MaryEra
type TxAuxData MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra
type TxBody MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type TxBody MaryEra = MaryTxBody MaryEra
type TxBodyUpgradeError MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type TxBodyUpgradeError MaryEra = Void
type TxOut MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra
type TxSeq MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxSeq type TxSeq MaryEra = ShelleyTxSeq MaryEra
type TxUpgradeError MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Tx type TxUpgradeError MaryEra = Void
type TxWits MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxWits type TxWits MaryEra = ShelleyTxWits MaryEra
type Value MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type Value MaryEra = MaryValue
type PreviousEra MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type PreviousEra MaryEra = AllegraEra
type ProtVerHigh MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra
type ProtVerLow MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerLow MaryEra = 4
type TranslationContext MaryEra Source #	No context is needed to translate from Allegra to Mary.
Instance details Defined in Cardano.Ledger.Mary.Era type TranslationContext MaryEra = NoGenesis MaryEra
type TxCert MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert MaryEra = ShelleyTxCert MaryEra
type TxCertUpgradeError MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError MaryEra = Void
type Genesis MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis MaryEra = NoGenesis MaryEra
type CertState MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.State.CertState type CertState MaryEra = ShelleyCertState MaryEra
type GovState MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState MaryEra = ShelleyGovState MaryEra
type InstantStake MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.State.Stake type InstantStake MaryEra = ShelleyInstantStake MaryEra
type ScriptsNeeded MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra
newtype TransitionConfig MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig MaryEra = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra }
type EraRule "BBODY" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "BBODY" MaryEra = ShelleyBBODY MaryEra
type EraRule "DELEG" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEG" MaryEra = ShelleyDELEG MaryEra
type EraRule "DELEGS" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEGS" MaryEra = ShelleyDELEGS MaryEra
type EraRule "DELPL" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELPL" MaryEra = ShelleyDELPL MaryEra
type EraRule "EPOCH" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "EPOCH" MaryEra = ShelleyEPOCH MaryEra
type EraRule "LEDGER" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGER" MaryEra = ShelleyLEDGER MaryEra
type EraRule "LEDGERS" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGERS" MaryEra = ShelleyLEDGERS MaryEra
type EraRule "MIR" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "MIR" MaryEra = ShelleyMIR MaryEra
type EraRule "NEWEPOCH" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWEPOCH" MaryEra = ShelleyNEWEPOCH MaryEra
type EraRule "NEWPP" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWPP" MaryEra = ShelleyNEWPP MaryEra
type EraRule "POOL" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOL" MaryEra = ShelleyPOOL MaryEra
type EraRule "POOLREAP" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOLREAP" MaryEra = ShelleyPOOLREAP MaryEra
type EraRule "PPUP" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "PPUP" MaryEra = ShelleyPPUP MaryEra
type EraRule "RUPD" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "RUPD" MaryEra = ShelleyRUPD MaryEra
type EraRule "SNAP" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "SNAP" MaryEra = ShelleySNAP MaryEra
type EraRule "TICK" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICK" MaryEra = ShelleyTICK MaryEra
type EraRule "TICKF" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICKF" MaryEra = ShelleyTICKF MaryEra
type EraRule "UPEC" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UPEC" MaryEra = ShelleyUPEC MaryEra
type EraRule "UTXO" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXO" MaryEra = AllegraUTXO MaryEra
type EraRule "UTXOW" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXOW" MaryEra = AllegraUTXOW MaryEra
type EraRuleEvent "LEDGER" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleEvent "LEDGER" MaryEra = ShelleyLedgerEvent MaryEra
type EraRuleEvent "TICK" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules type EraRuleEvent "TICK" MaryEra = ShelleyTickEvent MaryEra
type EraRuleFailure "BBODY" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody type EraRuleFailure "BBODY" MaryEra = ShelleyBbodyPredFailure MaryEra
type EraRuleFailure "DELEG" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Deleg type EraRuleFailure "DELEG" MaryEra = ShelleyDelegPredFailure MaryEra
type EraRuleFailure "DELEGS" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs type EraRuleFailure "DELEGS" MaryEra = ShelleyDelegsPredFailure MaryEra
type EraRuleFailure "DELPL" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl type EraRuleFailure "DELPL" MaryEra = ShelleyDelplPredFailure MaryEra
type EraRuleFailure "LEDGER" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleFailure "LEDGER" MaryEra = ShelleyLedgerPredFailure MaryEra
type EraRuleFailure "LEDGERS" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers type EraRuleFailure "LEDGERS" MaryEra = ShelleyLedgersPredFailure MaryEra
type EraRuleFailure "POOL" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Pool type EraRuleFailure "POOL" MaryEra = ShelleyPoolPredFailure MaryEra
type EraRuleFailure "PPUP" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Ppup type EraRuleFailure "PPUP" MaryEra = ShelleyPpupPredFailure MaryEra
type EraRuleFailure "UTXO" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo type EraRuleFailure "UTXO" MaryEra = AllegraUtxoPredFailure MaryEra
type EraRuleFailure "UTXOW" MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow type EraRuleFailure "UTXOW" MaryEra = ShelleyUtxowPredFailure MaryEra
type DowngradePParams f MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f MaryEra = ()
type PParamsHKD f MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type PParamsHKD f MaryEra = ShelleyPParams f MaryEra
type UpgradePParams f MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f MaryEra = ()
type TranslationError MaryEra AllegraTxAuxData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra AllegraTxAuxData = Void
type TranslationError MaryEra PParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParams = Void
type TranslationError MaryEra PParamsUpdate Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParamsUpdate = Void
type TranslationError MaryEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra CommitteeState = Void
type TranslationError MaryEra DState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra DState = Void
type TranslationError MaryEra PState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PState = Void
type TranslationError MaryEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra FuturePParams = Void
type TranslationError MaryEra UTxO Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxO = Void
type TranslationError MaryEra ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyGovState = Void
type TranslationError MaryEra EpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra EpochState = Void
type TranslationError MaryEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra LedgerState = Void
type TranslationError MaryEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra NewEpochState = Void
type TranslationError MaryEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxOState = Void
type TranslationError MaryEra ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ProposedPPUpdates = Void
type TranslationError MaryEra Update Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Update = Void
type TranslationError MaryEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyCertState = Void
type TranslationError MaryEra ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyInstantStake = Void
type TranslationError MaryEra ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTx = DecoderError
type TranslationError MaryEra ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxOut = Void
type TranslationError MaryEra ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxWits = DecoderError
type TranslationError MaryEra (Timelock ∷ Type → TYPE LiftedRep) Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Timelock ∷ Type → TYPE LiftedRep) = Void

data ShelleyTx era Source #

Instances

Instances details

TranslateEra MaryEra ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyTx Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyTx (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTx) (ShelleyTx MaryEra) Source #
Generic (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type Rep (ShelleyTx era) ∷ Type → Type # Methods from ∷ ShelleyTx era → Rep (ShelleyTx era) x # to ∷ Rep (ShelleyTx era) x → ShelleyTx era #
(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 # show ∷ ShelleyTx era → String # showList ∷ [ShelleyTx era] → ShowS #
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 #
(Era era, DecCBOR (TxBody era), DecCBOR (TxWits era), DecCBOR (TxAuxData era)) ⇒ DecCBOR (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods decCBOR ∷ Decoder s (ShelleyTx era) Source # dropCBOR ∷ Proxy (ShelleyTx era) → Decoder s () Source # label ∷ Proxy (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 #
SafeToHash (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods originalBytes ∷ ShelleyTx era → ByteString Source # originalBytesSize ∷ ShelleyTx era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTx era → SafeHash i 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 #
Memoized (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type RawType (ShelleyTx era) = (r ∷ Type) Source # Methods getMemoBytes ∷ ShelleyTx era → MemoBytes (RawType (ShelleyTx era)) wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTx era)) → ShelleyTx era
(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 → () #
(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 # (/=) ∷ ShelleyTx era → ShelleyTx era → Bool #
(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 #
type TranslationError AllegraEra ShelleyTx
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTx = DecoderError
type TranslationError MaryEra ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTx = DecoderError
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.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxRaw era)))))
type RawType (ShelleyTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type RawType (ShelleyTx era) = ShelleyTxRaw era

data ShelleyTxOut era Source #

Instances

Instances details

TranslateEra MaryEra ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError MaryEra ShelleyTxOut Source # Methods translateEra ∷ TranslationContext MaryEra → ShelleyTxOut (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxOut) (ShelleyTxOut MaryEra) Source #
(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 # show ∷ ShelleyTxOut era → String # showList ∷ [ShelleyTxOut era] → ShowS #
(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, MemPack (CompactForm (Value 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 → () #
Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods (==) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # (/=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #
(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (ShelleyTxOut era)	This instance uses a zero Tag for forward compatibility in binary representation with TxOut instances for future eras
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods typeName ∷ String Source # packedByteCount ∷ ShelleyTxOut era → Int Source # packM ∷ ShelleyTxOut era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (ShelleyTxOut era) 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 #
type TranslationError AllegraEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxOut = Void
type TranslationError MaryEra ShelleyTxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxOut = Void
type Share (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut type Share (ShelleyTxOut era) = Interns (Credential 'Staking)

data MaryValue Source #

The Value representing MultiAssets

Instances

Instances details

ToJSON MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods toJSON ∷ MaryValue → Value Source # toEncoding ∷ MaryValue → Encoding Source # toJSONList ∷ [MaryValue] → Value Source # toEncodingList ∷ [MaryValue] → Encoding Source # omitField ∷ MaryValue → Bool Source #
Monoid MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods mempty ∷ MaryValue # mappend ∷ MaryValue → MaryValue → MaryValue # mconcat ∷ [MaryValue] → MaryValue #
Semigroup MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods (<>) ∷ MaryValue → MaryValue → MaryValue # sconcat ∷ NonEmpty MaryValue → MaryValue # stimes ∷ Integral b ⇒ b → MaryValue → MaryValue #
Generic MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Associated Types type Rep MaryValue ∷ Type → Type # Methods from ∷ MaryValue → Rep MaryValue x # to ∷ Rep MaryValue x → MaryValue #
Show MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → MaryValue → ShowS # show ∷ MaryValue → String # showList ∷ [MaryValue] → ShowS #
DecCBOR MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods decCBOR ∷ Decoder s MaryValue Source # dropCBOR ∷ Proxy MaryValue → Decoder s () Source # label ∷ Proxy MaryValue → Text Source #
EncCBOR MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods encCBOR ∷ MaryValue → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MaryValue → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryValue] → Size Source #
Compactible MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Associated Types data CompactForm MaryValue Source # Methods toCompact ∷ MaryValue → Maybe (CompactForm MaryValue) Source # fromCompact ∷ CompactForm MaryValue → MaryValue Source #
Val MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods zero ∷ MaryValue Source # (<+>) ∷ MaryValue → MaryValue → MaryValue Source # (<×>) ∷ Integral i ⇒ i → MaryValue → MaryValue Source # (<->) ∷ MaryValue → MaryValue → MaryValue Source # isZero ∷ MaryValue → Bool Source # coin ∷ MaryValue → Coin Source # modifyCoin ∷ (Coin → Coin) → MaryValue → MaryValue Source # size ∷ MaryValue → Integer Source # pointwise ∷ (Integer → Integer → Bool) → MaryValue → MaryValue → Bool Source # isAdaOnly ∷ MaryValue → Bool Source # isAdaOnlyCompact ∷ CompactForm MaryValue → Bool Source # coinCompact ∷ CompactForm MaryValue → CompactForm Coin Source # injectCompact ∷ CompactForm Coin → CompactForm MaryValue Source # modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm MaryValue → CompactForm MaryValue Source #
NFData MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ MaryValue → () #
Eq MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ MaryValue → MaryValue → Bool # (/=) ∷ MaryValue → MaryValue → Bool #
Abelian MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value
Group MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods invert ∷ MaryValue → MaryValue Source # (~~) ∷ MaryValue → MaryValue → MaryValue Source # pow ∷ Integral x ⇒ MaryValue → x → MaryValue Source #
NoThunks MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods noThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy MaryValue → String Source #
Inject Coin MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods inject ∷ Coin → MaryValue Source #
Show (CompactForm MaryValue) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → CompactForm MaryValue → ShowS # show ∷ CompactForm MaryValue → String # showList ∷ [CompactForm MaryValue] → ShowS #
DecCBOR (CompactForm MaryValue) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods decCBOR ∷ Decoder s (CompactForm MaryValue) Source # dropCBOR ∷ Proxy (CompactForm MaryValue) → Decoder s () Source # label ∷ Proxy (CompactForm MaryValue) → Text Source #
EncCBOR (CompactForm MaryValue) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods encCBOR ∷ CompactForm MaryValue → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm MaryValue) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm MaryValue] → Size Source #
NFData (CompactForm MaryValue) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ CompactForm MaryValue → () #
Eq (CompactForm MaryValue) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool # (/=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #
MemPack (CompactForm MaryValue) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods typeName ∷ String Source # packedByteCount ∷ CompactForm MaryValue → Int Source # packM ∷ CompactForm MaryValue → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CompactForm MaryValue) Source #
NoThunks (CompactForm MaryValue) Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods noThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CompactForm MaryValue) → String Source #
type Rep MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.9.0.0-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)))
newtype CompactForm MaryValue Source #
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm MaryValue = CompactValue CompactValue

data MaryTxBody era Source #

Instances

Instances details

Generic (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type Rep (MaryTxBody era) ∷ Type → Type # Methods from ∷ MaryTxBody era → Rep (MaryTxBody era) x # to ∷ Rep (MaryTxBody era) x → MaryTxBody era #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods showsPrec ∷ Int → MaryTxBody era → ShowS # show ∷ MaryTxBody era → String # showList ∷ [MaryTxBody era] → ShowS #
Typeable era ⇒ ToCBOR (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody 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 (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods decCBOR ∷ Decoder s (MaryTxBody era) Source # dropCBOR ∷ Proxy (MaryTxBody era) → Decoder s () Source # label ∷ Proxy (MaryTxBody era) → Text Source #
Era era ⇒ EncCBOR (MaryTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Mary.TxBody 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 #
SafeToHash (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods originalBytes ∷ MaryTxBody era → ByteString Source # originalBytesSize ∷ MaryTxBody era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → MaryTxBody era → SafeHash i Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods eqRaw ∷ MaryTxBody era → MaryTxBody era → Bool Source #
Memoized (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type RawType (MaryTxBody era) = (r ∷ Type) Source # Methods getMemoBytes ∷ MaryTxBody era → MemoBytes (RawType (MaryTxBody era)) wrapMemoBytes ∷ MemoBytes (RawType (MaryTxBody era)) → MaryTxBody era
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods rnf ∷ MaryTxBody era → () #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods (==) ∷ MaryTxBody era → MaryTxBody era → Bool # (/=) ∷ MaryTxBody era → MaryTxBody era → Bool #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods noThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MaryTxBody era) → String Source #
Era era ⇒ HashAnnotated (MaryTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods hashAnnotated ∷ MaryTxBody era → SafeHash EraIndependentTxBody Source #
type Rep (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (MaryTxBody era) = D1 ('MetaData "MaryTxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw era)))))
type RawType (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (MaryTxBody era) = MaryTxBodyRaw era

Orphan instances

ApplyTx MaryEra Source #
Instance details Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv MaryEra → MempoolState MaryEra → Tx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra, Validated (Tx MaryEra)) Source #
ApplyBlock MaryEra Source #
Instance details Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState MaryEra → Block BHeaderView MaryEra → (NewEpochState MaryEra, [PredicateFailure (EraRule "BBODY" MaryEra)], [Event (EraRule "BBODY" MaryEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState MaryEra → SlotNo → (NewEpochState MaryEra, [Event (EraRule "TICK" MaryEra)]) Source #