Documentation

Associated Types

type TranslationError era (GenTx :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era WrapTx

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

Associated Types

type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto) = TranslationError era WrapTx

Methods

translateEra ∷ TranslationContext era → (WrapValidatedGenTx :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto)) ((WrapValidatedGenTx :.: ShelleyBlock proto) era) Source #

(ShelleyBasedEra era, ShelleyBasedEra (PreviousEra era), TranslateEra era (ShelleyTip proto), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, CanMapMK mk, CanMapKeysMK mk) ⇒ TranslateEra era (Flip LedgerState mk :.: ShelleyBlock proto) Source #

Instance details

Associated Types

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void

Methods

translateEra ∷ TranslationContext era → (Flip LedgerState mk :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto)) ((Flip LedgerState mk :.: ShelleyBlock proto) era) Source #

ShelleyCompatible proto era ⇒ FromCBOR (GenTx (ShelleyBlock proto era)) Source #

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 #

(Typeable era, Typeable proto, Crypto (ProtoCrypto 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 #

(Typeable era, Typeable proto, Crypto (ProtoCrypto 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 #

Generic (BlockConfig (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (BlockConfig (ShelleyBlock proto era))

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.25.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) (VKey 'BlockIssuer))) :*: S1 ('MetaSel ('Just "shelleyVRFTiebreakerFlavor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VRFTiebreakerFlavor)))))

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))
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.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ 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))

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.25.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)))

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))

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.25.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)))

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)))

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.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx era)))))

Methods

from ∷ Validated (GenTx (ShelleyBlock proto era)) → Rep (Validated (GenTx (ShelleyBlock proto era))) x #

to ∷ Rep (Validated (GenTx (ShelleyBlock proto era))) x → Validated (GenTx (ShelleyBlock proto era)) #

Generic (GenTx (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type Rep (GenTx (ShelleyBlock proto era))

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.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era))))

Methods

from ∷ GenTx (ShelleyBlock proto era) → Rep (GenTx (ShelleyBlock proto era)) x #

to ∷ Rep (GenTx (ShelleyBlock proto era)) x → GenTx (ShelleyBlock proto era) #

ShelleyBasedEra era ⇒ Show (BlockConfig (ShelleyBlock proto era)) Source #

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 #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Show (CanonicalTxIn '[ShelleyBlock proto era]) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn '[ShelleyBlock proto era] → ShowS #

show ∷ CanonicalTxIn '[ShelleyBlock proto era] → String #

