cardano-ledger-allegra-1.7.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra

Synopsis

Documentation

type Allegra = AllegraEra Source #

Deprecated: In favor of AllegraEra

data AllegraEra Source #

The Allegra era

Instances

Instances details
AllegraEraScript AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

mkTimeStart ∷ SlotNo → NativeScript AllegraEra Source #

getTimeStart ∷ NativeScript AllegraEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript AllegraEra Source #

getTimeExpire ∷ NativeScript AllegraEra → Maybe SlotNo Source #

AllegraEraTxAuxData AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (Timelock AllegraEra)) Source #

AllegraEraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Methods

vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #

EraScript AllegraEra Source #

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

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Script AllegraEra = (r ∷ Type) Source #

type NativeScript AllegraEra = (r ∷ Type) Source #

Methods

upgradeScript ∷ Script (PreviousEra AllegraEra) → Script AllegraEra Source #

scriptPrefixTag ∷ Script AllegraEra → ByteString Source #

getNativeScript ∷ Script AllegraEra → Maybe (NativeScript AllegraEra) Source #

fromNativeScript ∷ NativeScript AllegraEra → Script AllegraEra Source #

EraSegWits AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

Associated Types

type TxSeq AllegraEra = (r ∷ Type) Source #

Methods

fromTxSeq ∷ TxSeq AllegraEra → StrictSeq (Tx AllegraEra) Source #

toTxSeq ∷ StrictSeq (Tx AllegraEra) → TxSeq AllegraEra Source #

hashTxSeq ∷ TxSeq AllegraEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraTx AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Tx AllegraEra = (r ∷ Type) Source #

type TxUpgradeError AllegraEra Source #

Methods

mkBasicTx ∷ TxBody AllegraEra → Tx AllegraEra Source #

bodyTxL ∷ Lens' (Tx AllegraEra) (TxBody AllegraEra) Source #

witsTxL ∷ Lens' (Tx AllegraEra) (TxWits AllegraEra) Source #

auxDataTxL ∷ Lens' (Tx AllegraEra) (StrictMaybe (TxAuxData AllegraEra)) Source #

sizeTxF ∷ SimpleGetter (Tx AllegraEra) Integer Source #

wireSizeTxF ∷ SimpleGetter (Tx AllegraEra) Word32 Source #

validateNativeScript ∷ Tx AllegraEra → NativeScript AllegraEra → Bool Source #

getMinFeeTx ∷ PParams AllegraEra → Tx AllegraEra → Int → Coin Source #

upgradeTx ∷ Tx (PreviousEra AllegraEra) → Either (TxUpgradeError AllegraEra) (Tx AllegraEra) Source #

EraTxAuxData AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type TxAuxData AllegraEra = (r ∷ Type) Source #

Methods

mkBasicTxAuxData ∷ TxAuxData AllegraEra Source #

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

upgradeTxAuxData ∷ TxAuxData (PreviousEra AllegraEra) → TxAuxData AllegraEra Source #

validateTxAuxData ∷ ProtVer → TxAuxData AllegraEra → Bool Source #

EraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Associated Types

type TxBody AllegraEra = (r ∷ Type) Source #

type TxBodyUpgradeError AllegraEra Source #

Methods

mkBasicTxBody ∷ TxBody AllegraEra Source #

inputsTxBodyL ∷ Lens' (TxBody AllegraEra) (Set TxIn) Source #

outputsTxBodyL ∷ Lens' (TxBody AllegraEra) (StrictSeq (TxOut AllegraEra)) Source #

feeTxBodyL ∷ Lens' (TxBody AllegraEra) Coin Source #

withdrawalsTxBodyL ∷ Lens' (TxBody AllegraEra) Withdrawals Source #

auxDataHashTxBodyL ∷ Lens' (TxBody AllegraEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ SimpleGetter (TxBody AllegraEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody AllegraEra) (Set TxIn) Source #

certsTxBodyL ∷ Lens' (TxBody AllegraEra) (StrictSeq (TxCert AllegraEra)) Source #

getTotalDepositsTxBody ∷ PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody AllegraEra → Coin Source #

getTotalRefundsTxBody ∷ PParams AllegraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody AllegraEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody AllegraEra → Int Source #

upgradeTxBody ∷ TxBody (PreviousEra AllegraEra) → Either (TxBodyUpgradeError AllegraEra) (TxBody AllegraEra) Source #

EraTxOut AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

Associated Types

type TxOut AllegraEra = (r ∷ Type) Source #

Methods

mkBasicTxOut ∷ Addr → Value AllegraEra → TxOut AllegraEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AllegraEra) → TxOut AllegraEra Source #

