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

Cardano.Ledger.Allegra

Synopsis

Documentation

data AllegraEra c Source #

The Allegra era

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Crypto c ⇒ FromJSON (TransitionConfig (AllegraEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Crypto c ⇒ ToJSON (TransitionConfig (AllegraEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Crypto c ⇒ Show (TransitionConfig (AllegraEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Crypto c ⇒ AllegraEraScript (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Crypto c ⇒ AllegraEraTxAuxData (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Crypto c ⇒ AllegraEraTxBody (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Crypto c ⇒ EraScript (AllegraEra c) 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 c) = (r ∷ Type) Source #

type NativeScript (AllegraEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraSegWits (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

Associated Types

type TxSeq (AllegraEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTx (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Tx (AllegraEra c) = (r ∷ Type) Source #

type TxUpgradeError (AllegraEra c) Source #

Crypto c ⇒ EraTxAuxData (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type TxAuxData (AllegraEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTxBody (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Associated Types

type TxBody (AllegraEra c) = (r ∷ Type) Source #

type TxBodyUpgradeError (AllegraEra c) Source #

Crypto c ⇒ EraTxOut (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

Associated Types

type TxOut (AllegraEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTxWits (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

Associated Types

type TxWits (AllegraEra c) = (r ∷ Type) Source #

Crypto c ⇒ Era (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type EraCrypto (AllegraEra c) Source #

type PreviousEra (AllegraEra c) = (r ∷ Type) Source #

type ProtVerLow (AllegraEra c) ∷ Nat Source #

type ProtVerHigh (AllegraEra c) ∷ Nat Source #

Methods

eraNameString Source #

Crypto c ⇒ EraPParams (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

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

type UpgradePParams f (AllegraEra c) Source #

type DowngradePParams f (AllegraEra c) Source #

Methods

applyPPUpdatesPParams (AllegraEra c) → PParamsUpdate (AllegraEra c) → PParams (AllegraEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (AllegraEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (AllegraEra c) Source #

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

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

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

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

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

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

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

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

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

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

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Natural) Source #

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

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

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

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

ppDGSimpleGetter (PParams (AllegraEra c)) UnitInterval Source #

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

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

ppProtocolVersionLLens' (PParams (AllegraEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (AllegraEra c)) (StrictMaybe ProtVer) Source #

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

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

Crypto c ⇒ EraTxCert (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

Associated Types

type TxCert (AllegraEra c) = (r ∷ Type) Source #

type TxCertUpgradeError (AllegraEra c) Source #

Crypto c ⇒ EraGenesis (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type Genesis (AllegraEra c) Source #

Crypto c ⇒ EraUTxO (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

Associated Types

type ScriptsNeeded (AllegraEra c) = (r ∷ Type) Source #

Crypto c ⇒ CanStartFromGenesis (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

Associated Types

type AdditionalGenesisConfig (AllegraEra c) Source #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

Crypto c ⇒ EraGov (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type GovState (AllegraEra c) = (r ∷ Type) Source #

Crypto c ⇒ ShelleyEraScript (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Crypto c ⇒ EraTransition (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Associated Types

data TransitionConfig (AllegraEra c) Source #

Crypto c ⇒ ShelleyEraTxBody (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Crypto c ⇒ ShelleyEraTxCert (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

Crypto c ⇒ Eq (TransitionConfig (AllegraEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Crypto c ⇒ NoThunks (TransitionConfig (AllegraEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Crypto c ⇒ TranslateEra (AllegraEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) CertState Source #

Crypto c ⇒ TranslateEra (AllegraEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) DState Source #

Crypto c ⇒ TranslateEra (AllegraEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) PState Source #

Crypto c ⇒ TranslateEra (AllegraEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) VState Source #

Crypto c ⇒ TranslateEra (AllegraEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) PParams Source #

Crypto c ⇒ TranslateEra (AllegraEra c) PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) UTxO Source #

Crypto c ⇒ TranslateEra (AllegraEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) EpochState Source #

Crypto c ⇒ TranslateEra (AllegraEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) UTxOState Source #

Crypto c ⇒ TranslateEra (AllegraEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) Update Source #

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) ShelleyTx Source #

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type EraRule "BBODY" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWEPOCH" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOLREAP" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

type EraRule "RUPD" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "SNAP" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICK" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICKF" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXO" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "TICK" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleFailure "BBODY" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "DELEG" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEGS" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELPL" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "LEDGER" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGERS" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "POOL" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "PPUP" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "UTXO" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXOW" (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type DowngradePParams f (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f (AllegraEra c) = ()
type NativeScript (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Tx (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxAuxData (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxBody (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxBodyUpgradeError (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxOut (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxSeq (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

type TxUpgradeError (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxWits (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type Value (AllegraEra _1) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Value (AllegraEra _1) = Coin
type EraCrypto (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraCrypto (AllegraEra c) = c
type PreviousEra (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerHigh (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerLow (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerLow (AllegraEra c) = 3
type TranslationContext (AllegraEra c) Source #

No context is needed to translate from Shelley to Allegra.

Instance details

Defined in Cardano.Ledger.Allegra.Era

type TxCert (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type Genesis (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ScriptsNeeded (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type AdditionalGenesisConfig (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

type GovState (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

newtype TransitionConfig (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

type TranslationError (AllegraEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Orphan instances

Crypto c ⇒ CanStartFromGenesis (AllegraEra c) Source # 
Instance details

Associated Types

type AdditionalGenesisConfig (AllegraEra c) Source #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (AllegraEra c) Source # 
Instance details

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (AllegraEra c) Source # 
Instance details