showList ∷ [CanonicalTxIn '[ShelleyBlock proto era]] → ShowS #

ShelleyBasedEra era ⇒ Show (Validated (GenTx (ShelleyBlock proto era))) Source #

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 (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 ⇒ 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 #

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Eq (CanonicalTxIn '[ShelleyBlock proto era]) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(/=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

ShelleyBasedEra era ⇒ Eq (Validated (GenTx (ShelleyBlock proto era))) Source #

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 (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 (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

Ord (CanonicalTxIn '[ShelleyBlock proto era]) Source #

Instance details

Methods

compare ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Ordering #

(<) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(<=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(>) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(>=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

max ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] #

min ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] #

Ord (TxId (GenTx (ShelleyBlock proto era))) Source #

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)) #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source #

MemPack (CanonicalTxIn '[ShelleyBlock proto era]) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn '[ShelleyBlock proto era] → Int Source #

packM ∷ CanonicalTxIn '[ShelleyBlock proto era] → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn '[ShelleyBlock proto era]) Source #

ShelleyBasedEra era ⇒ NoThunks (BlockConfig (ShelleyBlock proto era)) Source #

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 #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

NoThunks (CanonicalTxIn '[ShelleyBlock proto era]) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn '[ShelleyBlock proto era] → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn '[ShelleyBlock proto era] → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn '[ShelleyBlock proto era]) → String Source #

ShelleyBasedEra era ⇒ NoThunks (Validated (GenTx (ShelleyBlock proto era))) Source #

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 (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 #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

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 ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.QueryHF

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source #

CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source #

Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk.

We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era.

Byron does not provide such an envelope. However, a Byron block is a CBOR 2-tuple with the first element being a tag (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 ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Point (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))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerErr (LedgerState (ShelleyBlock proto era)) = BlockTransitionError era
type AuxLedgerEvent (LedgerState (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerEvent era

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → SlotNo → LedgerState (ShelleyBlock proto era) EmptyMK → LedgerResult (LedgerState (ShelleyBlock proto era)) (Ticked (LedgerState (ShelleyBlock proto era)) DiffMK) Source #

ShelleyBasedEra era ⇒ ConvertRawTxId (GenTx (ShelleyBlock proto era)) Source #

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 #

ShelleyBasedEra era ⇒ CanStowLedgerTables (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables ∷ LedgerState (ShelleyBlock proto era) ValuesMK → LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (ShelleyBlock proto era) EmptyMK → LedgerState (ShelleyBlock proto era) ValuesMK Source #

ShelleyBasedEra era ⇒ HasLedgerTables (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (ShelleyBlock proto era) mk → LedgerTables (LedgerState (ShelleyBlock proto era)) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (ShelleyBlock proto era) any → LedgerTables (LedgerState (ShelleyBlock proto era)) mk → LedgerState (ShelleyBlock proto era) mk Source #

CardanoHardForkConstraints c ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

ShelleyCompatible proto era ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock '[ShelleyBlock proto era])) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK) → LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock '[ShelleyBlock proto era])) ValuesMK) Source #

ShelleyCompatible proto era ⇒ SerializeTablesWithHint (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK) → LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK) → Decoder s (LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK) Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

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 #

CanUpgradeLedgerTables (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK → LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK Source #

ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era)) Source #

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 #

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 ⇒ ApplyBlock (LedgerState (ShelleyBlock proto era)) (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → Except (LedgerErr (LedgerState (ShelleyBlock proto era))) (LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → Except (LedgerErr (LedgerState (ShelleyBlock proto era))) (LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (ShelleyBlock proto era)) → ShelleyBlock proto era → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → LedgerResult (LedgerState (ShelleyBlock proto era)) (LedgerState (ShelleyBlock proto era) DiffMK) Source #

getBlockKeySets ∷ ShelleyBlock proto era → LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK Source #

ShelleyCompatible proto era ⇒ DecodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source #

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 ⇒ 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 #

Generic (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (LedgerState (ShelleyBlock proto era) mk)

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.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) :*: S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (LedgerState (ShelleyBlock proto era)) mk)))))

Methods

from ∷ LedgerState (ShelleyBlock proto era) mk → Rep (LedgerState (ShelleyBlock proto era) mk) x #

to ∷ Rep (LedgerState (ShelleyBlock proto era) mk) x → LedgerState (ShelleyBlock proto era) mk #

(ShelleyBasedEra era, ShowMK mk) ⇒ Show (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

showsPrec ∷ Int → LedgerState (ShelleyBlock proto era) mk → ShowS #

show ∷ LedgerState (ShelleyBlock proto era) mk → String #

showList ∷ [LedgerState (ShelleyBlock proto era) mk] → ShowS #

ShelleyCompatible proto era ⇒ Show (ShelleyBlock proto era) Source #

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 #

(ShelleyBasedEra era, EqMK mk) ⇒ Eq (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

(==) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool #

(/=) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool #

ShelleyCompatible proto era ⇒ Eq (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

(==) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool #

(/=) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool #

(ShelleyBasedEra era, NoThunksMK mk) ⇒ NoThunks (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

noThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (ShelleyBlock proto era) mk) → String Source #

ShelleyCompatible proto era ⇒ ConvertRawHash (ShelleyBlock proto era) Source #

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)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining type TentativeHeaderState (ShelleyBlock proto era) = ShelleyTentativeHeaderState proto
type TentativeHeaderView (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining type TentativeHeaderView (ShelleyBlock proto era) = ShelleyTentativeHeaderView proto

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

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)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type HardForkIndices (ShelleyBlock proto era) = '[ShelleyBlock proto era]

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) mk → Summary (HardForkIndices (ShelleyBlock proto era)) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era)) ⇒ ImmutableEraParams (ShelleyBlock proto era) Source #

