cardano-ledger-mary-1.10.0.0: Cardano ledger with multiasset support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Mary.HuddleSpec

Documentation

module Cardano.Ledger.Allegra.HuddleSpec

data MaryEra Source #

Instances

Instances details
AllegraEraScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

Methods

mkTimeStart ∷ SlotNo → NativeScript MaryEra Source #

getTimeStart ∷ NativeScript MaryEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript MaryEra Source #

getTimeExpire ∷ NativeScript MaryEra → Maybe SlotNo Source #

AllegraEraTxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (StrictSeq (NativeScript MaryEra)) Source #

AllegraEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) ValidityInterval Source #

EraBlockBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.BlockBody

Associated Types

type BlockBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.BlockBody

type BlockBody MaryEra = ShelleyBlockBody MaryEra

Methods

mkBasicBlockBody ∷ BlockBody MaryEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody MaryEra) (StrictSeq (Tx 'TopTx MaryEra)) Source #

hashBlockBody ∷ BlockBody MaryEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript MaryEra

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Defined in Cardano.Ledger.Mary.Scripts

Associated Types

type Script MaryEra 
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 
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 {}

Methods

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

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

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

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

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

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

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

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

EraTxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Associated Types

type TxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxAuxData MaryEra = AllegraTxAuxData MaryEra

Methods

mkBasicTxAuxData ∷ TxAuxData MaryEra Source #

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

validateTxAuxData ∷ ProtVer → TxAuxData MaryEra → Bool Source #

EraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

newtype TxBody l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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

Methods

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

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

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

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

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

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

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

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

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

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

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx MaryEra → Int Source #

EraTxOut MaryEra 
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 
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 
Instance details

Defined in Cardano.Ledger.Mary.PParams

Associated Types

type PParamsHKD f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type PParamsHKD f MaryEra = ShelleyPParams f MaryEra
type UpgradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type UpgradePParams f MaryEra = ()
type DowngradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type DowngradePParams f MaryEra = ()

Methods

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

emptyPParamsIdentity ∷ PParamsHKD Identity MaryEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe MaryEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe MaryEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra MaryEra)) ⇒ UpgradePParams f MaryEra → PParamsHKD f (PreviousEra MaryEra) → PParamsHKD f MaryEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra MaryEra)) ⇒ DowngradePParams f MaryEra → PParamsHKD f MaryEra → PParamsHKD f (PreviousEra MaryEra) Source #

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

hkdMinFeeBCompactL ∷ ∀ (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 #

eraPParams ∷ [PParam MaryEra] Source #

EraTxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

Associated Types

type TxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCert MaryEra = ShelleyTxCert MaryEra
type TxCertUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCertUpgradeError MaryEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra MaryEra) → Either (TxCertUpgradeError MaryEra) (TxCert MaryEra) Source #

getVKeyWitnessTxCert ∷ TxCert MaryEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert MaryEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert MaryEra Source #

getRegPoolTxCert ∷ TxCert MaryEra → Maybe StakePoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert MaryEra Source #

