Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.EraBuffet

Synopsis

data ShelleyEra
data MaryEra
data AllegraEra
type family Value era
type family Script era = (r ∷ Type) | r → era
type family TxBody era = (r ∷ Type) | r → era
type family TxAuxData era = (r ∷ Type) | r → era
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

Documentation

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 #
ApplyTx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError ShelleyEra) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Tx ShelleyEra → m (EventReturnType ep (EraRule "LEDGER" ShelleyEra) (MempoolState ShelleyEra, Validated (Tx ShelleyEra))) Source # reapplyTx ∷ MonadError (ApplyTxError ShelleyEra) m ⇒ Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Validated (Tx ShelleyEra) → m (MempoolState ShelleyEra) 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 "TICKN" ShelleyEra
Instance details Defined in Test.Cardano.Ledger.Shelley.Rules.Chain type EraRule "TICKN" ShelleyEra = TICKN
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)))

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 #
EraGen MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.MaryEraGen Methods genGenesisValue ∷ GenEnv MaryEra → Gen (Value MaryEra) Source # genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo MaryEra] Source # genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo MaryEra] Source # genEraTxBody ∷ GenEnv MaryEra → UTxO MaryEra → PParams MaryEra → SlotNo → Set TxIn → StrictSeq (TxOut MaryEra) → StrictSeq (TxCert MaryEra) → Withdrawals → Coin → StrictMaybe (Update MaryEra) → StrictMaybe TxAuxDataHash → Gen (TxBody MaryEra, [Script MaryEra]) Source # genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData MaryEra)) Source # updateEraTxBody ∷ UTxO MaryEra → PParams MaryEra → TxWits MaryEra → TxBody MaryEra → Coin → Set TxIn → TxOut MaryEra → TxBody MaryEra Source # addInputs ∷ TxBody MaryEra → Set TxIn → TxBody MaryEra Source # genEraPParamsUpdate ∷ Constants → PParams MaryEra → Gen (PParamsUpdate MaryEra) Source # genEraPParams ∷ Constants → Gen (PParams MaryEra) Source # genEraTxWits ∷ (UTxO MaryEra, TxBody MaryEra, ScriptInfo MaryEra) → Set (WitVKey 'Witness) → Map ScriptHash (Script MaryEra) → TxWits MaryEra Source # genEraGoodTxOut ∷ TxOut MaryEra → Bool Source # constructTx ∷ TxBody MaryEra → TxWits MaryEra → StrictMaybe (TxAuxData MaryEra) → Tx MaryEra Source # genEraScriptCost ∷ PParams MaryEra → Script MaryEra → Coin Source # genEraDone ∷ UTxO MaryEra → PParams MaryEra → Tx MaryEra → Gen (Tx MaryEra) Source # genEraTweakBlock ∷ PParams MaryEra → Seq (Tx MaryEra) → Gen (Seq (Tx MaryEra)) Source # hasFailedScripts ∷ Tx MaryEra → Bool Source # feeOrCollateral ∷ Tx MaryEra → UTxO MaryEra → Coin Source #
MinGenTxout MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.MaryEraGen Methods calcEraMinUTxO ∷ TxOut MaryEra → PParams MaryEra → Coin Source # addValToTxOut ∷ Value MaryEra → TxOut MaryEra → TxOut MaryEra Source # genEraTxOut ∷ GenEnv MaryEra → Gen (Value MaryEra) → [Addr] → Gen [TxOut MaryEra] Source #
ScriptClass MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.MaryEraGen Methods basescript ∷ Proxy MaryEra → KeyHash 'Witness → Script MaryEra Source # isKey ∷ Proxy MaryEra → Script MaryEra → Maybe (KeyHash 'Witness) Source # isOnePhase ∷ Proxy MaryEra → Script MaryEra → Bool Source # quantify ∷ Proxy MaryEra → Script MaryEra → Quantifier (Script MaryEra) Source # unQuantify ∷ Proxy MaryEra → Quantifier (Script MaryEra) → Script MaryEra 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

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 #
EraGen AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.AllegraEraGen Methods genGenesisValue ∷ GenEnv AllegraEra → Gen (Value AllegraEra) Source # genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo AllegraEra] Source # genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo AllegraEra] Source # genEraTxBody ∷ GenEnv AllegraEra → UTxO AllegraEra → PParams AllegraEra → SlotNo → Set TxIn → StrictSeq (TxOut AllegraEra) → StrictSeq (TxCert AllegraEra) → Withdrawals → Coin → StrictMaybe (Update AllegraEra) → StrictMaybe TxAuxDataHash → Gen (TxBody AllegraEra, [Script AllegraEra]) Source # genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData AllegraEra)) Source # updateEraTxBody ∷ UTxO AllegraEra → PParams AllegraEra → TxWits AllegraEra → TxBody AllegraEra → Coin → Set TxIn → TxOut AllegraEra → TxBody AllegraEra Source # addInputs ∷ TxBody AllegraEra → Set TxIn → TxBody AllegraEra Source # genEraPParamsUpdate ∷ Constants → PParams AllegraEra → Gen (PParamsUpdate AllegraEra) Source # genEraPParams ∷ Constants → Gen (PParams AllegraEra) Source # genEraTxWits ∷ (UTxO AllegraEra, TxBody AllegraEra, ScriptInfo AllegraEra) → Set (WitVKey 'Witness) → Map ScriptHash (Script AllegraEra) → TxWits AllegraEra Source # genEraGoodTxOut ∷ TxOut AllegraEra → Bool Source # constructTx ∷ TxBody AllegraEra → TxWits AllegraEra → StrictMaybe (TxAuxData AllegraEra) → Tx AllegraEra Source # genEraScriptCost ∷ PParams AllegraEra → Script AllegraEra → Coin Source # genEraDone ∷ UTxO AllegraEra → PParams AllegraEra → Tx AllegraEra → Gen (Tx AllegraEra) Source # genEraTweakBlock ∷ PParams AllegraEra → Seq (Tx AllegraEra) → Gen (Seq (Tx AllegraEra)) Source # hasFailedScripts ∷ Tx AllegraEra → Bool Source # feeOrCollateral ∷ Tx AllegraEra → UTxO AllegraEra → Coin Source #
MinGenTxout AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.AllegraEraGen Methods calcEraMinUTxO ∷ TxOut AllegraEra → PParams AllegraEra → Coin Source # addValToTxOut ∷ Value AllegraEra → TxOut AllegraEra → TxOut AllegraEra Source # genEraTxOut ∷ GenEnv AllegraEra → Gen (Value AllegraEra) → [Addr] → Gen [TxOut AllegraEra] Source #
ScriptClass AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.AllegraEraGen Methods basescript ∷ Proxy AllegraEra → KeyHash 'Witness → Script AllegraEra Source # isKey ∷ Proxy AllegraEra → Script AllegraEra → Maybe (KeyHash 'Witness) Source # isOnePhase ∷ Proxy AllegraEra → Script AllegraEra → Bool Source # quantify ∷ Proxy AllegraEra → Script AllegraEra → Quantifier (Script AllegraEra) Source # unQuantify ∷ Proxy AllegraEra → Quantifier (Script AllegraEra) → Script 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