Instance details

Methods

immutableEraParams ∷ TopLevelConfig (ShelleyBlock proto era) → EraParams Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ NoHardForks (ShelleyBlock proto era) Source #

Instance details

Methods

toPartialLedgerConfig ∷ proxy (ShelleyBlock proto era) → LedgerConfig (ShelleyBlock proto era) → PartialLedgerConfig (ShelleyBlock proto era) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SingleEraBlock (ShelleyBlock proto era) Source #

Instance details

Methods

singleEraTransition ∷ ∀ (mk ∷ MapKind). PartialLedgerConfig (ShelleyBlock proto era) → EraParams → Bound → LedgerState (ShelleyBlock proto era) mk → Maybe EpochNo Source #

singleEraInfo ∷ proxy (ShelleyBlock proto era) → SingleEraInfo (ShelleyBlock proto era) Source #

ShelleyCompatible proto era ⇒ CondenseConstraints (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

ShelleyCompatible proto era ⇒ HasPartialLedgerConfig (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type PartialLedgerConfig (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type PartialLedgerConfig (ShelleyBlock proto era) = ShelleyPartialLedgerConfig era

Methods

completeLedgerConfig ∷ proxy (ShelleyBlock proto era) → EpochInfo (Except PastHorizonException) → PartialLedgerConfig (ShelleyBlock proto era) → LedgerConfig (ShelleyBlock proto era) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SerialiseConstraintsHFC (ShelleyBlock proto era) Source #

Instance details

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)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TipInfo (ShelleyBlock proto era) = HeaderHash (ShelleyBlock proto era)

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)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type OtherHeaderEnvelopeError (ShelleyBlock proto era) = EnvelopeCheckError proto

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

GetTip (Ticked (LedgerState (ShelleyBlock proto era))) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (ShelleyBlock proto era)) mk → Point (Ticked (LedgerState (ShelleyBlock proto era))) Source #

ShelleyCompatible proto era ⇒ CommonProtocolParams (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

maxHeaderSize ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Word32 Source #

maxTxSize ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Word32 Source #

ShelleyBasedEra era ⇒ InspectLedger (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

Associated Types

type LedgerWarning (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect type LedgerWarning (ShelleyBlock proto era) = Void
type LedgerUpdate (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect type LedgerUpdate (ShelleyBlock proto era) = ShelleyLedgerUpdate era

Methods

inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → [LedgerEvent (ShelleyBlock proto era)] Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), ProtoCrypto proto ~ crypto, Crypto crypto) ⇒ BlockSupportsLedgerQuery (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

answerPureBlockQuery ∷ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFNoTables result → ExtLedgerState (ShelleyBlock proto era) EmptyMK → result Source #

answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFLookupTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source #

answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source #

blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery (ShelleyBlock proto era) fp result → BlockNodeToClientVersion (ShelleyBlock proto era) → Bool Source #

ShelleyBasedEra era ⇒ HasTxs (ShelleyBlock proto era) Source #

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) ValuesMK → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era) DiffMK, Validated (GenTx (ShelleyBlock proto era))) Source #

reapplyTx ∷ ComputeDiffs → LedgerConfig (ShelleyBlock proto era) → SlotNo → Validated (GenTx (ShelleyBlock proto era)) → TickedLedgerState (ShelleyBlock proto era) ValuesMK → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era) TrackingMK) Source #