valueTxOutL ∷ Lens' (TxOut AllegraEra) (Value AllegraEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AllegraEra) (CompactForm (Value AllegraEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either (Value AllegraEra) (CompactForm (Value AllegraEra))) Source #

addrTxOutL ∷ Lens' (TxOut AllegraEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AllegraEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AllegraEra → Sized (TxOut AllegraEra) → Coin Source #

getMinCoinTxOut ∷ PParams AllegraEra → TxOut AllegraEra → Coin Source #

EraTxWits AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

Associated Types

type TxWits AllegraEra = (r ∷ Type) Source #

Methods

mkBasicTxWits ∷ TxWits AllegraEra Source #

addrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AllegraEra) (Map ScriptHash (Script AllegraEra)) Source #

upgradeTxWits ∷ TxWits (PreviousEra AllegraEra) → TxWits AllegraEra Source #

Era AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type PreviousEra AllegraEra = (r ∷ Type) Source #

type ProtVerLow AllegraEra ∷ Nat Source #

type ProtVerHigh AllegraEra ∷ Nat Source #

Methods

eraName ∷ String Source #

EraPParams AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type PParamsHKD f AllegraEra = (r ∷ Type) Source #

type UpgradePParams f AllegraEra Source #

type DowngradePParams f AllegraEra Source #

Methods

applyPPUpdates ∷ PParams AllegraEra → PParamsUpdate AllegraEra → PParams AllegraEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AllegraEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AllegraEra Source #

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

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

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

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

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word16) Source #

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

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

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost AllegraEra 6) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams AllegraEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost AllegraEra 6) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost AllegraEra 8) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams AllegraEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate AllegraEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost AllegraEra 4) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source #

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

EraTxCert AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

Associated Types

type TxCert AllegraEra = (r ∷ Type) Source #

type TxCertUpgradeError AllegraEra Source #

Methods

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

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

getScriptWitnessTxCert ∷ TxCert AllegraEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ PoolParams → TxCert AllegraEra Source #

getRegPoolTxCert ∷ TxCert AllegraEra → Maybe PoolParams Source #

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

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

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

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

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

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

EraGenesis AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type Genesis AllegraEra Source #

EraUTxO AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

Associated Types

type ScriptsNeeded AllegraEra = (r ∷ Type) Source #

Methods

getConsumedValue ∷ PParams AllegraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO AllegraEra → TxBody AllegraEra → Value AllegraEra Source #

getProducedValue ∷ PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody AllegraEra → Value AllegraEra Source #

getScriptsProvided ∷ UTxO AllegraEra → Tx AllegraEra → ScriptsProvided AllegraEra Source #

getScriptsNeeded ∷ UTxO AllegraEra → TxBody AllegraEra → ScriptsNeeded AllegraEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded AllegraEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ CertState AllegraEra → UTxO AllegraEra → TxBody AllegraEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ PParams AllegraEra → Tx AllegraEra → UTxO AllegraEra → Coin Source #

ApplyTx AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra

Methods

applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError AllegraEra) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → Tx AllegraEra → m (EventReturnType ep (EraRule "LEDGER" AllegraEra) (MempoolState AllegraEra, Validated (Tx AllegraEra))) Source #

reapplyTx ∷ MonadError (ApplyTxError AllegraEra) m ⇒ Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → Validated (Tx AllegraEra) → m (MempoolState AllegraEra) Source #

ApplyBlock AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra

Methods

applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState AllegraEra → SlotNo → EventReturnType ep (EraRule "TICK" AllegraEra) (NewEpochState AllegraEra) Source #

applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError AllegraEra) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState AllegraEra → Block BHeaderView AllegraEra → m (EventReturnType ep (EraRule "BBODY" AllegraEra) (NewEpochState AllegraEra)) Source #

reapplyBlock ∷ Globals → NewEpochState AllegraEra → Block BHeaderView AllegraEra → NewEpochState AllegraEra Source #

EraGov AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type GovState AllegraEra = (r ∷ Type) Source #

Methods

emptyGovState ∷ GovState AllegraEra Source #

getProposedPPUpdates ∷ GovState AllegraEra → Maybe (ProposedPPUpdates AllegraEra) Source #

curPParamsGovStateL ∷ Lens' (GovState AllegraEra) (PParams AllegraEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState AllegraEra) (PParams AllegraEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState AllegraEra) (FuturePParams AllegraEra) Source #

obligationGovState ∷ GovState AllegraEra → Obligations Source #

ShelleyEraScript AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AllegraEra Source #

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

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

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

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

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

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

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

EraTransition AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Associated Types

data TransitionConfig AllegraEra Source #

Methods

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

