Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra

Contents

Orphan instances

Synopsis

type Allegra = AllegraEra
data AllegraEra

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 #
EraCertState AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.CertState Associated Types type CertState AllegraEra = (r ∷ Type) Source # Methods mkCertState ∷ VState AllegraEra → PState AllegraEra → DState AllegraEra → CertState AllegraEra Source # upgradeCertState ∷ CertState (PreviousEra AllegraEra) → CertState AllegraEra Source # certDStateL ∷ Lens' (CertState AllegraEra) (DState AllegraEra) Source # certPStateL ∷ Lens' (CertState AllegraEra) (PState AllegraEra) Source # certVStateL ∷ Lens' (CertState AllegraEra) (VState AllegraEra) Source # obligationCertState ∷ CertState AllegraEra → Obligations Source # certsTotalDepositsTxBody ∷ PParams AllegraEra → CertState AllegraEra → TxBody AllegraEra → Coin Source # certsTotalRefundsTxBody ∷ PParams AllegraEra → CertState AllegraEra → TxBody AllegraEra → Coin 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 #
EraGov AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams Associated Types type GovState AllegraEra = (r ∷ Type) Source # Methods emptyGovState ∷ GovState 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 #
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 applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → Tx AllegraEra → Either (ApplyTxError AllegraEra) (MempoolState AllegraEra, Validated (Tx AllegraEra)) Source #
ApplyBlock AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AllegraEra → Block BHeaderView AllegraEra → (NewEpochState AllegraEra, [PredicateFailure (EraRule "BBODY" AllegraEra)], [Event (EraRule "BBODY" AllegraEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AllegraEra → SlotNo → (NewEpochState AllegraEra, [Event (EraRule "TICK" AllegraEra)]) 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 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 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 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 ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError AllegraEra ShelleyCertState Source # Methods translateEra ∷ TranslationContext AllegraEra → ShelleyCertState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyCertState) (ShelleyCertState 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 # show ∷ TransitionConfig AllegraEra → String # showList ∷ [TransitionConfig AllegraEra] → ShowS #
Eq (TransitionConfig AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods (==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool # (/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #
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 CertState AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.CertState type CertState AllegraEra = ShelleyCertState AllegraEra
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 GovState AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState AllegraEra = ShelleyGovState AllegraEra
type ScriptsNeeded AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra
newtype TransitionConfig AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig AllegraEra = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig ShelleyEra }
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 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 FuturePParams Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra FuturePParams = Void
type TranslationError AllegraEra UTxO Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxO = Void
type TranslationError AllegraEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyCertState = 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

ApplyTx AllegraEra Source #
Instance details Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → Tx AllegraEra → Either (ApplyTxError AllegraEra) (MempoolState AllegraEra, Validated (Tx AllegraEra)) Source #
ApplyBlock AllegraEra Source #
Instance details Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AllegraEra → Block BHeaderView AllegraEra → (NewEpochState AllegraEra, [PredicateFailure (EraRule "BBODY" AllegraEra)], [Event (EraRule "BBODY" AllegraEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AllegraEra → SlotNo → (NewEpochState AllegraEra, [Event (EraRule "TICK" AllegraEra)]) Source #