Documentation

Associated Types

type Script MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type NativeScript MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type NativeScript MaryEra = Timelock MaryEra

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 #

EraTx MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

newtype Tx t MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx newtype Tx t MaryEra = MkMaryTx { unMaryTx ∷ ShelleyTx t MaryEra }

Methods

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l MaryEra → Tx l MaryEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l MaryEra) (TxBody l MaryEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l MaryEra) (TxWits MaryEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l MaryEra) (StrictMaybe (TxAuxData MaryEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l MaryEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits MaryEra), Typeable l) ⇒ Tx l MaryEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → NativeScript MaryEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams MaryEra → Tx l MaryEra → Int → Coin Source #

EraTxAuxData MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Associated Types

type TxAuxData MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra

Methods

mkBasicTxAuxData ∷ TxAuxData MaryEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData MaryEra → Bool Source #

EraTxBody MaryEra Source #

Instance details

Associated Types

newtype TxBody l MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l MaryEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictSeq (TxOut MaryEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictSeq (TxCert MaryEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody l MaryEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l MaryEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx MaryEra → Int Source #

EraTxOut MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.TxOut

Associated Types

type TxOut MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra

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
Instance details Defined in Cardano.Ledger.Mary.TxWits type TxWits MaryEra = ShelleyTxWits MaryEra

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 #

EraPParams MaryEra Source #

Instance details

Associated Types

type PParamsHKD f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type PParamsHKD f MaryEra = ShelleyPParams f MaryEra
type UpgradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f MaryEra = ()
type DowngradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f MaryEra = ()

Methods

applyPPUpdates ∷ PParams MaryEra → PParamsUpdate MaryEra → PParams MaryEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity MaryEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe MaryEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams 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 #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm 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, AtMostEra "Alonzo" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams MaryEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" MaryEra) ⇒ 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, AtMostEra "Mary" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Coin) Source #

eraPParams ∷ [PParam MaryEra] Source #

EraTxCert MaryEra Source #

Instance details

Associated Types

type TxCert MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert MaryEra = ShelleyTxCert MaryEra
type TxCertUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError MaryEra = Void

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 ∷ StakePoolParams → TxCert MaryEra Source #

getRegPoolTxCert ∷ TxCert MaryEra → Maybe StakePoolParams 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 #

EraTxLevel MaryEra Source #

Instance details

Associated Types

type STxLevel l MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody type STxLevel l MaryEra = STxTopLevel l MaryEra

EraGenesis MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type Genesis MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis MaryEra = NoGenesis MaryEra

EraAccounts MaryEra Source #

Instance details

Associated Types

type AccountState MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Account type AccountState MaryEra = ShelleyAccountState MaryEra
type Accounts MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.Account type Accounts MaryEra = ShelleyAccounts MaryEra

Methods

addAccountState ∷ Credential 'Staking → AccountState MaryEra → Accounts MaryEra → Accounts MaryEra Source #

accountsMapL ∷ Lens' (Accounts MaryEra) (Map (Credential 'Staking) (AccountState MaryEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState MaryEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState MaryEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState MaryEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts MaryEra → (Maybe (AccountState MaryEra), Accounts MaryEra) Source #

EraCertState MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.State.CertState

Associated Types

type CertState MaryEra
Instance details Defined in Cardano.Ledger.Mary.State.CertState type CertState MaryEra = ShelleyCertState MaryEra

Methods

certDStateL ∷ Lens' (CertState MaryEra) (DState MaryEra) Source #

certPStateL ∷ Lens' (CertState MaryEra) (PState MaryEra) Source #

obligationCertState ∷ CertState MaryEra → Obligations Source #

certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody MaryEra ⇒ PParams MaryEra → CertState MaryEra → TxBody t MaryEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody MaryEra ⇒ PParams MaryEra → CertState MaryEra → TxBody t MaryEra → Coin Source #

EraGov MaryEra Source #

Instance details

Associated Types

type GovState MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState MaryEra = ShelleyGovState MaryEra

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
Instance details Defined in Cardano.Ledger.Mary.State.Stake type InstantStake MaryEra = ShelleyInstantStake MaryEra

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 → Accounts MaryEra → Stake Source #

EraUTxO MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.UTxO

Associated Types

type ScriptsNeeded MaryEra
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams MaryEra → CertState MaryEra → UTxO MaryEra → TxBody t MaryEra → Value MaryEra Source #

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO MaryEra → TxBody t MaryEra → Value MaryEra Source #

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody t MaryEra → Value MaryEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO MaryEra → Tx t MaryEra → ScriptsProvided MaryEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO MaryEra → TxBody t MaryEra → ScriptsNeeded MaryEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded MaryEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState MaryEra → UTxO MaryEra → TxBody t MaryEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams MaryEra → Tx t MaryEra → UTxO MaryEra → Coin Source #

Era MaryEra

Instance details

Associated Types

type EraName MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

Methods

eraName ∷ String Source #

MaryEraTxBody MaryEra Source #

Instance details

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Value MaryEra) Source #

ApplyTx MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv MaryEra → MempoolState MaryEra → Tx 'TopTx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra, Validated (Tx 'TopTx 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

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 #

ShelleyEraAccounts MaryEra Source #

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState MaryEra Source #

accountsPtrsMapL ∷ Lens' (Accounts MaryEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts MaryEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState MaryEra) Ptr Source #

EraTransition MaryEra Source #

Instance details

Associated Types

newtype TransitionConfig MaryEra
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig MaryEra = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra }

