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

Cardano.Ledger.Allegra.Era

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

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

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 ⇒ 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

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

type TxBodyUpgradeError (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

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

data AllegraUTXO era Source #

Instances

Instances details
(EraTx era, EraUTxO era, ShelleyEraTxBody era, AllegraEraTxBody era, Embed (EraRule "PPUP" era) (AllegraUTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), ProtVerAtMost era 8, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ AllegraUTXO era, GovState era ~ ShelleyGovState era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era) ⇒ STS (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Associated Types

type State (AllegraUTXO era) Source #

type Signal (AllegraUTXO era) Source #

type Environment (AllegraUTXO era) Source #

type BaseM (AllegraUTXO era) ∷ TypeType Source #

type Event (AllegraUTXO era) Source #

type PredicateFailure (AllegraUTXO era) Source #

(Era era, STS (AllegraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AllegraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ Event (AllegraUTXO era)) ⇒ Embed (AllegraUTXO era) (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (ShelleyPPUP era)) ⇒ Embed (ShelleyPPUP era) (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type BaseM (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Environment (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Event (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type PredicateFailure (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Signal (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Signal (AllegraUTXO era) = Tx era
type State (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type State (AllegraUTXO era) = UTxOState era

data AllegraUTXOW era Source #

Instances

Instances details
(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRule "UTXO" era) (AllegraUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, EraRule "UTXOW" era ~ AllegraUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody)) ⇒ STS (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

(Era era, STS (AllegraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AllegraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ Event (AllegraUTXO era)) ⇒ Embed (AllegraUTXO era) (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

(Era era, STS (AllegraUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (AllegraUTXOW era)) ⇒ Embed (AllegraUTXOW era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type BaseM (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Environment (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Event (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type PredicateFailure (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Signal (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Signal (AllegraUTXOW era) = Tx era
type State (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type State (AllegraUTXOW era) = UTxOState era