| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Eras
Synopsis
- data ShelleyEra
- data AllegraEra
- data MaryEra
- data AlonzoEra
- data BabbageEra
- data ConwayEra
- data DijkstraEra
- data ConwayEraGovDict era where
- ConwayEraGovDict ∷ ∀ era. (ConwayEraGov era, ConwayEraCertState era) ⇒ ConwayEraGovDict era
- class (EraBlockBody era, EraGov era, ApplyTx era, ApplyBlock era, EraTransition era, GetLedgerView era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "BBODY" era)), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era), ToCBOR (TranslationContext era), FromCBOR (TranslationContext era)) ⇒ ShelleyBasedEra era where
- applyShelleyBasedTx ∷ Globals → LedgerEnv era → LedgerState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (LedgerState era, Validated (Tx era))
- getConwayEraGovDict ∷ proxy era → Maybe (ConwayEraGovDict era)
- isBeforeConway ∷ Era era ⇒ Proxy era → Bool
- data StandardCrypto
Eras based on the Shelley ledger
data ShelleyEra Source #
Instances
data AllegraEra Source #
Instances
| AllegraEraScript AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Scripts | |||||||||
| AllegraEraTxAuxData AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (Timelock AllegraEra)) Source # | |||||||||
| AllegraEraTxBody AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source # | |||||||||
| EraApi AllegraEra | |||||||||
Defined in Cardano.Ledger.Api.Era Associated Types
Methods upgradeTx ∷ Tx (PreviousEra AllegraEra) → Either (TxUpgradeError AllegraEra) (Tx AllegraEra) Source # upgradeTxBody ∷ TxBody (PreviousEra AllegraEra) → Either (TxBodyUpgradeError AllegraEra) (TxBody AllegraEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra AllegraEra) → TxAuxData AllegraEra Source # upgradeTxWits ∷ TxWits (PreviousEra AllegraEra) → TxWits AllegraEra Source # | |||||||||
| GetLedgerView AllegraEra | |||||||||
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState AllegraEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError AllegraEra) m ⇒ Globals → NewEpochState AllegraEra → SlotNo → m LedgerView Source # | |||||||||
| ShelleyBasedEra AllegraEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AllegraEra → LedgerState AllegraEra → WhetherToIntervene → Tx AllegraEra → Except (ApplyTxError AllegraEra) (LedgerState AllegraEra, Validated (Tx AllegraEra)) Source # getConwayEraGovDict ∷ proxy AllegraEra → Maybe (ConwayEraGovDict AllegraEra) Source # | |||||||||
| InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source # | |||||||||
| FromCBOR (LegacyPParams AllegraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams Methods fromCBOR ∷ Decoder s (LegacyPParams AllegraEra) Source # label ∷ Proxy (LegacyPParams AllegraEra) → Text Source # | |||||||||
| ToCBOR (LegacyPParams AllegraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams Methods toCBOR ∷ LegacyPParams AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LegacyPParams AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LegacyPParams AllegraEra] → Size Source # | |||||||||
| Show (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS # show ∷ CanonicalTxIn (CardanoEras c) → String # showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS # | |||||||||
| Eq (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods (==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # | |||||||||
| Ord (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering # (<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # | |||||||||
| CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source # packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
| NoThunks (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # | When performing era translations, two eras have special behaviours on the ledger tables:
| ||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types
Methods hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source # hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → HardForkTxMeasure (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Condense | |||||||||
| CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source # ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source # ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source # txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source # txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.QueryHF Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source # | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194 | ||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source # getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source # supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source # latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
| PraosCrypto c ⇒ ShelleyCompatible (TPraos c) AllegraEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| ShelleyCompatible p AllegraEra ⇒ TxLimits (ShelleyBlock p AllegraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods txMeasure ∷ LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) ValuesMK → GenTx (ShelleyBlock p AllegraEra) → Except (ApplyTxErr (ShelleyBlock p AllegraEra)) (TxMeasure (ShelleyBlock p AllegraEra)) Source # blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) mk → TxMeasure (ShelleyBlock p AllegraEra) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source # indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source # indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source # | |||||||||
| type TxBodyUpgradeError AllegraEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type TxUpgradeError AllegraEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type BlockBody AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.BlockBody | |||||||||
| type NativeScript AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Scripts | |||||||||
| type Script AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Scripts | |||||||||
| newtype Tx AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Tx | |||||||||
| type TxAuxData AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxAuxData | |||||||||
| newtype TxBody AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxBody | |||||||||
| type TxOut AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxOut | |||||||||
| type TxWits AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxWits | |||||||||
| type Value AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type PreviousEra AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type ProtVerHigh AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type ProtVerLow AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type TranslationContext AllegraEra | No context is needed to translate from Shelley to Allegra. | ||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type TxCert AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxCert | |||||||||
| type TxCertUpgradeError AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.TxCert | |||||||||
| type Genesis AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type AccountState AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.State.Account | |||||||||
| type Accounts AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.State.Account | |||||||||
| type CertState AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.State.CertState | |||||||||
| type GovState AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.PParams | |||||||||
| type InstantStake AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.State.Stake | |||||||||
| type ScriptsNeeded AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.UTxO | |||||||||
| newtype TransitionConfig AllegraEra | |||||||||
| type EraRule "BBODY" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "DELEG" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "DELEGS" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "DELPL" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "EPOCH" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "LEDGER" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "LEDGERS" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "MIR" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "NEWEPOCH" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "NEWPP" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "POOL" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "POOLREAP" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "PPUP" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "RUPD" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "SNAP" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "TICK" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "TICKF" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "UPEC" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "UTXO" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRule "UTXOW" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Era | |||||||||
| type EraRuleEvent "LEDGER" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Ledger | |||||||||
| type EraRuleEvent "TICK" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules | |||||||||
| type EraRuleFailure "BBODY" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Bbody | |||||||||
| type EraRuleFailure "DELEG" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Deleg | |||||||||
| type EraRuleFailure "DELEGS" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Delegs | |||||||||
| type EraRuleFailure "DELPL" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Delpl | |||||||||
| type EraRuleFailure "LEDGER" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Ledger | |||||||||
| type EraRuleFailure "LEDGERS" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Ledgers | |||||||||
| type EraRuleFailure "POOL" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Pool | |||||||||
| type EraRuleFailure "PPUP" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Ppup | |||||||||
| type EraRuleFailure "UTXO" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Utxo | |||||||||
| type EraRuleFailure "UTXOW" AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.Rules.Utxow | |||||||||
| type DowngradePParams f AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.PParams | |||||||||
| type PParamsHKD f AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.PParams | |||||||||
| type UpgradePParams f AllegraEra | |||||||||
Defined in Cardano.Ledger.Allegra.PParams | |||||||||
| type TranslationError AllegraEra Tx | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra PParams | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra PParamsUpdate | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra CommitteeState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra DState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra PState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra FuturePParams | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra UTxO | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra ShelleyGovState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra EpochState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra LedgerState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra NewEpochState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra UTxOState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra ProposedPPUpdates | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra Update | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra ShelleyAccounts | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra ShelleyCertState | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra ShelleyInstantStake | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra ShelleyTxOut | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type TranslationError AllegraEra ShelleyTxWits | |||||||||
Defined in Cardano.Ledger.Allegra.Translation | |||||||||
| type RawType (TxBody AllegraEra) | |||||||||
Defined in Cardano.Ledger.Allegra.TxBody | |||||||||
| type Rep (Tx AllegraEra) | |||||||||
Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.8.0.0-5f5103a8feac850fc96cc839b0a3501678b395c4fb8bc104bb076309708d38b1" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra)))) | |||||||||
| type Rep (TxBody AllegraEra) | |||||||||
Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-5f5103a8feac850fc96cc839b0a3501678b395c4fb8bc104bb076309708d38b1" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra))))) | |||||||||
| type HardForkTxMeasure (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork | |||||||||
| newtype CanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type HardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type TxMeasure (ShelleyBlock p AllegraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
Instances
| EraApi MaryEra | |||||||||
Defined in Cardano.Ledger.Api.Era Associated Types
Methods upgradeTx ∷ Tx (PreviousEra MaryEra) → Either (TxUpgradeError MaryEra) (Tx MaryEra) Source # upgradeTxBody ∷ TxBody (PreviousEra MaryEra) → Either (TxBodyUpgradeError MaryEra) (TxBody MaryEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra MaryEra) → TxAuxData MaryEra Source # upgradeTxWits ∷ TxWits (PreviousEra MaryEra) → TxWits MaryEra Source # | |||||||||
| MaryEraTxBody MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source # | |||||||||
| GetLedgerView MaryEra | |||||||||
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState MaryEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError MaryEra) m ⇒ Globals → NewEpochState MaryEra → SlotNo → m LedgerView Source # | |||||||||
| ShelleyBasedEra MaryEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv MaryEra → LedgerState MaryEra → WhetherToIntervene → Tx MaryEra → Except (ApplyTxError MaryEra) (LedgerState MaryEra, Validated (Tx MaryEra)) Source # getConwayEraGovDict ∷ proxy MaryEra → Maybe (ConwayEraGovDict MaryEra) Source # | |||||||||
| FromCBOR (LegacyPParams MaryEra) Source # | |||||||||
| ToCBOR (LegacyPParams MaryEra) Source # | |||||||||
| Show (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS # show ∷ CanonicalTxIn (CardanoEras c) → String # showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS # | |||||||||
| Eq (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods (==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # | |||||||||
| Ord (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering # (<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # | |||||||||
| CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source # packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
| NoThunks (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # | When performing era translations, two eras have special behaviours on the ledger tables:
| ||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types
Methods hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source # hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → HardForkTxMeasure (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Condense | |||||||||
| CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source # ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source # ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source # txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source # txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.QueryHF Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source # | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194 | ||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source # getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source # supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source # latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
| PraosCrypto c ⇒ ShelleyCompatible (TPraos c) MaryEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| ShelleyCompatible p MaryEra ⇒ TxLimits (ShelleyBlock p MaryEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods txMeasure ∷ LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) ValuesMK → GenTx (ShelleyBlock p MaryEra) → Except (ApplyTxErr (ShelleyBlock p MaryEra)) (TxMeasure (ShelleyBlock p MaryEra)) Source # blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) mk → TxMeasure (ShelleyBlock p MaryEra) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source # indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source # indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source # | |||||||||
| type TxBodyUpgradeError MaryEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type TxUpgradeError MaryEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type BlockBody MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.BlockBody | |||||||||
| type NativeScript MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Scripts | |||||||||
| type Script MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Scripts | |||||||||
| newtype Tx MaryEra | |||||||||
| type TxAuxData MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.TxAuxData | |||||||||
| newtype TxBody MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.TxBody | |||||||||
| type TxOut MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.TxOut | |||||||||
| type TxWits MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.TxWits | |||||||||
| type Value MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type PreviousEra MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type ProtVerHigh MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type ProtVerLow MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type TranslationContext MaryEra | No context is needed to translate from Allegra to Mary. | ||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type TxCert MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.TxCert | |||||||||
| type TxCertUpgradeError MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.TxCert | |||||||||
| type Genesis MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type MemoHashIndex MaryTxBodyRaw | |||||||||
Defined in Cardano.Ledger.Mary.TxBody | |||||||||
| type AccountState MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.State.Account | |||||||||
| type Accounts MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.State.Account | |||||||||
| type CertState MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.State.CertState | |||||||||
| type GovState MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.PParams | |||||||||
| type InstantStake MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.State.Stake | |||||||||
| type ScriptsNeeded MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.UTxO | |||||||||
| newtype TransitionConfig MaryEra | |||||||||
| type EraRule "BBODY" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "DELEG" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "DELEGS" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "DELPL" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "EPOCH" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "LEDGER" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "LEDGERS" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "MIR" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "NEWEPOCH" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "NEWPP" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "POOL" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "POOLREAP" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "PPUP" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "RUPD" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "SNAP" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "TICK" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "TICKF" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "UPEC" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "UTXO" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRule "UTXOW" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Era | |||||||||
| type EraRuleEvent "LEDGER" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Ledger | |||||||||
| type EraRuleEvent "TICK" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules | |||||||||
| type EraRuleFailure "BBODY" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Bbody | |||||||||
| type EraRuleFailure "DELEG" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Deleg | |||||||||
| type EraRuleFailure "DELEGS" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Delegs | |||||||||
| type EraRuleFailure "DELPL" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Delpl | |||||||||
| type EraRuleFailure "LEDGER" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Ledger | |||||||||
| type EraRuleFailure "LEDGERS" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Ledgers | |||||||||
| type EraRuleFailure "POOL" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Pool | |||||||||
| type EraRuleFailure "PPUP" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Ppup | |||||||||
| type EraRuleFailure "UTXO" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Utxo | |||||||||
| type EraRuleFailure "UTXOW" MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.Rules.Utxow | |||||||||
| type DowngradePParams f MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.PParams | |||||||||
| type PParamsHKD f MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.PParams | |||||||||
| type UpgradePParams f MaryEra | |||||||||
Defined in Cardano.Ledger.Mary.PParams | |||||||||
| type TranslationError MaryEra AllegraTxAuxData | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra Tx | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra PParams | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra PParamsUpdate | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra CommitteeState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra DState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra PState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra FuturePParams | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra UTxO | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra ShelleyGovState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra EpochState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra LedgerState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra NewEpochState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra UTxOState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra ProposedPPUpdates | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra Update | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra ShelleyAccounts | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra ShelleyCertState | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra ShelleyInstantStake | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra ShelleyTxOut | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra ShelleyTxWits | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type TranslationError MaryEra (Timelock ∷ Type → Type) | |||||||||
Defined in Cardano.Ledger.Mary.Translation | |||||||||
| type RawType (TxBody MaryEra) | |||||||||
Defined in Cardano.Ledger.Mary.TxBody | |||||||||
| type Rep (Tx MaryEra) | |||||||||
Defined in Cardano.Ledger.Mary.Tx type Rep (Tx MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.9.0.0-7522ca04dd1875f24489618cd07e722df588d2522cea9becff1b9af5bcb2ff9b" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx MaryEra)))) | |||||||||
| type Rep (TxBody MaryEra) | |||||||||
Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-7522ca04dd1875f24489618cd07e722df588d2522cea9becff1b9af5bcb2ff9b" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw)))) | |||||||||
| type HardForkTxMeasure (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork | |||||||||
| newtype CanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type HardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type TxMeasure (ShelleyBlock p MaryEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
Instances
| AlonzoEraPParams AlonzoEra | |||||||||
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 | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts Associated Types
Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source # fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source # mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (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 | |||||||||
Defined in Cardano.Ledger.Alonzo.Tx | |||||||||
| AlonzoEraTxAuxData AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source # | |||||||||
| AlonzoEraTxBody AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxBody 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 | |||||||||
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 | |||||||||
| AlonzoEraUTxO AlonzoEra | |||||||||
| EraApi AlonzoEra | |||||||||
Defined in Cardano.Ledger.Api.Era Associated Types
Methods upgradeTx ∷ Tx (PreviousEra AlonzoEra) → Either (TxUpgradeError AlonzoEra) (Tx AlonzoEra) Source # upgradeTxBody ∷ TxBody (PreviousEra AlonzoEra) → Either (TxBodyUpgradeError AlonzoEra) (TxBody AlonzoEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra AlonzoEra) → TxAuxData AlonzoEra Source # upgradeTxWits ∷ TxWits (PreviousEra AlonzoEra) → TxWits AlonzoEra Source # | |||||||||
| GetLedgerView AlonzoEra | |||||||||
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState AlonzoEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError AlonzoEra) m ⇒ Globals → NewEpochState AlonzoEra → SlotNo → m LedgerView Source # | |||||||||
| ShelleyBasedEra AlonzoEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AlonzoEra → LedgerState AlonzoEra → WhetherToIntervene → Tx AlonzoEra → Except (ApplyTxError AlonzoEra) (LedgerState AlonzoEra, Validated (Tx AlonzoEra)) Source # getConwayEraGovDict ∷ proxy AlonzoEra → Maybe (ConwayEraGovDict AlonzoEra) Source # | |||||||||
| InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source # | |||||||||
| InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source # | |||||||||
| InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source # | |||||||||
| InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source # | |||||||||
| FromCBOR (LegacyPParams AlonzoEra) Source # | |||||||||
| ToCBOR (LegacyPParams AlonzoEra) Source # | |||||||||
| SafeToHash (PlutusScript AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| NFData (PlutusScript AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript AlonzoEra → () # | |||||||||
| Generic (PlutusScript AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts Associated Types
Methods from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x # to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra # | |||||||||
| Show (PlutusScript AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| Show (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS # show ∷ CanonicalTxIn (CardanoEras c) → String # showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS # | |||||||||
| Eq (PlutusScript AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # | |||||||||
| Eq (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods (==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # | |||||||||
| Ord (PlutusScript AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts Methods compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering # (<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra # min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra # | |||||||||
| Ord (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering # (<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # | |||||||||
| MemPack (PlutusScript AlonzoEra) | It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras. That being said, currently this instance is not used at all, since reference scripts where
introduced in Babbage era and | ||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source # packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
| NoThunks (PlutusScript AlonzoEra) | |||||||||
| NoThunks (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # | When performing era translations, two eras have special behaviours on the ledger tables:
| ||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types
Methods hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source # hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → HardForkTxMeasure (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Condense | |||||||||
| CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source # ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source # ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source # txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source # txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.QueryHF Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source # | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194 | ||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source # getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source # supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source # latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
| PraosCrypto c ⇒ ShelleyCompatible (TPraos c) AlonzoEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| ShelleyCompatible p AlonzoEra ⇒ TxLimits (ShelleyBlock p AlonzoEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods txMeasure ∷ LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) ValuesMK → GenTx (ShelleyBlock p AlonzoEra) → Except (ApplyTxErr (ShelleyBlock p AlonzoEra)) (TxMeasure (ShelleyBlock p AlonzoEra)) Source # blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) mk → TxMeasure (ShelleyBlock p AlonzoEra) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source # indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source # indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source # | |||||||||
| type ContextError AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo | |||||||||
| newtype TxInfoResult AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1)) | |||||||||
| newtype PlutusScript AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| type TxBodyUpgradeError AlonzoEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type TxUpgradeError AlonzoEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type BlockBody AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal | |||||||||
| type NativeScript AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| type Script AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| newtype Tx AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Tx | |||||||||
| type TxAuxData AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxAuxData | |||||||||
| newtype TxBody AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxBody | |||||||||
| type TxOut AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxOut | |||||||||
| type TxWits AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxWits | |||||||||
| type Value AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type PreviousEra AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type ProtVerHigh AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type ProtVerLow AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type TranslationContext AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TxCert AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxCert | |||||||||
| type TxCertUpgradeError AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.TxCert | |||||||||
| type Genesis AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Genesis | |||||||||
| type AccountState AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.State.Account | |||||||||
| type Accounts AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.State.Account | |||||||||
| type CertState AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.State.CertState | |||||||||
| type GovState AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.PParams | |||||||||
| type InstantStake AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.State.Stake | |||||||||
| type ScriptsNeeded AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.UTxO | |||||||||
| data TransitionConfig AlonzoEra | |||||||||
| type PlutusPurpose f AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| type EraRule "BBODY" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "DELEG" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "DELEGS" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "DELPL" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "EPOCH" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "LEDGER" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "LEDGERS" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "MIR" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "NEWEPOCH" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "NEWPP" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "POOL" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "POOLREAP" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "PPUP" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "RUPD" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "SNAP" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "TICK" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "TICKF" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "UPEC" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "UTXO" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "UTXOS" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRule "UTXOW" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Era | |||||||||
| type EraRuleEvent "LEDGER" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules | |||||||||
| type EraRuleEvent "PPUP" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Ppup | |||||||||
| type EraRuleEvent "TICK" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules | |||||||||
| type EraRuleFailure "BBODY" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Bbody | |||||||||
| type EraRuleFailure "DELEG" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Deleg | |||||||||
| type EraRuleFailure "DELEGS" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Delegs | |||||||||
| type EraRuleFailure "DELPL" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Delpl | |||||||||
| type EraRuleFailure "LEDGER" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Ledger | |||||||||
| type EraRuleFailure "LEDGERS" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Ledgers | |||||||||
| type EraRuleFailure "POOL" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Pool | |||||||||
| type EraRuleFailure "PPUP" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Ppup | |||||||||
| type EraRuleFailure "UTXO" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Utxo | |||||||||
| type EraRuleFailure "UTXOS" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |||||||||
| type EraRuleFailure "UTXOW" AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.Rules.Utxow | |||||||||
| type DowngradePParams f AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.PParams | |||||||||
| type PParamsHKD f AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.PParams | |||||||||
| type UpgradePParams f AlonzoEra | |||||||||
Defined in Cardano.Ledger.Alonzo.PParams | |||||||||
| type TranslationError AlonzoEra Tx | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra PParams | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra CommitteeState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra DState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra PState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra FuturePParams | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra UTxO | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra ShelleyGovState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra EpochState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra LedgerState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra NewEpochState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra UTxOState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra ProposedPPUpdates | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra ShelleyAccounts | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra ShelleyCertState | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type TranslationError AlonzoEra ShelleyInstantStake | |||||||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||||||
| type RawType (TxBody AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.TxBody | |||||||||
| type Rep (PlutusScript AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Scripts | |||||||||
| type Rep (Tx AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Tx type Rep (Tx AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.14.0.0-adcc6ae3f93fa73bc3d6617b9eb5a072813ffaf556edb53c1814b260dc34a096" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx AlonzoEra)))) | |||||||||
| type Rep (TxBody AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-adcc6ae3f93fa73bc3d6617b9eb5a072813ffaf556edb53c1814b260dc34a096" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw)))) | |||||||||
| type Rep (TransitionConfig AlonzoEra) | |||||||||
Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.14.0.0-adcc6ae3f93fa73bc3d6617b9eb5a072813ffaf556edb53c1814b260dc34a096" '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)))) | |||||||||
| type HardForkTxMeasure (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork | |||||||||
| newtype CanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type HardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type TxMeasure (ShelleyBlock p AlonzoEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
data BabbageEra Source #
Instances
| EraApi BabbageEra | |||||||||
Defined in Cardano.Ledger.Api.Era Associated Types
Methods upgradeTx ∷ Tx (PreviousEra BabbageEra) → Either (TxUpgradeError BabbageEra) (Tx BabbageEra) Source # upgradeTxBody ∷ TxBody (PreviousEra BabbageEra) → Either (TxBodyUpgradeError BabbageEra) (TxBody BabbageEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra BabbageEra) → TxAuxData BabbageEra Source # upgradeTxWits ∷ TxWits (PreviousEra BabbageEra) → TxWits BabbageEra Source # | |||||||||
| BabbageEraPParams BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerByte) Source # | |||||||||
| BabbageEraTxBody BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxBody 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 | |||||||||
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 # | |||||||||
| GetLedgerView BabbageEra | |||||||||
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState BabbageEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError BabbageEra) m ⇒ Globals → NewEpochState BabbageEra → SlotNo → m LedgerView Source # | |||||||||
| ShelleyBasedEra BabbageEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv BabbageEra → LedgerState BabbageEra → WhetherToIntervene → Tx BabbageEra → Except (ApplyTxError BabbageEra) (LedgerState BabbageEra, Validated (Tx BabbageEra)) Source # getConwayEraGovDict ∷ proxy BabbageEra → Maybe (ConwayEraGovDict BabbageEra) Source # | |||||||||
| InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source # | |||||||||
| InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source # | |||||||||
| FromCBOR (LegacyPParams BabbageEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams Methods fromCBOR ∷ Decoder s (LegacyPParams BabbageEra) Source # label ∷ Proxy (LegacyPParams BabbageEra) → Text Source # | |||||||||
| ToCBOR (LegacyPParams BabbageEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams Methods toCBOR ∷ LegacyPParams BabbageEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LegacyPParams BabbageEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LegacyPParams BabbageEra] → Size Source # | |||||||||
| Show (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS # show ∷ CanonicalTxIn (CardanoEras c) → String # showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS # | |||||||||
| Eq (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods (==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # | |||||||||
| Ord (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering # (<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # | |||||||||
| CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source # packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
| NoThunks (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # | When performing era translations, two eras have special behaviours on the ledger tables:
| ||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types
Methods hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source # hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → HardForkTxMeasure (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Condense | |||||||||
| CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source # ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source # ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source # txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source # txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.QueryHF Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source # | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194 | ||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source # getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source # supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source # latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
| PraosCrypto c ⇒ ShelleyCompatible (Praos c) BabbageEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| (PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) BabbageEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| ShelleyCompatible p BabbageEra ⇒ TxLimits (ShelleyBlock p BabbageEra) Source # | We anachronistically use | ||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods txMeasure ∷ LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) ValuesMK → GenTx (ShelleyBlock p BabbageEra) → Except (ApplyTxErr (ShelleyBlock p BabbageEra)) (TxMeasure (ShelleyBlock p BabbageEra)) Source # blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) mk → TxMeasure (ShelleyBlock p BabbageEra) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source # indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source # indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source # | |||||||||
| type ContextError BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxInfo | |||||||||
| data TxInfoResult BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxInfo | |||||||||
| data PlutusScript BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript BabbageEra
| |||||||||
| type TxBodyUpgradeError BabbageEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type TxUpgradeError BabbageEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type BlockBody BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.BlockBody | |||||||||
| type NativeScript BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Scripts | |||||||||
| type Script BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Scripts | |||||||||
| newtype Tx BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Tx | |||||||||
| type TxAuxData BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxAuxData | |||||||||
| newtype TxBody BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxBody | |||||||||
| type TxOut BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxOut | |||||||||
| type TxWits BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxWits | |||||||||
| type Value BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type PreviousEra BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type ProtVerHigh BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type ProtVerLow BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type TranslationContext BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type TxCert BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxCert | |||||||||
| type TxCertUpgradeError BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.TxCert | |||||||||
| type Genesis BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type AccountState BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.State.Account | |||||||||
| type Accounts BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.State.Account | |||||||||
| type CertState BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.State.CertState | |||||||||
| type GovState BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.PParams | |||||||||
| type InstantStake BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.State.Stake | |||||||||
| type ScriptsNeeded BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.UTxO | |||||||||
| newtype TransitionConfig BabbageEra | |||||||||
| type PlutusPurpose f BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Scripts | |||||||||
| type EraRule "BBODY" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "DELEG" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "DELEGS" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "DELPL" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "EPOCH" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "LEDGER" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "LEDGERS" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "MIR" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "NEWEPOCH" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "NEWPP" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "POOL" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "POOLREAP" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "PPUP" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "RUPD" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "SNAP" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "TICK" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "TICKF" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "UPEC" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "UTXO" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "UTXOS" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRule "UTXOW" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Era | |||||||||
| type EraRuleEvent "LEDGER" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules | |||||||||
| type EraRuleEvent "PPUP" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules | |||||||||
| type EraRuleEvent "TICK" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules | |||||||||
| type EraRuleEvent "UTXOS" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Utxos | |||||||||
| type EraRuleFailure "BBODY" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Bbody | |||||||||
| type EraRuleFailure "DELEG" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Deleg | |||||||||
| type EraRuleFailure "DELEGS" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Delegs | |||||||||
| type EraRuleFailure "DELPL" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Delpl | |||||||||
| type EraRuleFailure "LEDGER" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Ledger | |||||||||
| type EraRuleFailure "LEDGERS" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Ledgers | |||||||||
| type EraRuleFailure "POOL" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Pool | |||||||||
| type EraRuleFailure "PPUP" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Ppup | |||||||||
| type EraRuleFailure "UTXO" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Utxo | |||||||||
| type EraRuleFailure "UTXOS" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Utxos | |||||||||
| type EraRuleFailure "UTXOW" BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.Rules.Utxow | |||||||||
| type DowngradePParams f BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.PParams | |||||||||
| type PParamsHKD f BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.PParams | |||||||||
| type UpgradePParams f BabbageEra | |||||||||
Defined in Cardano.Ledger.Babbage.PParams | |||||||||
| type TranslationError BabbageEra Tx | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra PParams | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra CommitteeState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra DState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra PState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra FuturePParams | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra UTxO | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra ShelleyGovState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra EpochState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra LedgerState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra NewEpochState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra UTxOState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra ProposedPPUpdates | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra ShelleyAccounts | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra ShelleyCertState | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type TranslationError BabbageEra ShelleyInstantStake | |||||||||
Defined in Cardano.Ledger.Babbage.Translation | |||||||||
| type RawType (TxBody BabbageEra) | |||||||||
Defined in Cardano.Ledger.Babbage.TxBody | |||||||||
| type Rep (PlutusScript BabbageEra) | |||||||||
Defined in Cardano.Ledger.Babbage.Scripts type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.12.0.0-b431509c46d30b50ecc6826cffd5bc4bdd492b17d273e1a74bdc2f44ae4a52d2" '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)))) | |||||||||
| type Rep (Tx BabbageEra) | |||||||||
Defined in Cardano.Ledger.Babbage.Tx type Rep (Tx BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.12.0.0-b431509c46d30b50ecc6826cffd5bc4bdd492b17d273e1a74bdc2f44ae4a52d2" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx BabbageEra)))) | |||||||||
| type Rep (TxBody BabbageEra) | |||||||||
Defined in Cardano.Ledger.Babbage.TxBody | |||||||||
| type HardForkTxMeasure (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork | |||||||||
| newtype CanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type HardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type TxMeasure (ShelleyBlock p BabbageEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
Instances
| EraApi ConwayEra | |||||||||
Defined in Cardano.Ledger.Api.Era Associated Types
Methods upgradeTx ∷ Tx (PreviousEra ConwayEra) → Either (TxUpgradeError ConwayEra) (Tx ConwayEra) Source # upgradeTxBody ∷ TxBody (PreviousEra ConwayEra) → Either (TxBodyUpgradeError ConwayEra) (TxBody ConwayEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra ConwayEra) → TxAuxData ConwayEra Source # upgradeTxWits ∷ TxWits (PreviousEra ConwayEra) → TxWits ConwayEra Source # | |||||||||
| ConwayEraGov ConwayEra | |||||||||
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 | |||||||||
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 # hkdDRepDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm 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 # ppMaxRefScriptSizePerTxG ∷ SimpleGetter (PParams ConwayEra) Word32 Source # ppMaxRefScriptSizePerBlockG ∷ SimpleGetter (PParams ConwayEra) Word32 Source # ppRefScriptCostMultiplierG ∷ SimpleGetter (PParams ConwayEra) PositiveInterval Source # ppRefScriptCostStrideG ∷ SimpleGetter (PParams ConwayEra) (NonZero Word32) Source # | |||||||||
| ConwayEraScript ConwayEra | |||||||||
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 # | |||||||||
| ConwayEraAccounts ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.State.Account | |||||||||
| ConwayEraCertState ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.State.CertState | |||||||||
| ConwayEraTransition ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Transition Methods tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source # | |||||||||
| ConwayEraTxBody ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxBody 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 | |||||||||
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 # | |||||||||
| GetLedgerView ConwayEra | |||||||||
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState ConwayEra → LedgerView Source # futureLedgerView ∷ MonadError (FutureLedgerViewError ConwayEra) m ⇒ Globals → NewEpochState ConwayEra → SlotNo → m LedgerView Source # | |||||||||
| ShelleyBasedEra ConwayEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ConwayEra → LedgerState ConwayEra → WhetherToIntervene → Tx ConwayEra → Except (ApplyTxError ConwayEra) (LedgerState ConwayEra, Validated (Tx ConwayEra)) Source # getConwayEraGovDict ∷ proxy ConwayEra → Maybe (ConwayEraGovDict ConwayEra) Source # | |||||||||
| ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate ConwayEra → ChangedParameters Source # | |||||||||
| InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source # | |||||||||
| InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source # | |||||||||
| InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source # | |||||||||
| InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source # | |||||||||
| InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source # | |||||||||
| InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "GOV" ConwayEra Source # | |||||||||
| InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "GOVCERT" ConwayEra Source # | |||||||||
| InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source # | |||||||||
| InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source # | |||||||||
| InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source # | |||||||||
| InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source # | |||||||||
| FromCBOR (LegacyPParams ConwayEra) Source # | |||||||||
| ToCBOR (LegacyPParams ConwayEra) Source # | |||||||||
| Show (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS # show ∷ CanonicalTxIn (CardanoEras c) → String # showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS # | |||||||||
| Eq (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods (==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # | |||||||||
| Ord (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering # (<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # | |||||||||
| CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source # packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
| NoThunks (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # | When performing era translations, two eras have special behaviours on the ledger tables:
| ||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types
Methods hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source # hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → HardForkTxMeasure (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Condense | |||||||||
| CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source # ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source # ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source # txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source # txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.QueryHF Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source # | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194 | ||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source # getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source # supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source # latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
| PraosCrypto c ⇒ ShelleyCompatible (Praos c) ConwayEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| (PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) ConwayEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| ShelleyCompatible p ConwayEra ⇒ TxLimits (ShelleyBlock p ConwayEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods txMeasure ∷ LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) ValuesMK → GenTx (ShelleyBlock p ConwayEra) → Except (ApplyTxErr (ShelleyBlock p ConwayEra)) (TxMeasure (ShelleyBlock p ConwayEra)) Source # blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) mk → TxMeasure (ShelleyBlock p ConwayEra) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source # indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source # indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source # | |||||||||
| type ContextError ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxInfo | |||||||||
| data TxInfoResult ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxInfo data TxInfoResult ConwayEra = ConwayTxInfoResult (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3)) | |||||||||
| data PlutusScript ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Scripts data PlutusScript ConwayEra
| |||||||||
| type TxBodyUpgradeError ConwayEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type TxUpgradeError ConwayEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type BlockBody ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.BlockBody | |||||||||
| type NativeScript ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Scripts | |||||||||
| type Script ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Scripts | |||||||||
| newtype Tx ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Tx | |||||||||
| type TxAuxData ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxAuxData | |||||||||
| newtype TxBody ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxBody | |||||||||
| type TxOut ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxOut | |||||||||
| type TxWits ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxWits | |||||||||
| type Value ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type PreviousEra ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type ProtVerHigh ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type ProtVerLow ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type TranslationContext ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TxCert ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxCert | |||||||||
| type TxCertUpgradeError ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.TxCert | |||||||||
| type Genesis ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Genesis | |||||||||
| type AccountState ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.State.Account | |||||||||
| type Accounts ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.State.Account | |||||||||
| type CertState ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.State.CertState | |||||||||
| type GovState ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Governance | |||||||||
| type InstantStake ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.State.Stake | |||||||||
| type ScriptsNeeded ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.UTxO | |||||||||
| data TransitionConfig ConwayEra | |||||||||
| type PlutusPurpose f ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Scripts | |||||||||
| type EraRule "BBODY" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "CERT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "CERTS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "DELEG" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "DELEGS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "ENACT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "EPOCH" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "GOV" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "GOVCERT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "HARDFORK" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "LEDGER" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "LEDGERS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "MEMPOOL" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "MIR" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "NEWEPOCH" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "NEWPP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "POOL" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "POOLREAP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "PPUP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "RATIFY" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "RUPD" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "SNAP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "TICK" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "TICKF" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "UPEC" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "UTXO" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "UTXOS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRule "UTXOW" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleEvent "BBODY" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Bbody | |||||||||
| type EraRuleEvent "CERT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||
| type EraRuleEvent "CERTS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||
| type EraRuleEvent "DELEG" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||
| type EraRuleEvent "DELEGS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleEvent "ENACT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Enact | |||||||||
| type EraRuleEvent "EPOCH" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Epoch | |||||||||
| type EraRuleEvent "GOV" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||
| type EraRuleEvent "GOVCERT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||
| type EraRuleEvent "HARDFORK" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.HardFork | |||||||||
| type EraRuleEvent "LEDGER" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||
| type EraRuleEvent "LEDGERS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers | |||||||||
| type EraRuleEvent "MIR" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleEvent "NEWEPOCH" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.NewEpoch | |||||||||
| type EraRuleEvent "NEWPP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleEvent "POOL" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Pool | |||||||||
| type EraRuleEvent "PPUP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleEvent "TICK" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules | |||||||||
| type EraRuleEvent "UPEC" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleEvent "UTXO" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||
| type EraRuleEvent "UTXOS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||
| type EraRuleEvent "UTXOW" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||
| type EraRuleFailure "BBODY" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Bbody | |||||||||
| type EraRuleFailure "CERT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Cert | |||||||||
| type EraRuleFailure "CERTS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Certs | |||||||||
| type EraRuleFailure "DELEG" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Deleg | |||||||||
| type EraRuleFailure "DELEGS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleFailure "GOV" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Gov | |||||||||
| type EraRuleFailure "GOVCERT" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.GovCert | |||||||||
| type EraRuleFailure "LEDGER" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledger | |||||||||
| type EraRuleFailure "LEDGERS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Ledgers | |||||||||
| type EraRuleFailure "MIR" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleFailure "NEWPP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleFailure "POOL" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Pool | |||||||||
| type EraRuleFailure "PPUP" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleFailure "UPEC" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Era | |||||||||
| type EraRuleFailure "UTXO" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxo | |||||||||
| type EraRuleFailure "UTXOS" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxos | |||||||||
| type EraRuleFailure "UTXOW" ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.Rules.Utxow | |||||||||
| type DowngradePParams f ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.PParams | |||||||||
| type PParamsHKD f ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.PParams | |||||||||
| type UpgradePParams f ConwayEra | |||||||||
Defined in Cardano.Ledger.Conway.PParams | |||||||||
| type TranslationError ConwayEra Tx | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra PParams | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra DState | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra PState | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra FuturePParams | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra UTxO | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra EpochState | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra LedgerState | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra NewEpochState | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type TranslationError ConwayEra UTxOState | |||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||
| type RawType (TxBody ConwayEra) | |||||||||
Defined in Cardano.Ledger.Conway.TxBody | |||||||||
| type Rep (PlutusScript ConwayEra) | |||||||||
Defined in Cardano.Ledger.Conway.Scripts type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.20.0.0-166e23b7a49be328986fc5fb6574ef66854c3858cc6d64d4e21944074336cb98" '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 (Tx ConwayEra) | |||||||||
Defined in Cardano.Ledger.Conway.Tx type Rep (Tx ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.20.0.0-166e23b7a49be328986fc5fb6574ef66854c3858cc6d64d4e21944074336cb98" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx ConwayEra)))) | |||||||||
| type Rep (TxBody ConwayEra) | |||||||||
Defined in Cardano.Ledger.Conway.TxBody type Rep (TxBody ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.20.0.0-166e23b7a49be328986fc5fb6574ef66854c3858cc6d64d4e21944074336cb98" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ConwayTxBodyRaw)))) | |||||||||
| type Rep (TransitionConfig ConwayEra) | |||||||||
Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.20.0.0-166e23b7a49be328986fc5fb6574ef66854c3858cc6d64d4e21944074336cb98" '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)))) | |||||||||
| type HardForkTxMeasure (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork | |||||||||
| newtype CanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type HardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type TxMeasure (ShelleyBlock p ConwayEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
data DijkstraEra Source #
Instances
| EraApi DijkstraEra | |||||||||
Defined in Cardano.Ledger.Api.Era Associated Types
Methods upgradeTx ∷ Tx (PreviousEra DijkstraEra) → Either (TxUpgradeError DijkstraEra) (Tx DijkstraEra) Source # upgradeTxBody ∷ TxBody (PreviousEra DijkstraEra) → Either (TxBodyUpgradeError DijkstraEra) (TxBody DijkstraEra) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra DijkstraEra) → TxAuxData DijkstraEra Source # upgradeTxWits ∷ TxWits (PreviousEra DijkstraEra) → TxWits DijkstraEra Source # | |||||||||
| DijkstraEraPParams DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.PParams Methods hkdMaxRefScriptSizePerBlockL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source # hkdMaxRefScriptSizePerTxL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source # hkdRefScriptCostStrideL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f (NonZero Word32)) Source # hkdRefScriptCostMultiplierL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f PositiveInterval) Source # | |||||||||
| GetLedgerView DijkstraEra | |||||||||
Defined in Cardano.Protocol.TPraos.API | |||||||||
| ShelleyBasedEra DijkstraEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv DijkstraEra → LedgerState DijkstraEra → WhetherToIntervene → Tx DijkstraEra → Except (ApplyTxError DijkstraEra) (LedgerState DijkstraEra, Validated (Tx DijkstraEra)) Source # getConwayEraGovDict ∷ proxy DijkstraEra → Maybe (ConwayEraGovDict DijkstraEra) Source # | |||||||||
| FromCBOR (LegacyPParams DijkstraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams Methods fromCBOR ∷ Decoder s (LegacyPParams DijkstraEra) Source # label ∷ Proxy (LegacyPParams DijkstraEra) → Text Source # | |||||||||
| ToCBOR (LegacyPParams DijkstraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams Methods toCBOR ∷ LegacyPParams DijkstraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LegacyPParams DijkstraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LegacyPParams DijkstraEra] → Size Source # | |||||||||
| Show (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS # show ∷ CanonicalTxIn (CardanoEras c) → String # showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS # | |||||||||
| Eq (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods (==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # | |||||||||
| Ord (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering # (<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # (>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool # max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) # | |||||||||
| CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source # packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
| NoThunks (CanonicalTxIn (CardanoEras c)) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # | When performing era translations, two eras have special behaviours on the ledger tables:
| ||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types
Methods hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source # hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → HardForkTxMeasure (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Condense | |||||||||
| CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source # ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Associated Types
Methods injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source # ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source # txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source # txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.QueryHF Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source # queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source # | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194 | ||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source # getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source # supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source # latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
| PraosCrypto c ⇒ ShelleyCompatible (Praos c) DijkstraEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| (PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) DijkstraEra Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.HFEras | |||||||||
| ShelleyCompatible p DijkstraEra ⇒ TxLimits (ShelleyBlock p DijkstraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods txMeasure ∷ LedgerConfig (ShelleyBlock p DijkstraEra) → TickedLedgerState (ShelleyBlock p DijkstraEra) ValuesMK → GenTx (ShelleyBlock p DijkstraEra) → Except (ApplyTxErr (ShelleyBlock p DijkstraEra)) (TxMeasure (ShelleyBlock p DijkstraEra)) Source # blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p DijkstraEra) → TickedLedgerState (ShelleyBlock p DijkstraEra) mk → TxMeasure (ShelleyBlock p DijkstraEra) Source # | |||||||||
| CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source # indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source # indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source # | |||||||||
| type ContextError DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxInfo | |||||||||
| data TxInfoResult DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxInfo | |||||||||
| newtype PlutusScript DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Scripts | |||||||||
| type TxBodyUpgradeError DijkstraEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type TxUpgradeError DijkstraEra | |||||||||
Defined in Cardano.Ledger.Api.Era | |||||||||
| type BlockBody DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.BlockBody | |||||||||
| type NativeScript DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Scripts | |||||||||
| type Script DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Scripts | |||||||||
| newtype Tx DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Tx | |||||||||
| type TxAuxData DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxAuxData | |||||||||
| newtype TxBody DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxBody | |||||||||
| type TxOut DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxOut | |||||||||
| type TxWits DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxWits | |||||||||
| type Value DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type PreviousEra DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type ProtVerHigh DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type ProtVerLow DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type TranslationContext DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TxCert DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxCert | |||||||||
| type TxCertUpgradeError DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxCert | |||||||||
| type Genesis DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Genesis | |||||||||
| type AccountState DijkstraEra | |||||||||
| type Accounts DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.State.Account | |||||||||
| type CertState DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.State.CertState | |||||||||
| type GovState DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Governance | |||||||||
| type InstantStake DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.State.Stake | |||||||||
| type ScriptsNeeded DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.UTxO | |||||||||
| data TransitionConfig DijkstraEra | |||||||||
| type PlutusPurpose f DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Scripts | |||||||||
| type EraRule "BBODY" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "CERT" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "CERTS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "DELEG" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "DELEGS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "ENACT" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "EPOCH" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "GOV" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "GOVCERT" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "HARDFORK" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "LEDGER" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "LEDGERS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "MEMPOOL" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "MIR" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "NEWEPOCH" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "NEWPP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "POOL" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "POOLREAP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "PPUP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "RATIFY" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "RUPD" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "SNAP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "TICK" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "TICKF" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "UPEC" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "UTXO" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "UTXOS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRule "UTXOW" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleEvent "BBODY" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Bbody | |||||||||
| type EraRuleEvent "CERT" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Cert | |||||||||
| type EraRuleEvent "CERTS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Certs | |||||||||
| type EraRuleEvent "DELEG" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Deleg | |||||||||
| type EraRuleEvent "DELEGS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleEvent "GOV" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Gov | |||||||||
| type EraRuleEvent "GOVCERT" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.GovCert | |||||||||
| type EraRuleEvent "LEDGER" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Ledger | |||||||||
| type EraRuleEvent "LEDGERS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers | |||||||||
| type EraRuleEvent "MIR" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleEvent "NEWPP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleEvent "POOL" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Pool | |||||||||
| type EraRuleEvent "PPUP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleEvent "TICK" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules | |||||||||
| type EraRuleEvent "UPEC" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleEvent "UTXO" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Utxo | |||||||||
| type EraRuleEvent "UTXOS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Utxos | |||||||||
| type EraRuleEvent "UTXOW" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Utxow | |||||||||
| type EraRuleFailure "BBODY" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Bbody | |||||||||
| type EraRuleFailure "CERT" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Cert | |||||||||
| type EraRuleFailure "CERTS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Certs | |||||||||
| type EraRuleFailure "DELEG" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Deleg | |||||||||
| type EraRuleFailure "DELEGS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleFailure "GOV" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Gov | |||||||||
| type EraRuleFailure "GOVCERT" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.GovCert | |||||||||
| type EraRuleFailure "LEDGER" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Ledger | |||||||||
| type EraRuleFailure "LEDGERS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers | |||||||||
| type EraRuleFailure "MIR" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleFailure "NEWPP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleFailure "POOL" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Pool | |||||||||
| type EraRuleFailure "PPUP" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleFailure "UPEC" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Era | |||||||||
| type EraRuleFailure "UTXO" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Utxo | |||||||||
| type EraRuleFailure "UTXOS" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Utxos | |||||||||
| type EraRuleFailure "UTXOW" DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.Rules.Utxow | |||||||||
| type DowngradePParams f DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.PParams | |||||||||
| type PParamsHKD f DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.PParams | |||||||||
| type UpgradePParams f DijkstraEra | |||||||||
Defined in Cardano.Ledger.Dijkstra.PParams | |||||||||
| type TranslationError DijkstraEra ConwayGovState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra DRepPulsingState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra PulsingSnapshot | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra EnactState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra RatifyState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra GovAction | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra GovActionState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra ProposalProcedure | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra Proposals | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra Tx | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra PParams | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra DState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra PState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra FuturePParams | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra UTxO | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra EpochState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra LedgerState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra NewEpochState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type TranslationError DijkstraEra UTxOState | |||||||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||||||
| type RawType (TxBody DijkstraEra) | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxBody | |||||||||
| type Rep (PlutusScript DijkstraEra) | |||||||||
Defined in Cardano.Ledger.Dijkstra.Scripts | |||||||||
| type Rep (Tx DijkstraEra) | |||||||||
Defined in Cardano.Ledger.Dijkstra.Tx type Rep (Tx DijkstraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Dijkstra.Tx" "cardano-ledger-dijkstra-0.1.0.0-6b6955d097f88b1f0759903220c7b4ae8458cc6e387c9a209555ff982be8aea6" 'True) (C1 ('MetaCons "MkDijkstraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDijkstraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx DijkstraEra)))) | |||||||||
| type Rep (TxBody DijkstraEra) | |||||||||
Defined in Cardano.Ledger.Dijkstra.TxBody type Rep (TxBody DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.1.0.0-6b6955d097f88b1f0759903220c7b4ae8458cc6e387c9a209555ff982be8aea6" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes DijkstraTxBodyRaw)))) | |||||||||
| type Rep (TransitionConfig DijkstraEra) | |||||||||
Defined in Cardano.Ledger.Dijkstra.Transition type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.1.0.0-6b6955d097f88b1f0759903220c7b4ae8458cc6e387c9a209555ff982be8aea6" 'False) (C1 ('MetaCons "DijkstraTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtcDijkstraGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 DijkstraGenesis) :*: S1 ('MetaSel ('Just "dtcConwayTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig ConwayEra)))) | |||||||||
| type HardForkTxMeasure (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.CanHardFork | |||||||||
| newtype CanonicalTxIn (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type HardForkTxOut (CardanoEras c) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Ledger | |||||||||
| type TxMeasure (ShelleyBlock p DijkstraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
Shelley-based era
data ConwayEraGovDict era where Source #
Constructors
| ConwayEraGovDict ∷ ∀ era. (ConwayEraGov era, ConwayEraCertState era) ⇒ ConwayEraGovDict era |
class (EraBlockBody era, EraGov era, ApplyTx era, ApplyBlock era, EraTransition era, GetLedgerView era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "BBODY" era)), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era), ToCBOR (TranslationContext era), FromCBOR (TranslationContext era)) ⇒ ShelleyBasedEra era where Source #
Consensus often needs some more functionality than the ledger currently provides.
Either the functionality shouldn't or can't live in the ledger, in which case
it can be part and remain part of ShelleyBasedEra. Or, the functionality
should live in the ledger, but hasn't yet been added to the ledger, or it
hasn't yet been propagated to this repository, in which case it can be added
to this class until that is the case.
If this class becomes redundant, We can move it to ledger and re-export it from here.
TODO Currently we include some constraints on the update state which are needed to determine the hard fork point. In the future this should be replaced with an appropriate API - see https://github.com/IntersectMBO/ouroboros-network/issues/2890
Methods
applyShelleyBasedTx ∷ Globals → LedgerEnv era → LedgerState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (LedgerState era, Validated (Tx era)) Source #
getConwayEraGovDict ∷ proxy era → Maybe (ConwayEraGovDict era) Source #
Whether the era has an instance of ConwayEraGov
Instances
| ShelleyBasedEra AllegraEra Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AllegraEra → LedgerState AllegraEra → WhetherToIntervene → Tx AllegraEra → Except (ApplyTxError AllegraEra) (LedgerState AllegraEra, Validated (Tx AllegraEra)) Source # getConwayEraGovDict ∷ proxy AllegraEra → Maybe (ConwayEraGovDict AllegraEra) Source # | |
| ShelleyBasedEra AlonzoEra Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AlonzoEra → LedgerState AlonzoEra → WhetherToIntervene → Tx AlonzoEra → Except (ApplyTxError AlonzoEra) (LedgerState AlonzoEra, Validated (Tx AlonzoEra)) Source # getConwayEraGovDict ∷ proxy AlonzoEra → Maybe (ConwayEraGovDict AlonzoEra) Source # | |
| ShelleyBasedEra BabbageEra Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv BabbageEra → LedgerState BabbageEra → WhetherToIntervene → Tx BabbageEra → Except (ApplyTxError BabbageEra) (LedgerState BabbageEra, Validated (Tx BabbageEra)) Source # getConwayEraGovDict ∷ proxy BabbageEra → Maybe (ConwayEraGovDict BabbageEra) Source # | |
| ShelleyBasedEra ConwayEra Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ConwayEra → LedgerState ConwayEra → WhetherToIntervene → Tx ConwayEra → Except (ApplyTxError ConwayEra) (LedgerState ConwayEra, Validated (Tx ConwayEra)) Source # getConwayEraGovDict ∷ proxy ConwayEra → Maybe (ConwayEraGovDict ConwayEra) Source # | |
| ShelleyBasedEra DijkstraEra Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv DijkstraEra → LedgerState DijkstraEra → WhetherToIntervene → Tx DijkstraEra → Except (ApplyTxError DijkstraEra) (LedgerState DijkstraEra, Validated (Tx DijkstraEra)) Source # getConwayEraGovDict ∷ proxy DijkstraEra → Maybe (ConwayEraGovDict DijkstraEra) Source # | |
| ShelleyBasedEra MaryEra Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv MaryEra → LedgerState MaryEra → WhetherToIntervene → Tx MaryEra → Except (ApplyTxError MaryEra) (LedgerState MaryEra, Validated (Tx MaryEra)) Source # getConwayEraGovDict ∷ proxy MaryEra → Maybe (ConwayEraGovDict MaryEra) Source # | |
| ShelleyBasedEra ShelleyEra Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ShelleyEra → LedgerState ShelleyEra → WhetherToIntervene → Tx ShelleyEra → Except (ApplyTxError ShelleyEra) (LedgerState ShelleyEra, Validated (Tx ShelleyEra)) Source # getConwayEraGovDict ∷ proxy ShelleyEra → Maybe (ConwayEraGovDict ShelleyEra) Source # | |
Convenience functions
Re-exports
data StandardCrypto Source #
The same crypto used on the net
Instances
| Crypto StandardCrypto | |||||||||
Defined in Cardano.Ledger.Crypto.Internal Associated Types
| |||||||||
| PraosCrypto StandardCrypto | |||||||||
Defined in Cardano.Protocol.TPraos.API | |||||||||
| PraosCrypto StandardCrypto | |||||||||
Defined in Ouroboros.Consensus.Protocol.Praos | |||||||||
| type KES StandardCrypto | |||||||||
Defined in Cardano.Ledger.Crypto.Internal | |||||||||
| type VRF StandardCrypto | |||||||||
Defined in Cardano.Ledger.Crypto.Internal | |||||||||