reapplyTxs ∷ ComputeDiffs → LedgerConfig (ShelleyBlock proto era) → SlotNo → [(Validated (GenTx (ShelleyBlock proto era)), extra)] → TickedLedgerState (ShelleyBlock proto era) ValuesMK → ReapplyTxsResult extra (ShelleyBlock proto era) Source #

txForgetValidated ∷ Validated (GenTx (ShelleyBlock proto era)) → GenTx (ShelleyBlock proto era) Source #

getTransactionKeySets ∷ GenTx (ShelleyBlock proto era) → LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) DiffMK Source #

applyMempoolDiffs ∷ LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK → LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK → TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) ValuesMK Source #

ShelleyCompatible p AllegraEra ⇒ TxLimits (ShelleyBlock p AllegraEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p AllegraEra) = IgnoringOverflow ByteSize32

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) ValuesMK → GenTx (ShelleyBlock p AllegraEra) → Except (ApplyTxErr (ShelleyBlock p AllegraEra)) (TxMeasure (ShelleyBlock p AllegraEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) mk → TxMeasure (ShelleyBlock p AllegraEra) Source #

ShelleyCompatible p AlonzoEra ⇒ TxLimits (ShelleyBlock p AlonzoEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p AlonzoEra) = AlonzoMeasure

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) ValuesMK → GenTx (ShelleyBlock p AlonzoEra) → Except (ApplyTxErr (ShelleyBlock p AlonzoEra)) (TxMeasure (ShelleyBlock p AlonzoEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) mk → TxMeasure (ShelleyBlock p AlonzoEra) Source #

ShelleyCompatible p BabbageEra ⇒ TxLimits (ShelleyBlock p BabbageEra) Source #

We anachronistically use ConwayMeasure in Babbage.

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p BabbageEra) = ConwayMeasure

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) ValuesMK → GenTx (ShelleyBlock p BabbageEra) → Except (ApplyTxErr (ShelleyBlock p BabbageEra)) (TxMeasure (ShelleyBlock p BabbageEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) mk → TxMeasure (ShelleyBlock p BabbageEra) Source #

ShelleyCompatible p ConwayEra ⇒ TxLimits (ShelleyBlock p ConwayEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p ConwayEra) = ConwayMeasure

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) ValuesMK → GenTx (ShelleyBlock p ConwayEra) → Except (ApplyTxErr (ShelleyBlock p ConwayEra)) (TxMeasure (ShelleyBlock p ConwayEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) mk → TxMeasure (ShelleyBlock p ConwayEra) Source #

ShelleyCompatible p MaryEra ⇒ TxLimits (ShelleyBlock p MaryEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p MaryEra) = IgnoringOverflow ByteSize32

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) ValuesMK → GenTx (ShelleyBlock p MaryEra) → Except (ApplyTxErr (ShelleyBlock p MaryEra)) (TxMeasure (ShelleyBlock p MaryEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) mk → TxMeasure (ShelleyBlock p MaryEra) Source #

ShelleyCompatible p ShelleyEra ⇒ TxLimits (ShelleyBlock p ShelleyEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p ShelleyEra) = IgnoringOverflow ByteSize32

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) ValuesMK → GenTx (ShelleyBlock p ShelleyEra) → Except (ApplyTxErr (ShelleyBlock p ShelleyEra)) (TxMeasure (ShelleyBlock p ShelleyEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) mk → TxMeasure (ShelleyBlock p ShelleyEra) Source #

EraCertState era ⇒ LedgerSupportsPeerSelection (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.PeerSelection

Methods

getPeers ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → [(PoolStake, NonEmpty StakePoolRelay)] Source #

(ShelleyCompatible (Praos crypto) era, ShelleyCompatible (TPraos crypto) era) ⇒ LedgerSupportsProtocol (ShelleyBlock (Praos crypto) era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (Praos crypto) era) → Ticked (LedgerState (ShelleyBlock (Praos crypto) era)) mk → LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (Praos crypto) era) → LedgerState (ShelleyBlock (Praos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era))) Source #

