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 }
type StAnnTx l MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type StAnnTx l MaryEra = Tx l MaryEra
type StAnnTxCache MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type StAnnTxCache MaryEra = ()

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l MaryEra) (Tx l MaryEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l MaryEra) (StAnnTxCache MaryEra) Source #

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 ∷ StAnnTxCache MaryEra → 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 ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx MaryEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams MaryEra → (Credential 'Staking → 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, HKDSemialign 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 #

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

hkdTxFeeFixedCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm 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 #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm 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 #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm Coin)) Source #

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

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams MaryEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams MaryEra) UnitInterval 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 MaryEra → TxCert MaryEra Source #

getRegPoolTxCert ∷ TxCert MaryEra → Maybe (StakePoolParams MaryEra) 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) → 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 ∷ PParams MaryEra → CertState MaryEra → TxBody 'TopTx MaryEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody MaryEra ⇒ PParams MaryEra → Accounts 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 → ActiveStake 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

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

getProducedValue ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx 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 #

EraForecast MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Forecast

Associated Types

type Forecast t MaryEra
Instance details Defined in Cardano.Ledger.Mary.Forecast type Forecast t MaryEra = ShelleyForecast t MaryEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState MaryEra → Forecast t MaryEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) ProtVer Source #

ShelleyEraForecast MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Forecast

Methods

genDelegsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) GenDelegs Source #

decentralizationForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) UnitInterval Source #

extraEntropyForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t MaryEra) Nonce Source #

ApplyTx MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

newtype ApplyTxError MaryEra
Instance details Defined in Cardano.Ledger.Mary newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

mkStAnnTx ∷ EpochInfo (Either Text) → SystemStart → PParams MaryEra → UTxO MaryEra → StAnnTxCache MaryEra → Tx 'TopTx MaryEra → StAnnTx 'TopTx MaryEra Source #

internalApplyTxWithValidation ∷ ValidationPolicy → Globals → MempoolEnv MaryEra → MempoolState MaryEra → Tx 'TopTx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra, ValidatedTx MaryEra) Source #

internalReapplyValidatedTx ∷ Globals → MempoolEnv MaryEra → MempoolState MaryEra → ValidatedTx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra) Source #

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv MaryEra → MempoolState MaryEra → StAnnTx 'TopTx MaryEra → Either (ApplyTxError MaryEra) (MempoolState MaryEra, Validated (Tx 'TopTx MaryEra)) Source #

ApplyTick MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

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 }

Methods

