| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Forge
Synopsis
- ebTxBytes ∷ EraTx era ⇒ Tx 'TopTx era → ByteString
- 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))
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 #