cardano-ledger-mary-1.8.0.1: Cardano ledger with multiasset support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Mary

Synopsis

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.Internal

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.Internal

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.Internal

Methods

mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) 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.Internal

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.Internal

type TxBody MaryEra = MaryTxBody MaryEra
type TxBodyUpgradeError MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

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 {}
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 #

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, 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 "TxConstr" '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, HeapWords (CompactForm (Value era))) ⇒ HeapWords (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

heapWords ∷ ShelleyTxOut era → Int Source #

(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.8.0.1-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.Internal

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.Internal

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.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 #

MaryEraTxBody era ⇒ DecCBOR (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

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.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 #

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 ∷ 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.Internal

Methods

eqRaw ∷ MaryTxBody era → MaryTxBody era → Bool Source #

Memoized (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

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.Internal

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.Internal

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.Internal

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.Internal

Methods

hashAnnotated ∷ MaryTxBody era → SafeHash EraIndependentTxBody Source #

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.8.0.1-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" '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.Internal

type RawType (MaryTxBody era) = MaryTxBodyRaw era

Orphan instances