Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Ledger.Block

Contents

Shelley Compatibility
Serialisation
Conversion

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)), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era)) ⇒ ShelleyBasedEra era
data ShelleyBlock proto era = ShelleyBlock {
- shelleyBlockRaw ∷ !(Block (ShelleyProtocolHeader proto) era)
- shelleyBlockHeaderHash ∷ !(ShelleyHash (ProtoCrypto proto))
}
type family ShelleyBlockLedgerEra blk where ...
newtype ShelleyHash crypto = ShelleyHash {
- unShelleyHash ∷ Hash crypto EraIndependentBlockHeader
}
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 (EraCrypto era), SignedHeader (ShelleyProtocolHeader proto), DecodeDisk (ShelleyBlock proto era) (ChainDepState proto), EncodeDisk (ShelleyBlock proto era) (ChainDepState proto), EraCrypto era ~ ProtoCrypto proto, HasPartialConsensusConfig proto, DecCBOR (PState era), FromCBOR (LegacyPParams era), ToCBOR (LegacyPParams era)) ⇒ 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 ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → ShelleyBlock proto era)
decodeShelleyHeader ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era))
encodeShelleyBlock ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ShelleyBlock proto era → Encoding
encodeShelleyHeader ∷ ∀ proto era. ShelleyCompatible proto era ⇒ Header (ShelleyBlock proto era) → Encoding
shelleyBinaryBlockInfo ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ShelleyBlock proto era → BinaryBlockInfo
fromShelleyPrevHash ∷ EraCrypto era ~ ProtoCrypto proto ⇒ PrevHash (EraCrypto era) → ChainHash (ShelleyBlock proto era)
toShelleyPrevHash ∷ EraCrypto era ~ ProtoCrypto proto ⇒ ChainHash (Header (ShelleyBlock proto era)) → PrevHash (EraCrypto era)

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

Instances details

GetHeader ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeader ∷ ByronBlock → Header ByronBlock Source # blockMatchesHeader ∷ Header ByronBlock → ByronBlock → Bool Source # headerIsEBB ∷ Header ByronBlock → Maybe EpochNo Source #
ShelleyCompatible proto era ⇒ GetHeader (ShelleyBlock proto era) Source #
Instance details 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

Instances details

