Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Era

Contents

Eras
Protocol version
- Value level
- Type level constraints

Synopsis

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) ⇒ Era era where
- type PreviousEra era = (r ∷ Type) | r → era
- type ProtVerLow era ∷ Nat
- type ProtVerHigh era ∷ Nat
eraName ∷ Era era ⇒ String
data ByronEra
type Shelley = ShelleyEra
data ShelleyEra
type Allegra = AllegraEra
data AllegraEra
type Mary = MaryEra
data MaryEra
type Alonzo = AlonzoEra
data AlonzoEra
type Babbage = BabbageEra
data BabbageEra
type Conway = ConwayEra
data ConwayEra
type LatestKnownEra = ConwayEra
eraProtVerHigh ∷ Era era ⇒ Version
eraProtVerLow ∷ Era era ⇒ Version
type AtLeastEra atLeastEra era = ProtVerAtLeast era (ProtVerLow atLeastEra)
type AtMostEra eraMostEra era = ProtVerAtMost era (ProtVerHigh eraMostEra)
type ExactEra inEra era = ProtVerInBounds era (ProtVerLow inEra) (ProtVerHigh inEra)
type family ProtVerAtLeast era (l ∷ Nat) where ...
type family ProtVerAtMost era (h ∷ Nat) where ...
type ProtVerInBounds era (l ∷ Nat) (h ∷ Nat) = (ProtVerAtLeast era l, ProtVerAtMost era h)
atLeastEra ∷ AtLeastEra eraName era ⇒ ()
atMostEra ∷ AtMostEra eraName era ⇒ ()

Eras

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) ⇒ Era era Source #

Minimal complete definition

eraName

Associated Types

type PreviousEra era = (r ∷ Type) | r → era Source #

Map an era to its predecessor.

For example:

type instance PreviousEra (AllegraEra c) = ShelleyEra c

type ProtVerLow era ∷ Nat Source #

Lowest major protocol version for this era

type ProtVerHigh era ∷ Nat Source #

Highest major protocol version for this era. By default se to ProtVerLow

type ProtVerHigh era = ProtVerLow era

Instances

Instances details

Era AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type PreviousEra AllegraEra = (r ∷ Type) Source # type ProtVerLow AllegraEra ∷ Nat Source # type ProtVerHigh AllegraEra ∷ Nat Source # Methods eraName ∷ String Source #
Era AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era Associated Types type PreviousEra AlonzoEra = (r ∷ Type) Source # type ProtVerLow AlonzoEra ∷ Nat Source # type ProtVerHigh AlonzoEra ∷ Nat Source # Methods eraName ∷ String Source #
Era BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type PreviousEra BabbageEra = (r ∷ Type) Source # type ProtVerLow BabbageEra ∷ Nat Source # type ProtVerHigh BabbageEra ∷ Nat Source # Methods eraName ∷ String Source #
Era ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era Associated Types type PreviousEra ConwayEra = (r ∷ Type) Source # type ProtVerLow ConwayEra ∷ Nat Source # type ProtVerHigh ConwayEra ∷ Nat Source # Methods eraName ∷ String Source #
Era ByronEra
Instance details Defined in Cardano.Ledger.Core.Era Associated Types type PreviousEra ByronEra = (r ∷ Type) Source # type ProtVerLow ByronEra ∷ Nat Source # type ProtVerHigh ByronEra ∷ Nat Source # Methods eraName ∷ String Source #
Era MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type PreviousEra MaryEra = (r ∷ Type) Source # type ProtVerLow MaryEra ∷ Nat Source # type ProtVerHigh MaryEra ∷ Nat Source # Methods eraName ∷ String Source #
Era ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era Associated Types type PreviousEra ShelleyEra = (r ∷ Type) Source # type ProtVerLow ShelleyEra ∷ Nat Source # type ProtVerHigh ShelleyEra ∷ Nat Source # Methods eraName ∷ String Source #

eraName ∷ Era era ⇒ String Source #

Textual name of the current era.

Designed to be used with TypeApplications:

>>> eraName @ByronEra
Byron

Byron

data ByronEra Source #

This is the era that preceded Shelley era. It cannot have any other class instances, except for Era type class.

Instances

Instances details

Era ByronEra
Instance details Defined in Cardano.Ledger.Core.Era Associated Types type PreviousEra ByronEra = (r ∷ Type) Source # type ProtVerLow ByronEra ∷ Nat Source # type ProtVerHigh ByronEra ∷ Nat Source # Methods eraName ∷ String Source #
type PreviousEra ByronEra
Instance details Defined in Cardano.Ledger.Core.Era type PreviousEra ByronEra = VoidEra
type ProtVerHigh ByronEra
Instance details Defined in Cardano.Ledger.Core.Era type ProtVerHigh ByronEra = 1
type ProtVerLow ByronEra
Instance details Defined in Cardano.Ledger.Core.Era type ProtVerLow ByronEra = 0

Shelley

type Shelley = ShelleyEra Source #

data ShelleyEra Source #

Instances

Instances details