ShelleyCompatible (TPraos crypto) era ⇒ LedgerSupportsProtocol (ShelleyBlock (TPraos crypto) era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (TPraos crypto) era) → Ticked (LedgerState (ShelleyBlock (TPraos crypto) era)) mk → LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (TPraos crypto) era) → LedgerState (ShelleyBlock (TPraos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era))) Source #

ShelleyBasedEra era ⇒ CanStowLedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables ∷ Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK → Ticked (LedgerState (ShelleyBlock proto era)) EmptyMK Source #

unstowLedgerTables ∷ Ticked (LedgerState (ShelleyBlock proto era)) EmptyMK → Ticked (LedgerState (ShelleyBlock proto era)) ValuesMK Source #

ShelleyBasedEra era ⇒ HasLedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (ShelleyBlock proto era)) mk → LedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (ShelleyBlock proto era)) any → LedgerTables (Ticked (LedgerState (ShelleyBlock proto era))) mk → Ticked (LedgerState (ShelleyBlock proto era)) mk Source #

ShelleyCompatible proto era ⇒ NodeInitStorage (ShelleyBlock proto era) Source #

Instance details

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)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion type BlockNodeToNodeVersion (ShelleyBlock proto era) = ShelleyNodeToNodeVersion
type BlockNodeToClientVersion (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion type BlockNodeToClientVersion (ShelleyBlock proto era) = ShelleyNodeToClientVersion

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), Crypto (ProtoCrypto proto)) ⇒ SupportedNetworkProtocolVersion (ShelleyBlockHFC proto era) Source #

Forward to the ShelleyBlock instance. Only supports HardForkNodeToNodeDisabled, which is compatible with nodes running with ShelleyBlock.

Instance details

Methods

supportedNodeToNodeVersions ∷ Proxy (ShelleyBlockHFC proto era) → Map NodeToNodeVersion (BlockNodeToNodeVersion (ShelleyBlockHFC proto era)) Source #

supportedNodeToClientVersions ∷ Proxy (ShelleyBlockHFC proto era) → Map NodeToClientVersion (BlockNodeToClientVersion (ShelleyBlockHFC proto era)) Source #

latestReleasedNodeVersion ∷ Proxy (ShelleyBlockHFC proto era) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), BlockSupportsSanityCheck (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), SerialiseNodeToClientConstraints (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ RunNode (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node

(NoHardForks (ShelleyBlock proto era), 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 #

(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 ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era) fp) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showResult ∷ BlockQuery (ShelleyBlock proto era) fp result → result → String Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) SlotNo Source #

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 #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) PraosState Source #

ChainDepState (BlockProtocol (ShelleyBlock era))

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s PraosState Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) TPraosState Source #

ChainDepState (BlockProtocol (ShelleyBlock era))

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s TPraosState Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) PraosState Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → PraosState → Encoding Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) TPraosState Source #

ChainDepState (BlockProtocol (ShelleyBlock era))

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → TPraosState → Encoding Source #

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack (LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK) txout Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → Unpack b txout Source #

indexedTypeName ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → String Source #

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack (LedgerState (ShelleyBlock proto era) EmptyMK) txout Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

indexedPackedByteCount ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (ShelleyBlock proto era) EmptyMK → Unpack b txout Source #

indexedTypeName ∷ LedgerState (ShelleyBlock proto era) EmptyMK → String Source #

ShelleyBasedEra era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ApplyTxError era) Source #

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, LedgerSupportsProtocol (ShelleyBlock proto era)) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SomeBlockQuery (BlockQuery (ShelleyBlock proto era)) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) Source #

Uses CBOR-in-CBOR in the 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 #

