Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra

Contents

Orphan instances

Synopsis

type Allegra = AllegraEra
data AllegraEra
data family Tx era

Documentation

type Allegra = AllegraEra Source #

Deprecated: In favor of AllegraEra

data AllegraEra Source #

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 nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (NativeScript AllegraEra)) Source #
AllegraEraTxBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #
EraBlockBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.BlockBody Associated Types type BlockBody AllegraEra = (r ∷ Type) Source # Methods mkBasicBlockBody ∷ BlockBody AllegraEra Source # txSeqBlockBodyL ∷ Lens' (BlockBody AllegraEra) (StrictSeq (Tx AllegraEra)) Source # fromTxSeq ∷ BlockBody AllegraEra → StrictSeq (Tx AllegraEra) Source # toTxSeq ∷ StrictSeq (Tx AllegraEra) → BlockBody AllegraEra Source # hashBlockBody ∷ BlockBody AllegraEra → Hash HASH EraIndependentBlockBody Source # hashTxSeq ∷ BlockBody AllegraEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 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 #
EraTx AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Associated Types data Tx 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) Word32 Source # sizeTxForFeeCalculation ∷ Tx AllegraEra → Word32 Source # validateNativeScript ∷ Tx AllegraEra → NativeScript AllegraEra → Bool Source # getMinFeeTx ∷ PParams AllegraEra → Tx AllegraEra → Int → Coin 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 # validateTxAuxData ∷ ProtVer → TxAuxData AllegraEra → Bool Source #
EraTxBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Associated Types data TxBody 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 #
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 #
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 # emptyUpgradePParamsUpdate ∷ UpgradePParams 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 # hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm 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, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams AllegraEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" AllegraEra) ⇒ 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, AtMostEra "Mary" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source # eraPParams ∷ [PParam AllegraEra] 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 ∷ StakePoolParams → TxCert AllegraEra Source # getRegPoolTxCert ∷ TxCert AllegraEra → Maybe StakePoolParams 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 #
EraAccounts AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.Account Associated Types type AccountState AllegraEra = (r ∷ Type) Source # type Accounts AllegraEra = (r ∷ Type) Source # Methods addAccountState ∷ Credential 'Staking → AccountState AllegraEra → Accounts AllegraEra → Accounts AllegraEra Source # accountsMapL ∷ Lens' (Accounts AllegraEra) (Map (Credential 'Staking) (AccountState AllegraEra)) Source # balanceAccountStateL ∷ Lens' (AccountState AllegraEra) (CompactForm Coin) Source # depositAccountStateL ∷ Lens' (AccountState AllegraEra) (CompactForm Coin) Source # stakePoolDelegationAccountStateL ∷ Lens' (AccountState AllegraEra) (Maybe (KeyHash 'StakePool)) Source # unregisterAccount ∷ Credential 'Staking → Accounts AllegraEra → (Maybe (AccountState AllegraEra), Accounts AllegraEra) Source #
EraCertState AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.CertState Associated Types type CertState AllegraEra = (r ∷ Type) Source # Methods certDStateL ∷ Lens' (CertState AllegraEra) (DState AllegraEra) Source # certPStateL ∷ Lens' (CertState AllegraEra) (PState 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 #
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 #
EraStake AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.Stake Associated Types type InstantStake AllegraEra = (r ∷ Type) Source # Methods instantStakeCredentialsL ∷ Lens' (InstantStake AllegraEra) (Map (Credential 'Staking) (CompactForm Coin)) Source # addInstantStake ∷ UTxO AllegraEra → InstantStake AllegraEra → InstantStake AllegraEra Source # deleteInstantStake ∷ UTxO AllegraEra → InstantStake AllegraEra → InstantStake AllegraEra Source # resolveInstantStake ∷ InstantStake AllegraEra → Accounts AllegraEra → Stake Source #
EraUTxO AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.UTxO Associated Types type ScriptsNeeded AllegraEra = (r ∷ Type) Source # Methods consumed ∷ PParams AllegraEra → CertState AllegraEra → UTxO AllegraEra → TxBody AllegraEra → Value AllegraEra Source # 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 #
Era AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName AllegraEra ∷ Symbol Source # type PreviousEra AllegraEra = (r ∷ Type) Source # type ProtVerLow AllegraEra ∷ Nat Source # type ProtVerHigh AllegraEra ∷ Nat Source # Methods eraName ∷ String 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 #
ShelleyEraAccounts AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.Account Methods mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState AllegraEra Source # accountsPtrsMapL ∷ Lens' (Accounts AllegraEra) (Map Ptr (Credential 'Staking)) accountsPtrsMapG ∷ SimpleGetter (Accounts AllegraEra) (Map Ptr (Credential 'Staking)) Source # ptrAccountStateG ∷ SimpleGetter (AccountState AllegraEra) Ptr 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 # toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig AllegraEra → [a] parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AllegraEra)
ShelleyEraTxBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody 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 Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError AllegraEra Tx Source # Methods translateEra ∷ TranslationContext AllegraEra → Tx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra Tx) (Tx 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 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 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 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 ShelleyAccounts Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError AllegraEra ShelleyAccounts Source # Methods translateEra ∷ TranslationContext AllegraEra → ShelleyAccounts (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyAccounts) (ShelleyAccounts 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 ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError AllegraEra ShelleyInstantStake Source # Methods translateEra ∷ TranslationContext AllegraEra → ShelleyInstantStake (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyInstantStake) (ShelleyInstantStake 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 #
Generic (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Associated Types type Rep (Tx AllegraEra) ∷ Type → Type # Methods from ∷ Tx AllegraEra → Rep (Tx AllegraEra) x # to ∷ Rep (Tx AllegraEra) x → Tx AllegraEra #
Generic (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Associated Types type Rep (TxBody AllegraEra) ∷ Type → Type # Methods from ∷ TxBody AllegraEra → Rep (TxBody AllegraEra) x # to ∷ Rep (TxBody AllegraEra) x → TxBody AllegraEra #
Show (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods showsPrec ∷ Int → Tx AllegraEra → ShowS # show ∷ Tx AllegraEra → String # showList ∷ [Tx AllegraEra] → ShowS #
Show (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods showsPrec ∷ Int → TxBody AllegraEra → ShowS # show ∷ TxBody AllegraEra → String # showList ∷ [TxBody AllegraEra] → ShowS #
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 #
ToCBOR (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods toCBOR ∷ Tx AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx AllegraEra] → Size Source #
ToCBOR (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods toCBOR ∷ TxBody AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody AllegraEra] → Size Source #
DecCBOR (Annotator (Tx AllegraEra)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx AllegraEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx AllegraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx AllegraEra)) → Text Source #
DecCBOR (Annotator (TxBody AllegraEra)) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods decCBOR ∷ Decoder s (Annotator (TxBody AllegraEra)) Source # dropCBOR ∷ Proxy (Annotator (TxBody AllegraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (TxBody AllegraEra)) → Text Source #
EncCBOR (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods encCBOR ∷ Tx AllegraEra → Encoding Source #
EncCBOR (TxBody AllegraEra) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods encCBOR ∷ TxBody AllegraEra → Encoding Source #
SafeToHash (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods originalBytes ∷ TxBody AllegraEra → ByteString Source # originalBytesSize ∷ TxBody AllegraEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody AllegraEra → SafeHash i Source #
EqRaw (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods eqRaw ∷ Tx AllegraEra → Tx AllegraEra → Bool Source #
EqRaw (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods eqRaw ∷ TxBody AllegraEra → TxBody AllegraEra → Bool Source #
Memoized (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Associated Types type RawType (TxBody AllegraEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody AllegraEra → MemoBytes (RawType (TxBody AllegraEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody AllegraEra)) → TxBody AllegraEra
NFData (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods rnf ∷ Tx AllegraEra → () #
NFData (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods rnf ∷ TxBody AllegraEra → () #
Eq (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods (==) ∷ Tx AllegraEra → Tx AllegraEra → Bool # (/=) ∷ Tx AllegraEra → Tx AllegraEra → Bool #
Eq (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods (==) ∷ TxBody AllegraEra → TxBody AllegraEra → Bool # (/=) ∷ TxBody AllegraEra → TxBody AllegraEra → Bool #
Eq (TransitionConfig AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods (==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool # (/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #
NoThunks (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods noThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx AllegraEra) → String Source #
NoThunks (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods noThunks ∷ Context → TxBody AllegraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody AllegraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody AllegraEra) → String 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 #
HashAnnotated (TxBody AllegraEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods hashAnnotated ∷ TxBody AllegraEra → SafeHash EraIndependentTxBody Source #
type BlockBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.BlockBody type BlockBody AllegraEra = ShelleyBlockBody 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
newtype Tx AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx newtype Tx AllegraEra = MkAllegraTx { unAllegraTx ∷ ShelleyTx AllegraEra }
type TxAuxData AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
newtype TxBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody newtype TxBody AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () AllegraEra))
type TxOut AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut AllegraEra = ShelleyTxOut AllegraEra
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 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 AccountState AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.Account type AccountState AllegraEra = ShelleyAccountState AllegraEra
type Accounts AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.Account type Accounts AllegraEra = ShelleyAccounts AllegraEra
type CertState AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.CertState type CertState AllegraEra = ShelleyCertState AllegraEra
type GovState AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState AllegraEra = ShelleyGovState AllegraEra
type InstantStake AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.State.Stake type InstantStake AllegraEra = ShelleyInstantStake AllegraEra
type ScriptsNeeded AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra
type EraName AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3
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 Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Tx = DecoderError
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 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 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 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 ShelleyAccounts Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyAccounts = Void
type TranslationError AllegraEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyCertState = Void
type TranslationError AllegraEra ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyInstantStake = Void
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
type Rep (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra))))
type Rep (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type RawType (TxBody AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody AllegraEra) = AllegraTxBodyRaw () AllegraEra

data family Tx era Source #

Instances

Instances details

TranslateEra AllegraEra Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError AllegraEra Tx Source # Methods translateEra ∷ TranslationContext AllegraEra → Tx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra Tx) (Tx AllegraEra) Source #
Generic (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Associated Types type Rep (Tx AllegraEra) ∷ Type → Type # Methods from ∷ Tx AllegraEra → Rep (Tx AllegraEra) x # to ∷ Rep (Tx AllegraEra) x → Tx AllegraEra #
Show (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods showsPrec ∷ Int → Tx AllegraEra → ShowS # show ∷ Tx AllegraEra → String # showList ∷ [Tx AllegraEra] → ShowS #
ToCBOR (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods toCBOR ∷ Tx AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx AllegraEra] → Size Source #
DecCBOR (Annotator (Tx AllegraEra)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx AllegraEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx AllegraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx AllegraEra)) → Text Source #
EncCBOR (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods encCBOR ∷ Tx AllegraEra → Encoding Source #
EqRaw (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods eqRaw ∷ Tx AllegraEra → Tx AllegraEra → Bool Source #
NFData (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods rnf ∷ Tx AllegraEra → () #
Eq (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods (==) ∷ Tx AllegraEra → Tx AllegraEra → Bool # (/=) ∷ Tx AllegraEra → Tx AllegraEra → Bool #
NoThunks (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods noThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx AllegraEra) → String Source #
newtype Tx AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx newtype Tx AllegraEra = MkAllegraTx { unAllegraTx ∷ ShelleyTx AllegraEra }
newtype Tx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx ShelleyEra }
type TranslationError AllegraEra Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Tx = DecoderError
type Rep (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra))))
type Rep (Tx ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

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 #