Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Byron.Ledger.Mempool

Contents

Mempool integration
Transaction IDs
Serialisation
Low-level API (primarily for testing)
Auxiliary functions
Orphan instances

Description

Byron mempool integration

Synopsis

data family GenTx blk
data family TxId blk
data family Validated x
byronIdDlg ∷ ACertificate ByteString → CertificateId
byronIdProp ∷ AProposal ByteString → UpId
byronIdTx ∷ ATxAux ByteString → TxId
byronIdVote ∷ AVote ByteString → VoteId
decodeByronApplyTxError ∷ Decoder s (ApplyTxErr ByronBlock)
decodeByronGenTx ∷ Decoder s (GenTx ByronBlock)
decodeByronGenTxId ∷ Decoder s (GenTxId ByronBlock)
encodeByronApplyTxError ∷ ApplyTxErr ByronBlock → Encoding
encodeByronGenTx ∷ GenTx ByronBlock → Encoding
encodeByronGenTxId ∷ GenTxId ByronBlock → Encoding
fromMempoolPayload ∷ AMempoolPayload ByteString → GenTx ByronBlock
toMempoolPayload ∷ GenTx ByronBlock → AMempoolPayload ByteString
countByronGenTxs ∷ ByronBlock → Word64

Mempool integration

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → GenTx x → GenTx (HardForkBlock xs) Source #

Isomorphic GenTx Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source #

inject ∷ NoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) 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 #