getRetirePoolTxCert ∷ TxCert MaryEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (KeyHash 'StakePool → Bool) → f (TxCert MaryEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert MaryEra) → Coin Source #

EraTxLevel MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type STxLevel l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type STxLevel l MaryEra = STxTopLevel l MaryEra
EraGenesis MaryEra 
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 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

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

Defined in Cardano.Ledger.Mary.State.CertState

Associated Types

type CertState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.CertState

type CertState MaryEra = ShelleyCertState MaryEra

Methods

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

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

obligationCertState ∷ CertState MaryEra → Obligations Source #

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

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

EraGov MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

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

Defined in Cardano.Ledger.Mary.State.Stake

Associated Types

type InstantStake MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Stake

type InstantStake MaryEra = ShelleyInstantStake MaryEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake MaryEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO MaryEra → InstantStake MaryEra → InstantStake MaryEra Source #

deleteInstantStake ∷ UTxO MaryEra → InstantStake MaryEra → InstantStake MaryEra Source #

resolveInstantStake ∷ InstantStake MaryEra → Accounts MaryEra → Stake Source #

EraUTxO MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

Associated Types

type ScriptsNeeded MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra

Methods

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

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

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

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

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

getScriptsHashesNeeded ∷ ScriptsNeeded MaryEra → Set ScriptHash Source #

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

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

Era MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

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

ApplyTx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary

Methods

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

ApplyBlock MaryEra 
Instance details

Defined in Cardano.Ledger.Mary

Methods

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

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState MaryEra → SlotNo → (NewEpochState MaryEra, [Event (EraRule "TICK" MaryEra)]) Source #

ShelleyEraScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript MaryEra Source #

getRequireSignature ∷ NativeScript MaryEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source #

getRequireAllOf ∷ NativeScript MaryEra → Maybe (StrictSeq (NativeScript MaryEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source #

getRequireAnyOf ∷ NativeScript MaryEra → Maybe (StrictSeq (NativeScript MaryEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript MaryEra) → NativeScript MaryEra Source #

getRequireMOf ∷ NativeScript MaryEra → Maybe (Int, StrictSeq (NativeScript MaryEra)) Source #

ShelleyEraAccounts MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

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

Defined in Cardano.Ledger.Mary.Transition

Associated Types

newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig MaryEra = MaryTransitionConfig {}

Methods

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

injectIntoTestState ∷ TransitionConfig MaryEra → NewEpochState MaryEra → NewEpochState MaryEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig MaryEra) (TransitionConfig (PreviousEra MaryEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig MaryEra) (TranslationContext MaryEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig MaryEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig MaryEra) (PParams MaryEra) Source #

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

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig MaryEra)

ShelleyEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

ShelleyEraTxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra FuturePParams = Void

Methods

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

TranslateEra MaryEra UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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 #

TranslateEra MaryEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Tx

Methods

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

HasEraTxLevel TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

HuddleGroup "account_registration_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "multi_host_name" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "operational_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "pool_params" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "pool_registration_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "protocol_version" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_all" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_any" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_invalid_before" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_invalid_hereafter" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_n_of_k" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_pubkey" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "single_host_addr" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "single_host_name" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleRule "asset_name" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "auxiliary_data" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "auxiliary_data_array" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "auxiliary_scripts" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "block" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "bootstrap_witness" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "certificate" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "delta_coin" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "dns_name" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "genesis_delegate_hash" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "genesis_hash" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "header" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "header_body" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "major_protocol_version" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "mint" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "move_instantaneous_reward" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "native_script" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "policy_id" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "pool_metadata" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "protocol_param_update" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "relay" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_body" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_id" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_input" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_output" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_witness_set" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "update" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "url" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "value" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "vkeywitness" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "withdrawals" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule1 "set" MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule1 ∷ IsType0 a ⇒ Proxy MaryEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

Methods

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

InjectRuleFailure "DELEG" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

Methods

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

InjectRuleFailure "DELPL" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

Methods

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

InjectRuleFailure "DELPL" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

Methods

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

InjectRuleFailure "DELPL" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

Methods

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

InjectRuleFailure "POOL" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

Methods

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

InjectRuleFailure "PPUP" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

Methods

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

InjectRuleFailure "UTXO" AllegraUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

Methods

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

InjectRuleFailure "UTXO" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

Methods

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

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

Methods

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

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

Methods

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

TranslateEra MaryEra (Timelock ∷ Type → Type) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

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) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

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

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra)) 
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)) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

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