(NoHardForks (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyLedgerConfig era) Source #

This instance uses the invariant that the EpochInfo in a ShelleyLedgerConfig is fixed i.e. has a constant EpochSize and SlotLength. This is not true in the case of the HFC in a ShelleyPartialLedgerConfig, but that is handled correctly in the respective SerialiseNodeToClient instance for ShelleyPartialLedgerConfig.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyLedgerConfig era → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyLedgerConfig era) Source #

ShelleyBasedEra era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyPartialLedgerConfig era) Source #

This instance uses the invariant that the EpochInfo in a ShelleyPartialLedgerConfig is always just a dummy value.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyPartialLedgerConfig era → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyPartialLedgerConfig era) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #

CBOR-in-CBOR to be compatible with the wrapped (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 ⇒ 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 ⇒ 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 #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source #

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) (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → Header (ShelleyBlock proto era)) Source #

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) (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) EmptyMK → Encoding Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source #

Generic (Ticked (LedgerState (ShelleyBlock proto era)) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk)

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.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)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (LedgerState (ShelleyBlock proto era)) mk)))))

Methods

from ∷ Ticked (LedgerState (ShelleyBlock proto era)) mk → Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) x #

to ∷ Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) x → Ticked (LedgerState (ShelleyBlock proto era)) mk #

Show (NestedCtxt_ (ShelleyBlock proto era) f a) Source #

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 #

Show (BlockQuery (ShelleyBlock proto era) fp result) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) fp result → ShowS #

show ∷ BlockQuery (ShelleyBlock proto era) fp result → String #

showList ∷ [BlockQuery (ShelleyBlock proto era) fp result] → ShowS #

Eq (BlockQuery (ShelleyBlock proto era) fp result) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

(==) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool #

(/=) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool #

(ShelleyCompatible proto era, ShelleyBasedEra era) ⇒ HasCanonicalTxIn '[ShelleyBlock proto era] Source #

Instance details

Associated Types

newtype CanonicalTxIn '[ShelleyBlock proto era]
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC newtype CanonicalTxIn '[ShelleyBlock proto era] = ShelleyBlockHFCTxIn { getShelleyBlockHFCTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index '[ShelleyBlock proto era] x → TxIn (LedgerState x) → CanonicalTxIn '[ShelleyBlock proto era] Source #

ejectCanonicalTxIn ∷ Index '[ShelleyBlock proto era] x → CanonicalTxIn '[ShelleyBlock proto era] → TxIn (LedgerState x) Source #

ShelleyCompatible proto era ⇒ HasHardForkTxOut '[ShelleyBlock proto era] Source #

Instance details

Associated Types

type HardForkTxOut '[ShelleyBlock proto era]
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type HardForkTxOut '[ShelleyBlock proto era] = TxOut era

Methods

injectHardForkTxOut ∷ Index '[ShelleyBlock proto era] x → TxOut (LedgerState x) → HardForkTxOut '[ShelleyBlock proto era] Source #

ejectHardForkTxOut ∷ Index '[ShelleyBlock proto era] x → HardForkTxOut '[ShelleyBlock proto era] → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut '[ShelleyBlock proto era]) ∷ Type → Type) -.-> WrapTxOut) '[ShelleyBlock proto era] Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) '[ShelleyBlock proto era] Source #

(ShelleyCompatible proto era, ShelleyBasedEra era, TxOut (LedgerState (ShelleyBlock proto era)) ~ TxOut era, HasHardForkTxOut '[ShelleyBlock proto era]) ⇒ BlockSupportsHFLedgerQuery '[ShelleyBlock proto era] Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock '[ShelleyBlock proto era], Monad m) ⇒ Index '[ShelleyBlock proto era] x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock '[ShelleyBlock proto era]) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock '[ShelleyBlock proto era], Monad m) ⇒ Index '[ShelleyBlock proto era] x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock '[ShelleyBlock proto era]) → m result Source #

queryLedgerGetTraversingFilter ∷ Index '[ShelleyBlock proto era] x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock '[ShelleyBlock proto era])) → Bool Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SerialiseHFC '[ShelleyBlock proto era] Source #