ShelleyEraTxBody MaryEra Source #

Instance details

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) (StrictMaybe (Update MaryEra)) Source #

ShelleyEraTxCert MaryEra Source #

Instance details

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert MaryEra Source #

getRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert MaryEra Source #

getUnRegTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert MaryEra Source #

getDelegStakeTxCert ∷ TxCert MaryEra → Maybe (Credential 'Staking, 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

Associated Types

type TranslationError MaryEra AllegraTxAuxData
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra AllegraTxAuxData = Void

Methods

translateEra ∷ TranslationContext MaryEra → AllegraTxAuxData (PreviousEra MaryEra) → Except (TranslationError MaryEra AllegraTxAuxData) (AllegraTxAuxData MaryEra) Source #

TranslateEra MaryEra PParams Source #

Instance details

Associated Types

type TranslationError MaryEra PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParams = Void

Methods

translateEra ∷ TranslationContext MaryEra → PParams (PreviousEra MaryEra) → Except (TranslationError MaryEra PParams) (PParams MaryEra) Source #

TranslateEra MaryEra PParamsUpdate Source #

Instance details

Associated Types

type TranslationError MaryEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParamsUpdate = Void

Methods

translateEra ∷ TranslationContext MaryEra → PParamsUpdate (PreviousEra MaryEra) → Except (TranslationError MaryEra PParamsUpdate) (PParamsUpdate MaryEra) Source #

TranslateEra MaryEra CommitteeState Source #

Instance details

Associated Types

type TranslationError MaryEra CommitteeState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra CommitteeState = Void

Methods

translateEra ∷ TranslationContext MaryEra → CommitteeState (PreviousEra MaryEra) → Except (TranslationError MaryEra CommitteeState) (CommitteeState MaryEra) Source #

TranslateEra MaryEra DState Source #

Instance details

Associated Types

type TranslationError MaryEra DState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra DState = Void

Methods

translateEra ∷ TranslationContext MaryEra → DState (PreviousEra MaryEra) → Except (TranslationError MaryEra DState) (DState MaryEra) Source #

TranslateEra MaryEra PState Source #

Instance details

Associated Types

type TranslationError MaryEra PState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PState = Void

Methods

translateEra ∷ TranslationContext MaryEra → PState (PreviousEra MaryEra) → Except (TranslationError MaryEra PState) (PState MaryEra) Source #

TranslateEra MaryEra FuturePParams Source #

Instance details

Associated Types

type TranslationError MaryEra FuturePParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext MaryEra → FuturePParams (PreviousEra MaryEra) → Except (TranslationError MaryEra FuturePParams) (FuturePParams MaryEra) Source #

TranslateEra MaryEra UTxO Source #

Instance details

Associated Types

type TranslationError MaryEra UTxO
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxO = Void

Methods

translateEra ∷ TranslationContext MaryEra → UTxO (PreviousEra MaryEra) → Except (TranslationError MaryEra UTxO) (UTxO MaryEra) Source #

TranslateEra MaryEra ShelleyGovState Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyGovState (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyGovState) (ShelleyGovState MaryEra) Source #

TranslateEra MaryEra EpochState Source #

Instance details

Associated Types

type TranslationError MaryEra EpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra EpochState = Void

Methods

translateEra ∷ TranslationContext MaryEra → EpochState (PreviousEra MaryEra) → Except (TranslationError MaryEra EpochState) (EpochState MaryEra) Source #

TranslateEra MaryEra LedgerState Source #

Instance details

Associated Types

type TranslationError MaryEra LedgerState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra LedgerState = Void

Methods

translateEra ∷ TranslationContext MaryEra → LedgerState (PreviousEra MaryEra) → Except (TranslationError MaryEra LedgerState) (LedgerState MaryEra) Source #

TranslateEra MaryEra NewEpochState Source #

Instance details

Associated Types

type TranslationError MaryEra NewEpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext MaryEra → NewEpochState (PreviousEra MaryEra) → Except (TranslationError MaryEra NewEpochState) (NewEpochState MaryEra) Source #

TranslateEra MaryEra UTxOState Source #

Instance details

Associated Types

type TranslationError MaryEra UTxOState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxOState = Void

Methods

translateEra ∷ TranslationContext MaryEra → UTxOState (PreviousEra MaryEra) → Except (TranslationError MaryEra UTxOState) (UTxOState MaryEra) Source #

TranslateEra MaryEra ProposedPPUpdates Source #

Instance details

Associated Types

type TranslationError MaryEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext MaryEra → ProposedPPUpdates (PreviousEra MaryEra) → Except (TranslationError MaryEra ProposedPPUpdates) (ProposedPPUpdates MaryEra) Source #

TranslateEra MaryEra Update Source #

Instance details

Associated Types

type TranslationError MaryEra Update
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Update = Void

Methods

translateEra ∷ TranslationContext MaryEra → Update (PreviousEra MaryEra) → Except (TranslationError MaryEra Update) (Update MaryEra) Source #

TranslateEra MaryEra ShelleyAccounts Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyAccounts = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyAccounts (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyAccounts) (ShelleyAccounts MaryEra) Source #

TranslateEra MaryEra ShelleyCertState Source #

Instance details

TranslateEra MaryEra ShelleyInstantStake Source #

Associated Types

type TranslationError MaryEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyCertState = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyCertState (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyCertState) (ShelleyCertState MaryEra) Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyInstantStake = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyInstantStake (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyInstantStake) (ShelleyInstantStake MaryEra) Source #

TranslateEra MaryEra ShelleyTxOut Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxOut = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyTxOut (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxOut) (ShelleyTxOut MaryEra) Source #

TranslateEra MaryEra ShelleyTxWits Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyTxWits
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxWits = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyTxWits (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxWits) (ShelleyTxWits MaryEra) Source #

HasEraTxLevel Tx MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → STxLevel l MaryEra Source #

HasEraTxLevel TxBody MaryEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l MaryEra → STxLevel l MaryEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyBbodyPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "BBODY" MaryEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure MaryEra Source #

Instance details

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

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "DELEGS" MaryEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "DELPL" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "LEDGER" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "LEDGERS" MaryEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure MaryEra Source #

Instance details

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

Methods

injectFailure ∷ AllegraUtxoPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "UTXO" MaryEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure MaryEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure MaryEra → EraRuleFailure "UTXOW" MaryEra Source #

TranslateEra MaryEra (Timelock ∷ Type → Type) Source #

Instance details

Associated Types

type TranslationError MaryEra (Timelock ∷ Type → Type)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Timelock ∷ Type → Type) = Void