Era ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era Associated Types type PreviousEra ShelleyEra = (r ∷ Type) Source # type ProtVerLow ShelleyEra ∷ Nat Source # type ProtVerHigh ShelleyEra ∷ Nat Source # Methods eraName ∷ String Source #
ApplyBlock ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState ShelleyEra → SlotNo → EventReturnType ep (EraRule "TICK" ShelleyEra) (NewEpochState ShelleyEra) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError ShelleyEra) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → m (EventReturnType ep (EraRule "BBODY" ShelleyEra) (NewEpochState ShelleyEra)) Source # reapplyBlock ∷ Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → NewEpochState ShelleyEra Source #
EraGov ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovState ShelleyEra = (r ∷ Type) Source # Methods emptyGovState ∷ GovState ShelleyEra Source # getProposedPPUpdates ∷ GovState ShelleyEra → Maybe (ProposedPPUpdates ShelleyEra) Source # curPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source # prevPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source # futurePParamsGovStateL ∷ Lens' (GovState ShelleyEra) (FuturePParams ShelleyEra) Source # obligationGovState ∷ GovState ShelleyEra → Obligations Source #
ShelleyEraScript ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness → NativeScript ShelleyEra Source # getRequireSignature ∷ NativeScript ShelleyEra → Maybe (KeyHash 'Witness) Source # mkRequireAllOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireAllOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireAnyOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireMOf ∷ NativeScript ShelleyEra → Maybe (Int, StrictSeq (NativeScript ShelleyEra)) Source #
EraTransition ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types data TransitionConfig ShelleyEra Source # Methods mkTransitionConfig ∷ TranslationContext ShelleyEra → TransitionConfig (PreviousEra ShelleyEra) → TransitionConfig ShelleyEra Source # injectIntoTestState ∷ TransitionConfig ShelleyEra → NewEpochState ShelleyEra → NewEpochState ShelleyEra Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig ShelleyEra) (TransitionConfig (PreviousEra ShelleyEra)) Source # tcTranslationContextL ∷ Lens' (TransitionConfig ShelleyEra) (TranslationContext ShelleyEra) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig ShelleyEra) ShelleyGenesis Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig ShelleyEra) (PParams ShelleyEra) Source #
ShelleyEraTxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #
ShelleyEraTxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source # getRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source # getUnRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ShelleyEra Source # getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (StakeCredential, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source # getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source # getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "POOL" ShelleyEra Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "PPUP" ShelleyEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #
FromJSON (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig ShelleyEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig ShelleyEra] Source # omittedField ∷ Maybe (TransitionConfig ShelleyEra) Source #
ToJSON (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toJSON ∷ TransitionConfig ShelleyEra → Value Source # toEncoding ∷ TransitionConfig ShelleyEra → Encoding Source # toJSONList ∷ [TransitionConfig ShelleyEra] → Value Source # toEncodingList ∷ [TransitionConfig ShelleyEra] → Encoding Source # omitField ∷ TransitionConfig ShelleyEra → Bool Source #
Generic (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig ShelleyEra) ∷ Type → Type Source # Methods from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x Source # to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra Source #
Show (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS Source # show ∷ TransitionConfig ShelleyEra → String Source # showList ∷ [TransitionConfig ShelleyEra] → ShowS Source #
Eq (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods (==) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool Source # (/=) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool Source #
NoThunks (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #
type NativeScript ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript ShelleyEra = MultiSig ShelleyEra
type Script ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra
type Tx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type Tx ShelleyEra = ShelleyTx ShelleyEra
type TxAuxData ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra
type TxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody ShelleyEra = ShelleyTxBody ShelleyEra
type TxBodyUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBodyUpgradeError ShelleyEra = Void
type TxOut ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra
type TxSeq ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.BlockChain type TxSeq ShelleyEra = ShelleyTxSeq ShelleyEra
type TxUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type TxUpgradeError ShelleyEra = Void
type TxWits ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits ShelleyEra = ShelleyTxWits ShelleyEra
type Value ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type Value ShelleyEra = Coin
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerLow ShelleyEra = 2
type TranslationContext ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Translation type TranslationContext ShelleyEra = FromByronTranslationContext
type TxCert ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void
type Genesis ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Genesis ShelleyEra = ShelleyGenesis
type ScriptsNeeded ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra
type GovState ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState ShelleyEra = ShelleyGovState ShelleyEra
newtype TransitionConfig ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }
type EraRule "BBODY" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "BBODY" ShelleyEra = ShelleyBBODY ShelleyEra
type EraRule "DELEG" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEG" ShelleyEra = ShelleyDELEG ShelleyEra
type EraRule "DELEGS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEGS" ShelleyEra = ShelleyDELEGS ShelleyEra
type EraRule "DELPL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELPL" ShelleyEra = ShelleyDELPL ShelleyEra
type EraRule "EPOCH" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "EPOCH" ShelleyEra = ShelleyEPOCH ShelleyEra
type EraRule "LEDGER" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGER" ShelleyEra = ShelleyLEDGER ShelleyEra
type EraRule "LEDGERS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGERS" ShelleyEra = ShelleyLEDGERS ShelleyEra
type EraRule "MIR" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "MIR" ShelleyEra = ShelleyMIR ShelleyEra
type EraRule "NEWEPOCH" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWEPOCH" ShelleyEra = ShelleyNEWEPOCH ShelleyEra
type EraRule "NEWPP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWPP" ShelleyEra = ShelleyNEWPP ShelleyEra
type EraRule "POOL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOL" ShelleyEra = ShelleyPOOL ShelleyEra
type EraRule "POOLREAP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOLREAP" ShelleyEra = ShelleyPOOLREAP ShelleyEra
type EraRule "PPUP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "PPUP" ShelleyEra = ShelleyPPUP ShelleyEra
type EraRule "RUPD" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "RUPD" ShelleyEra = ShelleyRUPD ShelleyEra
type EraRule "SNAP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "SNAP" ShelleyEra = ShelleySNAP ShelleyEra
type EraRule "TICK" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICK" ShelleyEra = ShelleyTICK ShelleyEra
type EraRule "TICKF" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICKF" ShelleyEra = ShelleyTICKF ShelleyEra
type EraRule "UPEC" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UPEC" ShelleyEra = ShelleyUPEC ShelleyEra
type EraRule "UTXO" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXO" ShelleyEra = ShelleyUTXO ShelleyEra
type EraRule "UTXOW" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXOW" ShelleyEra = ShelleyUTXOW ShelleyEra
type EraRuleEvent "LEDGER" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra
type EraRuleEvent "LEDGERS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEra
type EraRuleEvent "NEWEPOCH" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEra
type EraRuleEvent "POOLREAP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEra
type EraRuleEvent "TICK" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEra
type EraRuleFailure "BBODY" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEra
type EraRuleFailure "DELEG" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEra
type EraRuleFailure "DELEGS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra
type EraRuleFailure "DELPL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra
type EraRuleFailure "LEDGER" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra
type EraRuleFailure "LEDGERS" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra
type EraRuleFailure "POOL" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEra
type EraRuleFailure "PPUP" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEra
type EraRuleFailure "UTXO" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEra
type EraRuleFailure "UTXOW" ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra
type DowngradePParams f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f ShelleyEra = Void
type PParamsHKD f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f ShelleyEra = Void
type Rep (TransitionConfig ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Allegra

type Allegra = AllegraEra Source #

data AllegraEra Source #

The Allegra era

Instances

Instances details

AllegraEraScript AllegraEra
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
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (Timelock AllegraEra)) Source #
AllegraEraTxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #
Era AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type PreviousEra AllegraEra = (r ∷ Type) Source # type ProtVerLow AllegraEra ∷ Nat Source # type ProtVerHigh AllegraEra ∷ Nat Source # Methods eraName ∷ String Source #
EraGenesis AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era Associated Types type Genesis AllegraEra Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #
type NativeScript AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type NativeScript AllegraEra = Timelock AllegraEra
type Script AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script AllegraEra = Timelock AllegraEra
type Tx AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx type Tx AllegraEra = ShelleyTx AllegraEra
type TxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
type TxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type TxBody AllegraEra = AllegraTxBody AllegraEra
type TxBodyUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type TxBodyUpgradeError AllegraEra = Void
type TxOut AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut AllegraEra = ShelleyTxOut AllegraEra
type TxSeq AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxSeq type TxSeq AllegraEra = ShelleyTxSeq AllegraEra
type TxUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx type TxUpgradeError AllegraEra = Void
type TxWits AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxWits type TxWits AllegraEra = ShelleyTxWits AllegraEra
type Value AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Value AllegraEra = Coin
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type ProtVerLow AllegraEra = 3
type TranslationContext AllegraEra	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
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCert AllegraEra = ShelleyTxCert AllegraEra
type TxCertUpgradeError AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxCert type TxCertUpgradeError AllegraEra = Void
type Genesis AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Genesis AllegraEra = NoGenesis AllegraEra
type ScriptsNeeded AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.UTxO type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra
type GovState AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type GovState AllegraEra = ShelleyGovState AllegraEra
newtype TransitionConfig AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig AllegraEra = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig ShelleyEra }
type EraRule "BBODY" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "BBODY" AllegraEra = ShelleyBBODY AllegraEra
type EraRule "DELEG" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEG" AllegraEra = ShelleyDELEG AllegraEra
type EraRule "DELEGS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELEGS" AllegraEra = ShelleyDELEGS AllegraEra
type EraRule "DELPL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "DELPL" AllegraEra = ShelleyDELPL AllegraEra
type EraRule "EPOCH" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "EPOCH" AllegraEra = ShelleyEPOCH AllegraEra
type EraRule "LEDGER" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGER" AllegraEra = ShelleyLEDGER AllegraEra
type EraRule "LEDGERS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "LEDGERS" AllegraEra = ShelleyLEDGERS AllegraEra
type EraRule "MIR" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "MIR" AllegraEra = ShelleyMIR AllegraEra
type EraRule "NEWEPOCH" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWEPOCH" AllegraEra = ShelleyNEWEPOCH AllegraEra
type EraRule "NEWPP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "NEWPP" AllegraEra = ShelleyNEWPP AllegraEra
type EraRule "POOL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOL" AllegraEra = ShelleyPOOL AllegraEra
type EraRule "POOLREAP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "POOLREAP" AllegraEra = ShelleyPOOLREAP AllegraEra
type EraRule "PPUP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "PPUP" AllegraEra = ShelleyPPUP AllegraEra
type EraRule "RUPD" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "RUPD" AllegraEra = ShelleyRUPD AllegraEra
type EraRule "SNAP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "SNAP" AllegraEra = ShelleySNAP AllegraEra
type EraRule "TICK" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICK" AllegraEra = ShelleyTICK AllegraEra
type EraRule "TICKF" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "TICKF" AllegraEra = ShelleyTICKF AllegraEra
type EraRule "UPEC" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UPEC" AllegraEra = ShelleyUPEC AllegraEra
type EraRule "UTXO" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXO" AllegraEra = AllegraUTXO AllegraEra
type EraRule "UTXOW" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type EraRule "UTXOW" AllegraEra = AllegraUTXOW AllegraEra
type EraRuleEvent "LEDGER" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEra
type EraRuleEvent "TICK" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules type EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEra
type EraRuleFailure "BBODY" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Bbody type EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEra
type EraRuleFailure "DELEG" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Deleg type EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEra
type EraRuleFailure "DELEGS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delegs type EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra
type EraRuleFailure "DELPL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Delpl type EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEra
type EraRuleFailure "LEDGER" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledger type EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEra
type EraRuleFailure "LEDGERS" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ledgers type EraRuleFailure "LEDGERS" AllegraEra = ShelleyLedgersPredFailure AllegraEra
type EraRuleFailure "POOL" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Pool type EraRuleFailure "POOL" AllegraEra = ShelleyPoolPredFailure AllegraEra
type EraRuleFailure "PPUP" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Ppup type EraRuleFailure "PPUP" AllegraEra = ShelleyPpupPredFailure AllegraEra
type EraRuleFailure "UTXO" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type EraRuleFailure "UTXO" AllegraEra = AllegraUtxoPredFailure AllegraEra
type EraRuleFailure "UTXOW" AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type EraRuleFailure "UTXOW" AllegraEra = ShelleyUtxowPredFailure AllegraEra
type DowngradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f AllegraEra = ()
type PParamsHKD f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra
type UpgradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f AllegraEra = ()
type TranslationError AllegraEra CertState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra CertState = Void
type TranslationError AllegraEra CommitteeState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra CommitteeState = Void
type TranslationError AllegraEra DState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra DState = Void
type TranslationError AllegraEra PState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PState = Void
type TranslationError AllegraEra VState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra VState = Void
type TranslationError AllegraEra PParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParams = Void
type TranslationError AllegraEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParamsUpdate = Void
type TranslationError AllegraEra UTxO
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxO = Void
type TranslationError AllegraEra FuturePParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra FuturePParams = Void
type TranslationError AllegraEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyGovState = Void
type TranslationError AllegraEra EpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra EpochState = Void
type TranslationError AllegraEra LedgerState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra LedgerState = Void
type TranslationError AllegraEra NewEpochState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra NewEpochState = Void
type TranslationError AllegraEra UTxOState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra UTxOState = Void
type TranslationError AllegraEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ProposedPPUpdates = Void
type TranslationError AllegraEra Update
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Update = Void
type TranslationError AllegraEra ShelleyTx
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTx = DecoderError
type TranslationError AllegraEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxOut = Void
type TranslationError AllegraEra ShelleyTxWits
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyTxWits = DecoderError

Mary

type Mary = MaryEra Source #

data MaryEra Source #

Instances

Instances details

Era MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type PreviousEra MaryEra = (r ∷ Type) Source # type ProtVerLow MaryEra ∷ Nat Source # type ProtVerHigh MaryEra ∷ Nat Source # Methods eraName ∷ String Source #
EraGenesis MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era Associated Types type Genesis MaryEra Source #
MaryEraTxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source #
type NativeScript MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type NativeScript MaryEra = Timelock MaryEra
type Script MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type Tx MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type Tx MaryEra = ShelleyTx MaryEra
type TxAuxData MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra
type TxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBody MaryEra = MaryTxBody MaryEra
type TxBodyUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBodyUpgradeError MaryEra = Void
type TxOut MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra
type TxSeq MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxSeq type TxSeq MaryEra = ShelleyTxSeq MaryEra
type TxUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx type TxUpgradeError MaryEra = Void
type TxWits MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxWits type TxWits MaryEra = ShelleyTxWits MaryEra
type Value MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Value MaryEra = MaryValue
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type PreviousEra MaryEra = AllegraEra
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerLow MaryEra = 4
type TranslationContext MaryEra	No context is needed to translate from Allegra to Mary.
Instance details Defined in Cardano.Ledger.Mary.Era type TranslationContext MaryEra = NoGenesis MaryEra
type TxCert MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCert MaryEra = ShelleyTxCert MaryEra
type TxCertUpgradeError MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxCert type TxCertUpgradeError MaryEra = Void
type Genesis MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis MaryEra = NoGenesis MaryEra
type ScriptsNeeded MaryEra
Instance details Defined in Cardano.Ledger.Mary.UTxO type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra
type GovState MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type GovState MaryEra = ShelleyGovState MaryEra
newtype TransitionConfig MaryEra
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig MaryEra = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra }
type EraRule "BBODY" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "BBODY" MaryEra = ShelleyBBODY MaryEra
type EraRule "DELEG" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEG" MaryEra = ShelleyDELEG MaryEra
type EraRule "DELEGS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELEGS" MaryEra = ShelleyDELEGS MaryEra
type EraRule "DELPL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "DELPL" MaryEra = ShelleyDELPL MaryEra
type EraRule "EPOCH" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "EPOCH" MaryEra = ShelleyEPOCH MaryEra
type EraRule "LEDGER" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGER" MaryEra = ShelleyLEDGER MaryEra
type EraRule "LEDGERS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "LEDGERS" MaryEra = ShelleyLEDGERS MaryEra
type EraRule "MIR" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "MIR" MaryEra = ShelleyMIR MaryEra
type EraRule "NEWEPOCH" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWEPOCH" MaryEra = ShelleyNEWEPOCH MaryEra
type EraRule "NEWPP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "NEWPP" MaryEra = ShelleyNEWPP MaryEra
type EraRule "POOL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOL" MaryEra = ShelleyPOOL MaryEra
type EraRule "POOLREAP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "POOLREAP" MaryEra = ShelleyPOOLREAP MaryEra
type EraRule "PPUP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "PPUP" MaryEra = ShelleyPPUP MaryEra
type EraRule "RUPD" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "RUPD" MaryEra = ShelleyRUPD MaryEra
type EraRule "SNAP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "SNAP" MaryEra = ShelleySNAP MaryEra
type EraRule "TICK" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICK" MaryEra = ShelleyTICK MaryEra
type EraRule "TICKF" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "TICKF" MaryEra = ShelleyTICKF MaryEra
type EraRule "UPEC" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UPEC" MaryEra = ShelleyUPEC MaryEra
type EraRule "UTXO" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXO" MaryEra = AllegraUTXO MaryEra
type EraRule "UTXOW" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type EraRule "UTXOW" MaryEra = AllegraUTXOW MaryEra
type EraRuleEvent "LEDGER" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleEvent "LEDGER" MaryEra = ShelleyLedgerEvent MaryEra
type EraRuleEvent "TICK" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules type EraRuleEvent "TICK" MaryEra = ShelleyTickEvent MaryEra
type EraRuleFailure "BBODY" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Bbody type EraRuleFailure "BBODY" MaryEra = ShelleyBbodyPredFailure MaryEra
type EraRuleFailure "DELEG" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Deleg type EraRuleFailure "DELEG" MaryEra = ShelleyDelegPredFailure MaryEra
type EraRuleFailure "DELEGS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Delegs type EraRuleFailure "DELEGS" MaryEra = ShelleyDelegsPredFailure MaryEra
type EraRuleFailure "DELPL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Delpl type EraRuleFailure "DELPL" MaryEra = ShelleyDelplPredFailure MaryEra
type EraRuleFailure "LEDGER" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledger type EraRuleFailure "LEDGER" MaryEra = ShelleyLedgerPredFailure MaryEra
type EraRuleFailure "LEDGERS" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ledgers type EraRuleFailure "LEDGERS" MaryEra = ShelleyLedgersPredFailure MaryEra
type EraRuleFailure "POOL" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Pool type EraRuleFailure "POOL" MaryEra = ShelleyPoolPredFailure MaryEra
type EraRuleFailure "PPUP" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Ppup type EraRuleFailure "PPUP" MaryEra = ShelleyPpupPredFailure MaryEra
type EraRuleFailure "UTXO" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxo type EraRuleFailure "UTXO" MaryEra = AllegraUtxoPredFailure MaryEra
type EraRuleFailure "UTXOW" MaryEra
Instance details Defined in Cardano.Ledger.Mary.Rules.Utxow type EraRuleFailure "UTXOW" MaryEra = ShelleyUtxowPredFailure MaryEra
type DowngradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f MaryEra = ()
type PParamsHKD f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type PParamsHKD f MaryEra = ShelleyPParams f MaryEra
type UpgradePParams f MaryEra
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f MaryEra = ()
type TranslationError MaryEra Timelock
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Timelock = Void
type TranslationError MaryEra AllegraTxAuxData
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra AllegraTxAuxData = Void
type TranslationError MaryEra CertState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra CertState = Void
type TranslationError MaryEra CommitteeState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra CommitteeState = Void
type TranslationError MaryEra DState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra DState = Void
type TranslationError MaryEra PState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PState = Void
type TranslationError MaryEra VState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra VState = Void
type TranslationError MaryEra PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParams = Void
type TranslationError MaryEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParamsUpdate = Void
type TranslationError MaryEra UTxO
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxO = Void
type TranslationError MaryEra FuturePParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra FuturePParams = Void
type TranslationError MaryEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyGovState = Void
type TranslationError MaryEra EpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra EpochState = Void
type TranslationError MaryEra LedgerState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra LedgerState = Void
type TranslationError MaryEra NewEpochState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra NewEpochState = Void
type TranslationError MaryEra UTxOState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra UTxOState = Void
type TranslationError MaryEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ProposedPPUpdates = Void
type TranslationError MaryEra Update
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Update = Void
type TranslationError MaryEra ShelleyTx
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTx = DecoderError
type TranslationError MaryEra ShelleyTxOut
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxOut = Void
type TranslationError MaryEra ShelleyTxWits
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyTxWits = DecoderError

Alonzo

type Alonzo = AlonzoEra Source #

data AlonzoEra Source #

The Alonzo era

Instances

Instances details

AlonzoEraPParams AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source #
AlonzoEraScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types data PlutusScript AlonzoEra Source # type PlutusPurpose f AlonzoEra = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source # fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript AlonzoEra) Source # withPlutusScript ∷ PlutusScript AlonzoEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source # hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g AlonzoEra → PlutusPurpose f AlonzoEra Source # mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source # toSpendingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 TxIn) Source # mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source # toMintingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 PolicyID) Source # mkCertifyingPurpose ∷ f Word32 (TxCert AlonzoEra) → PlutusPurpose f AlonzoEra Source # toCertifyingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (TxCert AlonzoEra)) Source # mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f AlonzoEra Source # toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 RewardAccount) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #
AlonzoEraTx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx AlonzoEra) IsValid Source #
AlonzoEraTxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #
AlonzoEraTxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods collateralInputsTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set (KeyHash 'Witness)) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source # redeemerPointerInverse ∷ TxBody AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #
AlonzoEraTxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #
EraScript AlonzoEra ⇒ AlonzoEraTxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #
AlonzoEraUTxO AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO Methods getSupplementalDataHashes ∷ UTxO AlonzoEra → TxBody AlonzoEra → Set DataHash Source # getSpendingDatum ∷ UTxO AlonzoEra → Tx AlonzoEra → PlutusPurpose AsItem AlonzoEra → Maybe (Data AlonzoEra) Source #
Era AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era Associated Types type PreviousEra AlonzoEra = (r ∷ Type) Source # type ProtVerLow AlonzoEra ∷ Nat Source # type ProtVerHigh AlonzoEra ∷ Nat Source # Methods eraName ∷ String Source #
TranslateEra AlonzoEra Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra Tx Source # Methods translateEra ∷ TranslationContext AlonzoEra → Tx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra Tx) (Tx AlonzoEra) Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
Generic (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (PlutusScript AlonzoEra) ∷ Type → Type Source # Methods from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x Source # to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra Source #
Show (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS Source # show ∷ PlutusScript AlonzoEra → String Source # showList ∷ [PlutusScript AlonzoEra] → ShowS Source #
SafeToHash (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ PlutusScript AlonzoEra → ByteString Source # originalBytesSize ∷ PlutusScript AlonzoEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #
NFData (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript AlonzoEra → () Source #
Eq (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source #
Ord (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering Source # (<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra Source # min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra Source #
NoThunks (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #
ToJSON (AlonzoPParams Identity AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams Identity AlonzoEra → Value Source # toEncoding ∷ AlonzoPParams Identity AlonzoEra → Encoding Source # toJSONList ∷ [AlonzoPParams Identity AlonzoEra] → Value Source # toEncodingList ∷ [AlonzoPParams Identity AlonzoEra] → Encoding Source # omitField ∷ AlonzoPParams Identity AlonzoEra → Bool Source #
ToJSON (AlonzoPParams StrictMaybe AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams StrictMaybe AlonzoEra → Value Source # toEncoding ∷ AlonzoPParams StrictMaybe AlonzoEra → Encoding Source # toJSONList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Value Source # toEncodingList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Encoding Source # omitField ∷ AlonzoPParams StrictMaybe AlonzoEra → Bool Source #
type ContextError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo type ContextError AlonzoEra = AlonzoContextError AlonzoEra
newtype PlutusScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type NativeScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript AlonzoEra = Timelock AlonzoEra
type Script AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type Tx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Tx AlonzoEra = AlonzoTx AlonzoEra
type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra
type TxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBody AlonzoEra = AlonzoTxBody AlonzoEra
type TxBodyUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBodyUpgradeError AlonzoEra = AlonzoTxBodyUpgradeError
type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra
type TxSeq AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal type TxSeq AlonzoEra = AlonzoTxSeq AlonzoEra
type TxUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx type TxUpgradeError AlonzoEra = AlonzoTxUpgradeError
type TxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits AlonzoEra = AlonzoTxWits AlonzoEra
type Value AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type Value AlonzoEra = MaryValue
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerHigh AlonzoEra = 6
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerLow AlonzoEra = 5
type TranslationContext AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext AlonzoEra = AlonzoGenesis
type TxCert AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError AlonzoEra = Void
type Genesis AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Genesis AlonzoEra = AlonzoGenesis
type ScriptsNeeded AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra
type GovState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState AlonzoEra = ShelleyGovState AlonzoEra
data TransitionConfig AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }
type PlutusPurpose f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra
type EraRule "BBODY" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "BBODY" AlonzoEra = AlonzoBBODY AlonzoEra
type EraRule "DELEG" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEG" AlonzoEra = ShelleyDELEG AlonzoEra
type EraRule "DELEGS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEGS" AlonzoEra = ShelleyDELEGS AlonzoEra
type EraRule "DELPL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELPL" AlonzoEra = ShelleyDELPL AlonzoEra
type EraRule "EPOCH" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "EPOCH" AlonzoEra = ShelleyEPOCH AlonzoEra
type EraRule "LEDGER" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGER" AlonzoEra = AlonzoLEDGER AlonzoEra
type EraRule "LEDGERS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGERS" AlonzoEra = ShelleyLEDGERS AlonzoEra
type EraRule "MIR" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "MIR" AlonzoEra = ShelleyMIR AlonzoEra
type EraRule "NEWEPOCH" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWEPOCH" AlonzoEra = ShelleyNEWEPOCH AlonzoEra
type EraRule "NEWPP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWPP" AlonzoEra = ShelleyNEWPP AlonzoEra
type EraRule "POOL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOL" AlonzoEra = ShelleyPOOL AlonzoEra
type EraRule "POOLREAP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOLREAP" AlonzoEra = ShelleyPOOLREAP AlonzoEra
type EraRule "PPUP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "PPUP" AlonzoEra = ShelleyPPUP AlonzoEra
type EraRule "RUPD" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "RUPD" AlonzoEra = ShelleyRUPD AlonzoEra
type EraRule "SNAP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "SNAP" AlonzoEra = ShelleySNAP AlonzoEra
type EraRule "TICK" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICK" AlonzoEra = ShelleyTICK AlonzoEra
type EraRule "TICKF" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICKF" AlonzoEra = ShelleyTICKF AlonzoEra
type EraRule "UPEC" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UPEC" AlonzoEra = ShelleyUPEC AlonzoEra
type EraRule "UTXO" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXO" AlonzoEra = AlonzoUTXO AlonzoEra
type EraRule "UTXOS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOS" AlonzoEra = AlonzoUTXOS AlonzoEra
type EraRule "UTXOW" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOW" AlonzoEra = AlonzoUTXOW AlonzoEra
type EraRuleEvent "LEDGER" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEra
type EraRuleEvent "PPUP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEra
type EraRuleEvent "TICK" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEra
type EraRuleFailure "BBODY" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEra
type EraRuleFailure "DELEG" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Deleg type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEra
type EraRuleFailure "DELEGS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra
type EraRuleFailure "DELPL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra
type EraRuleFailure "LEDGER" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra
type EraRuleFailure "LEDGERS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra
type EraRuleFailure "POOL" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Pool type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEra
type EraRuleFailure "PPUP" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ppup type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEra
type EraRuleFailure "UTXO" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEra
type EraRuleFailure "UTXOS" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEra
type EraRuleFailure "UTXOW" AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra
type DowngradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f
type PParamsHKD f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type TranslationError AlonzoEra Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra Tx = DecoderError
type TranslationError AlonzoEra CertState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CertState = Void
type TranslationError AlonzoEra CommitteeState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CommitteeState = Void
type TranslationError AlonzoEra DState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra DState = Void
type TranslationError AlonzoEra PState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PState = Void
type TranslationError AlonzoEra VState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra VState = Void
type TranslationError AlonzoEra PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void
type TranslationError AlonzoEra UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = Void
type TranslationError AlonzoEra FuturePParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = Void
type TranslationError AlonzoEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyGovState = Void
type TranslationError AlonzoEra EpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra EpochState = Void
type TranslationError AlonzoEra LedgerState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra LedgerState = Void
type TranslationError AlonzoEra NewEpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra NewEpochState = Void
type TranslationError AlonzoEra UTxOState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxOState = Void
type TranslationError AlonzoEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ProposedPPUpdates = Void
type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
type Rep (TransitionConfig AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

Babbage

type Babbage = BabbageEra Source #

data BabbageEra Source #

The Babbage era

Instances

Instances details

BabbageEraPParams BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerByte) Source #
BabbageEraTxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods sizedOutputsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (Sized (TxOut BabbageEra))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #
BabbageEraTxOut BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Script BabbageEra)) Source # dataTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Data BabbageEra)) Source # datumTxOutL ∷ Lens' (TxOut BabbageEra) (Datum BabbageEra) Source #
Era BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type PreviousEra BabbageEra = (r ∷ Type) Source # type ProtVerLow BabbageEra ∷ Nat Source # type ProtVerHigh BabbageEra ∷ Nat Source # Methods eraName ∷ String Source #
EraGenesis BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type Genesis BabbageEra Source #
TranslateEra BabbageEra Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra Tx Source # Methods translateEra ∷ TranslationContext BabbageEra → Tx (PreviousEra BabbageEra) → Except (TranslationError BabbageEra Tx) (Tx BabbageEra) Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
type ContextError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxInfo type ContextError BabbageEra = BabbageContextError BabbageEra
data PlutusScript BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript BabbageEra = BabbagePlutusV1 !(Plutus 'PlutusV1) \| BabbagePlutusV2 !(Plutus 'PlutusV2)
type NativeScript BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type NativeScript BabbageEra = Timelock BabbageEra
type Script BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script BabbageEra = AlonzoScript BabbageEra
type Tx BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx type Tx BabbageEra = AlonzoTx BabbageEra
type TxAuxData BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra
type TxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBody BabbageEra = BabbageTxBody BabbageEra
type TxBodyUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBodyUpgradeError BabbageEra = BabbageTxBodyUpgradeError
type TxOut BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut BabbageEra = BabbageTxOut BabbageEra
type TxSeq BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxSeq BabbageEra = AlonzoTxSeq BabbageEra
type TxUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxUpgradeError BabbageEra = BabbageTxUpgradeError
type TxWits BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxWits type TxWits BabbageEra = AlonzoTxWits BabbageEra
type Value BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Value BabbageEra = MaryValue
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerHigh BabbageEra = 8
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerLow BabbageEra = 7
type TranslationContext BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type TranslationContext BabbageEra = NoGenesis BabbageEra
type TxCert BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCert BabbageEra = ShelleyTxCert BabbageEra
type TxCertUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCertUpgradeError BabbageEra = Void
type Genesis BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Genesis BabbageEra = NoGenesis BabbageEra
type ScriptsNeeded BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.UTxO type ScriptsNeeded BabbageEra = AlonzoScriptsNeeded BabbageEra
type GovState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type GovState BabbageEra = ShelleyGovState BabbageEra
newtype TransitionConfig BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig BabbageEra = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra }
type PlutusPurpose f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra
type EraRule "BBODY" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "BBODY" BabbageEra = AlonzoBBODY BabbageEra
type EraRule "DELEG" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEG" BabbageEra = ShelleyDELEG BabbageEra
type EraRule "DELEGS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEGS" BabbageEra = ShelleyDELEGS BabbageEra
type EraRule "DELPL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELPL" BabbageEra = ShelleyDELPL BabbageEra
type EraRule "EPOCH" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "EPOCH" BabbageEra = ShelleyEPOCH BabbageEra
type EraRule "LEDGER" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGER" BabbageEra = BabbageLEDGER BabbageEra
type EraRule "LEDGERS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGERS" BabbageEra = ShelleyLEDGERS BabbageEra
type EraRule "MIR" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "MIR" BabbageEra = ShelleyMIR BabbageEra
type EraRule "NEWEPOCH" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWEPOCH" BabbageEra = ShelleyNEWEPOCH BabbageEra
type EraRule "NEWPP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWPP" BabbageEra = ShelleyNEWPP BabbageEra
type EraRule "POOL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOL" BabbageEra = ShelleyPOOL BabbageEra
type EraRule "POOLREAP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOLREAP" BabbageEra = ShelleyPOOLREAP BabbageEra
type EraRule "PPUP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "PPUP" BabbageEra = ShelleyPPUP BabbageEra
type EraRule "RUPD" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "RUPD" BabbageEra = ShelleyRUPD BabbageEra
type EraRule "SNAP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "SNAP" BabbageEra = ShelleySNAP BabbageEra
type EraRule "TICK" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICK" BabbageEra = ShelleyTICK BabbageEra
type EraRule "TICKF" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICKF" BabbageEra = ShelleyTICKF BabbageEra
type EraRule "UPEC" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UPEC" BabbageEra = ShelleyUPEC BabbageEra
type EraRule "UTXO" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXO" BabbageEra = BabbageUTXO BabbageEra
type EraRule "UTXOS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOS" BabbageEra = BabbageUTXOS BabbageEra
type EraRule "UTXOW" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOW" BabbageEra = BabbageUTXOW BabbageEra
type EraRuleEvent "LEDGER" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "LEDGER" BabbageEra = ShelleyLedgerEvent BabbageEra
type EraRuleEvent "PPUP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "PPUP" BabbageEra = PpupEvent BabbageEra
type EraRuleEvent "TICK" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "TICK" BabbageEra = ShelleyTickEvent BabbageEra
type EraRuleEvent "UTXOS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleEvent "UTXOS" BabbageEra = AlonzoUtxosEvent BabbageEra
type EraRuleFailure "BBODY" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody type EraRuleFailure "BBODY" BabbageEra = AlonzoBbodyPredFailure BabbageEra
type EraRuleFailure "DELEG" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Deleg type EraRuleFailure "DELEG" BabbageEra = ShelleyDelegPredFailure BabbageEra
type EraRuleFailure "DELEGS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs type EraRuleFailure "DELEGS" BabbageEra = ShelleyDelegsPredFailure BabbageEra
type EraRuleFailure "DELPL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl type EraRuleFailure "DELPL" BabbageEra = ShelleyDelplPredFailure BabbageEra
type EraRuleFailure "LEDGER" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type EraRuleFailure "LEDGER" BabbageEra = ShelleyLedgerPredFailure BabbageEra
type EraRuleFailure "LEDGERS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers type EraRuleFailure "LEDGERS" BabbageEra = ShelleyLedgersPredFailure BabbageEra
type EraRuleFailure "POOL" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Pool type EraRuleFailure "POOL" BabbageEra = ShelleyPoolPredFailure BabbageEra
type EraRuleFailure "PPUP" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ppup type EraRuleFailure "PPUP" BabbageEra = ShelleyPpupPredFailure BabbageEra
type EraRuleFailure "UTXO" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type EraRuleFailure "UTXO" BabbageEra = BabbageUtxoPredFailure BabbageEra
type EraRuleFailure "UTXOS" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleFailure "UTXOS" BabbageEra = AlonzoUtxosPredFailure BabbageEra
type EraRuleFailure "UTXOW" BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type EraRuleFailure "UTXOW" BabbageEra = BabbageUtxowPredFailure BabbageEra
type DowngradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f BabbageEra = DowngradeBabbagePParams f
type PParamsHKD f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra
type UpgradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f BabbageEra = ()
type TranslationError BabbageEra Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra Tx = DecoderError
type TranslationError BabbageEra CertState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra CertState = Void
type TranslationError BabbageEra CommitteeState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra CommitteeState = Void
type TranslationError BabbageEra DState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra DState = Void
type TranslationError BabbageEra PState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PState = Void
type TranslationError BabbageEra VState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra VState = Void
type TranslationError BabbageEra PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PParams = Void
type TranslationError BabbageEra UTxO
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxO = Void
type TranslationError BabbageEra FuturePParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra FuturePParams = Void
type TranslationError BabbageEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyGovState = Void
type TranslationError BabbageEra EpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra EpochState = Void
type TranslationError BabbageEra LedgerState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra LedgerState = Void
type TranslationError BabbageEra NewEpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra NewEpochState = Void
type TranslationError BabbageEra UTxOState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxOState = Void
type TranslationError BabbageEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ProposedPPUpdates = Void
type Rep (PlutusScript BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.11.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))

Conway

type Conway = ConwayEra Source #

data ConwayEra Source #

The Conway era

Instances

Instances details

ConwayEraGov ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Governance Methods constitutionGovStateL ∷ Lens' (GovState ConwayEra) (Constitution ConwayEra) Source # proposalsGovStateL ∷ Lens' (GovState ConwayEra) (Proposals ConwayEra) Source # drepPulsingStateGovStateL ∷ Lens' (GovState ConwayEra) (DRepPulsingState ConwayEra) Source # committeeGovStateL ∷ Lens' (GovState ConwayEra) (StrictMaybe (Committee ConwayEra)) Source #
ConwayEraPParams ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams Methods modifiedPPGroups ∷ PParamsUpdate ConwayEra → Set PPGroups Source # ppuWellFormed ∷ ProtVer → PParamsUpdate ConwayEra → Bool Source # hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f PoolVotingThresholds) Source # hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f DRepVotingThresholds) Source # hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Natural) Source # hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source # hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source # hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) Source # hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f NonNegativeInterval) Source #
ConwayEraScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source # toVotingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 Voter) Source # mkProposingPurpose ∷ f Word32 (ProposalProcedure ConwayEra) → PlutusPurpose f ConwayEra Source # toProposingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (ProposalProcedure ConwayEra)) Source #
ConwayEraTransition ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Transition Methods tcDelegsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'Staking) Delegatee) Source # tcInitialDRepsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'DRepRole) DRepState) Source # tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #
ConwayEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods currentTreasuryValueTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (VotingProcedures ConwayEra) Source # proposalProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source # treasuryDonationTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source #
ConwayEraTxCert ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert ConwayEra Source # getDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee) Source # mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert ConwayEra Source # getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee, Coin) Source # mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert ConwayEra Source # getAuthCommitteeHotKeyTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert ConwayEra Source # getResignCommitteeColdTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert ConwayEra Source # getRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert ConwayEra Source # getUnRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin) Source # mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert ConwayEra Source # getUpdateDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
Era ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era Associated Types type PreviousEra ConwayEra = (r ∷ Type) Source # type ProtVerLow ConwayEra ∷ Nat Source # type ProtVerHigh ConwayEra ∷ Nat Source # Methods eraName ∷ String Source #
TranslateEra ConwayEra Tx
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra Tx Source # Methods translateEra ∷ TranslationContext ConwayEra → Tx (PreviousEra ConwayEra) → Except (TranslationError ConwayEra Tx) (Tx ConwayEra) Source #
InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #
InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #
InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source #
InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "GOV" ConwayEra Source #
InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "GOVCERT" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "MEMPOOL" ConwayMempoolPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods injectFailure ∷ ConwayMempoolPredFailure ConwayEra → EraRuleFailure "MEMPOOL" ConwayEra Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
ToJSON (ConwayPParams Identity ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toJSON ∷ ConwayPParams Identity ConwayEra → Value Source # toEncoding ∷ ConwayPParams Identity ConwayEra → Encoding Source # toJSONList ∷ [ConwayPParams Identity ConwayEra] → Value Source # toEncodingList ∷ [ConwayPParams Identity ConwayEra] → Encoding Source # omitField ∷ ConwayPParams Identity ConwayEra → Bool Source #
type ContextError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxInfo type ContextError ConwayEra = ConwayContextError ConwayEra
data PlutusScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts data PlutusScript ConwayEra = ConwayPlutusV1 !(Plutus 'PlutusV1) \| ConwayPlutusV2 !(Plutus 'PlutusV2) \| ConwayPlutusV3 !(Plutus 'PlutusV3)
type NativeScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type NativeScript ConwayEra = Timelock ConwayEra
type Script ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script ConwayEra = AlonzoScript ConwayEra
type Tx ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type Tx ConwayEra = AlonzoTx ConwayEra
type TxAuxData ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra
type TxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBody ConwayEra = ConwayTxBody ConwayEra
type TxBodyUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBodyUpgradeError ConwayEra = ConwayTxBodyUpgradeError
type TxOut ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxOut type TxOut ConwayEra = BabbageTxOut ConwayEra
type TxSeq ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type TxSeq ConwayEra = AlonzoTxSeq ConwayEra
type TxUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type TxUpgradeError ConwayEra = TxBodyUpgradeError ConwayEra
type TxWits ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxWits type TxWits ConwayEra = AlonzoTxWits ConwayEra
type Value ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type Value ConwayEra = MaryValue
type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerHigh ConwayEra = 10
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerLow ConwayEra = 9
type TranslationContext ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationContext ConwayEra = ConwayGenesis
type TxCert ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCert ConwayEra = ConwayTxCert ConwayEra
type TxCertUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError
type Genesis ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Genesis type Genesis ConwayEra = ConwayGenesis
type ScriptsNeeded ConwayEra
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEra
type GovState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Governance type GovState ConwayEra = ConwayGovState ConwayEra
data TransitionConfig ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig ConwayEra = ConwayTransitionConfig { ctcConwayGenesis ∷ !ConwayGenesis ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra) }
type PlutusPurpose f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra
type EraRule "BBODY" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "BBODY" ConwayEra = ConwayBBODY ConwayEra
type EraRule "CERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERT" ConwayEra = ConwayCERT ConwayEra
type EraRule "CERTS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERTS" ConwayEra = ConwayCERTS ConwayEra
type EraRule "DELEG" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEG" ConwayEra = ConwayDELEG ConwayEra
type EraRule "DELEGS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra
type EraRule "ENACT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "ENACT" ConwayEra = ConwayENACT ConwayEra
type EraRule "EPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "EPOCH" ConwayEra = ConwayEPOCH ConwayEra
type EraRule "GOV" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOV" ConwayEra = ConwayGOV ConwayEra
type EraRule "GOVCERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOVCERT" ConwayEra = ConwayGOVCERT ConwayEra
type EraRule "HARDFORK" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "HARDFORK" ConwayEra = ConwayHARDFORK ConwayEra
type EraRule "LEDGER" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGER" ConwayEra = ConwayLEDGER ConwayEra
type EraRule "LEDGERS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGERS" ConwayEra = ShelleyLEDGERS ConwayEra
type EraRule "MEMPOOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MEMPOOL" ConwayEra = ConwayMEMPOOL ConwayEra
type EraRule "MIR" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra
type EraRule "NEWEPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "NEWEPOCH" ConwayEra = ConwayNEWEPOCH ConwayEra
type EraRule "NEWPP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra
type EraRule "POOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOL" ConwayEra = ShelleyPOOL ConwayEra
type EraRule "POOLREAP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOLREAP" ConwayEra = ShelleyPOOLREAP ConwayEra
type EraRule "PPUP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra
type EraRule "RATIFY" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RATIFY" ConwayEra = ConwayRATIFY ConwayEra
type EraRule "RUPD" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RUPD" ConwayEra = ShelleyRUPD ConwayEra
type EraRule "SNAP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "SNAP" ConwayEra = ShelleySNAP ConwayEra
type EraRule "TICK" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICK" ConwayEra = ShelleyTICK ConwayEra
type EraRule "TICKF" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICKF" ConwayEra = ConwayTICKF ConwayEra
type EraRule "UPEC" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra
type EraRule "UTXO" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXO" ConwayEra = ConwayUTXO ConwayEra
type EraRule "UTXOS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOS" ConwayEra = ConwayUTXOS ConwayEra
type EraRule "UTXOW" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOW" ConwayEra = ConwayUTXOW ConwayEra
type EraRuleEvent "BBODY" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleEvent "BBODY" ConwayEra = AlonzoBbodyEvent ConwayEra
type EraRuleEvent "CERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleEvent "CERT" ConwayEra = ConwayCertEvent ConwayEra
type EraRuleEvent "CERTS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleEvent "CERTS" ConwayEra = ConwayCertsEvent ConwayEra
type EraRuleEvent "DELEG" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleEvent "DELEG" ConwayEra = VoidEraRule "DELEG" ConwayEra
type EraRuleEvent "DELEGS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra
type EraRuleEvent "ENACT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type EraRuleEvent "ENACT" ConwayEra = VoidEraRule "ENACT" ConwayEra
type EraRuleEvent "EPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type EraRuleEvent "EPOCH" ConwayEra = ConwayEpochEvent ConwayEra
type EraRuleEvent "GOV" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleEvent "GOV" ConwayEra = ConwayGovEvent ConwayEra
type EraRuleEvent "GOVCERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type EraRuleEvent "GOVCERT" ConwayEra = VoidEraRule "GOVCERT" ConwayEra
type EraRuleEvent "HARDFORK" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type EraRuleEvent "HARDFORK" ConwayEra = ConwayHardForkEvent ConwayEra
type EraRuleEvent "LEDGER" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleEvent "LEDGER" ConwayEra = ConwayLedgerEvent ConwayEra
type EraRuleEvent "LEDGERS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleEvent "LEDGERS" ConwayEra = ShelleyLedgersEvent ConwayEra
type EraRuleEvent "MEMPOOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleEvent "MEMPOOL" ConwayEra = ConwayMempoolEvent ConwayEra
type EraRuleEvent "MIR" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra
type EraRuleEvent "NEWEPOCH" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" ConwayEra = ConwayNewEpochEvent ConwayEra
type EraRuleEvent "NEWPP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra
type EraRuleEvent "POOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleEvent "POOL" ConwayEra = PoolEvent ConwayEra
type EraRuleEvent "PPUP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra
type EraRuleEvent "TICK" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules type EraRuleEvent "TICK" ConwayEra = ShelleyTickEvent ConwayEra
type EraRuleEvent "UPEC" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleEvent "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra
type EraRuleEvent "UTXO" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleEvent "UTXO" ConwayEra = AlonzoUtxoEvent ConwayEra
type EraRuleEvent "UTXOS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleEvent "UTXOS" ConwayEra = ConwayUtxosEvent ConwayEra
type EraRuleEvent "UTXOW" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleEvent "UTXOW" ConwayEra = AlonzoUtxowEvent ConwayEra
type EraRuleFailure "BBODY" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleFailure "BBODY" ConwayEra = ConwayBbodyPredFailure ConwayEra
type EraRuleFailure "CERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleFailure "CERT" ConwayEra = ConwayCertPredFailure ConwayEra
type EraRuleFailure "CERTS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleFailure "CERTS" ConwayEra = ConwayCertsPredFailure ConwayEra
type EraRuleFailure "DELEG" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type EraRuleFailure "DELEG" ConwayEra = ConwayDelegPredFailure ConwayEra
type EraRuleFailure "DELEGS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra
type EraRuleFailure "GOV" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type EraRuleFailure "GOV" ConwayEra = ConwayGovPredFailure ConwayEra
type EraRuleFailure "GOVCERT" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type EraRuleFailure "GOVCERT" ConwayEra = ConwayGovCertPredFailure ConwayEra
type EraRuleFailure "LEDGER" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleFailure "LEDGER" ConwayEra = ConwayLedgerPredFailure ConwayEra
type EraRuleFailure "LEDGERS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleFailure "LEDGERS" ConwayEra = ShelleyLedgersPredFailure ConwayEra
type EraRuleFailure "MEMPOOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleFailure "MEMPOOL" ConwayEra = ConwayMempoolPredFailure ConwayEra
type EraRuleFailure "MIR" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra
type EraRuleFailure "NEWPP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra
type EraRuleFailure "POOL" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Pool type EraRuleFailure "POOL" ConwayEra = ShelleyPoolPredFailure ConwayEra
type EraRuleFailure "PPUP" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra
type EraRuleFailure "UPEC" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type EraRuleFailure "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra
type EraRuleFailure "UTXO" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleFailure "UTXO" ConwayEra = ConwayUtxoPredFailure ConwayEra
type EraRuleFailure "UTXOS" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleFailure "UTXOS" ConwayEra = ConwayUtxosPredFailure ConwayEra
type EraRuleFailure "UTXOW" ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleFailure "UTXOW" ConwayEra = ConwayUtxowPredFailure ConwayEra
type DowngradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f ConwayEra = ()
type PParamsHKD f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra
type UpgradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f ConwayEra = UpgradeConwayPParams f
type TranslationError ConwayEra Tx
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra Tx = DecoderError
type TranslationError ConwayEra CertState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra CertState = Void
type TranslationError ConwayEra CommitteeState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra CommitteeState = Void
type TranslationError ConwayEra DState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra DState = Void
type TranslationError ConwayEra PState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PState = Void
type TranslationError ConwayEra VState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra VState = Void
type TranslationError ConwayEra PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PParams = Void
type TranslationError ConwayEra UTxO
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxO = Void
type TranslationError ConwayEra FuturePParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra FuturePParams = Void
type TranslationError ConwayEra EpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra EpochState = Void
type TranslationError ConwayEra LedgerState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra LedgerState = Void
type TranslationError ConwayEra NewEpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra NewEpochState = Void
type TranslationError ConwayEra UTxOState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxOState = Void
type Rep (PlutusScript ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Scripts type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))
type Rep (TransitionConfig ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))

Latest Known

type LatestKnownEra = ConwayEra Source #

Sometimes it is useful to specify that a type corresponds to a latest era that is currently implemented

Protocol version

Value level

eraProtVerHigh ∷ Era era ⇒ Version Source #

Get the value level Version of the highest major protocol version for the supplied era.

eraProtVerLow ∷ Era era ⇒ Version Source #

Get the value level Version of the lowest major protocol version for the supplied era.

Type level constraints

type AtLeastEra atLeastEra era = ProtVerAtLeast era (ProtVerLow atLeastEra) Source #

Restrict the era to equal to atLeastEra or come after it

type AtMostEra eraMostEra era = ProtVerAtMost era (ProtVerHigh eraMostEra) Source #

Restrict the era to equal to eraName or come before it.

type ExactEra inEra era = ProtVerInBounds era (ProtVerLow inEra) (ProtVerHigh inEra) Source #

Restrict an era to the specific era through the protocol version. This is equivalent to (inEra (Crypto era) ~ era)

type family ProtVerAtLeast era (l ∷ Nat) where ... Source #

Requirement for the era's highest protocol version to be higher or equal to the supplied value

Equations

ProtVerAtLeast era l = ProtVerIsInBounds "at least" era l (l <=? ProtVerHigh era)

type family ProtVerAtMost era (h ∷ Nat) where ... Source #

Requirement for the era's lowest protocol version to be lower or equal to the supplied value

Equations

ProtVerAtMost era h = ProtVerIsInBounds "at most" era h (ProtVerLow era <=? h)

type ProtVerInBounds era (l ∷ Nat) (h ∷ Nat) = (ProtVerAtLeast era l, ProtVerAtMost era h) Source #

Restrict a lower and upper bounds of the protocol version for the particular era

atLeastEra ∷ AtLeastEra eraName era ⇒ () Source #

Enforce era to be at least the specified era at the type level. In other words compiler will produce type error when applied to eras prior to the specified era. This function should be used in order to avoid redundant constraints warning.

For example these will type check

>>> atLeastEra @BabbageEra @ConwayEra
>>> atLeastEra @BabbageEra @BabbageEra

However this will result in a type error

>>> atLeastEra @BabbageEra @AlonzoEra

atMostEra ∷ AtMostEra eraName era ⇒ () Source #

Enforce era to be at most the specified era at the type level. In other words compiler will produce type error when applied to eras prior to the specified era. This function should be used in order to avoid redundant constraints warning.

For example these will type check

>>> atMostEra @BabbageEra @ShelleyEra
>>> atMostEra @AlonzoEra @MaryEra

However this will result in a type error

>>> atMostEra @BabbageEra @ConwayEra