type family Value era Source #

A value is something which quantifies a transaction output.

Instances

Instances details

type Value AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Value AllegraEra = Coin
type Value AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type Value AlonzoEra = MaryValue
type Value BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Value BabbageEra = MaryValue
type Value ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type Value ConwayEra = MaryValue
type Value MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Value MaryEra = MaryValue
type Value ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type Value ShelleyEra = Coin

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

Scripts which may lock transaction outputs in this era

Instances

Instances details

type Script AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script AllegraEra = Timelock AllegraEra
type Script AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type Script BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script BabbageEra = AlonzoScript BabbageEra
type Script ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script ConwayEra = AlonzoScript ConwayEra
type Script MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type Script ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra

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

The body of a transaction.

Instances

Instances details

type TxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type TxBody AllegraEra = AllegraTxBody AllegraEra
type TxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBody AlonzoEra = AlonzoTxBody AlonzoEra
type TxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type TxBody BabbageEra = BabbageTxBody BabbageEra
type TxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBody ConwayEra = ConwayTxBody ConwayEra
type TxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal type TxBody MaryEra = MaryTxBody MaryEra
type TxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody ShelleyEra = ShelleyTxBody ShelleyEra

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

Instances

Instances details

type TxAuxData AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra
type TxAuxData BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra
type TxAuxData ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra
type TxAuxData MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxAuxData type TxAuxData MaryEra = AllegraTxAuxData MaryEra
type TxAuxData ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

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

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 #