Typeable xs ⇒ ShowProxy (GenTx (HardForkBlock xs) ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy ∷ Proxy (GenTx (HardForkBlock xs)) → String #

(Typeable m, Typeable a) ⇒ ShowProxy (GenTx (DualBlock m a) ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxy ∷ Proxy (GenTx (DualBlock m a)) → String #

ShowProxy (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy ∷ Proxy (GenTx ByronBlock) → String #

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

Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String #

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

ShowProxy (TxId (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx ByronBlock)) → String #

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

FromCBOR (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

fromCBOR ∷ Decoder s (GenTx ByronBlock) Source #

label ∷ Proxy (GenTx ByronBlock) → Text 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 #

ToCBOR (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

toCBOR ∷ GenTx ByronBlock → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (GenTx ByronBlock) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenTx ByronBlock] → Size 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 #

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

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 #

CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #

(/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #

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 #

CanHardFork xs ⇒ Eq (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool #

(/=) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → 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 #

CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

(==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → 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 #

CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering #

(<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering #

(<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

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

Generic (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-4.0.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

Methods

from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x #

to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #

Generic (Validated (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

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

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-4.0.0.0-inplace-cardano" '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 'TopTx 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 (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-4.0.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

Methods

from ∷ GenTx (HardForkBlock xs) → Rep (GenTx (HardForkBlock xs)) x #

to ∷ Rep (GenTx (HardForkBlock xs)) x → GenTx (HardForkBlock xs) #

Generic (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (GenTx ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

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

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-4.0.0.0-inplace-cardano" '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 'TopTx era))))

Methods

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

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

Generic (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-4.0.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

Methods

from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x #

to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #

CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS #

show ∷ Validated (GenTx (HardForkBlock xs)) → String #

showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #

Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS #

show ∷ Validated (GenTx (DualBlock m a)) → String #

showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #

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 #

CanHardFork xs ⇒ Show (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → GenTx (HardForkBlock xs) → ShowS #

show ∷ GenTx (HardForkBlock xs) → String #

showList ∷ [GenTx (HardForkBlock xs)] → ShowS #

Bridge m a ⇒ Show (GenTx (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec ∷ Int → GenTx (DualBlock m a) → ShowS #

show ∷ GenTx (DualBlock m a) → String #

showList ∷ [GenTx (DualBlock m a)] → 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 #

CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS #

show ∷ TxId (GenTx (HardForkBlock xs)) → String #

showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #

Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS #

show ∷ TxId (GenTx (DualBlock m a)) → String #

showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #

CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #

NoThunks (Validated (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (DualBlock m a))) → String Source #

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 #

CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #

NoThunks (GenTx (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx (DualBlock m a)) → 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 #

CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #

NoThunks (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → 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 #

CanHardFork xs ⇒ HasTxId (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

txId ∷ GenTx (HardForkBlock xs) → TxId (GenTx (HardForkBlock xs)) Source #

Bridge m a ⇒ HasTxId (GenTx (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

txId ∷ GenTx (DualBlock m a) → TxId (GenTx (DualBlock m a)) 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 #

All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ GenTx (HardForkBlock xs) → String 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 #

All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #

CanHardFork xs ⇒ HasRawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type RawTxId (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (HardForkBlock xs)) → RawTxId (TxId (GenTx (HardForkBlock xs)))

HasRawTxId (GenTxId m) ⇒ HasRawTxId (TxId (GenTx (DualBlock m a)))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type RawTxId (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

Methods

getRawTxId ∷ TxId (GenTx (DualBlock m a)) → RawTxId (TxId (GenTx (DualBlock m a)))

HasRawTxId (TxId (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type RawTxId (TxId (GenTx ByronBlock))
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type RawTxId (TxId (GenTx ByronBlock)) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx ByronBlock) → RawTxId (TxId (GenTx ByronBlock))

ShelleyBasedEra era ⇒ HasRawTxId (TxId (GenTx (ShelleyBlock proto era)))

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type RawTxId (TxId (GenTx (ShelleyBlock proto era)))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type RawTxId (TxId (GenTx (ShelleyBlock proto era))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (ShelleyBlock proto era)) → RawTxId (TxId (GenTx (ShelleyBlock proto era)))

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTx (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) 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 Rep (Validated (GenTx (HardForkBlock xs))) Source #

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-4.0.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-4.0.0.0-inplace-cardano" '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-4.0.0.0-inplace-cardano" '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 'TopTx era)))))

type Rep (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.0.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 (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-4.0.0.0-inplace-cardano" '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 'TopTx era))))

type Rep (TxId (GenTx (HardForkBlock xs))) Source #

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-4.0.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

newtype Validated (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {

}

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

newtype GenTx (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype GenTx (HardForkBlock xs) = HardForkGenTx {

getHardForkGenTx ∷ OneEraGenTx xs

}

newtype TxId (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype TxId (GenTx (DualBlock m a)) = DualGenTxId {

dualGenTxIdMain ∷ GenTxId m

}

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

type RawTxId (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

type RawTxId (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

type RawTxId (TxId (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type RawTxId (TxId (GenTx ByronBlock)) = ShortByteString

type RawTxId (TxId (GenTx (ShelleyBlock proto era)))

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type RawTxId (TxId (GenTx (ShelleyBlock proto era))) = ShortByteString

data GenTx (DualBlock m a) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data GenTx (DualBlock m a) = DualGenTx {

dualGenTxMain ∷ GenTx m
dualGenTxAux ∷ GenTx a
dualGenTxBridge ∷ BridgeTx m a

}

data GenTx (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data GenTx (ShelleyBlock proto era) = ShelleyTx !TxId !(Tx 'TopTx era)

data family TxId blk 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 #

Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String #

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

ShowProxy (TxId (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx ByronBlock)) → String #

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

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

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 #

CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

(==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → 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 #

CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering #

(<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering #

(<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

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

Generic (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-4.0.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

Methods

from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x #

to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #

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 #

CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS #

show ∷ TxId (GenTx (HardForkBlock xs)) → String #

showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #

Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS #

show ∷ TxId (GenTx (DualBlock m a)) → String #

showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #

CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #

NoThunks (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → 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 #

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 #

All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #

CanHardFork xs ⇒ HasRawTxId (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type RawTxId (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (HardForkBlock xs)) → RawTxId (TxId (GenTx (HardForkBlock xs)))

HasRawTxId (GenTxId m) ⇒ HasRawTxId (TxId (GenTx (DualBlock m a)))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type RawTxId (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

Methods

getRawTxId ∷ TxId (GenTx (DualBlock m a)) → RawTxId (TxId (GenTx (DualBlock m a)))

HasRawTxId (TxId (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type RawTxId (TxId (GenTx ByronBlock))
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type RawTxId (TxId (GenTx ByronBlock)) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx ByronBlock) → RawTxId (TxId (GenTx ByronBlock))

ShelleyBasedEra era ⇒ HasRawTxId (TxId (GenTx (ShelleyBlock proto era)))

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type RawTxId (TxId (GenTx (ShelleyBlock proto era)))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type RawTxId (TxId (GenTx (ShelleyBlock proto era))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (ShelleyBlock proto era)) → RawTxId (TxId (GenTx (ShelleyBlock proto era)))

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (GenTxId (HardForkBlock xs)) 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))) Source #

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-4.0.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

newtype TxId (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype TxId (GenTx (DualBlock m a)) = DualGenTxId {

dualGenTxIdMain ∷ GenTxId m

}

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

type RawTxId (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteString

type RawTxId (TxId (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)

type RawTxId (TxId (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type RawTxId (TxId (GenTx ByronBlock)) = ShortByteString

type RawTxId (TxId (GenTx (ShelleyBlock proto era)))

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type RawTxId (TxId (GenTx (ShelleyBlock proto era))) = ShortByteString

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 #

CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #

(/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #

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 #

Generic (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-4.0.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

Methods

from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x #

to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #

Generic (Validated (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

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

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-4.0.0.0-inplace-cardano" '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 'TopTx 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)) #

CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS #

show ∷ Validated (GenTx (HardForkBlock xs)) → String #

showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #

Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS #

show ∷ Validated (GenTx (DualBlock m a)) → String #

showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #

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 #

CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #

NoThunks (Validated (GenTx (DualBlock m a))) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (DualBlock m a))) → String Source #

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

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-4.0.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-4.0.0.0-inplace-cardano" '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-4.0.0.0-inplace-cardano" '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 'TopTx era)))))

newtype Validated (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a)) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {

}

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

Transaction IDs

byronIdDlg ∷ ACertificate ByteString → CertificateId Source #

byronIdProp ∷ AProposal ByteString → UpId Source #

byronIdTx ∷ ATxAux ByteString → TxId Source #

byronIdVote ∷ AVote ByteString → VoteId Source #

Serialisation

decodeByronApplyTxError ∷ Decoder s (ApplyTxErr ByronBlock) Source #

decodeByronGenTx ∷ Decoder s (GenTx ByronBlock) Source #

The ByteString annotation will be the canonical encoding.

While the new implementation does not care about canonical encodings, the old one does. When a generalised transaction arrives that is not in its canonical encoding (only the ATxAux of the ByronTx can be produced by nodes that are not under our control), the old implementation will reject it. Therefore, we need to reject them too. See #905.

We use the ledger to check for canonical encodings: the ledger will check whether the signed hash of the transaction (in the case of a ATxAux, the transaction witness) matches the annotated bytestring. Is therefore important that the annotated bytestring be the canonical encoding, not the original, possibly non-canonical encoding.

decodeByronGenTxId ∷ Decoder s (GenTxId ByronBlock) Source #

encodeByronApplyTxError ∷ ApplyTxErr ByronBlock → Encoding Source #

encodeByronGenTx ∷ GenTx ByronBlock → Encoding Source #

encodeByronGenTxId ∷ GenTxId ByronBlock → Encoding Source #

Low-level API (primarily for testing)

fromMempoolPayload ∷ AMempoolPayload ByteString → GenTx ByronBlock Source #

toMempoolPayload ∷ GenTx ByronBlock → AMempoolPayload ByteString Source #

Auxiliary functions

countByronGenTxs ∷ ByronBlock → Word64 Source #

Count all (generalized) transactions in the block

Orphan instances

HasTxs ByronBlock Source #

Instance details

Methods

extractTxs ∷ ByronBlock → [GenTx ByronBlock] Source #

LedgerSupportsMempool ByronBlock Source #

Instance details

Methods

txInvariant ∷ GenTx ByronBlock → Bool Source #

applyTx ∷ LedgerConfig ByronBlock → WhetherToIntervene → SlotNo → GenTx ByronBlock → TickedLedgerState ByronBlock ValuesMK → Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock DiffMK, Validated (GenTx ByronBlock)) Source #

reapplyTx ∷ LedgerConfig ByronBlock → SlotNo → Validated (GenTx ByronBlock) → TickedLedgerState ByronBlock ValuesMK → Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock ValuesMK) Source #

reapplyTxs ∷ ∀ (wtd ∷ WhatToDoWithTxDiffs) extra. LedgerConfig ByronBlock → SlotNo → [(Validated (GenTx ByronBlock), InputTxDiffs ByronBlock wtd, extra)] → TickedLedgerState ByronBlock ValuesMK → ReapplyTxsResult extra ByronBlock wtd Source #

txForgetValidated ∷ Validated (GenTx ByronBlock) → GenTx ByronBlock Source #

getTransactionKeySets ∷ GenTx ByronBlock → LedgerTables ByronBlock KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState ByronBlock DiffMK → TickedLedgerState ByronBlock DiffMK → TickedLedgerState ByronBlock DiffMK Source #

applyMempoolDiffs ∷ LedgerTables ByronBlock ValuesMK → LedgerTables ByronBlock KeysMK → TickedLedgerState ByronBlock DiffMK → TickedLedgerState ByronBlock ValuesMK Source #

mkMempoolApplyTxError ∷ ∀ (mk ∷ MapKind). TickedLedgerState ByronBlock mk → Text → Maybe (ApplyTxErr ByronBlock) Source #

TxLimits ByronBlock Source #

Instance details

Associated Types

type TxMeasurePhase1 ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type TxMeasurePhase1 ByronBlock = IgnoringOverflow ByteSize32
type TxMeasurePhase2 ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type TxMeasurePhase2 ByronBlock = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx ByronBlock → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig ByronBlock → TickedLedgerState ByronBlock EmptyMK → GenTx ByronBlock → Except (ApplyTxErr ByronBlock) (TxMeasurePhase1 ByronBlock) Source #

txMeasurePhase2 ∷ LedgerConfig ByronBlock → TickedLedgerState ByronBlock ValuesMK → GenTx ByronBlock → Except (ApplyTxErr ByronBlock) (TxMeasurePhase2 ByronBlock) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig ByronBlock → TickedLedgerState ByronBlock mk → TxMeasure ByronBlock Source #

ShowProxy ApplyMempoolPayloadErr Source #

Instance details

Methods

showProxy ∷ Proxy ApplyMempoolPayloadErr → String #

ShowProxy (GenTx ByronBlock) Source #

Instance details

Methods

showProxy ∷ Proxy (GenTx ByronBlock) → String #

ShowProxy (TxId (GenTx ByronBlock)) Source #

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx ByronBlock)) → String #

Eq (Validated (GenTx ByronBlock)) Source #

Instance details

Methods

(==) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → Bool #

(/=) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → Bool #

Eq (GenTx ByronBlock) Source #

Instance details

Methods

(==) ∷ GenTx ByronBlock → GenTx ByronBlock → Bool #

(/=) ∷ GenTx ByronBlock → GenTx ByronBlock → Bool #

Eq (TxId (GenTx ByronBlock)) Source #

Instance details

Methods

(==) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

(/=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

Ord (TxId (GenTx ByronBlock)) Source #

Instance details

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

Generic (Validated (GenTx ByronBlock)) Source #

Instance details

Associated Types

type Rep (Validated (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

Methods

from ∷ Validated (GenTx ByronBlock) → Rep (Validated (GenTx ByronBlock)) x #

to ∷ Rep (Validated (GenTx ByronBlock)) x → Validated (GenTx ByronBlock) #

Generic (GenTx ByronBlock) Source #

Instance details

Associated Types

type Rep (GenTx ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

from ∷ GenTx ByronBlock → Rep (GenTx ByronBlock) x #

to ∷ Rep (GenTx ByronBlock) x → GenTx ByronBlock #

Show (Validated (GenTx ByronBlock)) Source #

Instance details

Methods

showsPrec ∷ Int → Validated (GenTx ByronBlock) → ShowS #

show ∷ Validated (GenTx ByronBlock) → String #

showList ∷ [Validated (GenTx ByronBlock)] → ShowS #

Show (GenTx ByronBlock) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx ByronBlock → ShowS #

show ∷ GenTx ByronBlock → String #

showList ∷ [GenTx ByronBlock] → ShowS #

Show (GenTxId ByronBlock) Source #

Instance details

Methods

showsPrec ∷ Int → GenTxId ByronBlock → ShowS #

show ∷ GenTxId ByronBlock → String #

showList ∷ [GenTxId ByronBlock] → ShowS #

NoThunks (Validated (GenTx ByronBlock)) Source #

Instance details

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 #

NoThunks (GenTx ByronBlock) Source #

Instance details

Methods

noThunks ∷ Context → GenTx ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx ByronBlock) → String Source #

NoThunks (TxId (GenTx ByronBlock)) Source #

Instance details

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 #

ConvertRawTxId (GenTx ByronBlock) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx ByronBlock) → ShortByteString Source #

HasTxId (GenTx ByronBlock) Source #

Instance details

Methods

txId ∷ GenTx ByronBlock → TxId (GenTx ByronBlock) Source #

Condense (GenTx ByronBlock) Source #

Instance details

Methods

condense ∷ GenTx ByronBlock → String Source #

Condense (GenTxId ByronBlock) Source #

Instance details

Methods

condense ∷ GenTxId ByronBlock → String Source #

HasRawTxId (TxId (GenTx ByronBlock)) Source #

Instance details

Associated Types

type RawTxId (TxId (GenTx ByronBlock))
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type RawTxId (TxId (GenTx ByronBlock)) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx ByronBlock) → RawTxId (TxId (GenTx ByronBlock))