Use the default implementations. This means the serialisation of blocks includes an era wrapper. Each block should do this from the start to be prepared for future hard forks without having to do any bit twiddling.

Instance details

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ShelleyBlock proto era]) → HardForkBlock '[ShelleyBlock proto era] → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ShelleyBlock proto era]) → ∀ s. Decoder s (ByteString → HardForkBlock '[ShelleyBlock proto era]) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock '[ShelleyBlock proto era])) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock '[ShelleyBlock proto era])) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock '[ShelleyBlock proto era]) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock '[ShelleyBlock proto era] → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock '[ShelleyBlock proto era]) → SizeInBytes Source #

type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) = f (ShelleyBlock proto era)

type HeaderHash (ShelleyBlock proto era ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type HeaderHash (ShelleyBlock proto era ∷ Type) = ShelleyHash

type TranslationError era (GenTx :.: ShelleyBlock proto) Source #

Instance details

type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era WrapTx

type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto) Source #

Instance details

type TranslationError era (WrapValidatedGenTx :.: ShelleyBlock proto) = TranslationError era WrapTx

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) Source #

Instance details

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void

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.25.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) (VKey 'BlockIssuer))) :*: 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.25.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.25.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)))

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.25.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.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx era)))))

type Rep (GenTx (ShelleyBlock proto era)) Source #

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.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era))))

type HardForkTxMeasure (CardanoEras c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

data Validated (GenTx (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data Validated (GenTx (ShelleyBlock proto era)) = ShelleyValidatedTx !TxId !(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)) = BlockTransitionError 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

type TxIn (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type TxIn (LedgerState (ShelleyBlock proto era)) = TxIn

type TxOut (LedgerState (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type TxOut (LedgerState (ShelleyBlock proto era)) = TxOut 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)

type Rep (LedgerState (ShelleyBlock proto era) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.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) :*: S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (LedgerState (ShelleyBlock proto era)) mk)))))

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) (VKey 'BlockIssuer))
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 #

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

type CannotForge (ShelleyBlock proto era) = CannotForgeError proto

type ForgeStateInfo (ShelleyBlock proto era) Source #

Instance details

type ForgeStateInfo (ShelleyBlock proto era) = KESInfo

type ForgeStateUpdateError (ShelleyBlock proto era) Source #

Instance details

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.Ledger.Ledger

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) mk Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data LedgerState (ShelleyBlock proto era) mk = ShelleyLedgerState {

shelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era))
shelleyLedgerState ∷ !(NewEpochState era)
shelleyLedgerTransition ∷ !ShelleyTransition
shelleyLedgerTables ∷ !(LedgerTables (LedgerState (ShelleyBlock proto era)) mk)

}

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) fp result Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

data BlockQuery (ShelleyBlock proto era) fp result where

