Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Block
Synopsis
- class HasHeader (Header blk) ⇒ GetHeader blk where
- getHeader ∷ blk → Header blk
- blockMatchesHeader ∷ Header blk → blk → Bool
- headerIsEBB ∷ Header blk → Maybe EpochNo
- data family Header blk
- class (ShelleyCompatible (BlockProtocol blk) (ShelleyBlockLedgerEra blk), blk ~ ShelleyBlock (BlockProtocol blk) (ShelleyBlockLedgerEra blk)) ⇒ IsShelleyBlock blk
- data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type
- class (EraSegWits 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
- data ShelleyBlock proto era = ShelleyBlock {
- shelleyBlockRaw ∷ !(Block (ShelleyProtocolHeader proto) era)
- shelleyBlockHeaderHash ∷ !ShelleyHash
- type family ShelleyBlockLedgerEra blk where ...
- newtype ShelleyHash = ShelleyHash {}
- class (ShelleyBasedEra era, ShelleyProtocol proto, Eq (ShelleyProtocolHeader proto), Show (ShelleyProtocolHeader proto), NoThunks (ShelleyProtocolHeader proto), EncCBOR (ShelleyProtocolHeader proto), DecCBOR (Annotator (ShelleyProtocolHeader proto)), Show (CannotForgeError proto), SelectView proto ~ PraosChainSelectView (ProtoCrypto proto), SignedHeader (ShelleyProtocolHeader proto), DecodeDisk (ShelleyBlock proto era) (ChainDepState proto), EncodeDisk (ShelleyBlock proto era) (ChainDepState proto), HasPartialConsensusConfig proto, DecCBOR (PState era), Crypto (ProtoCrypto proto)) ⇒ ShelleyCompatible proto era
- mkShelleyBlock ∷ ShelleyCompatible proto era ⇒ Block (ShelleyProtocolHeader proto) era → ShelleyBlock proto era
- mkShelleyHeader ∷ ShelleyCompatible proto era ⇒ ShelleyProtocolHeader proto → Header (ShelleyBlock proto era)
- decodeShelleyBlock ∷ ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → ShelleyBlock proto era)
- decodeShelleyHeader ∷ ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era))
- encodeShelleyBlock ∷ ShelleyCompatible proto era ⇒ ShelleyBlock proto era → Encoding
- encodeShelleyHeader ∷ ShelleyCompatible proto era ⇒ Header (ShelleyBlock proto era) → Encoding
- shelleyBinaryBlockInfo ∷ ShelleyCompatible proto era ⇒ ShelleyBlock proto era → BinaryBlockInfo
- fromShelleyPrevHash ∷ PrevHash → ChainHash (ShelleyBlock proto era)
- toShelleyPrevHash ∷ ChainHash (Header (ShelleyBlock proto era)) → PrevHash
Documentation
class HasHeader (Header blk) ⇒ GetHeader blk where Source #
Methods
getHeader ∷ blk → Header blk Source #
blockMatchesHeader ∷ Header blk → blk → Bool Source #
Check whether the header is the header of the block.
For example, by checking whether the hash of the body stored in the header matches that of the block.
headerIsEBB ∷ Header blk → Maybe EpochNo Source #
When the given header is the header of an Epoch Boundary Block, returns its epoch number.
Instances
GetHeader ByronBlock Source # | |
Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeader ∷ ByronBlock → Header ByronBlock Source # blockMatchesHeader ∷ Header ByronBlock → ByronBlock → Bool Source # | |
Bridge m a ⇒ GetHeader (DualBlock m a) | |
ShelleyCompatible proto era ⇒ GetHeader (ShelleyBlock proto era) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeader ∷ ShelleyBlock proto era → Header (ShelleyBlock proto era) Source # blockMatchesHeader ∷ Header (ShelleyBlock proto era) → ShelleyBlock proto era → Bool Source # headerIsEBB ∷ Header (ShelleyBlock proto era) → Maybe EpochNo Source # |
data family Header blk Source #
Instances
class (ShelleyCompatible (BlockProtocol blk) (ShelleyBlockLedgerEra blk), blk ~ ShelleyBlock (BlockProtocol blk) (ShelleyBlockLedgerEra blk)) ⇒ IsShelleyBlock blk Source #
Instances
(proto ~ BlockProtocol (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ IsShelleyBlock (ShelleyBlock proto era) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block |
data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type Source #
Context identifying what kind of block we have
In almost all places we will use NestedCtxt
rather than NestedCtxt_
.
Instances
SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f ∷ Type → Type) | |
Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ NestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source # | |
SameDepIndex (NestedCtxt_ ByronBlock f ∷ Type → Type) Source # | |
Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods sameDepIndex ∷ NestedCtxt_ ByronBlock f a → NestedCtxt_ ByronBlock f b → Maybe (a :~: b) Source # | |
SameDepIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods sameDepIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → Maybe (a :~: b) Source # | |
TrivialDependency (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods hasSingleIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ (ShelleyBlock proto era) f (TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) ∷ Type) Source # | |
Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x) | |
Defined in Ouroboros.Consensus.Ledger.Dual | |
Show (NestedCtxt_ ByronBlock f a) Source # | |
Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods showsPrec ∷ Int → NestedCtxt_ ByronBlock f a → ShowS # show ∷ NestedCtxt_ ByronBlock f a → String # showList ∷ [NestedCtxt_ ByronBlock f a] → ShowS # | |
Show (NestedCtxt_ (ShelleyBlock proto era) f a) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → NestedCtxt_ (ShelleyBlock proto era) f a → ShowS # show ∷ NestedCtxt_ (ShelleyBlock proto era) f a → String # showList ∷ [NestedCtxt_ (ShelleyBlock proto era) f a] → ShowS # | |
data NestedCtxt_ ByronBlock f a Source # | Since the Byron header does not contain the size, we include it in the nested type instead. |
type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) = f (ShelleyBlock proto era) | |
data NestedCtxt_ (HardForkBlock xs) a b | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where
| |
newtype NestedCtxt_ (DualBlock m a) f x | |
Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ (DualBlock m a) f x where
| |
data NestedCtxt_ (ShelleyBlock proto era) f a Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block data NestedCtxt_ (ShelleyBlock proto era) f a where
|
class (EraSegWits 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 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
Minimal complete definition
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 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 # |
data ShelleyBlock proto era Source #
Shelley-based block type.
This block is parametrised over both the (ledger) era and the protocol.
Constructors
ShelleyBlock | |
Fields
|
Instances
SameDepIndex2 (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (ShelleyBlock proto era) x a → BlockQuery (ShelleyBlock proto era) y b → Maybe ('(x, a) :~: '(y, b)) Source # | |||||||||
(Typeable era, Typeable proto) ⇒ ShowProxy (Header (ShelleyBlock proto era) ∷ Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
(Typeable era, Typeable proto) ⇒ ShowProxy (Validated (GenTx (ShelleyBlock proto era)) ∷ Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
(Typeable era, Typeable proto) ⇒ ShowProxy (GenTx (ShelleyBlock proto era) ∷ Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
(Typeable era, Typeable proto) ⇒ ShowProxy (TxId (GenTx (ShelleyBlock proto era)) ∷ Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
HasNestedContent f (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods unnest ∷ f (ShelleyBlock proto era) → DepPair (NestedCtxt f (ShelleyBlock proto era)) Source # nest ∷ DepPair (NestedCtxt f (ShelleyBlock proto era)) → f (ShelleyBlock proto era) Source # | |||||||||
ShelleyBasedEra era ⇒ ReconstructNestedCtxt Header (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods reconstructPrefixLen ∷ proxy (Header (ShelleyBlock proto era)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (ShelleyBlock proto era)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) Source # | |||||||||
SameDepIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods sameDepIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → Maybe (a :~: b) Source # | |||||||||
TrivialDependency (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods hasSingleIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ (ShelleyBlock proto era) f (TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) ∷ Type) Source # | |||||||||
ShelleyCompatible proto era ⇒ StandardHash (ShelleyBlock proto era ∷ Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
(Typeable era, Typeable proto) ⇒ ShowProxy (ShelleyBlock proto era ∷ Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
ShelleyCompatible proto era ⇒ SerialiseBlockQueryResult (ShelleyBlock proto era) BlockQuery Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → ∀ s. Decoder s result Source # | |||||||||
(ShelleyBasedEra era, TranslateEra era WrapTx) ⇒ TranslateEra era (GenTx :.: ShelleyBlock proto) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types
Methods translateEra ∷ TranslationContext era → (GenTx :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (GenTx :.: ShelleyBlock proto)) ((GenTx :.: ShelleyBlock proto) era) Source # | |||||||||
(ShelleyBasedEra era, TranslateEra era WrapTx) ⇒ TranslateEra era (WrapValidatedGenTx :.: ShelleyBlock proto) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types
Methods translateEra ∷ TranslationContext era → (WrapValidatedGenTx :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto)) ((WrapValidatedGenTx :.: ShelleyBlock proto) era) Source # | |||||||||
(ShelleyBasedEra era, ShelleyBasedEra (PreviousEra era), TranslateEra era (ShelleyTip proto), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, CanMapMK mk, CanMapKeysMK mk) ⇒ TranslateEra era (Flip LedgerState mk :.: ShelleyBlock proto) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types
Methods translateEra ∷ TranslationContext era → (Flip LedgerState mk :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto)) ((Flip LedgerState mk :.: ShelleyBlock proto) era) Source # | |||||||||
ShelleyCompatible proto era ⇒ FromCBOR (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
ShelleyCompatible proto era ⇒ ToCBOR (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
ShelleyCompatible proto era ⇒ DecCBOR (Annotator (Header (ShelleyBlock proto era))) Source # | |||||||||
ShelleyCompatible proto era ⇒ DecCBOR (Annotator (ShelleyBlock proto era)) Source # | |||||||||
(Typeable era, Typeable proto, Crypto (ProtoCrypto proto)) ⇒ DecCBOR (TxId (GenTx (ShelleyBlock proto era))) Source # | |||||||||
ShelleyCompatible proto era ⇒ EncCBOR (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
(Typeable era, Typeable proto, Crypto (ProtoCrypto proto)) ⇒ EncCBOR (TxId (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods encCBOR ∷ TxId (GenTx (ShelleyBlock proto era)) → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxId (GenTx (ShelleyBlock proto era))) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxId (GenTx (ShelleyBlock proto era))] → Size Source # | |||||||||
Generic (BlockConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types
Methods from ∷ BlockConfig (ShelleyBlock proto era) → Rep (BlockConfig (ShelleyBlock proto era)) x # to ∷ Rep (BlockConfig (ShelleyBlock proto era)) x → BlockConfig (ShelleyBlock proto era) # | |||||||||
Generic (CodecConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types
Methods from ∷ CodecConfig (ShelleyBlock proto era) → Rep (CodecConfig (ShelleyBlock proto era)) x # to ∷ Rep (CodecConfig (ShelleyBlock proto era)) x → CodecConfig (ShelleyBlock proto era) # | |||||||||
Generic (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types
Methods from ∷ Header (ShelleyBlock proto era) → Rep (Header (ShelleyBlock proto era)) x # to ∷ Rep (Header (ShelleyBlock proto era)) x → Header (ShelleyBlock proto era) # | |||||||||
Generic (StorageConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types
Methods from ∷ StorageConfig (ShelleyBlock proto era) → Rep (StorageConfig (ShelleyBlock proto era)) x # to ∷ Rep (StorageConfig (ShelleyBlock proto era)) x → StorageConfig (ShelleyBlock proto era) # | |||||||||
Generic (Validated (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods from ∷ Validated (GenTx (ShelleyBlock proto era)) → Rep (Validated (GenTx (ShelleyBlock proto era))) x # to ∷ Rep (Validated (GenTx (ShelleyBlock proto era))) x → Validated (GenTx (ShelleyBlock proto era)) # | |||||||||
Generic (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods from ∷ GenTx (ShelleyBlock proto era) → Rep (GenTx (ShelleyBlock proto era)) x # to ∷ Rep (GenTx (ShelleyBlock proto era)) x → GenTx (ShelleyBlock proto era) # | |||||||||
ShelleyBasedEra era ⇒ Show (BlockConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods showsPrec ∷ Int → BlockConfig (ShelleyBlock proto era) → ShowS # show ∷ BlockConfig (ShelleyBlock proto era) → String # showList ∷ [BlockConfig (ShelleyBlock proto era)] → ShowS # | |||||||||
ShelleyCompatible proto era ⇒ Show (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
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 # | |||||||||
Show (CanonicalTxIn '[ShelleyBlock proto era]) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods showsPrec ∷ Int → CanonicalTxIn '[ShelleyBlock proto era] → ShowS # show ∷ CanonicalTxIn '[ShelleyBlock proto era] → String # showList ∷ [CanonicalTxIn '[ShelleyBlock proto era]] → ShowS # | |||||||||
ShelleyBasedEra era ⇒ Show (Validated (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
ShelleyBasedEra era ⇒ Show (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
Show (GenTxId (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
ShelleyCompatible proto era ⇒ Eq (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods (==) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool # (/=) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → 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 # | |||||||||
Eq (CanonicalTxIn '[ShelleyBlock proto era]) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods (==) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool # (/=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool # | |||||||||
ShelleyBasedEra era ⇒ Eq (Validated (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) ∷ Validated (GenTx (ShelleyBlock proto era)) → Validated (GenTx (ShelleyBlock proto era)) → Bool # (/=) ∷ Validated (GenTx (ShelleyBlock proto era)) → Validated (GenTx (ShelleyBlock proto era)) → Bool # | |||||||||
ShelleyBasedEra era ⇒ Eq (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) ∷ GenTx (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Bool # (/=) ∷ GenTx (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Bool # | |||||||||
Eq (TxId (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (/=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → 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) # | |||||||||
Ord (CanonicalTxIn '[ShelleyBlock proto era]) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods compare ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Ordering # (<) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool # (<=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool # (>) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool # (>=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool # max ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] # min ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] # | |||||||||
Ord (TxId (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods compare ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Ordering # (<) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (<=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (>) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (>=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # max ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) # min ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) # | |||||||||
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 # | |||||||||
MemPack (CanonicalTxIn '[ShelleyBlock proto era]) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods packedByteCount ∷ CanonicalTxIn '[ShelleyBlock proto era] → Int Source # packM ∷ CanonicalTxIn '[ShelleyBlock proto era] → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn '[ShelleyBlock proto era]) Source # | |||||||||
ShelleyBasedEra era ⇒ NoThunks (BlockConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks ∷ Context → BlockConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (ShelleyBlock proto era)) → String Source # | |||||||||
NoThunks (CodecConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks ∷ Context → CodecConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (ShelleyBlock proto era)) → String Source # | |||||||||
ShelleyCompatible proto era ⇒ NoThunks (Header (ShelleyBlock proto era)) Source # | |||||||||
NoThunks (StorageConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks ∷ Context → StorageConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (ShelleyBlock proto era)) → String 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 # | |||||||||
NoThunks (CanonicalTxIn '[ShelleyBlock proto era]) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods noThunks ∷ Context → CanonicalTxIn '[ShelleyBlock proto era] → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CanonicalTxIn '[ShelleyBlock proto era] → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CanonicalTxIn '[ShelleyBlock proto era]) → String Source # | |||||||||
ShelleyBasedEra era ⇒ NoThunks (Validated (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
ShelleyBasedEra era ⇒ NoThunks (GenTx (ShelleyBlock proto era)) Source # | |||||||||
NoThunks (TxId (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
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 AcrossEraSelection (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 # | |||||||||
GetTip (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods getTip ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Point (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
ShelleyBasedEra era ⇒ IsLedger (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types
Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → SlotNo → LedgerState (ShelleyBlock proto era) EmptyMK → LedgerResult (LedgerState (ShelleyBlock proto era)) (Ticked (LedgerState (ShelleyBlock proto era)) DiffMK) Source # | |||||||||
ShelleyBasedEra era ⇒ ConvertRawTxId (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods toRawTxIdHash ∷ TxId (GenTx (ShelleyBlock proto era)) → ShortByteString Source # | |||||||||
ShelleyBasedEra era ⇒ HasTxId (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods txId ∷ GenTx (ShelleyBlock proto era) → TxId (GenTx (ShelleyBlock proto era)) Source # | |||||||||
ShelleyBasedEra era ⇒ CanStowLedgerTables (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods stowLedgerTables ∷ LedgerState (ShelleyBlock proto era) ValuesMK → LedgerState (ShelleyBlock proto era) EmptyMK Source # unstowLedgerTables ∷ LedgerState (ShelleyBlock proto era) EmptyMK → LedgerState (ShelleyBlock proto era) ValuesMK Source # | |||||||||
ShelleyBasedEra era ⇒ HasLedgerTables (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (ShelleyBlock proto era) mk → LedgerTables (LedgerState (ShelleyBlock proto era)) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (ShelleyBlock proto era) any → LedgerTables (LedgerState (ShelleyBlock proto era)) mk → LedgerState (ShelleyBlock proto era) mk 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 # | |||||||||
ShelleyCompatible proto era ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock '[ShelleyBlock proto era])) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK) → LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerializeTablesWithHint (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK) → LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK) → Decoder s (LedgerTables (LedgerState (ShelleyBlock proto era)) 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 # | |||||||||
SignedHeader (ShelleyProtocolHeader proto) ⇒ SignedHeader (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol Methods headerSigned ∷ Header (ShelleyBlock proto era) → Signed (Header (ShelleyBlock proto era)) Source # | |||||||||
CanUpgradeLedgerTables (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK → LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK Source # | |||||||||
ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
ShelleyBasedEra era ⇒ Condense (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
Condense (GenTxId (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
ShelleyCompatible proto era ⇒ HasHeader (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields ∷ Header (ShelleyBlock proto era) → HeaderFields (Header (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ ApplyBlock (LedgerState (ShelleyBlock proto era)) (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → Except (LedgerErr (LedgerState (ShelleyBlock proto era))) (LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era) DiffMK)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → Except (LedgerErr (LedgerState (ShelleyBlock proto era))) (LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era) DiffMK)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era) DiffMK) Source # getBlockKeySets ∷ ShelleyBlock proto era → LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK Source # | |||||||||
ShelleyCompatible proto era ⇒ DecodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → ∀ s. Decoder s (ByteString → a) Source # | |||||||||
ShelleyBasedEra era ⇒ DecodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → Decoder s (SomeSecond (NestedCtxt Header) (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ EncodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → a → Encoding Source # | |||||||||
ShelleyBasedEra era ⇒ EncodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) → Encoding Source # | |||||||||
ShelleyCompatible proto era ⇒ EncCBOR (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods encCBOR ∷ ShelleyBlock proto era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyBlock proto era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyBlock proto era] → Size Source # | |||||||||
Generic (LedgerState (ShelleyBlock proto era) mk) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types
Methods from ∷ LedgerState (ShelleyBlock proto era) mk → Rep (LedgerState (ShelleyBlock proto era) mk) x # to ∷ Rep (LedgerState (ShelleyBlock proto era) mk) x → LedgerState (ShelleyBlock proto era) mk # | |||||||||
(ShelleyBasedEra era, ShowMK mk) ⇒ Show (LedgerState (ShelleyBlock proto era) mk) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods showsPrec ∷ Int → LedgerState (ShelleyBlock proto era) mk → ShowS # show ∷ LedgerState (ShelleyBlock proto era) mk → String # showList ∷ [LedgerState (ShelleyBlock proto era) mk] → ShowS # | |||||||||
ShelleyCompatible proto era ⇒ Show (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → ShelleyBlock proto era → ShowS # show ∷ ShelleyBlock proto era → String # showList ∷ [ShelleyBlock proto era] → ShowS # | |||||||||
(ShelleyBasedEra era, EqMK mk) ⇒ Eq (LedgerState (ShelleyBlock proto era) mk) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods (==) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool # (/=) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool # | |||||||||
ShelleyCompatible proto era ⇒ Eq (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods (==) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool # (/=) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool # | |||||||||
(ShelleyBasedEra era, NoThunksMK mk) ⇒ NoThunks (LedgerState (ShelleyBlock proto era) mk) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (ShelleyBlock proto era) mk) → String Source # | |||||||||
ShelleyCompatible proto era ⇒ ConvertRawHash (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods toRawHash ∷ proxy (ShelleyBlock proto era) → HeaderHash (ShelleyBlock proto era) → ByteString Source # fromRawHash ∷ proxy (ShelleyBlock proto era) → ByteString → HeaderHash (ShelleyBlock proto era) Source # toShortRawHash ∷ proxy (ShelleyBlock proto era) → HeaderHash (ShelleyBlock proto era) → ShortByteString Source # fromShortRawHash ∷ proxy (ShelleyBlock proto era) → ShortByteString → HeaderHash (ShelleyBlock proto era) Source # hashSize ∷ proxy (ShelleyBlock proto era) → Word32 Source # | |||||||||
ShelleyCompatible proto era ⇒ GetHeader (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeader ∷ ShelleyBlock proto era → Header (ShelleyBlock proto era) Source # blockMatchesHeader ∷ Header (ShelleyBlock proto era) → ShelleyBlock proto era → Bool Source # headerIsEBB ∷ Header (ShelleyBlock proto era) → Maybe EpochNo Source # | |||||||||
ShelleyCompatible proto era ⇒ GetPrevHash (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods headerPrevHash ∷ Header (ShelleyBlock proto era) → ChainHash (ShelleyBlock proto era) Source # | |||||||||
(ShelleyCompatible proto era, BlockSupportsProtocol (ShelleyBlock proto era)) ⇒ BlockSupportsDiffusionPipelining (ShelleyBlock proto era) Source # | A header can be pipelined iff no trap header with the same block number and
by the same issuer was pipelined before. See | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Associated Types
Methods initialTentativeHeaderState ∷ Proxy (ShelleyBlock proto era) → TentativeHeaderState (ShelleyBlock proto era) Source # tentativeHeaderView ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → TentativeHeaderView (ShelleyBlock proto era) Source # applyTentativeHeaderView ∷ Proxy (ShelleyBlock proto era) → TentativeHeaderView (ShelleyBlock proto era) → TentativeHeaderState (ShelleyBlock proto era) → Maybe (TentativeHeaderState (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ BlockSupportsMetrics (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node Methods isSelfIssued ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → WhetherSelfIssued Source # | |||||||||
ShelleyCompatible proto era ⇒ BlockSupportsProtocol (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol Methods validateView ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → ValidateView (BlockProtocol (ShelleyBlock proto era)) Source # selectView ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → SelectView (BlockProtocol (ShelleyBlock proto era)) Source # projectChainOrderConfig ∷ BlockConfig (ShelleyBlock proto era) → ChainOrderConfig (SelectView (BlockProtocol (ShelleyBlock proto era))) Source # | |||||||||
ConsensusProtocol proto ⇒ BlockSupportsSanityCheck (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node Methods configAllSecurityParams ∷ TopLevelConfig (ShelleyBlock proto era) → NonEmpty SecurityParam Source # | |||||||||
ConfigSupportsNode (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Common Methods getSystemStart ∷ BlockConfig (ShelleyBlock proto era) → SystemStart Source # getNetworkMagic ∷ BlockConfig (ShelleyBlock proto era) → NetworkMagic Source # | |||||||||
HasHardForkHistory (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types
Methods hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) mk → Summary (HardForkIndices (ShelleyBlock proto era)) Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era)) ⇒ ImmutableEraParams (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods immutableEraParams ∷ TopLevelConfig (ShelleyBlock proto era) → EraParams Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ NoHardForks (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods toPartialLedgerConfig ∷ proxy (ShelleyBlock proto era) → LedgerConfig (ShelleyBlock proto era) → PartialLedgerConfig (ShelleyBlock proto era) Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SingleEraBlock (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods singleEraTransition ∷ ∀ (mk ∷ MapKind). PartialLedgerConfig (ShelleyBlock proto era) → EraParams → Bound → LedgerState (ShelleyBlock proto era) mk → Maybe EpochNo Source # singleEraInfo ∷ proxy (ShelleyBlock proto era) → SingleEraInfo (ShelleyBlock proto era) Source # | |||||||||
ShelleyCompatible proto era ⇒ CondenseConstraints (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Cardano.Condense | |||||||||
ShelleyCompatible proto era ⇒ HasPartialLedgerConfig (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types
Methods completeLedgerConfig ∷ proxy (ShelleyBlock proto era) → EpochInfo (Except PastHorizonException) → PartialLedgerConfig (ShelleyBlock proto era) → LedgerConfig (ShelleyBlock proto era) Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SerialiseConstraintsHFC (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC | |||||||||
ShelleyCompatible proto era ⇒ BasicEnvelopeValidation (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods expectedFirstBlockNo ∷ proxy (ShelleyBlock proto era) → BlockNo Source # expectedNextBlockNo ∷ proxy (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy (ShelleyBlock proto era) → SlotNo Source # minimumNextSlotNo ∷ proxy (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → SlotNo → SlotNo Source # | |||||||||
ShelleyCompatible proto era ⇒ HasAnnTip (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types
Methods getTipInfo ∷ Header (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) Source # tipInfoHash ∷ proxy (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → HeaderHash (ShelleyBlock proto era) Source # | |||||||||
ShelleyCompatible proto era ⇒ ValidateEnvelope (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types
Methods additionalEnvelopeChecks ∷ TopLevelConfig (ShelleyBlock proto era) → LedgerView (BlockProtocol (ShelleyBlock proto era)) → Header (ShelleyBlock proto era) → Except (OtherHeaderEnvelopeError (ShelleyBlock proto era)) () Source # | |||||||||
ShelleyCompatible proto era ⇒ UpdateLedger (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
GetTip (Ticked (LedgerState (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (ShelleyBlock proto era)) mk → Point (Ticked (LedgerState (ShelleyBlock proto era))) Source # | |||||||||
ShelleyCompatible proto era ⇒ CommonProtocolParams (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods maxHeaderSize ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Word32 Source # maxTxSize ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Word32 Source # | |||||||||
ShelleyBasedEra era ⇒ InspectLedger (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect Associated Types
Methods inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → [LedgerEvent (ShelleyBlock proto era)] Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), ProtoCrypto proto ~ crypto, Crypto crypto) ⇒ BlockSupportsLedgerQuery (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods answerPureBlockQuery ∷ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFNoTables result → ExtLedgerState (ShelleyBlock proto era) EmptyMK → result Source # answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFLookupTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source # answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source # blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery (ShelleyBlock proto era) fp result → BlockNodeToClientVersion (ShelleyBlock proto era) → Bool Source # | |||||||||
ShelleyBasedEra era ⇒ HasTxs (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods extractTxs ∷ ShelleyBlock proto era → [GenTx (ShelleyBlock proto era)] Source # | |||||||||
(ShelleyCompatible proto era, TxLimits (ShelleyBlock proto era)) ⇒ LedgerSupportsMempool (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods txInvariant ∷ GenTx (ShelleyBlock proto era) → Bool Source # applyTx ∷ LedgerConfig (ShelleyBlock proto era) → WhetherToIntervene → SlotNo → GenTx (ShelleyBlock proto era) → TickedLedgerState (ShelleyBlock proto era) ValuesMK → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era) DiffMK, Validated (GenTx (ShelleyBlock proto era))) Source # reapplyTx ∷ ComputeDiffs → LedgerConfig (ShelleyBlock proto era) → SlotNo → Validated (GenTx (ShelleyBlock proto era)) → TickedLedgerState (ShelleyBlock proto era) ValuesMK → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era) TrackingMK) Source # reapplyTxs ∷ ComputeDiffs → LedgerConfig (ShelleyBlock proto era) → SlotNo → [(Validated (GenTx (ShelleyBlock proto era)), extra)] → TickedLedgerState (ShelleyBlock proto era) ValuesMK → ReapplyTxsResult extra (ShelleyBlock proto era) Source # txForgetValidated ∷ Validated (GenTx (ShelleyBlock proto era)) → GenTx (ShelleyBlock proto era) Source # getTransactionKeySets ∷ GenTx (ShelleyBlock proto era) → LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK Source # prependMempoolDiffs ∷ TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) DiffMK Source # applyMempoolDiffs ∷ LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK → LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK → TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) ValuesMK Source # | |||||||||
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 # | |||||||||
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 # | |||||||||
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 # | |||||||||
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 # | |||||||||
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 # | |||||||||
ShelleyCompatible p ShelleyEra ⇒ TxLimits (ShelleyBlock p ShelleyEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types
Methods txMeasure ∷ LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) ValuesMK → GenTx (ShelleyBlock p ShelleyEra) → Except (ApplyTxErr (ShelleyBlock p ShelleyEra)) (TxMeasure (ShelleyBlock p ShelleyEra)) Source # blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) mk → TxMeasure (ShelleyBlock p ShelleyEra) Source # | |||||||||
EraCertState era ⇒ LedgerSupportsPeerSelection (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.PeerSelection Methods getPeers ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → [(PoolStake, NonEmpty StakePoolRelay)] Source # | |||||||||
(ShelleyCompatible (Praos crypto) era, ShelleyCompatible (TPraos crypto) era) ⇒ LedgerSupportsProtocol (ShelleyBlock (Praos crypto) era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol Methods protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (Praos crypto) era) → Ticked (LedgerState (ShelleyBlock (Praos crypto) era)) mk → LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era)) Source # ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (Praos crypto) era) → LedgerState (ShelleyBlock (Praos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era))) Source # | |||||||||
ShelleyCompatible (TPraos crypto) era ⇒ LedgerSupportsProtocol (ShelleyBlock (TPraos crypto) era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol Methods protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (TPraos crypto) era) → Ticked (LedgerState (ShelleyBlock (TPraos crypto) era)) mk → LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era)) Source # ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (TPraos crypto) era) → LedgerState (ShelleyBlock (TPraos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era))) Source # | |||||||||
ShelleyBasedEra era ⇒ CanStowLedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods stowLedgerTables ∷ Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → Ticked (LedgerState (ShelleyBlock proto era)) EmptyMK Source # unstowLedgerTables ∷ Ticked (LedgerState (ShelleyBlock proto era)) EmptyMK → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK Source # | |||||||||
ShelleyBasedEra era ⇒ HasLedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (ShelleyBlock proto era)) mk → LedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (ShelleyBlock proto era)) any → LedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) mk → Ticked (LedgerState (ShelleyBlock proto era)) mk Source # | |||||||||
ShelleyCompatible proto era ⇒ NodeInitStorage (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Common Methods nodeImmutableDbChunkInfo ∷ StorageConfig (ShelleyBlock proto era) → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig (ShelleyBlock proto era) → ShelleyBlock proto era → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig (ShelleyBlock proto era) → InitChainDB m (ShelleyBlock proto era) → m () Source # | |||||||||
HasNetworkProtocolVersion (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Associated Types
| |||||||||
SupportedNetworkProtocolVersion (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods supportedNodeToNodeVersions ∷ Proxy (ShelleyBlock proto era) → Map NodeToNodeVersion (BlockNodeToNodeVersion (ShelleyBlock proto era)) Source # supportedNodeToClientVersions ∷ Proxy (ShelleyBlock proto era) → Map NodeToClientVersion (BlockNodeToClientVersion (ShelleyBlock proto era)) Source # latestReleasedNodeVersion ∷ Proxy (ShelleyBlock proto era) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SupportedNetworkProtocolVersion (ShelleyBlockHFC proto era) Source # | Forward to the ShelleyBlock instance. Only supports
| ||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods supportedNodeToNodeVersions ∷ Proxy (ShelleyBlockHFC proto era) → Map NodeToNodeVersion (BlockNodeToNodeVersion (ShelleyBlockHFC proto era)) Source # supportedNodeToClientVersions ∷ Proxy (ShelleyBlockHFC proto era) → Map NodeToClientVersion (BlockNodeToClientVersion (ShelleyBlockHFC proto era)) Source # latestReleasedNodeVersion ∷ Proxy (ShelleyBlockHFC proto era) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), BlockSupportsSanityCheck (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), SerialiseNodeToClientConstraints (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ RunNode (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node | |||||||||
(NoHardForks (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ SerialiseNodeToClientConstraints (ShelleyBlock proto era) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods estimateBlockSize ∷ Header (ShelleyBlock proto era) → SizeInBytes Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseDiskConstraints (ShelleyBlock proto era) Source # | |||||||||
ShelleyCompatible proto era ⇒ HasBinaryBlockInfo (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods getBinaryBlockInfo ∷ ShelleyBlock proto era → BinaryBlockInfo Source # | |||||||||
ShelleyCompatible proto era ⇒ Condense (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense ∷ ShelleyBlock proto era → String Source # | |||||||||
(proto ~ BlockProtocol (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ IsShelleyBlock (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
ShelleyCompatible proto era ⇒ HasHeader (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields ∷ ShelleyBlock proto era → HeaderFields (ShelleyBlock proto era) Source # | |||||||||
ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era) fp) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showResult ∷ BlockQuery (ShelleyBlock proto era) fp result → result → String Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) SlotNo Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SlotNo → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s SlotNo Source # | |||||||||
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) PraosState Source # |
| ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s PraosState Source # | |||||||||
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) TPraosState Source # |
| ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s TPraosState Source # | |||||||||
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) PraosState Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → PraosState → Encoding Source # | |||||||||
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) TPraosState Source # |
| ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → TPraosState → Encoding Source # | |||||||||
(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack (LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK) txout Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Int Source # indexedPackM ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → Unpack b txout Source # indexedTypeName ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → String Source # | |||||||||
(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack (LedgerState (ShelleyBlock proto era) EmptyMK) txout Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods indexedPackedByteCount ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Int Source # indexedPackM ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (ShelleyBlock proto era) EmptyMK → Unpack b txout Source # indexedTypeName ∷ LedgerState (ShelleyBlock proto era) EmptyMK → String Source # | |||||||||
ShelleyBasedEra era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ApplyTxError era) Source # |
| ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ApplyTxError era → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ApplyTxError era) Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era)) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SomeBlockQuery (BlockQuery (ShelleyBlock proto era)) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) Source # | Uses CBOR-in-CBOR in the | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTx (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → GenTxId (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTxId (ShelleyBlock proto era)) Source # | |||||||||
(NoHardForks (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyLedgerConfig era) Source # | This instance uses the invariant that the | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyLedgerConfig era → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyLedgerConfig era) Source # | |||||||||
ShelleyBasedEra era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyPartialLedgerConfig era) Source # | This instance uses the invariant that the | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyPartialLedgerConfig era → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyPartialLedgerConfig era) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source # | CBOR-in-CBOR to be compatible with the wrapped ( | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source # decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Header (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) Source # | The | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Encoding Source # decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTx (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → GenTxId (ShelleyBlock proto era) → Encoding Source # decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTxId (ShelleyBlock proto era)) Source # | |||||||||
SerialiseNodeToNode (ShelleyBlock proto era) (SerialisedHeader (ShelleyBlock proto era)) Source # | We use CBOR-in-CBOR | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → SerialisedHeader (ShelleyBlock proto era) → Encoding Source # decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SerialisedHeader (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (AnnTip (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (AnnTip (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source # | |||||||||
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (AnnTip (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → AnnTip (ShelleyBlock proto era) → Encoding 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 # | |||||||||
(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (ShelleyBlock proto era)) → String Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyBlock proto era) Source # | CBOR-in-CBOR for the annotation. This also makes it compatible with the
wrapped ( | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyBlock proto era) Source # | |||||||||
SerialiseNodeToClient (ShelleyBlock proto era) (Serialised (ShelleyBlock proto era)) Source # |
| ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → Serialised (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Serialised (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (ShelleyBlock proto era) Source # | CBOR-in-CBOR for the annotation. This also makes it compatible with the
wrapped ( | ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source # decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyBlock proto era) Source # | |||||||||
SerialiseNodeToNode (ShelleyBlock proto era) (Serialised (ShelleyBlock proto era)) Source # |
| ||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → Serialised (ShelleyBlock proto era) → Encoding Source # decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Serialised (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (LedgerState (ShelleyBlock proto era) EmptyMK) Source # | |||||||||
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source # | |||||||||
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (ByteString → ShelleyBlock proto era) Source # | |||||||||
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) EmptyMK → Encoding Source # | |||||||||
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source # | |||||||||
Generic (Ticked (LedgerState (ShelleyBlock proto era)) mk) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types
Methods from ∷ Ticked (LedgerState (ShelleyBlock proto era)) mk → Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) x # to ∷ Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) x → Ticked (LedgerState (ShelleyBlock proto era)) mk # | |||||||||
Show (NestedCtxt_ (ShelleyBlock proto era) f a) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → NestedCtxt_ (ShelleyBlock proto era) f a → ShowS # show ∷ NestedCtxt_ (ShelleyBlock proto era) f a → String # showList ∷ [NestedCtxt_ (ShelleyBlock proto era) f a] → ShowS # | |||||||||
Show (BlockQuery (ShelleyBlock proto era) fp result) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) fp result → ShowS # show ∷ BlockQuery (ShelleyBlock proto era) fp result → String # showList ∷ [BlockQuery (ShelleyBlock proto era) fp result] → ShowS # | |||||||||
Eq (BlockQuery (ShelleyBlock proto era) fp result) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool # (/=) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool # | |||||||||
(ShelleyCompatible proto era, ShelleyBasedEra era) ⇒ HasCanonicalTxIn '[ShelleyBlock proto era] Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types
Methods injectCanonicalTxIn ∷ Index '[ShelleyBlock proto era] x → TxIn (LedgerState x) → CanonicalTxIn '[ShelleyBlock proto era] Source # ejectCanonicalTxIn ∷ Index '[ShelleyBlock proto era] x → CanonicalTxIn '[ShelleyBlock proto era] → TxIn (LedgerState x) Source # | |||||||||
ShelleyCompatible proto era ⇒ HasHardForkTxOut '[ShelleyBlock proto era] Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types
Methods injectHardForkTxOut ∷ Index '[ShelleyBlock proto era] x → TxOut (LedgerState x) → HardForkTxOut '[ShelleyBlock proto era] Source # ejectHardForkTxOut ∷ Index '[ShelleyBlock proto era] x → HardForkTxOut '[ShelleyBlock proto era] → TxOut (LedgerState x) Source # txOutEjections ∷ NP ((K (NS WrapTxOut '[ShelleyBlock proto era]) ∷ Type → Type) -.-> WrapTxOut) '[ShelleyBlock proto era] Source # txOutTranslations ∷ Tails (Fn2 WrapTxOut) '[ShelleyBlock proto era] Source # | |||||||||
(ShelleyCompatible proto era, ShelleyBasedEra era, TxOut (LedgerState (ShelleyBlock proto era)) ~ TxOut era, HasHardForkTxOut '[ShelleyBlock proto era]) ⇒ BlockSupportsHFLedgerQuery '[ShelleyBlock proto era] Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods answerBlockQueryHFLookup ∷ (All SingleEraBlock '[ShelleyBlock proto era], Monad m) ⇒ Index '[ShelleyBlock proto era] x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock '[ShelleyBlock proto era]) → m result Source # answerBlockQueryHFTraverse ∷ (All SingleEraBlock '[ShelleyBlock proto era], Monad m) ⇒ Index '[ShelleyBlock proto era] x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock '[ShelleyBlock proto era]) → m result Source # queryLedgerGetTraversingFilter ∷ Index '[ShelleyBlock proto era] x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock '[ShelleyBlock proto era])) → Bool Source # | |||||||||
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SerialiseHFC '[ShelleyBlock proto era] Source # | Use the default implementations. This means the serialisation of blocks includes an era wrapper. Each block should do this from the start to be prepared for future hard forks without having to do any bit twiddling. | ||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ShelleyBlock proto era]) → HardForkBlock '[ShelleyBlock proto era] → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ShelleyBlock proto era]) → ∀ s. Decoder s (ByteString → HardForkBlock '[ShelleyBlock proto era]) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock '[ShelleyBlock proto era])) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock '[ShelleyBlock proto era])) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock '[ShelleyBlock proto era]) Source # getHfcBinaryBlockInfo ∷ HardForkBlock '[ShelleyBlock proto era] → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock '[ShelleyBlock proto era]) → SizeInBytes Source # | |||||||||
type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) = f (ShelleyBlock proto era) | |||||||||
type HeaderHash (ShelleyBlock proto era ∷ Type) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
type TranslationError era (GenTx :.: ShelleyBlock proto) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC | |||||||||
type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC | |||||||||
type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC | |||||||||
type Rep (BlockConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (BlockConfig (ShelleyBlock proto era)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'False) (C1 ('MetaCons "ShelleyConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "shelleySystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart)) :*: (S1 ('MetaSel ('Just "shelleyNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkMagic) :*: (S1 ('MetaSel ('Just "shelleyBlockIssuerVKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'BlockIssuer) (VKey 'BlockIssuer))) :*: S1 ('MetaSel ('Just "shelleyVRFTiebreakerFlavor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VRFTiebreakerFlavor))))) | |||||||||
type Rep (CodecConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config | |||||||||
type Rep (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block type Rep (Header (ShelleyBlock proto era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyProtocolHeader proto)) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyHash))) | |||||||||
type Rep (StorageConfig (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (StorageConfig (ShelleyBlock proto era)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'False) (C1 ('MetaCons "ShelleyStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyStorageConfigSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "shelleyStorageConfigSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam))) | |||||||||
type Rep (Validated (GenTx (ShelleyBlock proto era))) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep (Validated (GenTx (ShelleyBlock proto era))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx era))))) | |||||||||
type Rep (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep (GenTx (ShelleyBlock proto era)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era)))) | |||||||||
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 | |||||||||
data Validated (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
type LedgerCfg (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
type LedgerErr (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
newtype TxId (GenTx (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type TxIn (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
type TxOut (LedgerState (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
type Signed (Header (ShelleyBlock proto era)) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol | |||||||||
type Rep (LedgerState (ShelleyBlock proto era) mk) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition) :*: S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (LedgerState (ShelleyBlock proto era)) mk))))) | |||||||||
data BlockConfig (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config | |||||||||
type BlockProtocol (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol | |||||||||
data CodecConfig (ShelleyBlock proto era) Source # | No particular codec configuration is needed for Shelley | ||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config | |||||||||
data Header (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
data StorageConfig (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Config | |||||||||
type CannotForge (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Common | |||||||||
type ForgeStateInfo (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Common | |||||||||
type ForgeStateUpdateError (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Node.Common | |||||||||
data NestedCtxt_ (ShelleyBlock proto era) f a Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block data NestedCtxt_ (ShelleyBlock proto era) f a where
| |||||||||
type TentativeHeaderState (ShelleyBlock proto era) Source # | |||||||||
type TentativeHeaderView (ShelleyBlock proto era) Source # | |||||||||
type HardForkIndices (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
type PartialLedgerConfig (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
type OtherHeaderEnvelopeError (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger | |||||||||
type TipInfo (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |||||||||
data LedgerState (ShelleyBlock proto era) mk Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data LedgerState (ShelleyBlock proto era) mk = ShelleyLedgerState {
| |||||||||
type LedgerUpdate (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect | |||||||||
type LedgerWarning (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect | |||||||||
data BlockQuery (ShelleyBlock proto era) fp result Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Query data BlockQuery (ShelleyBlock proto era) fp result where
| |||||||||
type ApplyTxErr (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
data GenTx (ShelleyBlock proto era) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type TxMeasure (ShelleyBlock p AllegraEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type TxMeasure (ShelleyBlock p AlonzoEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type TxMeasure (ShelleyBlock p BabbageEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type TxMeasure (ShelleyBlock p ConwayEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type TxMeasure (ShelleyBlock p MaryEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type TxMeasure (ShelleyBlock p ShelleyEra) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |||||||||
type BlockNodeToClientVersion (ShelleyBlock proto era) Source # | |||||||||
type BlockNodeToNodeVersion (ShelleyBlock proto era) Source # | |||||||||
data Ticked (LedgerState (ShelleyBlock proto era) ∷ MapKind → Type) (mk ∷ MapKind) Source # | Ticking only affects the state itself | ||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data Ticked (LedgerState (ShelleyBlock proto era) ∷ MapKind → Type) (mk ∷ MapKind) = TickedShelleyLedgerState {
| |||||||||
type Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (LedgerState (ShelleyBlock proto era)) mk))))) | |||||||||
newtype CanonicalTxIn '[ShelleyBlock proto era] Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC | |||||||||
type HardForkTxOut '[ShelleyBlock proto era] Source # | |||||||||
Defined in Ouroboros.Consensus.Shelley.ShelleyHFC |
type family ShelleyBlockLedgerEra blk where ... Source #
Equations
ShelleyBlockLedgerEra (ShelleyBlock proto era) = era |
newtype ShelleyHash Source #
Constructors
ShelleyHash | |
Instances
FromCBOR ShelleyHash Source # | |||||
ToCBOR ShelleyHash Source # | |||||
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods toCBOR ∷ ShelleyHash → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ShelleyHash → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyHash] → Size Source # | |||||
Generic ShelleyHash Source # | |||||
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Associated Types
| |||||
Show ShelleyHash Source # | |||||
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods showsPrec ∷ Int → ShelleyHash → ShowS # show ∷ ShelleyHash → String # showList ∷ [ShelleyHash] → ShowS # | |||||
Eq ShelleyHash Source # | |||||
Ord ShelleyHash Source # | |||||
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods compare ∷ ShelleyHash → ShelleyHash → Ordering # (<) ∷ ShelleyHash → ShelleyHash → Bool # (<=) ∷ ShelleyHash → ShelleyHash → Bool # (>) ∷ ShelleyHash → ShelleyHash → Bool # (>=) ∷ ShelleyHash → ShelleyHash → Bool # max ∷ ShelleyHash → ShelleyHash → ShelleyHash # min ∷ ShelleyHash → ShelleyHash → ShelleyHash # | |||||
NoThunks ShelleyHash Source # | |||||
Condense ShelleyHash Source # | |||||
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods condense ∷ ShelleyHash → String Source # | |||||
Serialise ShelleyHash Source # | |||||
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods encode ∷ ShelleyHash → Encoding Source # decode ∷ Decoder s ShelleyHash Source # encodeList ∷ [ShelleyHash] → Encoding Source # decodeList ∷ Decoder s [ShelleyHash] Source # | |||||
type Rep ShelleyHash Source # | |||||
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract type Rep ShelleyHash = D1 ('MetaData "ShelleyHash" "Ouroboros.Consensus.Shelley.Protocol.Abstract" "ouroboros-consensus-cardano-0.25.0.1-inplace" 'True) (C1 ('MetaCons "ShelleyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockHeader)))) |
Shelley Compatibility
class (ShelleyBasedEra era, ShelleyProtocol proto, Eq (ShelleyProtocolHeader proto), Show (ShelleyProtocolHeader proto), NoThunks (ShelleyProtocolHeader proto), EncCBOR (ShelleyProtocolHeader proto), DecCBOR (Annotator (ShelleyProtocolHeader proto)), Show (CannotForgeError proto), SelectView proto ~ PraosChainSelectView (ProtoCrypto proto), SignedHeader (ShelleyProtocolHeader proto), DecodeDisk (ShelleyBlock proto era) (ChainDepState proto), EncodeDisk (ShelleyBlock proto era) (ChainDepState proto), HasPartialConsensusConfig proto, DecCBOR (PState era), Crypto (ProtoCrypto proto)) ⇒ ShelleyCompatible proto era Source #
Instances
PraosCrypto c ⇒ ShelleyCompatible (Praos c) BabbageEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
PraosCrypto c ⇒ ShelleyCompatible (Praos c) ConwayEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
PraosCrypto c ⇒ ShelleyCompatible (TPraos c) AllegraEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
PraosCrypto c ⇒ ShelleyCompatible (TPraos c) AlonzoEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) BabbageEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) ConwayEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
PraosCrypto c ⇒ ShelleyCompatible (TPraos c) MaryEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
PraosCrypto c ⇒ ShelleyCompatible (TPraos c) ShelleyEra Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras |
mkShelleyBlock ∷ ShelleyCompatible proto era ⇒ Block (ShelleyProtocolHeader proto) era → ShelleyBlock proto era Source #
mkShelleyHeader ∷ ShelleyCompatible proto era ⇒ ShelleyProtocolHeader proto → Header (ShelleyBlock proto era) Source #
Serialisation
decodeShelleyBlock ∷ ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → ShelleyBlock proto era) Source #
decodeShelleyHeader ∷ ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source #
encodeShelleyBlock ∷ ShelleyCompatible proto era ⇒ ShelleyBlock proto era → Encoding Source #
encodeShelleyHeader ∷ ShelleyCompatible proto era ⇒ Header (ShelleyBlock proto era) → Encoding Source #
shelleyBinaryBlockInfo ∷ ShelleyCompatible proto era ⇒ ShelleyBlock proto era → BinaryBlockInfo Source #
Conversion
fromShelleyPrevHash ∷ PrevHash → ChainHash (ShelleyBlock proto era) Source #
From cardano-ledger-specs
to ouroboros-consensus
toShelleyPrevHash ∷ ChainHash (Header (ShelleyBlock proto era)) → PrevHash Source #
From ouroboros-consensus
to cardano-ledger-specs