injectIntoTestState ∷ TransitionConfig AllegraEra → NewEpochState AllegraEra → NewEpochState AllegraEra Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig AllegraEra) ShelleyGenesis Source #

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

ShelleyEraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Methods

ttlTxBodyL ∷ Lens' (TxBody AllegraEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody AllegraEra) (StrictMaybe (Update AllegraEra)) Source #

ShelleyEraTxCert AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

Methods

mkRegTxCert ∷ StakeCredential → TxCert AllegraEra Source #

getRegTxCert ∷ TxCert AllegraEra → Maybe StakeCredential Source #

mkUnRegTxCert ∷ StakeCredential → TxCert AllegraEra Source #

getUnRegTxCert ∷ TxCert AllegraEra → Maybe StakeCredential Source #

mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert AllegraEra Source #

getDelegStakeTxCert ∷ TxCert AllegraEra → Maybe (StakeCredential, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AllegraEra Source #

getGenesisDelegTxCert ∷ TxCert AllegraEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert AllegraEra Source #

getMirTxCert ∷ TxCert AllegraEra → Maybe MIRCert Source #

TranslateEra AllegraEra CertState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra CertState Source #

Methods

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

TranslateEra AllegraEra CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra CommitteeState Source #

Methods

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

TranslateEra AllegraEra DState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra DState Source #

Methods

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

TranslateEra AllegraEra PState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra PState Source #

Methods

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

TranslateEra AllegraEra VState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra VState Source #

Methods

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

TranslateEra AllegraEra PParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra PParams Source #

Methods

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

TranslateEra AllegraEra PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra PParamsUpdate Source #

Methods

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

TranslateEra AllegraEra UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra UTxO Source #

Methods

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

TranslateEra AllegraEra FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra FuturePParams Source #

Methods

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

TranslateEra AllegraEra ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyGovState Source #

Methods

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

TranslateEra AllegraEra EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra EpochState Source #

Methods

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

TranslateEra AllegraEra LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra LedgerState Source #

Methods

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

TranslateEra AllegraEra NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra NewEpochState Source #

Methods

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

TranslateEra AllegraEra UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra UTxOState Source #

Methods

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

TranslateEra AllegraEra ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ProposedPPUpdates Source #

Methods

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

TranslateEra AllegraEra Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra Update Source #

Methods

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

TranslateEra AllegraEra ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyTx Source #

Methods

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

TranslateEra AllegraEra ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyTxOut Source #

Methods

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

TranslateEra AllegraEra ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyTxWits Source #

Methods

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

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

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

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

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

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

Methods

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

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

Methods

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

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

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

InjectRuleFailure "POOL" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

Methods

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

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

Methods

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

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

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

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

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

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

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

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

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

FromJSON (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

parseJSON ∷ Value → Parser (TransitionConfig AllegraEra) Source #

parseJSONList ∷ Value → Parser [TransitionConfig AllegraEra] Source #

omittedField ∷ Maybe (TransitionConfig AllegraEra) Source #

ToJSON (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

toJSON ∷ TransitionConfig AllegraEra → Value Source #

toEncoding ∷ TransitionConfig AllegraEra → Encoding Source #

toJSONList ∷ [TransitionConfig AllegraEra] → Value Source #

toEncodingList ∷ [TransitionConfig AllegraEra] → Encoding Source #

omitField ∷ TransitionConfig AllegraEra → Bool Source #

Show (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS Source #

show ∷ TransitionConfig AllegraEra → String Source #

showList ∷ [TransitionConfig AllegraEra] → ShowS Source #

Eq (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

(==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool Source #

(/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool Source #

NoThunks (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source #

type NativeScript AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type NativeScript AllegraEra = Timelock AllegraEra
type Script AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra = Timelock AllegraEra
type Tx AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Tx AllegraEra = ShelleyTx AllegraEra
type TxAuxData AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
type TxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxBody AllegraEra = AllegraTxBody AllegraEra
type TxBodyUpgradeError AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxBodyUpgradeError AllegraEra = Void
type TxOut AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEra
type TxSeq AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

type TxSeq AllegraEra = ShelleyTxSeq AllegraEra
type TxUpgradeError AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxUpgradeError AllegraEra = Void
type TxWits AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits AllegraEra = ShelleyTxWits AllegraEra
type Value AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Value AllegraEra = Coin
type PreviousEra AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type PreviousEra AllegraEra = ShelleyEra
type ProtVerHigh AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerHigh AllegraEra = ProtVerLow AllegraEra
type ProtVerLow AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerLow AllegraEra = 3
type TranslationContext AllegraEra Source #

No context is needed to translate from Shelley to Allegra.

Instance details

Defined in Cardano.Ledger.Allegra.Era

type TranslationContext AllegraEra = NoGenesis AllegraEra
type TxCert AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCert AllegraEra = ShelleyTxCert AllegraEra
type TxCertUpgradeError AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError AllegraEra = Void
type Genesis AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Genesis AllegraEra = NoGenesis AllegraEra
type ScriptsNeeded AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra
type GovState AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type GovState AllegraEra = ShelleyGovState AllegraEra
newtype TransitionConfig AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {}
type EraRule "BBODY" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "BBODY" AllegraEra = ShelleyBBODY AllegraEra
type EraRule "DELEG" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEG" AllegraEra = ShelleyDELEG AllegraEra
type EraRule "DELEGS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEGS" AllegraEra = ShelleyDELEGS AllegraEra
type EraRule "DELPL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELPL" AllegraEra = ShelleyDELPL AllegraEra
type EraRule "EPOCH" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "EPOCH" AllegraEra = ShelleyEPOCH AllegraEra
type EraRule "LEDGER" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGER" AllegraEra = ShelleyLEDGER AllegraEra
type EraRule "LEDGERS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGERS" AllegraEra = ShelleyLEDGERS AllegraEra
type EraRule "MIR" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "MIR" AllegraEra = ShelleyMIR AllegraEra
type EraRule "NEWEPOCH" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWEPOCH" AllegraEra = ShelleyNEWEPOCH AllegraEra
type EraRule "NEWPP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWPP" AllegraEra = ShelleyNEWPP AllegraEra
type EraRule "POOL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOL" AllegraEra = ShelleyPOOL AllegraEra
type EraRule "POOLREAP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOLREAP" AllegraEra = ShelleyPOOLREAP AllegraEra
type EraRule "PPUP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "PPUP" AllegraEra = ShelleyPPUP AllegraEra
type EraRule "RUPD" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "RUPD" AllegraEra = ShelleyRUPD AllegraEra
type EraRule "SNAP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "SNAP" AllegraEra = ShelleySNAP AllegraEra
type EraRule "TICK" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICK" AllegraEra = ShelleyTICK AllegraEra
type EraRule "TICKF" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICKF" AllegraEra = ShelleyTICKF AllegraEra
type EraRule "UPEC" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UPEC" AllegraEra = ShelleyUPEC AllegraEra
type EraRule "UTXO" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXO" AllegraEra = AllegraUTXO AllegraEra
type EraRule "UTXOW" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" AllegraEra = AllegraUTXOW AllegraEra
type EraRuleEvent "LEDGER" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEra
type EraRuleEvent "TICK" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEra
type EraRuleFailure "BBODY" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEra
type EraRuleFailure "DELEG" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEra
type EraRuleFailure "DELEGS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra
type EraRuleFailure "DELPL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEra
type EraRuleFailure "LEDGER" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEra
type EraRuleFailure "LEDGERS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "LEDGERS" AllegraEra = ShelleyLedgersPredFailure AllegraEra
type EraRuleFailure "POOL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "POOL" AllegraEra = ShelleyPoolPredFailure AllegraEra
type EraRuleFailure "PPUP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "PPUP" AllegraEra = ShelleyPpupPredFailure AllegraEra
type EraRuleFailure "UTXO" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXO" AllegraEra = AllegraUtxoPredFailure AllegraEra
type EraRuleFailure "UTXOW" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type EraRuleFailure "UTXOW" AllegraEra = ShelleyUtxowPredFailure AllegraEra
type DowngradePParams f AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type DowngradePParams f AllegraEra = ()
type PParamsHKD f AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra
type UpgradePParams f AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f AllegraEra = ()
type TranslationError AllegraEra CertState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra CertState = Void
type TranslationError AllegraEra CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra CommitteeState = Void
type TranslationError AllegraEra DState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra DState = Void
type TranslationError AllegraEra PState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PState = Void
type TranslationError AllegraEra VState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra VState = Void
type TranslationError AllegraEra PParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParams = Void
type TranslationError AllegraEra PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParamsUpdate = Void
type TranslationError AllegraEra UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxO = Void
type TranslationError AllegraEra FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra FuturePParams = Void
type TranslationError AllegraEra ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyGovState = Void
type TranslationError AllegraEra EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra EpochState = Void
type TranslationError AllegraEra LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra LedgerState = Void
type TranslationError AllegraEra NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra NewEpochState = Void
type TranslationError AllegraEra UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxOState = Void
type TranslationError AllegraEra ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ProposedPPUpdates = Void
type TranslationError AllegraEra Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra Update = Void
type TranslationError AllegraEra ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTx = DecoderError
type TranslationError AllegraEra ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxOut = Void
type TranslationError AllegraEra ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxWits = DecoderError

Orphan instances