Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Ledger.Mempool

Contents

Exported for tests
Orphan instances

Description

Shelley mempool integration

TODO nearly all of the logic in this module belongs in cardano-ledger, not ouroboros-consensus; ouroboros-consensus-cardano should just be "glue code".

Synopsis

data family GenTx blk
newtype ApplyTxError era = ApplyTxError (NonEmpty (PredicateFailure (EraRule "LEDGER" era)))
data family TxId tx
data family Validated x
fixedBlockBodyOverhead ∷ Num a ⇒ a
mkShelleyTx ∷ ∀ era proto. ShelleyBasedEra era ⇒ Tx era → GenTx (ShelleyBlock proto era)
mkShelleyValidatedTx ∷ ∀ era proto. ShelleyBasedEra era ⇒ Validated (Tx era) → Validated (GenTx (ShelleyBlock proto era))
perTxOverhead ∷ Num a ⇒ a
data AlonzoMeasure = AlonzoMeasure {
- byteSize ∷ !(IgnoringOverflow ByteSize32)
- exUnits ∷ !(ExUnits' Natural)
}
data ConwayMeasure = ConwayMeasure {
- alonzoMeasure ∷ !AlonzoMeasure
- refScriptsSize ∷ !(IgnoringOverflow ByteSize32)
}
fromExUnits ∷ ExUnits → ExUnits' Natural

Documentation

data family GenTx blk Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

Inject GenTx
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → GenTx x → GenTx (HardForkBlock xs) Source #
SerialiseNodeToClient ByronBlock (GenTx ByronBlock) Source #	No CBOR-in-CBOR, because we check for canonical encodings, which means we can use the recomputed encoding for the annotation.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → GenTx ByronBlock → Encoding Source # decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (GenTx ByronBlock) Source #
SerialiseNodeToClient ByronBlock (GenTxId ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → GenTxId ByronBlock → Encoding Source # decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (GenTxId ByronBlock) Source #
SerialiseNodeToNode ByronBlock (GenTx ByronBlock) Source #	No CBOR-in-CBOR, because we check for canonical encodings, which means we can use the recomputed encoding for the annotation.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → GenTx ByronBlock → Encoding Source # decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (GenTx ByronBlock) Source #
SerialiseNodeToNode ByronBlock (GenTxId ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → GenTxId ByronBlock → Encoding Source # decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (GenTxId ByronBlock) Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (Validated (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (Validated (GenTx (ShelleyBlock proto era))) → String Source #
ShowProxy (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showProxy ∷ Proxy (GenTx ByronBlock) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (GenTx (ShelleyBlock proto era) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (GenTx (ShelleyBlock proto era)) → String Source #
ShowProxy (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showProxy ∷ Proxy (TxId (GenTx ByronBlock)) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (TxId (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String Source #
(ShelleyBasedEra era, TranslateEra era WrapTx) ⇒ TranslateEra era (GenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era (GenTx :.: ShelleyBlock proto) Source # Methods translateEra ∷ TranslationContext era → (GenTx :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (GenTx :.: ShelleyBlock proto)) ((GenTx :.: ShelleyBlock proto) era) Source #
Generic (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type Rep (Validated (GenTx ByronBlock)) ∷ Type → Type # Methods from ∷ Validated (GenTx ByronBlock) → Rep (Validated (GenTx ByronBlock)) x # to ∷ Rep (Validated (GenTx ByronBlock)) x → Validated (GenTx ByronBlock) #
Generic (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep (Validated (GenTx (ShelleyBlock proto era))) ∷ Type → Type # Methods from ∷ Validated (GenTx (ShelleyBlock proto era)) → Rep (Validated (GenTx (ShelleyBlock proto era))) x # to ∷ Rep (Validated (GenTx (ShelleyBlock proto era))) x → Validated (GenTx (ShelleyBlock proto era)) #
Generic (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type Rep (GenTx ByronBlock) ∷ Type → Type # Methods from ∷ GenTx ByronBlock → Rep (GenTx ByronBlock) x # to ∷ Rep (GenTx ByronBlock) x → GenTx ByronBlock #
Generic (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep (GenTx (ShelleyBlock proto era)) ∷ Type → Type # Methods from ∷ GenTx (ShelleyBlock proto era) → Rep (GenTx (ShelleyBlock proto era)) x # to ∷ Rep (GenTx (ShelleyBlock proto era)) x → GenTx (ShelleyBlock proto era) #
Show (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec ∷ Int → Validated (GenTx ByronBlock) → ShowS # show ∷ Validated (GenTx ByronBlock) → String # showList ∷ [Validated (GenTx ByronBlock)] → 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 #
Show (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec ∷ Int → GenTx ByronBlock → ShowS # show ∷ GenTx ByronBlock → String # showList ∷ [GenTx ByronBlock] → 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 ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec ∷ Int → GenTxId ByronBlock → ShowS # show ∷ GenTxId ByronBlock → String # showList ∷ [GenTxId ByronBlock] → ShowS #
Show (GenTxId (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec ∷ Int → GenTxId (ShelleyBlock proto era) → ShowS # show ∷ GenTxId (ShelleyBlock proto era) → String # showList ∷ [GenTxId (ShelleyBlock proto era)] → ShowS #
ShelleyCompatible proto era ⇒ FromCBOR (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods fromCBOR ∷ Decoder s (GenTx (ShelleyBlock proto era)) Source # label ∷ Proxy (GenTx (ShelleyBlock proto era)) → Text Source #
ShelleyCompatible proto era ⇒ ToCBOR (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods toCBOR ∷ GenTx (ShelleyBlock proto era) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (GenTx (ShelleyBlock proto era)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenTx (ShelleyBlock proto era)] → Size Source #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ DecCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods decCBOR ∷ Decoder s (TxId (GenTx (ShelleyBlock proto era))) Source # dropCBOR ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Decoder s () Source # label ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Text Source #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ EncCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods encCBOR ∷ TxId (GenTx (ShelleyBlock proto era)) → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxId (GenTx (ShelleyBlock proto era))) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxId (GenTx (ShelleyBlock proto era))] → Size Source #
Eq (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → Bool # (/=) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → 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 #
Eq (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) ∷ GenTx ByronBlock → GenTx ByronBlock → Bool # (/=) ∷ GenTx ByronBlock → GenTx ByronBlock → 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 ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (/=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #
Eq (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (/=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #
Ord (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods compare ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Ordering # (<) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (<=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (>) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (>=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # max ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) # min ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) #
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)) #
NoThunks (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks ∷ Context → Validated (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx ByronBlock)) → 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 #
NoThunks (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks ∷ Context → GenTx ByronBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx ByronBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx ByronBlock) → 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 ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks ∷ Context → TxId (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx ByronBlock)) → 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 #
ConvertRawTxId (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods toRawTxIdHash ∷ TxId (GenTx ByronBlock) → ShortByteString 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 #
HasTxId (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods txId ∷ GenTx ByronBlock → TxId (GenTx ByronBlock) 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 #
Condense (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods condense ∷ GenTx ByronBlock → 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 ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods condense ∷ GenTxId ByronBlock → 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 ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) Source #	Uses CBOR-in-CBOR in the `To/FromCBOR` instances to get the annotation.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTx (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → GenTxId (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTxId (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (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 #
data GenTx ByronBlock Source #	Generalized transactions in Byron This is effectively the same as `AMempoolPayload` but we cache the transaction ID (a hash).
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data GenTx ByronBlock = ByronTx !TxId !(ATxAux ByteString) \| ByronDlg !CertificateId !(ACertificate ByteString) \| ByronUpdateProposal !UpId !(AProposal ByteString) \| ByronUpdateVote !VoteId !(AVote ByteString)
type TranslationError era (GenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era WrapTx
type Rep (Validated (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.21.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))
type Rep (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep (Validated (GenTx (ShelleyBlock proto era))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx era)))))
type Rep (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.21.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))
type Rep (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep (GenTx ByronBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) ((C1 ('MetaCons "ByronTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ATxAux ByteString))) :+: C1 ('MetaCons "ByronDlg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CertificateId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ACertificate ByteString)))) :+: (C1 ('MetaCons "ByronUpdateProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AProposal ByteString))) :+: C1 ('MetaCons "ByronUpdateVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VoteId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AVote ByteString)))))
type Rep (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep (GenTx (ShelleyBlock proto era)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era))))
type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.21.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype Validated (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
newtype Validated (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool newtype Validated (GenTx ByronBlock) = ValidatedByronTx { forgetValidatedByronTx ∷ GenTx ByronBlock }
data Validated (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data Validated (GenTx (ShelleyBlock proto era)) = ShelleyValidatedTx !(TxId (EraCrypto era)) !(Validated (Tx era))
newtype GenTx (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
data TxId (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data TxId (GenTx ByronBlock) = ByronTxId !TxId \| ByronDlgId !CertificateId \| ByronUpdateProposalId !UpId \| ByronUpdateVoteId !VoteId
newtype TxId (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool newtype TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId (TxId (EraCrypto era))
data GenTx (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data GenTx (ShelleyBlock proto era) = ShelleyTx !(TxId (EraCrypto era)) !(Tx era)

newtype ApplyTxError era Source #

Constructors

ApplyTxError (NonEmpty (PredicateFailure (EraRule "LEDGER" era)))

Instances

Instances details

Typeable era ⇒ ShowProxy (ApplyTxError era ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (ApplyTxError era) → String Source #
Show (PredicateFailure (EraRule "LEDGER" era)) ⇒ Show (ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods showsPrec ∷ Int → ApplyTxError era → ShowS # show ∷ ApplyTxError era → String # showList ∷ [ApplyTxError era] → ShowS #
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ FromCBOR (ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods fromCBOR ∷ Decoder s (ApplyTxError era) Source # label ∷ Proxy (ApplyTxError era) → Text Source #
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ ToCBOR (ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods toCBOR ∷ ApplyTxError era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ApplyTxError era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ApplyTxError era] → Size Source #
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ DecCBOR (ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods decCBOR ∷ Decoder s (ApplyTxError era) Source # dropCBOR ∷ Proxy (ApplyTxError era) → Decoder s () Source # label ∷ Proxy (ApplyTxError era) → Text Source #
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ EncCBOR (ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods encCBOR ∷ ApplyTxError era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ApplyTxError era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ApplyTxError era] → Size Source #
Eq (PredicateFailure (EraRule "LEDGER" era)) ⇒ Eq (ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods (==) ∷ ApplyTxError era → ApplyTxError era → Bool # (/=) ∷ ApplyTxError era → ApplyTxError era → Bool #
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 #

data family TxId tx Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

SerialiseNodeToClient ByronBlock (GenTxId ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → GenTxId ByronBlock → Encoding Source # decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (GenTxId ByronBlock) Source #
SerialiseNodeToNode ByronBlock (GenTxId ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → GenTxId ByronBlock → Encoding Source # decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (GenTxId ByronBlock) Source #
ShowProxy (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showProxy ∷ Proxy (TxId (GenTx ByronBlock)) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (TxId (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String Source #
Show (GenTxId ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec ∷ Int → GenTxId ByronBlock → ShowS # show ∷ GenTxId ByronBlock → String # showList ∷ [GenTxId ByronBlock] → 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 #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ DecCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods decCBOR ∷ Decoder s (TxId (GenTx (ShelleyBlock proto era))) Source # dropCBOR ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Decoder s () Source # label ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Text Source #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ EncCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods encCBOR ∷ TxId (GenTx (ShelleyBlock proto era)) → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxId (GenTx (ShelleyBlock proto era))) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxId (GenTx (ShelleyBlock proto era))] → Size Source #
Eq (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (/=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #
Eq (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (/=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #
Ord (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods compare ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Ordering # (<) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (<=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (>) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # (>=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool # max ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) # min ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) #
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)) #
NoThunks (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks ∷ Context → TxId (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx ByronBlock)) → 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 #
Condense (GenTxId ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods condense ∷ GenTxId ByronBlock → 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 ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → GenTxId (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTxId (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (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 #
type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.21.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
data TxId (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data TxId (GenTx ByronBlock) = ByronTxId !TxId \| ByronDlgId !CertificateId \| ByronUpdateProposalId !UpId \| ByronUpdateVoteId !VoteId
newtype TxId (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool newtype TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId (TxId (EraCrypto era))

data family Validated x Source #

" Validated " transaction or block

The ledger defines how to validate transactions and blocks. It's possible the type before and after validation may be distinct (eg Alonzo transactions), which originally motivated this family.

We also gain the related benefit that certain interface functions, such as those that reapply blocks, can have a more precise type now. TODO

Similarly, the Node-to-Client mini protocols can explicitly indicate that the client trusts the blocks from the local server, by having the server send Validated blocks to the client. TODO

Note that validation has different implications for a transaction than for a block. In particular, a validated transaction can be " reapplied " to different ledger states, whereas a validated block must only be " reapplied " to the exact same ledger state (eg as part of rebuilding from an on-disk ledger snapshot).

Since the ledger defines validation, see the ledger details for concrete examples of what determines the validity (wrt to a LedgerState) of a transaction and/or block. Example properties include: a transaction's claimed inputs exist and are still unspent, a block carries a sufficient cryptographic signature, etc.

Instances

Instances details

(Typeable era, Typeable proto) ⇒ ShowProxy (Validated (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy ∷ Proxy (Validated (GenTx (ShelleyBlock proto era))) → String Source #
Generic (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type Rep (Validated (GenTx ByronBlock)) ∷ Type → Type # Methods from ∷ Validated (GenTx ByronBlock) → Rep (Validated (GenTx ByronBlock)) x # to ∷ Rep (Validated (GenTx ByronBlock)) x → Validated (GenTx ByronBlock) #
Generic (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep (Validated (GenTx (ShelleyBlock proto era))) ∷ Type → Type # Methods from ∷ Validated (GenTx (ShelleyBlock proto era)) → Rep (Validated (GenTx (ShelleyBlock proto era))) x # to ∷ Rep (Validated (GenTx (ShelleyBlock proto era))) x → Validated (GenTx (ShelleyBlock proto era)) #
Show (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec ∷ Int → Validated (GenTx ByronBlock) → ShowS # show ∷ Validated (GenTx ByronBlock) → String # showList ∷ [Validated (GenTx ByronBlock)] → 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 #
Eq (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → Bool # (/=) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → 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 #
NoThunks (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks ∷ Context → Validated (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx ByronBlock)) → 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 #
type Rep (Validated (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.21.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (Validated (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))
type Rep (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep (Validated (GenTx (ShelleyBlock proto era))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx era)))))
newtype Validated (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
newtype Validated (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool newtype Validated (GenTx ByronBlock) = ValidatedByronTx { forgetValidatedByronTx ∷ GenTx ByronBlock }
data Validated (GenTx (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data Validated (GenTx (ShelleyBlock proto era)) = ShelleyValidatedTx !(TxId (EraCrypto era)) !(Validated (Tx era))

fixedBlockBodyOverhead ∷ Num a ⇒ a Source #

txInBlockSize is used to estimate how many transactions we can grab from the Mempool to put into the block we are going to forge without exceeding the maximum block body size according to the ledger. If we exceed that limit, we will have forged a block that is invalid according to the ledger. We ourselves won't even adopt it, causing us to lose our slot, something we must try to avoid.

For this reason it is better to overestimate the size of a transaction than to underestimate. The only downside is that we maybe could have put one (or more?) transactions extra in that block.

As the sum of the serialised transaction sizes is not equal to the size of the serialised block body (TxSeq) consisting of those transactions (see cardano-node#1545 for an example), we account for some extra overhead per transaction as a safety margin.

Also see perTxOverhead.

mkShelleyTx ∷ ∀ era proto. ShelleyBasedEra era ⇒ Tx era → GenTx (ShelleyBlock proto era) Source #

mkShelleyValidatedTx ∷ ∀ era proto. ShelleyBasedEra era ⇒ Validated (Tx era) → Validated (GenTx (ShelleyBlock proto era)) Source #

perTxOverhead ∷ Num a ⇒ a Source #

See fixedBlockBodyOverhead.

Exported for tests

data AlonzoMeasure Source #

Constructors

AlonzoMeasure
Fields byteSize ∷ !(IgnoringOverflow ByteSize32) exUnits ∷ !(ExUnits' Natural)

Instances

Instances details

Generic AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep AlonzoMeasure ∷ Type → Type # Methods from ∷ AlonzoMeasure → Rep AlonzoMeasure x # to ∷ Rep AlonzoMeasure x → AlonzoMeasure #
Show AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec ∷ Int → AlonzoMeasure → ShowS # show ∷ AlonzoMeasure → String # showList ∷ [AlonzoMeasure] → ShowS #
Eq AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) ∷ AlonzoMeasure → AlonzoMeasure → Bool # (/=) ∷ AlonzoMeasure → AlonzoMeasure → Bool #
Measure AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods zero ∷ AlonzoMeasure Source # plus ∷ AlonzoMeasure → AlonzoMeasure → AlonzoMeasure Source # min ∷ AlonzoMeasure → AlonzoMeasure → AlonzoMeasure Source # max ∷ AlonzoMeasure → AlonzoMeasure → AlonzoMeasure Source #
NoThunks AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks ∷ Context → AlonzoMeasure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoMeasure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AlonzoMeasure → String Source #
HasByteSize AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods txMeasureByteSize ∷ AlonzoMeasure → ByteSize32 Source #
type Rep AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep AlonzoMeasure = D1 ('MetaData "AlonzoMeasure" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoMeasure" 'PrefixI 'True) (S1 ('MetaSel ('Just "byteSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IgnoringOverflow ByteSize32)) :*: S1 ('MetaSel ('Just "exUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExUnits' Natural))))

data ConwayMeasure Source #

Constructors

ConwayMeasure
Fields alonzoMeasure ∷ !AlonzoMeasure refScriptsSize ∷ !(IgnoringOverflow ByteSize32)

Instances

Instances details

Generic ConwayMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep ConwayMeasure ∷ Type → Type # Methods from ∷ ConwayMeasure → Rep ConwayMeasure x # to ∷ Rep ConwayMeasure x → ConwayMeasure #
Show ConwayMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec ∷ Int → ConwayMeasure → ShowS # show ∷ ConwayMeasure → String # showList ∷ [ConwayMeasure] → ShowS #
Eq ConwayMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) ∷ ConwayMeasure → ConwayMeasure → Bool # (/=) ∷ ConwayMeasure → ConwayMeasure → Bool #
Measure ConwayMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods zero ∷ ConwayMeasure Source # plus ∷ ConwayMeasure → ConwayMeasure → ConwayMeasure Source # min ∷ ConwayMeasure → ConwayMeasure → ConwayMeasure Source # max ∷ ConwayMeasure → ConwayMeasure → ConwayMeasure Source #
NoThunks ConwayMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks ∷ Context → ConwayMeasure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayMeasure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ConwayMeasure → String Source #
HasByteSize ConwayMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods txMeasureByteSize ∷ ConwayMeasure → ByteSize32 Source #
type Rep ConwayMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep ConwayMeasure = D1 ('MetaData "ConwayMeasure" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayMeasure" 'PrefixI 'True) (S1 ('MetaSel ('Just "alonzoMeasure") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoMeasure) :*: S1 ('MetaSel ('Just "refScriptsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IgnoringOverflow ByteSize32))))

fromExUnits ∷ ExUnits → ExUnits' Natural Source #

Orphan instances

Typeable era ⇒ ShowProxy (ApplyTxError era ∷ Type) Source #
Instance details Methods showProxy ∷ Proxy (ApplyTxError era) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (Validated (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Methods showProxy ∷ Proxy (Validated (GenTx (ShelleyBlock proto era))) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (GenTx (ShelleyBlock proto era) ∷ Type) Source #
Instance details Methods showProxy ∷ Proxy (GenTx (ShelleyBlock proto era)) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (TxId (GenTx (ShelleyBlock proto era)) ∷ Type) Source #
Instance details Methods showProxy ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String Source #
Generic (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details Associated Types type Rep (Validated (GenTx (ShelleyBlock proto era))) ∷ Type → Type # Methods from ∷ Validated (GenTx (ShelleyBlock proto era)) → Rep (Validated (GenTx (ShelleyBlock proto era))) x # to ∷ Rep (Validated (GenTx (ShelleyBlock proto era))) x → Validated (GenTx (ShelleyBlock proto era)) #
Generic (GenTx (ShelleyBlock proto era)) Source #
Instance details Associated Types type Rep (GenTx (ShelleyBlock proto era)) ∷ Type → Type # Methods from ∷ GenTx (ShelleyBlock proto era) → Rep (GenTx (ShelleyBlock proto era)) x # to ∷ Rep (GenTx (ShelleyBlock proto era)) x → GenTx (ShelleyBlock proto era) #
ShelleyBasedEra era ⇒ Show (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details 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 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 Methods showsPrec ∷ Int → GenTxId (ShelleyBlock proto era) → ShowS # show ∷ GenTxId (ShelleyBlock proto era) → String # showList ∷ [GenTxId (ShelleyBlock proto era)] → ShowS #
ShelleyCompatible proto era ⇒ FromCBOR (GenTx (ShelleyBlock proto era)) Source #
Instance details 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 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 #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ DecCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details 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 #
(Crypto (EraCrypto era), Typeable era, Typeable proto) ⇒ EncCBOR (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details 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 #
ShelleyBasedEra era ⇒ Eq (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details 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 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 Methods (==) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (/=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #
Ord (TxId (GenTx (ShelleyBlock proto era))) Source #
Instance details Methods compare ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Ordering # (<) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (<=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (>) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # (>=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool # max ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) # min ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) #
ShelleyBasedEra era ⇒ NoThunks (Validated (GenTx (ShelleyBlock proto era))) Source #
Instance details 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 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 Methods noThunks ∷ Context → TxId (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String Source #
ShelleyBasedEra era ⇒ ConvertRawTxId (GenTx (ShelleyBlock proto era)) Source #
Instance details Methods toRawTxIdHash ∷ TxId (GenTx (ShelleyBlock proto era)) → ShortByteString Source #
ShelleyBasedEra era ⇒ HasTxId (GenTx (ShelleyBlock proto era)) Source #
Instance details Methods txId ∷ GenTx (ShelleyBlock proto era) → TxId (GenTx (ShelleyBlock proto era)) Source #
ShelleyBasedEra era ⇒ Condense (GenTx (ShelleyBlock proto era)) Source #
Instance details Methods condense ∷ GenTx (ShelleyBlock proto era) → String Source #
Condense (GenTxId (ShelleyBlock proto era)) Source #
Instance details Methods condense ∷ GenTxId (ShelleyBlock proto era) → String Source #
ShelleyBasedEra era ⇒ HasTxs (ShelleyBlock proto era) Source #
Instance details Methods extractTxs ∷ ShelleyBlock proto era → [GenTx (ShelleyBlock proto era)] Source #
(ShelleyCompatible proto era, TxLimits (ShelleyBlock proto era)) ⇒ LedgerSupportsMempool (ShelleyBlock proto era) Source #
Instance details Methods txInvariant ∷ GenTx (ShelleyBlock proto era) → Bool Source # applyTx ∷ LedgerConfig (ShelleyBlock proto era) → WhetherToIntervene → SlotNo → GenTx (ShelleyBlock proto era) → TickedLedgerState (ShelleyBlock proto era) → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era), Validated (GenTx (ShelleyBlock proto era))) Source # reapplyTx ∷ LedgerConfig (ShelleyBlock proto era) → SlotNo → Validated (GenTx (ShelleyBlock proto era)) → TickedLedgerState (ShelleyBlock proto era) → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era)) Source # txForgetValidated ∷ Validated (GenTx (ShelleyBlock proto era)) → GenTx (ShelleyBlock proto era) Source #
ShelleyCompatible p (AllegraEra c) ⇒ TxLimits (ShelleyBlock p (AllegraEra c)) Source #
Instance details Associated Types type TxMeasure (ShelleyBlock p (AllegraEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (AllegraEra c)) → TickedLedgerState (ShelleyBlock p (AllegraEra c)) → GenTx (ShelleyBlock p (AllegraEra c)) → Except (ApplyTxErr (ShelleyBlock p (AllegraEra c))) (TxMeasure (ShelleyBlock p (AllegraEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (AllegraEra c)) → TickedLedgerState (ShelleyBlock p (AllegraEra c)) → TxMeasure (ShelleyBlock p (AllegraEra c)) Source #
ShelleyCompatible p (AlonzoEra c) ⇒ TxLimits (ShelleyBlock p (AlonzoEra c)) Source #
Instance details Associated Types type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (AlonzoEra c)) → TickedLedgerState (ShelleyBlock p (AlonzoEra c)) → GenTx (ShelleyBlock p (AlonzoEra c)) → Except (ApplyTxErr (ShelleyBlock p (AlonzoEra c))) (TxMeasure (ShelleyBlock p (AlonzoEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (AlonzoEra c)) → TickedLedgerState (ShelleyBlock p (AlonzoEra c)) → TxMeasure (ShelleyBlock p (AlonzoEra c)) Source #
ShelleyCompatible p (BabbageEra c) ⇒ TxLimits (ShelleyBlock p (BabbageEra c)) Source #	We anachronistically use `ConwayMeasure` in Babbage.
Instance details Associated Types type TxMeasure (ShelleyBlock p (BabbageEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (BabbageEra c)) → TickedLedgerState (ShelleyBlock p (BabbageEra c)) → GenTx (ShelleyBlock p (BabbageEra c)) → Except (ApplyTxErr (ShelleyBlock p (BabbageEra c))) (TxMeasure (ShelleyBlock p (BabbageEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (BabbageEra c)) → TickedLedgerState (ShelleyBlock p (BabbageEra c)) → TxMeasure (ShelleyBlock p (BabbageEra c)) Source #
ShelleyCompatible p (ConwayEra c) ⇒ TxLimits (ShelleyBlock p (ConwayEra c)) Source #
Instance details Associated Types type TxMeasure (ShelleyBlock p (ConwayEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (ConwayEra c)) → TickedLedgerState (ShelleyBlock p (ConwayEra c)) → GenTx (ShelleyBlock p (ConwayEra c)) → Except (ApplyTxErr (ShelleyBlock p (ConwayEra c))) (TxMeasure (ShelleyBlock p (ConwayEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (ConwayEra c)) → TickedLedgerState (ShelleyBlock p (ConwayEra c)) → TxMeasure (ShelleyBlock p (ConwayEra c)) Source #
ShelleyCompatible p (MaryEra c) ⇒ TxLimits (ShelleyBlock p (MaryEra c)) Source #
Instance details Associated Types type TxMeasure (ShelleyBlock p (MaryEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (MaryEra c)) → TickedLedgerState (ShelleyBlock p (MaryEra c)) → GenTx (ShelleyBlock p (MaryEra c)) → Except (ApplyTxErr (ShelleyBlock p (MaryEra c))) (TxMeasure (ShelleyBlock p (MaryEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (MaryEra c)) → TickedLedgerState (ShelleyBlock p (MaryEra c)) → TxMeasure (ShelleyBlock p (MaryEra c)) Source #
ShelleyCompatible p (ShelleyEra c) ⇒ TxLimits (ShelleyBlock p (ShelleyEra c)) Source #
Instance details Associated Types type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # Methods txMeasure ∷ LedgerConfig (ShelleyBlock p (ShelleyEra c)) → TickedLedgerState (ShelleyBlock p (ShelleyEra c)) → GenTx (ShelleyBlock p (ShelleyEra c)) → Except (ApplyTxErr (ShelleyBlock p (ShelleyEra c))) (TxMeasure (ShelleyBlock p (ShelleyEra c))) Source # blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (ShelleyEra c)) → TickedLedgerState (ShelleyBlock p (ShelleyEra c)) → TxMeasure (ShelleyBlock p (ShelleyEra c)) Source #