Methods

translateEra ∷ TranslationContext MaryEra → Timelock (PreviousEra MaryEra) → Except (TranslationError MaryEra (Timelock ∷ Type → Type)) (Timelock MaryEra) Source #

TranslateEra MaryEra (Tx 'TopTx) Source #

Instance details

Associated Types

type TranslationError MaryEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → Tx 'TopTx (PreviousEra MaryEra) → Except (TranslationError MaryEra (Tx 'TopTx)) (Tx 'TopTx MaryEra) Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra)) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t MaryEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l MaryEra)) → Text Source #

Show (TransitionConfig MaryEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig MaryEra → ShowS #

show ∷ TransitionConfig MaryEra → String #

showList ∷ [TransitionConfig MaryEra] → ShowS #

Eq (TransitionConfig MaryEra) Source #

Instance details

Methods

(==) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #

(/=) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #

NoThunks (TransitionConfig MaryEra) Source #

Instance details

Methods

noThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig MaryEra) → String Source #

HasEraTxLevel (AllegraTxBodyRaw ma) MaryEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AllegraTxBodyRaw ma l MaryEra → STxLevel l MaryEra Source #

Typeable t ⇒ ToCBOR (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t MaryEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l MaryEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l MaryEra] → Size Source #

EncCBOR (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EncCBOR (TxBody l MaryEra) Source #

Instance details

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

SafeToHash (TxBody l MaryEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l MaryEra → SafeHash i Source #

EqRaw (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRaw ∷ Tx t MaryEra → Tx t MaryEra → Bool Source #

EqRaw (TxBody l MaryEra) Source #

Instance details

Methods

eqRaw ∷ TxBody l MaryEra → TxBody l MaryEra → Bool Source #

Memoized (TxBody l MaryEra) Source #

Instance details

Associated Types

type RawType (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

getMemoBytes ∷ TxBody l MaryEra → MemoBytes (RawType (TxBody l MaryEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l MaryEra)) → TxBody l MaryEra

NFData (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

NFData (TxBody l MaryEra) Source #

Instance details

Methods

rnf ∷ TxBody l MaryEra → () #

Generic (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

type Rep (Tx t MaryEra)
Instance details Defined in Cardano.Ledger.Mary.Tx type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

Methods

from ∷ Tx t MaryEra → Rep (Tx t MaryEra) x #

to ∷ Rep (Tx t MaryEra) x → Tx t MaryEra #

Generic (TxBody l MaryEra) Source #

Instance details

Associated Types

type Rep (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

from ∷ TxBody l MaryEra → Rep (TxBody l MaryEra) x #

to ∷ Rep (TxBody l MaryEra) x → TxBody l MaryEra #

Show (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Show (TxBody l MaryEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Eq (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

(/=) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

Eq (TxBody l MaryEra) Source #

Instance details

Methods

(==) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

(/=) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

Typeable t ⇒ NoThunks (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

noThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t MaryEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l MaryEra) Source #

Instance details

Methods

noThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l MaryEra) → String Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

type BlockBody MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.BlockBody

type BlockBody MaryEra = ShelleyBlockBody MaryEra

type NativeScript MaryEra Source #

Instance details

type NativeScript MaryEra = Timelock MaryEra

type Script MaryEra Source #

Instance details

type Script MaryEra = Timelock MaryEra

type TxAuxData MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxAuxData MaryEra = AllegraTxAuxData MaryEra

type TxOut MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxOut MaryEra = ShelleyTxOut MaryEra

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

type TxCert MaryEra = ShelleyTxCert MaryEra

type TxCertUpgradeError MaryEra Source #

Instance details

type TxCertUpgradeError MaryEra = Void

type Genesis MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type Genesis MaryEra = NoGenesis MaryEra

type AccountState MaryEra Source #

Instance details

type AccountState MaryEra = ShelleyAccountState MaryEra

type Accounts MaryEra Source #

Instance details

type Accounts MaryEra = ShelleyAccounts 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

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

type EraName MaryEra

Instance details

type EraName MaryEra = "Mary"

type PreviousEra MaryEra

Instance details

type PreviousEra MaryEra = AllegraEra

type ProtVerHigh MaryEra

Instance details

type ProtVerHigh MaryEra = ProtVerLow MaryEra

type ProtVerLow MaryEra

Instance details

type ProtVerLow MaryEra = 4

newtype TransitionConfig MaryEra Source #

Instance details

newtype TransitionConfig MaryEra = MaryTransitionConfig {

mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra

}

newtype Tx t MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

newtype TxBody l MaryEra Source #

Instance details

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

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

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

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

type EraRuleFailure "DELEGS" MaryEra = ShelleyDelegsPredFailure MaryEra

type EraRuleFailure "DELPL" MaryEra Source #

Instance details

type EraRuleFailure "DELPL" MaryEra = ShelleyDelplPredFailure MaryEra

type EraRuleFailure "LEDGER" MaryEra Source #

Instance details

type EraRuleFailure "LEDGER" MaryEra = ShelleyLedgerPredFailure MaryEra

type EraRuleFailure "LEDGERS" MaryEra Source #

Instance details

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

type EraRuleFailure "UTXO" MaryEra = AllegraUtxoPredFailure MaryEra

type EraRuleFailure "UTXOW" MaryEra Source #

Instance details

type EraRuleFailure "UTXOW" MaryEra = ShelleyUtxowPredFailure MaryEra

type DowngradePParams f MaryEra Source #

Instance details

type DowngradePParams f MaryEra = ()

type PParamsHKD f MaryEra Source #

Instance details

type PParamsHKD f MaryEra = ShelleyPParams f MaryEra

type UpgradePParams f MaryEra Source #

Instance details

type UpgradePParams f MaryEra = ()

type TranslationError MaryEra AllegraTxAuxData Source #

Instance details

type TranslationError MaryEra AllegraTxAuxData = Void

type TranslationError MaryEra PParams Source #

Instance details

type TranslationError MaryEra PParams = Void

type TranslationError MaryEra PParamsUpdate Source #

Instance details

type TranslationError MaryEra PParamsUpdate = Void

type TranslationError MaryEra CommitteeState Source #

Instance details

type TranslationError MaryEra CommitteeState = Void

type TranslationError MaryEra DState Source #

Instance details

type TranslationError MaryEra DState = Void

type TranslationError MaryEra PState Source #

Instance details

type TranslationError MaryEra PState = Void

type TranslationError MaryEra FuturePParams Source #

Instance details

type TranslationError MaryEra FuturePParams = Void

type TranslationError MaryEra UTxO Source #

Instance details

type TranslationError MaryEra UTxO = Void

type TranslationError MaryEra ShelleyGovState Source #

Instance details

type TranslationError MaryEra ShelleyGovState = Void

type TranslationError MaryEra EpochState Source #

Instance details

type TranslationError MaryEra EpochState = Void

type TranslationError MaryEra LedgerState Source #

Instance details

type TranslationError MaryEra LedgerState = Void

type TranslationError MaryEra NewEpochState Source #

Instance details

type TranslationError MaryEra NewEpochState = Void

type TranslationError MaryEra UTxOState Source #

Instance details

type TranslationError MaryEra UTxOState = Void

type TranslationError MaryEra ProposedPPUpdates Source #

Instance details

type TranslationError MaryEra ProposedPPUpdates = Void

type TranslationError MaryEra Update Source #

Instance details

type TranslationError MaryEra Update = Void

type TranslationError MaryEra ShelleyAccounts Source #

Instance details

type TranslationError MaryEra ShelleyAccounts = Void

type TranslationError MaryEra ShelleyCertState Source #

Instance details

type TranslationError MaryEra ShelleyCertState = Void

type TranslationError MaryEra ShelleyInstantStake Source #

Instance details

type TranslationError MaryEra ShelleyInstantStake = Void

type TranslationError MaryEra ShelleyTxOut Source #

Instance details

type TranslationError MaryEra ShelleyTxOut = Void

type TranslationError MaryEra ShelleyTxWits Source #

Instance details

type TranslationError MaryEra ShelleyTxWits = DecoderError

type STxLevel l MaryEra Source #

Instance details

type STxLevel l MaryEra = STxTopLevel l MaryEra

type TranslationError MaryEra (Timelock ∷ Type → Type) Source #

Instance details

type TranslationError MaryEra (Timelock ∷ Type → Type) = Void

type TranslationError MaryEra (Tx 'TopTx) Source #

Instance details

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

type MemoHashIndex (MaryTxBodyRaw l) Source #

Instance details

type MemoHashIndex (MaryTxBodyRaw l) = EraIndependentTxBody

type RawType (TxBody l MaryEra) Source #

Instance details

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

type Rep (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

type Rep (TxBody l MaryEra) Source #

Instance details

TranslateEra AllegraEra ShelleyTxOut

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

data ShelleyTx (l ∷ TxLevel) era Source #

Instances

Instances details

(Typeable l, EraTxBody era, EraTxWits era, EraTxAuxData era, STxLevel l era ~ STxTopLevel l era) ⇒ DecCBOR (Annotator (ShelleyTx l era))
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (Annotator (ShelleyTx l era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTx l era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTx l era)) → Text Source #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era), Typeable l) ⇒ ToCBOR (ShelleyTx l era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR ∷ ShelleyTx l era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx l era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx l era] → Size Source #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTx l era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods encCBOR ∷ ShelleyTx l era → Encoding Source #
(NFData (TxBody l era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx l era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf ∷ ShelleyTx l era → () #
(Era era, Show (TxBody l era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx l era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec ∷ Int → ShelleyTx l era → ShowS # show ∷ ShelleyTx l era → String # showList ∷ [ShelleyTx l era] → ShowS #
(Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx l era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) ∷ ShelleyTx l era → ShelleyTx l era → Bool # (/=) ∷ ShelleyTx l era → ShelleyTx l era → Bool #
(Typeable era, Typeable l) ⇒ NoThunks (ShelleyTx l era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks ∷ Context → ShelleyTx l era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTx l era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTx l era) → String Source #

data ShelleyTxOut era Source #

Instances

Instances details

Instance details

Associated Types

type TranslationError AllegraEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxOut = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTxOut (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTxOut) (ShelleyTxOut AllegraEra) Source #

TranslateEra MaryEra ShelleyTxOut Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxOut = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyTxOut (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyTxOut) (ShelleyTxOut MaryEra) Source #

(Era era, Val (Value era)) ⇒ ToJSON (ShelleyTxOut era)

Instance details

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, DecCBOR (CompactForm (Value era))) ⇒ FromCBOR (ShelleyTxOut era)

Instance details

Methods

fromCBOR ∷ Decoder s (ShelleyTxOut era) Source #

label ∷ Proxy (ShelleyTxOut era) → Text Source #

(Era era, EncCBOR (CompactForm (Value era))) ⇒ ToCBOR (ShelleyTxOut era)

Instance details

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

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

Associated Types

type Share (ShelleyTxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxOut type Share (ShelleyTxOut era) = Interns (Credential 'Staking)

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

Methods

encCBOR ∷ ShelleyTxOut era → Encoding Source #

(Era era, Val (Value era)) ⇒ ToKeyValuePairs (ShelleyTxOut era)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTxOut era → [kv] Source #

NFData (ShelleyTxOut era)

Instance details

Methods

rnf ∷ ShelleyTxOut era → () #

Generic (ShelleyTxOut era)

Instance details

Associated Types

type Rep (ShelleyTxOut era)

Instance details

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))))

Methods

from ∷ ShelleyTxOut era → Rep (ShelleyTxOut era) x #

to ∷ Rep (ShelleyTxOut era) x → ShelleyTxOut era #

(Era era, Val (Value era)) ⇒ Show (ShelleyTxOut era)

Instance details

Methods

showsPrec ∷ Int → ShelleyTxOut era → ShowS #

show ∷ ShelleyTxOut era → String #

showList ∷ [ShelleyTxOut era] → ShowS #

Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era)

Instance details

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

Methods

typeName ∷ String Source #

packedByteCount ∷ ShelleyTxOut era → Int Source #

packM ∷ ShelleyTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (ShelleyTxOut era) Source #

NoThunks (ShelleyTxOut era)

Instance details

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

type TranslationError AllegraEra ShelleyTxOut = Void

type TranslationError MaryEra ShelleyTxOut Source #

Instance details

type TranslationError MaryEra ShelleyTxOut = Void

type Share (ShelleyTxOut era)

type Rep (ShelleyTxOut era)

Instance details

HasEraTxLevel TxBody AllegraEra

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))))

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 #

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 #

ToKeyValuePairs MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ MaryValue → [kv] Source #

Compactible MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

newtype CompactForm MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm MaryValue = CompactValue CompactValue

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 → () #

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

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.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)))

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 #

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 #

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 #

NFData (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ CompactForm MaryValue → () #

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 #

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

newtype CompactForm MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

newtype CompactForm MaryValue = CompactValue CompactValue

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.10.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)))

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel TxBody MaryEra Source #

Instance details

HasEraTxLevel TxBody ShelleyEra

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l MaryEra → STxLevel l MaryEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

EraTxBody era ⇒ HasOKey TxId (TxBody l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ TxBody l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l MaryEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra)

Instance details

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AllegraEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l MaryEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l MaryEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra)

Instance details

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

EncCBOR (TxBody l AllegraEra)

Instance details

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l MaryEra) Source #

Instance details

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra)