GetLedgerTip ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Point (ShelleyBlock proto era))
GetEpochNo ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables EpochNo
GetNonMyopicMemberRewards ∷ ∀ proto era. Set (Either Coin (Credential 'Staking)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables NonMyopicMemberRewards
GetCurrentPParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (PParams era)
GetProposedPParamsUpdates ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (ProposedPPUpdates era)
GetStakeDistribution ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (PoolDistr (ProtoCrypto proto))
GetUTxOByAddress ∷ ∀ proto era. Set Addr → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables (UTxO era)
GetUTxOWhole ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFTraverseTables (UTxO era)
DebugEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (EpochState era)
GetCBOR ∷ ∀ proto era (fp ∷ QueryFootprint) result1. BlockQuery (ShelleyBlock proto era) fp result1 → BlockQuery (ShelleyBlock proto era) fp (Serialised result1)
GetFilteredDelegationsAndRewardAccounts ∷ ∀ proto era. Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Delegations, Map (Credential 'Staking) Coin)
GetGenesisConfig ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables CompactGenesis
DebugNewEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (NewEpochState era)
DebugChainDepState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (ChainDepState proto)
GetRewardProvenance ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables RewardProvenance
GetUTxOByTxIn ∷ ∀ proto era. Set TxIn → BlockQuery (ShelleyBlock proto era) 'QFLookupTables (UTxO era)
GetStakePools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Set (KeyHash 'StakePool))
GetStakePoolParams ∷ ∀ proto era. Set (KeyHash 'StakePool) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (KeyHash 'StakePool) PoolParams)
GetRewardInfoPools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (RewardParams, Map (KeyHash 'StakePool) RewardInfoPool)
GetPoolState ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (PState era)
GetStakeSnapshots ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables StakeSnapshots
GetPoolDistr ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (PoolDistr (ProtoCrypto proto))
GetStakeDelegDeposits ∷ ∀ proto era. Set StakeCredential → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map StakeCredential Coin)
GetConstitution ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) 'QFNoTables (Constitution era)
GetGovState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (GovState era)
GetDRepState ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'DRepRole) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'DRepRole) DRepState)
GetDRepStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set DRep → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map DRep Coin)
GetCommitteeMembersState ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'ColdCommitteeRole) → Set (Credential 'HotCommitteeRole) → Set MemberStatus → BlockQuery (ShelleyBlock proto era) 'QFNoTables CommitteeMembersState
GetFilteredVoteDelegatees ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'Staking) DRep)
GetAccountState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables AccountState
GetSPOStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set (KeyHash 'StakePool) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (KeyHash 'StakePool) Coin)
GetProposals ∷ ∀ era proto. ConwayEraGov era ⇒ Set GovActionId → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Seq (GovActionState era))
GetRatifyState ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) 'QFNoTables (RatifyState era)
GetFuturePParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Maybe (PParams era))
GetBigLedgerPeerSnapshot ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables LedgerPeerSnapshot
QueryStakePoolDefaultVote ∷ ∀ era proto. ConwayEraGov era ⇒ KeyHash 'StakePool → BlockQuery (ShelleyBlock proto era) 'QFNoTables DefaultVote

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 !(Tx era)

type TxMeasure (ShelleyBlock p AllegraEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p AllegraEra) = IgnoringOverflow ByteSize32

type TxMeasure (ShelleyBlock p AlonzoEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p AlonzoEra) = AlonzoMeasure

type TxMeasure (ShelleyBlock p BabbageEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p BabbageEra) = ConwayMeasure

type TxMeasure (ShelleyBlock p ConwayEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p ConwayEra) = ConwayMeasure

type TxMeasure (ShelleyBlock p MaryEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p MaryEra) = IgnoringOverflow ByteSize32

type TxMeasure (ShelleyBlock p ShelleyEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p ShelleyEra) = 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

data Ticked (LedgerState (ShelleyBlock proto era) ∷ MapKind → Type) (mk ∷ MapKind) Source #

Ticking only affects the state itself

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data Ticked (LedgerState (ShelleyBlock proto era) ∷ MapKind → Type) (mk ∷ MapKind) = TickedShelleyLedgerState {

untickedShelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era))
tickedShelleyLedgerTransition ∷ !ShelleyTransition
tickedShelleyLedgerState ∷ !(NewEpochState era)
tickedShelleyLedgerTables ∷ !(LedgerTables (LedgerState (ShelleyBlock proto era)) mk)

}

type Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked (LedgerState (ShelleyBlock proto era)) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.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)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (LedgerState (ShelleyBlock proto era)) mk)))))

newtype CanonicalTxIn '[ShelleyBlock proto era] Source #

Instance details

newtype CanonicalTxIn '[ShelleyBlock proto era] = ShelleyBlockHFCTxIn {

getShelleyBlockHFCTxIn ∷ TxIn

}

type HardForkTxOut '[ShelleyBlock proto era] Source #

Instance details