(proto ~ BlockProtocol (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ IsShelleyBlock (ShelleyBlock proto era) Source #
Instance details 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

Instances details

SameDepIndex (NestedCtxt_ ByronBlock f) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) Source # 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)) Source #
Show (NestedCtxt_ ByronBlock f a) Source #
Instance details 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 #
Instance details 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.
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation data NestedCtxt_ ByronBlock f a where CtxtByronRegular ∷ !SizeInBytes → NestedCtxt_ ByronBlock Header (AHeader ByteString) CtxtByronBoundary ∷ !SizeInBytes → NestedCtxt_ ByronBlock Header (SlotNo, RawBoundaryHeader)
data NestedCtxt_ (HardForkBlock xs) a b
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
data NestedCtxt_ (ShelleyBlock proto era) f a Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data NestedCtxt_ (ShelleyBlock proto era) f a where CtxtShelley ∷ ∀ proto era (f ∷ Type → Type). NestedCtxt_ (ShelleyBlock proto era) f (f (ShelleyBlock proto era))
type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) = f (ShelleyBlock proto era)

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)), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (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

applyShelleyBasedTx, getConwayEraGovDict

Instances

Instances details

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AllegraEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv (AllegraEra c) → LedgerState (AllegraEra c) → WhetherToIntervene → Tx (AllegraEra c) → Except (ApplyTxError (AllegraEra c)) (LedgerState (AllegraEra c), Validated (Tx (AllegraEra c))) Source # getConwayEraGovDict ∷ proxy (AllegraEra c) → Maybe (ConwayEraGovDict (AllegraEra c)) Source #
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AlonzoEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv (AlonzoEra c) → LedgerState (AlonzoEra c) → WhetherToIntervene → Tx (AlonzoEra c) → Except (ApplyTxError (AlonzoEra c)) (LedgerState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source # getConwayEraGovDict ∷ proxy (AlonzoEra c) → Maybe (ConwayEraGovDict (AlonzoEra c)) Source #
PraosCrypto c ⇒ ShelleyBasedEra (BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv (BabbageEra c) → LedgerState (BabbageEra c) → WhetherToIntervene → Tx (BabbageEra c) → Except (ApplyTxError (BabbageEra c)) (LedgerState (BabbageEra c), Validated (Tx (BabbageEra c))) Source # getConwayEraGovDict ∷ proxy (BabbageEra c) → Maybe (ConwayEraGovDict (BabbageEra c)) Source #
PraosCrypto c ⇒ ShelleyBasedEra (ConwayEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv (ConwayEra c) → LedgerState (ConwayEra c) → WhetherToIntervene → Tx (ConwayEra c) → Except (ApplyTxError (ConwayEra c)) (LedgerState (ConwayEra c), Validated (Tx (ConwayEra c))) Source # getConwayEraGovDict ∷ proxy (ConwayEra c) → Maybe (ConwayEraGovDict (ConwayEra c)) Source #
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (MaryEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv (MaryEra c) → LedgerState (MaryEra c) → WhetherToIntervene → Tx (MaryEra c) → Except (ApplyTxError (MaryEra c)) (LedgerState (MaryEra c), Validated (Tx (MaryEra c))) Source # getConwayEraGovDict ∷ proxy (MaryEra c) → Maybe (ConwayEraGovDict (MaryEra c)) Source #
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (ShelleyEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv (ShelleyEra c) → LedgerState (ShelleyEra c) → WhetherToIntervene → Tx (ShelleyEra c) → Except (ApplyTxError (ShelleyEra c)) (LedgerState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source # getConwayEraGovDict ∷ proxy (ShelleyEra c) → Maybe (ConwayEraGovDict (ShelleyEra c)) 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 shelleyBlockRaw ∷ !(Block (ShelleyProtocolHeader proto) era) shelleyBlockHeaderHash ∷ !(ShelleyHash (ProtoCrypto proto))

Instances

Instances details

(Typeable era, Typeable proto) ⇒ ShowProxy (Header (ShelleyBlock proto era) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showProxy ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (Validated (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (Validated (GenTx (ShelleyBlock proto era))) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (GenTx (ShelleyBlock proto era) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (GenTx (ShelleyBlock proto era)) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (TxId (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String Source #
HasNestedContent f (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details 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 #
ShelleyCompatible proto era ⇒ StandardHash (ShelleyBlock proto era ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block
(Typeable era, Typeable proto) ⇒ ShowProxy (ShelleyBlock proto era ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showProxy ∷ Proxy (ShelleyBlock proto era) → String Source #
(ShelleyBasedEra era, TranslateEra era (ShelleyTip proto), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void) ⇒ TranslateEra era (LedgerState :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era (LedgerState :.: ShelleyBlock proto) Source # Methods translateEra ∷ TranslationContext era → (LedgerState :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (LedgerState :.: ShelleyBlock proto)) ((LedgerState :.: ShelleyBlock proto) era) Source #
(ShelleyBasedEra era, TranslateEra era WrapTx) ⇒ TranslateEra era (GenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era (GenTx :.: ShelleyBlock proto) Source # 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto) Source # Methods translateEra ∷ TranslationContext era → (WrapValidatedGenTx :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto)) ((WrapValidatedGenTx :.: ShelleyBlock proto) era) Source #
Generic (BlockConfig (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep (BlockConfig (ShelleyBlock proto era)) ∷ Type → Type # 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep (CodecConfig (ShelleyBlock proto era)) ∷ Type → Type # 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type Rep (Header (ShelleyBlock proto era)) ∷ Type → Type # 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep (StorageConfig (ShelleyBlock proto era)) ∷ Type → Type # 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep (Validated (GenTx (ShelleyBlock proto era))) ∷ Type → Type # 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 (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep (LedgerState (ShelleyBlock proto era)) ∷ Type → Type # Methods from ∷ LedgerState (ShelleyBlock proto era) → Rep (LedgerState (ShelleyBlock proto era)) x # to ∷ Rep (LedgerState (ShelleyBlock proto era)) x → LedgerState (ShelleyBlock proto era) #
Generic (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep (GenTx (ShelleyBlock proto era)) ∷ Type → Type # Methods from ∷ GenTx (ShelleyBlock proto era) → Rep (GenTx (ShelleyBlock proto era)) x # to ∷ Rep (GenTx (ShelleyBlock proto era)) x → GenTx (ShelleyBlock proto era) #
Generic (Ticked (LedgerState (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep (Ticked (LedgerState (ShelleyBlock proto era))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (ShelleyBlock proto era)) → Rep (Ticked (LedgerState (ShelleyBlock proto era))) x # to ∷ Rep (Ticked (LedgerState (ShelleyBlock proto era))) x → Ticked (LedgerState (ShelleyBlock proto era)) #
ShelleyBasedEra era ⇒ Show (BlockConfig (ShelleyBlock proto era)) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → Header (ShelleyBlock proto era) → ShowS # show ∷ Header (ShelleyBlock proto era) → String # showList ∷ [Header (ShelleyBlock proto era)] → ShowS #
ShelleyBasedEra era ⇒ Show (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec ∷ Int → Validated (GenTx (ShelleyBlock proto era)) → ShowS # show ∷ Validated (GenTx (ShelleyBlock proto era)) → String # showList ∷ [Validated (GenTx (ShelleyBlock proto era))] → ShowS #
ShelleyBasedEra era ⇒ Show (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods showsPrec ∷ Int → LedgerState (ShelleyBlock proto era) → ShowS # show ∷ LedgerState (ShelleyBlock proto era) → String # showList ∷ [LedgerState (ShelleyBlock proto era)] → ShowS #
ShelleyBasedEra era ⇒ Show (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec ∷ Int → GenTx (ShelleyBlock proto era) → ShowS # show ∷ GenTx (ShelleyBlock proto era) → String # showList ∷ [GenTx (ShelleyBlock proto era)] → ShowS #
Show (GenTxId (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec ∷ Int → GenTxId (ShelleyBlock proto era) → ShowS # show ∷ GenTxId (ShelleyBlock proto era) → String # showList ∷ [GenTxId (ShelleyBlock proto era)] → ShowS #
ShelleyCompatible proto era ⇒ FromCBOR (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods fromCBOR ∷ Decoder s (GenTx (ShelleyBlock proto era)) Source # label ∷ Proxy (GenTx (ShelleyBlock proto era)) → Text Source #
ShelleyCompatible proto era ⇒ ToCBOR (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods toCBOR ∷ GenTx (ShelleyBlock proto era) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (GenTx (ShelleyBlock proto era)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenTx (ShelleyBlock proto era)] → Size Source #
ShelleyCompatible proto era ⇒ DecCBOR (Annotator (Header (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods decCBOR ∷ Decoder s (Annotator (Header (ShelleyBlock proto era))) Source # dropCBOR ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Decoder s () Source # label ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Text Source #
ShelleyCompatible proto era ⇒ DecCBOR (Annotator (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods decCBOR ∷ Decoder s (Annotator (ShelleyBlock proto era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyBlock proto era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyBlock proto era)) → Text Source #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ DecCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods decCBOR ∷ Decoder s (TxId (GenTx (ShelleyBlock proto era))) Source # dropCBOR ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Decoder s () Source # label ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Text Source #
ShelleyCompatible proto era ⇒ EncCBOR (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods encCBOR ∷ Header (ShelleyBlock proto era) → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Header (ShelleyBlock proto era)) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Header (ShelleyBlock proto era)] → Size Source #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ EncCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details 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 #
ShelleyCompatible proto era ⇒ Eq (Header (ShelleyBlock proto era)) Source #
Instance details 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 #
ShelleyBasedEra era ⇒ Eq (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details 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 (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods (==) ∷ LedgerState (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) → Bool # (/=) ∷ LedgerState (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) → Bool #
ShelleyBasedEra era ⇒ Eq (GenTx (ShelleyBlock proto era)) Source #
Instance details 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 #
Instance details 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 (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details 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)) #
ShelleyBasedEra era ⇒ NoThunks (BlockConfig (ShelleyBlock proto era)) Source #
Instance details 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 #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods noThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #
NoThunks (StorageConfig (ShelleyBlock proto era)) Source #
Instance details 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 #
ShelleyBasedEra era ⇒ NoThunks (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks ∷ Context → Validated (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (ShelleyBlock proto era))) → String Source #
ShelleyBasedEra era ⇒ NoThunks (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks ∷ Context → LedgerState (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (ShelleyBlock proto era)) → String Source #
ShelleyBasedEra era ⇒ NoThunks (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks ∷ Context → GenTx (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (ShelleyBlock proto era)) → String Source #
NoThunks (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks ∷ Context → TxId (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String Source #
ShelleyBasedEra era ⇒ NoThunks (Ticked (LedgerState (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks ∷ Context → Ticked (LedgerState (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (ShelleyBlock proto era))) → String Source #
CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types type HardForkTxMeasure (CardanoEras c) Source # 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 #
Instance details Defined in Ouroboros.Consensus.Cardano.Condense
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 (`Word`: 0 = EBB; 1 = regular block) and the second being the payload. We can easily extend this encoding format with support for Shelley, Goguen, etc. We encode a `CardanoBlock` as the same CBOR 2-tuple as a Byron block, but we use the tags after 1 for the hard forks after Byron: Byron EBB Byron regular block Shelley block Allegra block Mary block Goguen block etc. For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods getTip ∷ LedgerState (ShelleyBlock proto era) → Point (LedgerState (ShelleyBlock proto era)) Source #
GetTip (Ticked (LedgerState (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods getTip ∷ Ticked (LedgerState (ShelleyBlock proto era)) → Point (Ticked (LedgerState (ShelleyBlock proto era))) Source #
ShelleyBasedEra era ⇒ IsLedger (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type LedgerErr (LedgerState (ShelleyBlock proto era)) Source # type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (ShelleyBlock proto era)) → SlotNo → LedgerState (ShelleyBlock proto era) → LedgerResult (LedgerState (ShelleyBlock proto era)) (Ticked (LedgerState (ShelleyBlock proto era))) Source #
ShelleyBasedEra era ⇒ ConvertRawTxId (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods toRawTxIdHash ∷ TxId (GenTx (ShelleyBlock proto era)) → ShortByteString Source #
ShelleyBasedEra era ⇒ HasTxId (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods txId ∷ GenTx (ShelleyBlock proto era) → TxId (GenTx (ShelleyBlock proto era)) Source #
CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol Methods headerSigned ∷ Header (ShelleyBlock proto era) → Signed (Header (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense ∷ Header (ShelleyBlock proto era) → String Source #
ShelleyBasedEra era ⇒ Condense (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods condense ∷ GenTx (ShelleyBlock proto era) → String Source #
Condense (GenTxId (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods condense ∷ GenTxId (ShelleyBlock proto era) → String Source #
SameDepIndex (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods sameDepIndex ∷ BlockQuery (ShelleyBlock proto era) a → BlockQuery (ShelleyBlock proto era) b → Maybe (a :~: b) Source #
ShelleyCompatible proto era ⇒ HasHeader (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields ∷ Header (ShelleyBlock proto era) → HeaderFields (Header (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showResult ∷ BlockQuery (ShelleyBlock proto era) result → result → String Source #
ShelleyCompatible proto era ⇒ ApplyBlock (LedgerState (ShelleyBlock proto era)) (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) → Except (LedgerErr (LedgerState (ShelleyBlock proto era))) (LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) → LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ DecodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) → Encoding Source #
Show (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) result → ShowS # show ∷ BlockQuery (ShelleyBlock proto era) result → String # showList ∷ [BlockQuery (ShelleyBlock proto era) result] → ShowS #
ShelleyCompatible proto era ⇒ Show (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → ShelleyBlock proto era → ShowS # show ∷ ShelleyBlock proto era → String # showList ∷ [ShelleyBlock proto era] → ShowS #
ShelleyCompatible proto era ⇒ EncCBOR (ShelleyBlock proto era) Source #
Instance details 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 #
Eq (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) result → Bool # (/=) ∷ BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) result → Bool #
ShelleyCompatible proto era ⇒ Eq (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods (==) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool # (/=) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool #
ShelleyCompatible proto era ⇒ ConvertRawHash (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details 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 #
Instance details 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 `HotIdentity` for what exactly we use for the issuer identity.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Associated Types type TentativeHeaderState (ShelleyBlock proto era) Source # type TentativeHeaderView (ShelleyBlock proto era) Source # 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Node Methods configAllSecurityParams ∷ TopLevelConfig (ShelleyBlock proto era) → NonEmpty SecurityParam Source #
ConfigSupportsNode (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type HardForkIndices (ShelleyBlock proto era) ∷ [Type] Source # Methods hardForkSummary ∷ LedgerConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) → Summary (HardForkIndices (ShelleyBlock proto era)) Source #
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era)) ⇒ NoHardForks (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods getEraParams ∷ TopLevelConfig (ShelleyBlock proto era) → EraParams Source # 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)) ⇒ SingleEraBlock (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods singleEraTransition ∷ PartialLedgerConfig (ShelleyBlock proto era) → EraParams → Bound → LedgerState (ShelleyBlock proto era) → Maybe EpochNo Source # singleEraInfo ∷ proxy (ShelleyBlock proto era) → SingleEraInfo (ShelleyBlock proto era) Source #
ShelleyCompatible proto era ⇒ CondenseConstraints (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Cardano.Condense
ShelleyCompatible proto era ⇒ HasPartialLedgerConfig (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type PartialLedgerConfig (ShelleyBlock proto era) Source # 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)) ⇒ SerialiseConstraintsHFC (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC
ShelleyCompatible proto era ⇒ BasicEnvelopeValidation (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type TipInfo (ShelleyBlock proto era) Source # 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type OtherHeaderEnvelopeError (ShelleyBlock proto era) Source # 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger
ShelleyCompatible proto era ⇒ CommonProtocolParams (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods maxHeaderSize ∷ LedgerState (ShelleyBlock proto era) → Word32 Source # maxTxSize ∷ LedgerState (ShelleyBlock proto era) → Word32 Source #
ShelleyBasedEra era ⇒ InspectLedger (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect Associated Types type LedgerWarning (ShelleyBlock proto era) Source # type LedgerUpdate (ShelleyBlock proto era) Source # Methods inspectLedger ∷ TopLevelConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) → [LedgerEvent (ShelleyBlock proto era)] Source #
(ShelleyCompatible proto era, ProtoCrypto proto ~ crypto) ⇒ BlockSupportsLedgerQuery (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods answerBlockQuery ∷ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) result → ExtLedgerState (ShelleyBlock proto era) → result Source #
ShelleyBasedEra era ⇒ HasTxs (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details 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) → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era), Validated (GenTx (ShelleyBlock proto era))) Source # reapplyTx ∷ LedgerConfig (ShelleyBlock proto era) → SlotNo → Validated (GenTx (ShelleyBlock proto era)) → TickedLedgerState (ShelleyBlock proto era) → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era)) Source # txForgetValidated ∷ Validated (GenTx (ShelleyBlock proto era)) → GenTx (ShelleyBlock proto era) Source #
ShelleyCompatible p (AllegraEra c) ⇒ TxLimits (ShelleyBlock p (AllegraEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (AllegraEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (AllegraEra c)) → TickedLedgerState (ShelleyBlock p (AllegraEra c)) → GenTx (ShelleyBlock p (AllegraEra c)) → Except (ApplyTxErr (ShelleyBlock p (AllegraEra c))) (TxMeasure (ShelleyBlock p (AllegraEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (AllegraEra c)) → TickedLedgerState (ShelleyBlock p (AllegraEra c)) → TxMeasure (ShelleyBlock p (AllegraEra c)) Source #
ShelleyCompatible p (AlonzoEra c) ⇒ TxLimits (ShelleyBlock p (AlonzoEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (AlonzoEra c)) → TickedLedgerState (ShelleyBlock p (AlonzoEra c)) → GenTx (ShelleyBlock p (AlonzoEra c)) → Except (ApplyTxErr (ShelleyBlock p (AlonzoEra c))) (TxMeasure (ShelleyBlock p (AlonzoEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (AlonzoEra c)) → TickedLedgerState (ShelleyBlock p (AlonzoEra c)) → TxMeasure (ShelleyBlock p (AlonzoEra c)) Source #
ShelleyCompatible p (BabbageEra c) ⇒ TxLimits (ShelleyBlock p (BabbageEra c)) Source #	We anachronistically use `ConwayMeasure` in Babbage.
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (BabbageEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (BabbageEra c)) → TickedLedgerState (ShelleyBlock p (BabbageEra c)) → GenTx (ShelleyBlock p (BabbageEra c)) → Except (ApplyTxErr (ShelleyBlock p (BabbageEra c))) (TxMeasure (ShelleyBlock p (BabbageEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (BabbageEra c)) → TickedLedgerState (ShelleyBlock p (BabbageEra c)) → TxMeasure (ShelleyBlock p (BabbageEra c)) Source #
ShelleyCompatible p (ConwayEra c) ⇒ TxLimits (ShelleyBlock p (ConwayEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (ConwayEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (ConwayEra c)) → TickedLedgerState (ShelleyBlock p (ConwayEra c)) → GenTx (ShelleyBlock p (ConwayEra c)) → Except (ApplyTxErr (ShelleyBlock p (ConwayEra c))) (TxMeasure (ShelleyBlock p (ConwayEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (ConwayEra c)) → TickedLedgerState (ShelleyBlock p (ConwayEra c)) → TxMeasure (ShelleyBlock p (ConwayEra c)) Source #
ShelleyCompatible p (MaryEra c) ⇒ TxLimits (ShelleyBlock p (MaryEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (MaryEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (MaryEra c)) → TickedLedgerState (ShelleyBlock p (MaryEra c)) → GenTx (ShelleyBlock p (MaryEra c)) → Except (ApplyTxErr (ShelleyBlock p (MaryEra c))) (TxMeasure (ShelleyBlock p (MaryEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (MaryEra c)) → TickedLedgerState (ShelleyBlock p (MaryEra c)) → TxMeasure (ShelleyBlock p (MaryEra c)) Source #
ShelleyCompatible p (ShelleyEra c) ⇒ TxLimits (ShelleyBlock p (ShelleyEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (ShelleyEra c)) → TickedLedgerState (ShelleyBlock p (ShelleyEra c)) → GenTx (ShelleyBlock p (ShelleyEra c)) → Except (ApplyTxErr (ShelleyBlock p (ShelleyEra c))) (TxMeasure (ShelleyBlock p (ShelleyEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (ShelleyEra c)) → TickedLedgerState (ShelleyBlock p (ShelleyEra c)) → TxMeasure (ShelleyBlock p (ShelleyEra c)) Source #
c ~ EraCrypto era ⇒ LedgerSupportsPeerSelection (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.PeerSelection Methods getPeers ∷ LedgerState (ShelleyBlock proto era) → [(PoolStake, NonEmpty StakePoolRelay)] Source #
(ShelleyCompatible (Praos crypto) era, ShelleyCompatible (TPraos crypto) era, crypto ~ EraCrypto era, TranslateProto (TPraos crypto) (Praos crypto)) ⇒ LedgerSupportsProtocol (ShelleyBlock (Praos crypto) era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol Methods protocolLedgerView ∷ LedgerConfig (ShelleyBlock (Praos crypto) era) → Ticked (LedgerState (ShelleyBlock (Praos crypto) era)) → LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era)) Source # ledgerViewForecastAt ∷ LedgerConfig (ShelleyBlock (Praos crypto) era) → LedgerState (ShelleyBlock (Praos crypto) era) → Forecast (LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era))) Source #
(ShelleyCompatible (TPraos crypto) era, crypto ~ EraCrypto era) ⇒ LedgerSupportsProtocol (ShelleyBlock (TPraos crypto) era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol Methods protocolLedgerView ∷ LedgerConfig (ShelleyBlock (TPraos crypto) era) → Ticked (LedgerState (ShelleyBlock (TPraos crypto) era)) → LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era)) Source # ledgerViewForecastAt ∷ LedgerConfig (ShelleyBlock (TPraos crypto) era) → LedgerState (ShelleyBlock (TPraos crypto) era) → Forecast (LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era))) Source #
ShelleyCompatible proto era ⇒ NodeInitStorage (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Associated Types type BlockNodeToNodeVersion (ShelleyBlock proto era) Source # type BlockNodeToClientVersion (ShelleyBlock proto era) Source #
SupportedNetworkProtocolVersion (ShelleyBlock proto era) Source #
Instance details 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)) ⇒ SupportedNetworkProtocolVersion (ShelleyBlockHFC proto era) Source #	Forward to the ShelleyBlock instance. Only supports `HardForkNodeToNodeDisabled`, which is compatible with nodes running with `ShelleyBlock`.
Instance details 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)) ⇒ RunNode (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node
ShelleyCompatible proto era ⇒ SerialiseNodeToClientConstraints (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation
ShelleyCompatible proto era ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods estimateBlockSize ∷ Header (ShelleyBlock proto era) → SizeInBytes Source #
ShelleyCompatible proto era ⇒ SerialiseDiskConstraints (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation
ShelleyCompatible proto era ⇒ HasBinaryBlockInfo (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods getBinaryBlockInfo ∷ ShelleyBlock proto era → BinaryBlockInfo Source #
ShelleyCompatible proto era ⇒ Condense (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense ∷ ShelleyBlock proto era → String Source #
SameDepIndex (NestedCtxt_ (ShelleyBlock proto era) f) Source #
Instance details 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) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) Source # 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)) Source #
(proto ~ BlockProtocol (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ IsShelleyBlock (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block
ShelleyCompatible proto era ⇒ HasHeader (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields ∷ ShelleyBlock proto era → HeaderFields (ShelleyBlock proto era) Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) SlotNo Source #
Instance details 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 #
ShelleyBasedEra era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ApplyTxError era) Source #	`ApplyTxErr` '(ShelleyBlock era)'
Instance details 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 ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) Source #	Uses CBOR-in-CBOR in the `To/FromCBOR` instances to get the annotation.
Instance details 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 #
Instance details 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 #
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #	CBOR-in-CBOR to be compatible with the wrapped (`Serialised`) variant.
Instance details 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 `To/FromCBOR` instances defined in `cardano-ledger` use CBOR-in-CBOR to get the annotation.
Instance details 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 #
Instance details 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
Instance details 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 ⇒ SerialiseResult (ShelleyBlock proto era) (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeResult ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) result → result → Encoding Source # decodeResult ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) result → ∀ s. Decoder s result Source #
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (AnnTip (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (AnnTip (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (LedgerState (ShelleyBlock proto era)) Source #
(ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) ⇒ DecodeDisk (ShelleyBlock proto era) (PraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (PraosState c) Source #
(ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) ⇒ DecodeDisk (ShelleyBlock proto era) (TPraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (TPraosState c) Source #
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → AnnTip (ShelleyBlock proto era) → Encoding Source #
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) → Encoding Source #
(ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) ⇒ EncodeDisk (ShelleyBlock proto era) (PraosState c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → PraosState c → Encoding Source #
(ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) ⇒ EncodeDisk (ShelleyBlock proto era) (TPraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → TPraosState c → Encoding Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ Type → Type) Source #
Instance details 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 (`Serialised`) variant.
Instance details 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 #	`Serialised` uses CBOR-in-CBOR by default.
Instance details 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 (`Serialised`) variant.
Instance details 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 #	`Serialised` uses CBOR-in-CBOR by default.
Instance details 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) (ByteString → Header (ShelleyBlock proto era)) Source #
Instance details 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 #
Instance details 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) (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (SomeSecond BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SomeSecond BlockQuery (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SomeSecond BlockQuery (ShelleyBlock proto era)) Source #
Show (NestedCtxt_ (ShelleyBlock proto era) f a) Source #
Instance details 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 #
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era)) ⇒ 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.
Instance details 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 HeaderHash (ShelleyBlock proto era ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type HeaderHash (ShelleyBlock proto era ∷ Type) = ShelleyHash (ProtoCrypto proto)
type TranslationError era (LedgerState :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (LedgerState :.: ShelleyBlock proto) = Void
type TranslationError era (GenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era WrapTx
type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto) = TranslationError era WrapTx
type Rep (BlockConfig (ShelleyBlock proto era)) Source #
Instance details 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.20.0.0-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 (EraCrypto era)) (VKey 'BlockIssuer (EraCrypto era)))) :: S1 ('MetaSel ('Just "shelleyVRFTiebreakerFlavor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VRFTiebreakerFlavor)))))
type Rep (CodecConfig (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (CodecConfig (ShelleyBlock proto era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Header (ShelleyBlock proto era)) Source #
Instance details 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.20.0.0-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 (ProtoCrypto proto)))))
type Rep (StorageConfig (ShelleyBlock proto era)) Source #
Instance details 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.20.0.0-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 #
Instance details 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.20.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx era)))))
type Rep (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep (LedgerState (ShelleyBlock proto era)) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.20.0.0-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))))
type Rep (GenTx (ShelleyBlock proto era)) Source #
Instance details 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.20.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era))))
type Rep (Ticked (LedgerState (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep (Ticked (LedgerState (ShelleyBlock proto era))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.20.0.0-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)))))
type HardForkTxMeasure (CardanoEras c) Source #
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure
data Validated (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data Validated (GenTx (ShelleyBlock proto era)) = ShelleyValidatedTx !(TxId (EraCrypto era)) !(Validated (Tx era))
type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerEvent era
type LedgerCfg (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerCfg (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerConfig era
type LedgerErr (LedgerState (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerErr (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerError era
newtype TxId (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool newtype TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId (TxId (EraCrypto era))
type Signed (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol type Signed (Header (ShelleyBlock proto era)) = Signed (ShelleyProtocolHeader proto)
data Ticked (LedgerState (ShelleyBlock proto era)) Source #	Ticking only affects the state itself
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data Ticked (LedgerState (ShelleyBlock proto era)) = TickedShelleyLedgerState { untickedShelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era)) tickedShelleyLedgerTransition ∷ !ShelleyTransition tickedShelleyLedgerState ∷ !(NewEpochState era) }
data BlockConfig (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data BlockConfig (ShelleyBlock proto era) = ShelleyConfig { shelleyProtocolVersion ∷ !ProtVer shelleySystemStart ∷ !SystemStart shelleyNetworkMagic ∷ !NetworkMagic shelleyBlockIssuerVKeys ∷ !(Map (KeyHash 'BlockIssuer (EraCrypto era)) (VKey 'BlockIssuer (EraCrypto era))) shelleyVRFTiebreakerFlavor ∷ !VRFTiebreakerFlavor }
type BlockProtocol (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol type BlockProtocol (ShelleyBlock proto era) = proto
data CodecConfig (ShelleyBlock proto era) Source #	No particular codec configuration is needed for Shelley
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data CodecConfig (ShelleyBlock proto era) = ShelleyCodecConfig
data Header (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data Header (ShelleyBlock proto era) = ShelleyHeader { shelleyHeaderRaw ∷ !(ShelleyProtocolHeader proto) shelleyHeaderHash ∷ !(ShelleyHash (ProtoCrypto proto)) }
data StorageConfig (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data StorageConfig (ShelleyBlock proto era) = ShelleyStorageConfig { shelleyStorageConfigSlotsPerKESPeriod ∷ !Word64 shelleyStorageConfigSecurityParam ∷ !SecurityParam }
type CannotForge (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common type CannotForge (ShelleyBlock proto era) = CannotForgeError proto
type ForgeStateInfo (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common type ForgeStateInfo (ShelleyBlock proto era) = KESInfo
type ForgeStateUpdateError (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common type ForgeStateUpdateError (ShelleyBlock proto era) = KESEvolutionError
data NestedCtxt_ (ShelleyBlock proto era) f a Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data NestedCtxt_ (ShelleyBlock proto era) f a where CtxtShelley ∷ ∀ proto era (f ∷ Type → Type). NestedCtxt_ (ShelleyBlock proto era) f (f (ShelleyBlock proto era))
type TentativeHeaderState (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining type TentativeHeaderState (ShelleyBlock proto era) = ShelleyTentativeHeaderState proto
type TentativeHeaderView (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining type TentativeHeaderView (ShelleyBlock proto era) = ShelleyTentativeHeaderView proto
type HardForkIndices (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type HardForkIndices (ShelleyBlock proto era) = '[ShelleyBlock proto era]
type PartialLedgerConfig (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type PartialLedgerConfig (ShelleyBlock proto era) = ShelleyPartialLedgerConfig era
type OtherHeaderEnvelopeError (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type OtherHeaderEnvelopeError (ShelleyBlock proto era) = EnvelopeCheckError proto
type TipInfo (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TipInfo (ShelleyBlock proto era) = HeaderHash (ShelleyBlock proto era)
data LedgerState (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data LedgerState (ShelleyBlock proto era) = ShelleyLedgerState { shelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era)) shelleyLedgerState ∷ !(NewEpochState era) shelleyLedgerTransition ∷ !ShelleyTransition }
type LedgerUpdate (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect type LedgerUpdate (ShelleyBlock proto era) = ShelleyLedgerUpdate era
type LedgerWarning (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect type LedgerWarning (ShelleyBlock proto era) = Void
data BlockQuery (ShelleyBlock proto era) a Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query data BlockQuery (ShelleyBlock proto era) a where GetLedgerTip ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (Point (ShelleyBlock proto era)) GetEpochNo ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) EpochNo GetNonMyopicMemberRewards ∷ ∀ era proto. Set (Either Coin (Credential 'Staking (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (NonMyopicMemberRewards (EraCrypto era)) GetCurrentPParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (PParams era) GetProposedPParamsUpdates ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (ProposedPPUpdates era) GetStakeDistribution ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (PoolDistr (EraCrypto era)) GetUTxOByAddress ∷ ∀ era proto. Set (Addr (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (UTxO era) GetUTxOWhole ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (UTxO era) DebugEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (EpochState era) GetCBOR ∷ ∀ proto era result. BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) (Serialised result) GetFilteredDelegationsAndRewardAccounts ∷ ∀ era proto. Set (Credential 'Staking (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Delegations (EraCrypto era), RewardAccounts (EraCrypto era)) GetGenesisConfig ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (CompactGenesis (EraCrypto era)) DebugNewEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (NewEpochState era) DebugChainDepState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (ChainDepState proto) GetRewardProvenance ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (RewardProvenance (EraCrypto era)) GetUTxOByTxIn ∷ ∀ era proto. Set (TxIn (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (UTxO era) GetStakePools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (Set (KeyHash 'StakePool (EraCrypto era))) GetStakePoolParams ∷ ∀ era proto. Set (KeyHash 'StakePool (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) GetRewardInfoPools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (RewardParams, Map (KeyHash 'StakePool (EraCrypto era)) RewardInfoPool) GetPoolState ∷ ∀ era proto. Maybe (Set (KeyHash 'StakePool (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (PState era) GetStakeSnapshots ∷ ∀ era proto. Maybe (Set (KeyHash 'StakePool (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (StakeSnapshots (EraCrypto era)) GetPoolDistr ∷ ∀ era proto. Maybe (Set (KeyHash 'StakePool (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (PoolDistr (EraCrypto era)) GetStakeDelegDeposits ∷ ∀ era proto. Set (StakeCredential (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (StakeCredential (EraCrypto era)) Coin) GetConstitution ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) (Constitution era) GetGovState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (GovState era) GetDRepState ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'DRepRole (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) GetDRepStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set (DRep (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (DRep (EraCrypto era)) Coin) GetCommitteeMembersState ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'ColdCommitteeRole (EraCrypto era)) → Set (Credential 'HotCommitteeRole (EraCrypto era)) → Set MemberStatus → BlockQuery (ShelleyBlock proto era) (CommitteeMembersState (EraCrypto era)) GetFilteredVoteDelegatees ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'Staking (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era))) GetAccountState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) AccountState GetSPOStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set (KeyHash 'StakePool (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (KeyHash 'StakePool (EraCrypto era)) Coin) GetProposals ∷ ∀ era proto. ConwayEraGov era ⇒ Set (GovActionId (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Seq (GovActionState era)) GetRatifyState ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) (RatifyState era) GetFuturePParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (Maybe (PParams era)) GetBigLedgerPeerSnapshot ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) LedgerPeerSnapshot
type ApplyTxErr (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type ApplyTxErr (ShelleyBlock proto era) = ApplyTxError era
data GenTx (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data GenTx (ShelleyBlock proto era) = ShelleyTx !(TxId (EraCrypto era)) !(Tx era)
type TxMeasure (ShelleyBlock p (AllegraEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (AllegraEra c)) = IgnoringOverflow ByteSize32
type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (AlonzoEra c)) = AlonzoMeasure
type TxMeasure (ShelleyBlock p (BabbageEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (BabbageEra c)) = ConwayMeasure
type TxMeasure (ShelleyBlock p (ConwayEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (ConwayEra c)) = ConwayMeasure
type TxMeasure (ShelleyBlock p (MaryEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (MaryEra c)) = IgnoringOverflow ByteSize32
type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (ShelleyEra c)) = IgnoringOverflow ByteSize32
type BlockNodeToClientVersion (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion type BlockNodeToClientVersion (ShelleyBlock proto era) = ShelleyNodeToClientVersion
type BlockNodeToNodeVersion (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion type BlockNodeToNodeVersion (ShelleyBlock proto era) = ShelleyNodeToNodeVersion
type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) = f (ShelleyBlock proto era)

type family ShelleyBlockLedgerEra blk where ... Source #

Equations

ShelleyBlockLedgerEra (ShelleyBlock proto era) = era

newtype ShelleyHash crypto Source #

Constructors

ShelleyHash
Fields unShelleyHash ∷ Hash crypto EraIndependentBlockHeader

Instances

Instances details

Generic (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Associated Types type Rep (ShelleyHash crypto) ∷ Type → Type # Methods from ∷ ShelleyHash crypto → Rep (ShelleyHash crypto) x # to ∷ Rep (ShelleyHash crypto) x → ShelleyHash crypto #
Show (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods showsPrec ∷ Int → ShelleyHash crypto → ShowS # show ∷ ShelleyHash crypto → String # showList ∷ [ShelleyHash crypto] → ShowS #
Crypto crypto ⇒ FromCBOR (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods fromCBOR ∷ Decoder s (ShelleyHash crypto) Source # label ∷ Proxy (ShelleyHash crypto) → Text Source #
Crypto crypto ⇒ ToCBOR (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods toCBOR ∷ ShelleyHash crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyHash crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyHash crypto] → Size Source #
Eq (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods (==) ∷ ShelleyHash crypto → ShelleyHash crypto → Bool # (/=) ∷ ShelleyHash crypto → ShelleyHash crypto → Bool #
Ord (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods compare ∷ ShelleyHash crypto → ShelleyHash crypto → Ordering # (<) ∷ ShelleyHash crypto → ShelleyHash crypto → Bool # (<=) ∷ ShelleyHash crypto → ShelleyHash crypto → Bool # (>) ∷ ShelleyHash crypto → ShelleyHash crypto → Bool # (>=) ∷ ShelleyHash crypto → ShelleyHash crypto → Bool # max ∷ ShelleyHash crypto → ShelleyHash crypto → ShelleyHash crypto # min ∷ ShelleyHash crypto → ShelleyHash crypto → ShelleyHash crypto #
NoThunks (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods noThunks ∷ Context → ShelleyHash crypto → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyHash crypto → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyHash crypto) → String Source #
Condense (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods condense ∷ ShelleyHash crypto → String Source #
Crypto crypto ⇒ Serialise (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods encode ∷ ShelleyHash crypto → Encoding Source # decode ∷ Decoder s (ShelleyHash crypto) Source # encodeList ∷ [ShelleyHash crypto] → Encoding Source # decodeList ∷ Decoder s [ShelleyHash crypto] Source #
type Rep (ShelleyHash crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract type Rep (ShelleyHash crypto) = D1 ('MetaData "ShelleyHash" "Ouroboros.Consensus.Shelley.Protocol.Abstract" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash crypto 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 (EraCrypto era), SignedHeader (ShelleyProtocolHeader proto), DecodeDisk (ShelleyBlock proto era) (ChainDepState proto), EncodeDisk (ShelleyBlock proto era) (ChainDepState proto), EraCrypto era ~ ProtoCrypto proto, HasPartialConsensusConfig proto, DecCBOR (PState era), FromCBOR (LegacyPParams era), ToCBOR (LegacyPParams era)) ⇒ ShelleyCompatible proto era Source #

Instances

Instances details

PraosCrypto c ⇒ ShelleyCompatible (Praos c) (BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
PraosCrypto c ⇒ ShelleyCompatible (Praos c) (ConwayEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AllegraEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AlonzoEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) (BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) (ConwayEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (MaryEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (ShelleyEra c) Source #
Instance details 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 ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → ShelleyBlock proto era) Source #

decodeShelleyHeader ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source #

encodeShelleyBlock ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ShelleyBlock proto era → Encoding Source #

encodeShelleyHeader ∷ ∀ proto era. ShelleyCompatible proto era ⇒ Header (ShelleyBlock proto era) → Encoding Source #

shelleyBinaryBlockInfo ∷ ∀ proto era. ShelleyCompatible proto era ⇒ ShelleyBlock proto era → BinaryBlockInfo Source #

Conversion

fromShelleyPrevHash ∷ EraCrypto era ~ ProtoCrypto proto ⇒ PrevHash (EraCrypto era) → ChainHash (ShelleyBlock proto era) Source #

From cardano-ledger-specs to ouroboros-consensus

toShelleyPrevHash ∷ EraCrypto era ~ ProtoCrypto proto ⇒ ChainHash (Header (ShelleyBlock proto era)) → PrevHash (EraCrypto era) Source #

From ouroboros-consensus to cardano-ledger-specs

Inject Header
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → Header x → Header (HardForkBlock xs) Source #
HasNestedContent Header ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods unnest ∷ Header ByronBlock → DepPair (NestedCtxt Header ByronBlock) Source # nest ∷ DepPair (NestedCtxt Header ByronBlock) → Header ByronBlock Source #
ReconstructNestedCtxt Header ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods reconstructPrefixLen ∷ proxy (Header ByronBlock) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header ByronBlock) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) ByronBlock Source #
SerialiseNodeToNode ByronBlock (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → Header ByronBlock → Encoding Source # decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (Header ByronBlock) Source #
HasHeader blk ⇒ StandardHash (Header blk ∷ Type)
Instance details Defined in Ouroboros.Consensus.Block.Abstract
ShowProxy (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showProxy ∷ Proxy (Header ByronBlock) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (Header (ShelleyBlock proto era) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showProxy ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #
ShelleyBasedEra era ⇒ ReconstructNestedCtxt Header (ShelleyBlock proto era) Source #
Instance details 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 #
Generic (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep (Header ByronBlock) ∷ Type → Type # Methods from ∷ Header ByronBlock → Rep (Header ByronBlock) x # to ∷ Rep (Header ByronBlock) x → Header ByronBlock #
Generic (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type Rep (Header (ShelleyBlock proto era)) ∷ Type → Type # Methods from ∷ Header (ShelleyBlock proto era) → Rep (Header (ShelleyBlock proto era)) x # to ∷ Rep (Header (ShelleyBlock proto era)) x → Header (ShelleyBlock proto era) #
Show (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec ∷ Int → Header ByronBlock → ShowS # show ∷ Header ByronBlock → String # showList ∷ [Header ByronBlock] → ShowS #
ShelleyCompatible proto era ⇒ Show (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → Header (ShelleyBlock proto era) → ShowS # show ∷ Header (ShelleyBlock proto era) → String # showList ∷ [Header (ShelleyBlock proto era)] → ShowS #
ShelleyCompatible proto era ⇒ DecCBOR (Annotator (Header (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods decCBOR ∷ Decoder s (Annotator (Header (ShelleyBlock proto era))) Source # dropCBOR ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Decoder s () Source # label ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Text Source #
ShelleyCompatible proto era ⇒ EncCBOR (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods encCBOR ∷ Header (ShelleyBlock proto era) → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Header (ShelleyBlock proto era)) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Header (ShelleyBlock proto era)] → Size Source #
Eq (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) ∷ Header ByronBlock → Header ByronBlock → Bool # (/=) ∷ Header ByronBlock → Header ByronBlock → Bool #
ShelleyCompatible proto era ⇒ Eq (Header (ShelleyBlock proto era)) Source #
Instance details 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 #
NoThunks (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods noThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header ByronBlock) → String Source #
ShelleyCompatible proto era ⇒ NoThunks (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods noThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #
SignedHeader (ShelleyProtocolHeader proto) ⇒ SignedHeader (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol Methods headerSigned ∷ Header (ShelleyBlock proto era) → Signed (Header (ShelleyBlock proto era)) Source #
Condense (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods condense ∷ Header ByronBlock → String Source #
ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense ∷ Header (ShelleyBlock proto era) → String Source #
HasHeader (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields ∷ Header ByronBlock → HeaderFields (Header ByronBlock) Source #
ShelleyCompatible proto era ⇒ HasHeader (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields ∷ Header (ShelleyBlock proto era) → HeaderFields (Header (ShelleyBlock proto era)) Source #
DecodeDiskDep (NestedCtxt Header) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDiskDep ∷ CodecConfig ByronBlock → NestedCtxt Header ByronBlock a → ∀ s. Decoder s (ByteString → a) Source #
DecodeDiskDepIx (NestedCtxt Header) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDiskDepIx ∷ CodecConfig ByronBlock → Decoder s (SomeSecond (NestedCtxt Header) ByronBlock) Source #
EncodeDiskDep (NestedCtxt Header) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDiskDep ∷ CodecConfig ByronBlock → NestedCtxt Header ByronBlock a → a → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDiskDepIx ∷ CodecConfig ByronBlock → SomeSecond (NestedCtxt Header) ByronBlock → Encoding Source #
ShelleyCompatible proto era ⇒ DecodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) → Encoding Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #	CBOR-in-CBOR to be compatible with the wrapped (`Serialised`) variant.
Instance details 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 ⇒ EncodeDisk (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source #
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source #
data Header ByronBlock Source #	Byron header See `ByronBlock` for comments on why we cache certain values.
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block data Header ByronBlock = ByronHeader { byronHeaderRaw ∷ !(ABlockOrBoundaryHdr ByteString) byronHeaderSlotNo ∷ !SlotNo byronHeaderHash ∷ !ByronHash byronHeaderBlockSizeHint ∷ !SizeInBytes }
type HeaderHash (Header blk ∷ Type)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk ∷ Type) = HeaderHash blk
type Rep (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes))))
type Rep (Header (ShelleyBlock proto era)) Source #
Instance details 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.20.0.0-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 (ProtoCrypto proto)))))
type BlockProtocol (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DisableDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningHeader (Header blk)
newtype Header (SelectViewDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk)
newtype Header (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
type Signed (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol type Signed (Header (ShelleyBlock proto era)) = Signed (ShelleyProtocolHeader proto)
data Header (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data Header (ShelleyBlock proto era) = ShelleyHeader { shelleyHeaderRaw ∷ !(ShelleyProtocolHeader proto) shelleyHeaderHash ∷ !(ShelleyHash (ProtoCrypto proto)) }