Show (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

showsPrec ∷ Int → TransitionConfig MaryEra → ShowS #

show ∷ TransitionConfig MaryEra → String #

showList ∷ [TransitionConfig MaryEra] → ShowS #

Eq (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

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

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

NoThunks (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig MaryEra) → String Source #

HasEraTxLevel (AllegraTxBodyRaw ma) MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

Typeable t ⇒ ToCBOR (Tx t MaryEra) 
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) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

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

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

EncCBOR (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EncCBOR (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

SafeToHash (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

EqRaw (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

Memoized (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

NFData (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnf ∷ TxBody l MaryEra → () #

Generic (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

type Rep (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

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

Methods

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

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

Generic (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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

Methods

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

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

Show (Tx t MaryEra) 
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) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Eq (Tx t MaryEra) 
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) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

Typeable t ⇒ NoThunks (Tx t MaryEra) 
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) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

type BlockBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.BlockBody

type BlockBody MaryEra = ShelleyBlockBody MaryEra
type NativeScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type NativeScript MaryEra = Timelock MaryEra
type Script MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script MaryEra = Timelock MaryEra
type TxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxAuxData MaryEra = AllegraTxAuxData MaryEra
type TxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxOut MaryEra = ShelleyTxOut MaryEra
type TxWits MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

type TxWits MaryEra = ShelleyTxWits MaryEra
type Value MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type Value MaryEra = MaryValue
type TranslationContext MaryEra

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 
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
type Genesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type Genesis MaryEra = NoGenesis MaryEra
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
type CertState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.CertState

type CertState MaryEra = ShelleyCertState MaryEra
type GovState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type GovState MaryEra = ShelleyGovState MaryEra
type InstantStake MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Stake

type InstantStake MaryEra = ShelleyInstantStake MaryEra
type ScriptsNeeded MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra
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 ProtVerHigh MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh MaryEra = ProtVerLow MaryEra
type ProtVerLow MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow MaryEra = 4
newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig MaryEra = MaryTransitionConfig {}
newtype Tx t MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {}
newtype TxBody l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))
type EraRule "BBODY" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "BBODY" MaryEra = ShelleyBBODY MaryEra
type EraRule "DELEG" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEG" MaryEra = ShelleyDELEG MaryEra
type EraRule "DELEGS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEGS" MaryEra = ShelleyDELEGS MaryEra
type EraRule "DELPL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELPL" MaryEra = ShelleyDELPL MaryEra
type EraRule "EPOCH" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "EPOCH" MaryEra = ShelleyEPOCH MaryEra
type EraRule "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGER" MaryEra = ShelleyLEDGER MaryEra
type EraRule "LEDGERS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGERS" MaryEra = ShelleyLEDGERS MaryEra
type EraRule "MIR" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "MIR" MaryEra = ShelleyMIR MaryEra
type EraRule "NEWEPOCH" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWEPOCH" MaryEra = ShelleyNEWEPOCH MaryEra
type EraRule "NEWPP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWPP" MaryEra = ShelleyNEWPP MaryEra
type EraRule "POOL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOL" MaryEra = ShelleyPOOL MaryEra
type EraRule "POOLREAP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOLREAP" MaryEra = ShelleyPOOLREAP MaryEra
type EraRule "PPUP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "PPUP" MaryEra = ShelleyPPUP MaryEra
type EraRule "RUPD" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "RUPD" MaryEra = ShelleyRUPD MaryEra
type EraRule "SNAP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "SNAP" MaryEra = ShelleySNAP MaryEra
type EraRule "TICK" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICK" MaryEra = ShelleyTICK MaryEra
type EraRule "TICKF" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICKF" MaryEra = ShelleyTICKF MaryEra
type EraRule "UPEC" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UPEC" MaryEra = ShelleyUPEC MaryEra
type EraRule "UTXO" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXO" MaryEra = AllegraUTXO MaryEra
type EraRule "UTXOW" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXOW" MaryEra = AllegraUTXOW MaryEra
type EraRuleEvent "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleEvent "LEDGER" MaryEra = ShelleyLedgerEvent MaryEra
type EraRuleEvent "TICK" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules

type EraRuleEvent "TICK" MaryEra = ShelleyTickEvent MaryEra
type EraRuleFailure "BBODY" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

type EraRuleFailure "BBODY" MaryEra = ShelleyBbodyPredFailure MaryEra
type EraRuleFailure "DELEG" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

type EraRuleFailure "DELEG" MaryEra = ShelleyDelegPredFailure MaryEra
type EraRuleFailure "DELEGS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

type EraRuleFailure "DELEGS" MaryEra = ShelleyDelegsPredFailure MaryEra
type EraRuleFailure "DELPL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

type EraRuleFailure "DELPL" MaryEra = ShelleyDelplPredFailure MaryEra
type EraRuleFailure "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleFailure "LEDGER" MaryEra = ShelleyLedgerPredFailure MaryEra
type EraRuleFailure "LEDGERS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

type EraRuleFailure "LEDGERS" MaryEra = ShelleyLedgersPredFailure MaryEra
type EraRuleFailure "POOL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

type EraRuleFailure "POOL" MaryEra = ShelleyPoolPredFailure MaryEra
type EraRuleFailure "PPUP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

type EraRuleFailure "PPUP" MaryEra = ShelleyPpupPredFailure MaryEra
type EraRuleFailure "UTXO" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

type EraRuleFailure "UTXO" MaryEra = AllegraUtxoPredFailure MaryEra
type EraRuleFailure "UTXOW" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

type EraRuleFailure "UTXOW" MaryEra = ShelleyUtxowPredFailure MaryEra
type DowngradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type DowngradePParams f MaryEra = ()
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 TranslationError MaryEra AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra AllegraTxAuxData = Void
type TranslationError MaryEra PParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParams = Void
type TranslationError MaryEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParamsUpdate = Void
type TranslationError MaryEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra CommitteeState = Void
type TranslationError MaryEra DState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra DState = Void
type TranslationError MaryEra PState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PState = Void
type TranslationError MaryEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra FuturePParams = Void
type TranslationError MaryEra UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra UTxO = Void
type TranslationError MaryEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyGovState = Void
type TranslationError MaryEra EpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra EpochState = Void
type TranslationError MaryEra LedgerState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra LedgerState = Void
type TranslationError MaryEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra NewEpochState = Void
type TranslationError MaryEra UTxOState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra UTxOState = Void
type TranslationError MaryEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ProposedPPUpdates = Void
type TranslationError MaryEra Update 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra Update = Void
type TranslationError MaryEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyAccounts = Void
type TranslationError MaryEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyCertState = Void
type TranslationError MaryEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyInstantStake = Void
type TranslationError MaryEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyTxOut = Void
type TranslationError MaryEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyTxWits = DecoderError
type STxLevel l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type STxLevel l MaryEra = STxTopLevel l MaryEra
type TranslationError MaryEra (Timelock ∷ Type → Type) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Timelock ∷ Type → Type) = Void
type TranslationError MaryEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) = DecoderError
type MemoHashIndex (MaryTxBodyRaw l) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type MemoHashIndex (MaryTxBodyRaw l) = EraIndependentTxBody
type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra
type Rep (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

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

Defined in Cardano.Ledger.Mary.TxBody

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

maryCDDL ∷ Huddle Source #

maryMultiasset ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, IsType0 a) ⇒ Proxy era → a → GRuleCall Source #

maryValueRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era) ⇒ Proxy era → Rule Source #

maryMintRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era) ⇒ Proxy era → Rule Source #

assetNameRule ∷ Proxy era → Rule Source #

Orphan instances

HuddleGroup "account_registration_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "multi_host_name" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "operational_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "pool_params" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "pool_registration_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "protocol_version" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_all" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_any" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_invalid_before" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_invalid_hereafter" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_n_of_k" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "script_pubkey" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "single_host_addr" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleGroup "single_host_name" MaryEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy MaryEra → GroupDef Source #

HuddleRule "asset_name" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "auxiliary_data" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "auxiliary_data_array" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "auxiliary_scripts" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "block" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "bootstrap_witness" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "certificate" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "delta_coin" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "dns_name" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "genesis_delegate_hash" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "genesis_hash" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "header" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "header_body" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "major_protocol_version" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "mint" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "move_instantaneous_reward" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "native_script" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "policy_id" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "pool_metadata" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "protocol_param_update" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "relay" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_body" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_id" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_input" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_output" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "transaction_witness_set" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "update" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "url" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "value" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "vkeywitness" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule "withdrawals" MaryEra Source # 
Instance details

Methods

huddleRule ∷ Proxy MaryEra → Rule Source #

HuddleRule1 "set" MaryEra Source # 
Instance details

Methods

huddleRule1 ∷ IsType0 a ⇒ Proxy MaryEra → a → GRuleCall Source #