mkTransitionConfig ∷ TranslationContext MaryEra → TransitionConfig (PreviousEra MaryEra) → TransitionConfig MaryEra Source #

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig MaryEra → NewEpochState MaryEra → m (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 #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig MaryEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig MaryEra)

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 SnapShots Source #

Instance details

Associated Types

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

Methods

translateEra ∷ TranslationContext MaryEra → SnapShots (PreviousEra MaryEra) → Except (TranslationError MaryEra SnapShots) (SnapShots 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 #

(EraBlockHeader h MaryEra, TPraosEraBlockHeader h MaryEra) ⇒ ApplyBlock h MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

wrapBlockSignal ∷ Block h MaryEra → Signal (EraRule "BBODY" MaryEra) Source #

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState MaryEra → Block h MaryEra → (NewEpochState MaryEra, [PredicateFailure (EraRule "BBODY" MaryEra)], [Event (EraRule "BBODY" MaryEra)]) Source #

InjectRuleEvent "POOL" PoolEvent MaryEra Source #

Instance details

Methods

injectEvent ∷ PoolEvent MaryEra → EraRuleEvent "POOL" 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" AccountAlreadyRegistered MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

Methods

injectFailure ∷ AccountAlreadyRegistered MaryEra → EraRuleFailure "DELEG" 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" AllegraUtxoPredFailure MaryEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AccountAlreadyRegistered MaryEra Source #

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered MaryEra → EraRuleFailure "LEDGER" 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

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 #

(DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h MaryEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Block h MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h MaryEra)) → 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 ⇒ 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 #

DecCBOR (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

decCBOR ∷ Decoder s (ApplyTxError MaryEra) Source #

dropCBOR ∷ Proxy (ApplyTxError MaryEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError MaryEra) → Text Source #

EncCBOR (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

encCBOR ∷ ApplyTxError MaryEra → Encoding Source #

Semigroup (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

(<>) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → ApplyTxError MaryEra #

sconcat ∷ NonEmpty (ApplyTxError MaryEra) → ApplyTxError MaryEra #

stimes ∷ Integral b ⇒ b → ApplyTxError MaryEra → ApplyTxError MaryEra #

Generic (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

type Rep (ApplyTxError MaryEra)
Instance details Defined in Cardano.Ledger.Mary type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

from ∷ ApplyTxError MaryEra → Rep (ApplyTxError MaryEra) x #

to ∷ Rep (ApplyTxError MaryEra) x → ApplyTxError MaryEra #

Show (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

showsPrec ∷ Int → ApplyTxError MaryEra → ShowS #

show ∷ ApplyTxError MaryEra → String #

showList ∷ [ApplyTxError MaryEra] → ShowS #

Show (TransitionConfig MaryEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig MaryEra → ShowS #

show ∷ TransitionConfig MaryEra → String #

showList ∷ [TransitionConfig MaryEra] → ShowS #

Eq (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

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

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

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 #

FromJSON (Tx 'TopTx MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx MaryEra] Source #

omittedField ∷ Maybe (Tx 'TopTx MaryEra) Source #

FromJSON (TxBody 'TopTx MaryEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx MaryEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx MaryEra) Source #

ToJSON (Tx 'TopTx MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toJSON ∷ Tx 'TopTx MaryEra → Value Source #

toEncoding ∷ Tx 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx MaryEra] → Encoding Source #

omitField ∷ Tx 'TopTx MaryEra → Bool Source #

ToJSON (TxBody 'TopTx MaryEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'TopTx MaryEra → Value Source #

toEncoding ∷ TxBody 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx MaryEra] → Encoding Source #

omitField ∷ TxBody 'TopTx MaryEra → Bool Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h MaryEra) Source #

Instance details

Methods

toCBOR ∷ Block h MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h MaryEra] → 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 #

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 h ⇒ EncCBOR (Block h MaryEra) Source #

Instance details

Methods

encCBOR ∷ Block h MaryEra → Encoding 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 #

ToKeyValuePairs (TxBody 'TopTx MaryEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx MaryEra → [kv] 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.11.1.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.11.1.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

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 StAnnTxCache MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

type StAnnTxCache 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 ApplyTxError MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary

newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

newtype TransitionConfig MaryEra Source #

Instance details

newtype TransitionConfig MaryEra = MaryTransitionConfig {

mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra

}

type ProtocolEraBlockHeader h MaryEra Source #

Instance details

type ProtocolEraBlockHeader h MaryEra = TPraosEraBlockHeader h MaryEra

type StAnnTx l MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

type StAnnTx l MaryEra = Tx l MaryEra

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 = BBODY MaryEra

type EraRule "DELEG" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEG" MaryEra = DELEG MaryEra

type EraRule "DELEGS" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEGS" MaryEra = DELEGS MaryEra

type EraRule "DELPL" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELPL" MaryEra = DELPL MaryEra

type EraRule "EPOCH" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "EPOCH" MaryEra = EPOCH MaryEra

type EraRule "LEDGER" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGER" MaryEra = LEDGER MaryEra

type EraRule "LEDGERS" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGERS" MaryEra = LEDGERS MaryEra

type EraRule "MIR" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "MIR" MaryEra = MIR MaryEra

type EraRule "NEWEPOCH" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWEPOCH" MaryEra = NEWEPOCH MaryEra

type EraRule "NEWPP" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWPP" MaryEra = NEWPP MaryEra

type EraRule "POOL" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOL" MaryEra = POOL MaryEra

type EraRule "POOLREAP" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOLREAP" MaryEra = POOLREAP MaryEra

type EraRule "PPUP" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "PPUP" MaryEra = PPUP MaryEra

type EraRule "RUPD" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "RUPD" MaryEra = RUPD MaryEra

type EraRule "SNAP" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "SNAP" MaryEra = SNAP MaryEra

type EraRule "TICK" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICK" MaryEra = TICK MaryEra

type EraRule "TICKF" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICKF" MaryEra = TICKF MaryEra

type EraRule "UPEC" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UPEC" MaryEra = UPEC MaryEra

type EraRule "UTXO" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXO" MaryEra = UTXO MaryEra

type EraRule "UTXOW" MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXOW" MaryEra = UTXOW MaryEra

type EraRuleEvent "LEDGER" MaryEra Source #

Instance details

type EraRuleEvent "LEDGER" MaryEra = ShelleyLedgerEvent MaryEra

type EraRuleEvent "POOL" MaryEra Source #

Instance details

type EraRuleEvent "POOL" MaryEra = PoolEvent 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

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 SnapShots Source #

Instance details

type TranslationError MaryEra SnapShots = 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 Forecast t MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary.Forecast

type Forecast t MaryEra = ShelleyForecast t 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 Rep (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

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.11.1.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.11.1.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 #
(FromJSON (TxBody 'TopTx era), FromJSON (TxWits era), FromJSON (TxAuxData era)) ⇒ FromJSON (ShelleyTx 'TopTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods parseJSON ∷ Value → Parser (ShelleyTx 'TopTx era) Source # parseJSONList ∷ Value → Parser [ShelleyTx 'TopTx era] Source # omittedField ∷ Maybe (ShelleyTx 'TopTx era) Source #
(ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToJSON (ShelleyTx 'TopTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toJSON ∷ ShelleyTx 'TopTx era → Value Source # toEncoding ∷ ShelleyTx 'TopTx era → Encoding Source # toJSONList ∷ [ShelleyTx 'TopTx era] → Value Source # toEncodingList ∷ [ShelleyTx 'TopTx era] → Encoding Source # omitField ∷ ShelleyTx 'TopTx era → Bool 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 #
(ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToKeyValuePairs (ShelleyTx 'TopTx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTx 'TopTx era → [kv] 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)) ⇒ FromJSON (ShelleyTxOut era)

Instance details

Methods

parseJSON ∷ Value → Parser (ShelleyTxOut era) Source #

parseJSONList ∷ Value → Parser [ShelleyTxOut era] Source #

omittedField ∷ Maybe (ShelleyTxOut era) 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))) ⇒ 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.20.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 #

Ord (CompactForm (Value era)) ⇒ Ord (ShelleyTxOut era)

Instance details

Methods

compare ∷ ShelleyTxOut era → ShelleyTxOut era → Ordering #

(<) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #

(<=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #

(>) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #

(>=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #

max ∷ ShelleyTxOut era → ShelleyTxOut era → ShelleyTxOut era #

min ∷ ShelleyTxOut era → ShelleyTxOut era → ShelleyTxOut era #

(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.20.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

Note that the Ord instance isn't semantically meaningful and is used only to satisfy constraints on Haskell containers such as Set and Map. Do not use it for any purpose that would directly affect chain behavior.

Instances

Instances details

FromJSON MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

parseJSON ∷ Value → Parser MaryValue Source #

parseJSONList ∷ Value → Parser [MaryValue] Source #

omittedField ∷ Maybe MaryValue Source #

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

Ord MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ MaryValue → MaryValue → Ordering #

(<) ∷ MaryValue → MaryValue → Bool #

(<=) ∷ MaryValue → MaryValue → Bool #

(>) ∷ MaryValue → MaryValue → Bool #

(>=) ∷ MaryValue → MaryValue → Bool #

max ∷ MaryValue → MaryValue → MaryValue #

min ∷ MaryValue → MaryValue → MaryValue #

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 #

Ord (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ CompactForm MaryValue → CompactForm MaryValue → Ordering #

(<) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(<=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(>) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(>=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

max ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

min ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

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

FromJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx AllegraEra) Source #

FromJSON (TxBody 'TopTx MaryEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx MaryEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx MaryEra) Source #

FromJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx ShelleyEra) Source #

ToJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx AllegraEra → Value Source #

toEncoding ∷ TxBody 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx AllegraEra] → Encoding Source #

omitField ∷ TxBody 'TopTx AllegraEra → Bool Source #

ToJSON (TxBody 'TopTx MaryEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'TopTx MaryEra → Value Source #

toEncoding ∷ TxBody 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx MaryEra] → Encoding Source #

omitField ∷ TxBody 'TopTx MaryEra → Bool Source #

ToJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx ShelleyEra → Value Source #

toEncoding ∷ TxBody 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ TxBody 'TopTx ShelleyEra → Bool 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 #

ToKeyValuePairs (TxBody 'TopTx AllegraEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx AllegraEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx MaryEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx MaryEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ShelleyEra → [kv] 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.10.2.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.11.1.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.20.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.10.2.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.11.1.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.20.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 #

FromJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (Tx 'TopTx AllegraEra) Source #

FromJSON (Tx 'TopTx MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx MaryEra] Source #

omittedField ∷ Maybe (Tx 'TopTx MaryEra) Source #

FromJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (Tx 'TopTx ShelleyEra) Source #

ToJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toJSON ∷ Tx 'TopTx AllegraEra → Value Source #

toEncoding ∷ Tx 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx AllegraEra] → Encoding Source #

omitField ∷ Tx 'TopTx AllegraEra → Bool Source #

ToJSON (Tx 'TopTx MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toJSON ∷ Tx 'TopTx MaryEra → Value Source #

toEncoding ∷ Tx 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx MaryEra] → Encoding Source #

omitField ∷ Tx 'TopTx MaryEra → Bool Source #

ToJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toJSON ∷ Tx 'TopTx ShelleyEra → Value Source #

toEncoding ∷ Tx 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ Tx 'TopTx ShelleyEra → Bool 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.20.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.10.2.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.11.1.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

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

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.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

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.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

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.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

data family ApplyTxError era Source #

Instances

Instances details

DecCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

decCBOR ∷ Decoder s (ApplyTxError AllegraEra) Source #

dropCBOR ∷ Proxy (ApplyTxError AllegraEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError AllegraEra) → Text Source #

DecCBOR (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

decCBOR ∷ Decoder s (ApplyTxError MaryEra) Source #

dropCBOR ∷ Proxy (ApplyTxError MaryEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError MaryEra) → Text Source #

DecCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

decCBOR ∷ Decoder s (ApplyTxError ShelleyEra) Source #

dropCBOR ∷ Proxy (ApplyTxError ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError ShelleyEra) → Text Source #

EncCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

encCBOR ∷ ApplyTxError AllegraEra → Encoding Source #

EncCBOR (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

encCBOR ∷ ApplyTxError MaryEra → Encoding Source #

EncCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

encCBOR ∷ ApplyTxError ShelleyEra → Encoding Source #

Semigroup (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

(<>) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

sconcat ∷ NonEmpty (ApplyTxError AllegraEra) → ApplyTxError AllegraEra #

stimes ∷ Integral b ⇒ b → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

Semigroup (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

(<>) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → ApplyTxError MaryEra #

sconcat ∷ NonEmpty (ApplyTxError MaryEra) → ApplyTxError MaryEra #

stimes ∷ Integral b ⇒ b → ApplyTxError MaryEra → ApplyTxError MaryEra #

Semigroup (ApplyTxError ShelleyEra)

Instance details

Methods

(<>) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

sconcat ∷ NonEmpty (ApplyTxError ShelleyEra) → ApplyTxError ShelleyEra #

stimes ∷ Integral b ⇒ b → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

Generic (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Associated Types

type Rep (ApplyTxError AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

Methods

from ∷ ApplyTxError AllegraEra → Rep (ApplyTxError AllegraEra) x #

to ∷ Rep (ApplyTxError AllegraEra) x → ApplyTxError AllegraEra #

Generic (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

type Rep (ApplyTxError MaryEra)
Instance details Defined in Cardano.Ledger.Mary type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

from ∷ ApplyTxError MaryEra → Rep (ApplyTxError MaryEra) x #

to ∷ Rep (ApplyTxError MaryEra) x → ApplyTxError MaryEra #

Generic (ApplyTxError ShelleyEra)

Instance details

Associated Types

type Rep (ApplyTxError ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Methods

from ∷ ApplyTxError ShelleyEra → Rep (ApplyTxError ShelleyEra) x #

to ∷ Rep (ApplyTxError ShelleyEra) x → ApplyTxError ShelleyEra #

Show (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

showsPrec ∷ Int → ApplyTxError AllegraEra → ShowS #

show ∷ ApplyTxError AllegraEra → String #

showList ∷ [ApplyTxError AllegraEra] → ShowS #

Show (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

showsPrec ∷ Int → ApplyTxError MaryEra → ShowS #

show ∷ ApplyTxError MaryEra → String #

showList ∷ [ApplyTxError MaryEra] → ShowS #

Show (ApplyTxError ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → ApplyTxError ShelleyEra → ShowS #

show ∷ ApplyTxError ShelleyEra → String #

showList ∷ [ApplyTxError ShelleyEra] → ShowS #

Eq (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

(==) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → Bool #

(/=) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → Bool #

Eq (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

Methods

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

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

Eq (ApplyTxError ShelleyEra)

Instance details

Methods

(==) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → Bool #

(/=) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → Bool #

newtype ApplyTxError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

newtype ApplyTxError AllegraEra = AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

newtype ApplyTxError MaryEra Source #

Instance details

Defined in Cardano.Ledger.Mary

newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

newtype ApplyTxError ShelleyEra

Instance details

newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

type Rep (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

type Rep (ApplyTxError MaryEra) Source #

Instance details

Defined in Cardano.Ledger.Mary

type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

type Rep (ApplyTxError ShelleyEra)

Instance details