Instance details

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l AllegraEra)

Instance details

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

SafeToHash (TxBody l MaryEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l MaryEra → SafeHash i Source #

SafeToHash (TxBody l ShelleyEra)

Instance details

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l AllegraEra)

Instance details

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

EqRaw (TxBody l MaryEra) Source #

Instance details

Methods

eqRaw ∷ TxBody l MaryEra → TxBody l MaryEra → Bool Source #

EqRaw (TxBody l ShelleyEra)

Instance details

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l AllegraEra)

Instance details

Associated Types

type RawType (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

Memoized (TxBody l MaryEra) Source #

Instance details

Associated Types

type RawType (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

getMemoBytes ∷ TxBody l MaryEra → MemoBytes (RawType (TxBody l MaryEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l MaryEra)) → TxBody l MaryEra

Memoized (TxBody l ShelleyEra)

Instance details

Associated Types

type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l AllegraEra)

Instance details

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l MaryEra) Source #

Instance details

Methods

rnf ∷ TxBody l MaryEra → () #

NFData (TxBody l ShelleyEra)

Instance details

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra)

Instance details

Associated Types

type Rep (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Generic (TxBody l MaryEra) Source #

Instance details

Associated Types

type Rep (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

from ∷ TxBody l MaryEra → Rep (TxBody l MaryEra) x #

to ∷ Rep (TxBody l MaryEra) x → TxBody l MaryEra #

Generic (TxBody l ShelleyEra)

Instance details

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (TxBody l AllegraEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l MaryEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Show (TxBody l ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l AllegraEra)

Instance details

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Eq (TxBody l MaryEra) Source #

Instance details

Methods

(==) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

(/=) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

Eq (TxBody l ShelleyEra)

Instance details

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (TxBody l AllegraEra)

Instance details

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l MaryEra) Source #

Instance details

Methods

noThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l MaryEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra)

Instance details

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra

Instance details

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

newtype TxBody l MaryEra Source #

Instance details

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

newtype TxBody l ShelleyEra

Instance details

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

type RawType (TxBody l AllegraEra)

Instance details

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

type RawType (TxBody l MaryEra) Source #

Instance details

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

type RawType (TxBody l ShelleyEra)

Instance details

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (TxBody l AllegraEra)

Instance details

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

type Rep (TxBody l MaryEra) Source #

Instance details

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

type Rep (TxBody l ShelleyEra)

Instance details

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details

HasEraTxLevel Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel Tx MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → STxLevel l MaryEra Source #

HasEraTxLevel Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

TranslateEra AllegraEra (Tx 'TopTx)

Instance details

Associated Types

type TranslationError AllegraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

TranslateEra MaryEra (Tx 'TopTx) Source #

Instance details

Associated Types

type TranslationError MaryEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → Tx 'TopTx (PreviousEra MaryEra) → Except (TranslationError MaryEra (Tx 'TopTx)) (Tx 'TopTx MaryEra) Source #

EraTx era ⇒ HasOKey TxId (Tx l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra))

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra))

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra)) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t MaryEra)) → Text Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

Typeable t ⇒ ToCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t AllegraEra] → Size Source #

Typeable t ⇒ ToCBOR (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t MaryEra] → Size Source #

EncCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EqRaw (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

EqRaw (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

EqRaw (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRaw ∷ Tx t MaryEra → Tx t MaryEra → Bool Source #

NFData (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

Generic (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Rep (Tx t AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

type Rep (Tx t MaryEra)
Instance details Defined in Cardano.Ledger.Mary.Tx type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

Methods

from ∷ Tx t MaryEra → Rep (Tx t MaryEra) x #

to ∷ Rep (Tx t MaryEra) x → Tx t MaryEra #

Show (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Eq (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Eq (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Eq (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

(/=) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

Typeable l ⇒ NoThunks (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

Typeable t ⇒ NoThunks (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

Typeable t ⇒ NoThunks (Tx t MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

noThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t MaryEra) → String Source #

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype Tx t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {

unAllegraTx ∷ ShelleyTx t AllegraEra

}

newtype Tx t MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

type TranslationError AllegraEra (Tx 'TopTx)

Instance details

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

type TranslationError MaryEra (Tx 'TopTx) Source #

Instance details