ouroboros-consensus:cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Ledger.Forge

Synopsis

Documentation

ebTxBytes ∷ EraTx era ⇒ Tx 'TopTx era → ByteString Source #

The bytes of a transaction that an endorser block references.

The length of these bytes must not exceed txByteSizeWithOverhead. Otherwise the endorser block can exceed the size that txEbMeasureDijkstra reserved for it, and header validation rejects the block with LeiosEbTooBig.

forgeShelleyBlock ∷ ∀ m era proto. (ShelleyCompatible proto era, Applicative (WhenLeios proto), Foldable (WhenLeios proto), Monad m) ⇒ HotKey (ProtoCrypto proto) m → CanBeLeader proto → ForgeBlockArgs (ShelleyBlock proto era) → m (ForgeBlockResult (ShelleyBlock proto era)) Source #