Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.BlockBody
Documentation
data ShelleyBlockBody era where Source #
Bundled Patterns
pattern ShelleyBlockBody ∷ ∀ era. (EraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → ShelleyBlockBody era | Constuct a BlockBody (with all it bytes) from just Tx's |
Instances
txSeqBlockBodyShelleyL ∷ (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx era)) Source #
mkBasicBlockBodyShelley ∷ (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) ⇒ BlockBody era Source #
shelleyBlockBodyTxs ∷ ShelleyBlockBody era → StrictSeq (Tx era) Source #
Arguments
∷ ByteString | |
→ ByteString | Bytes for transaction bodies |
→ ByteString | Bytes for transaction witnesses |
→ Hash HASH EraIndependentBlockBody | Bytes for transaction auxiliary datas |
slotToNonce ∷ SlotNo → Nonce Source #
incrBlocks ∷ Bool → KeyHash 'StakePool → BlocksMade → BlocksMade Source #
coreAuxDataBytes ∷ EraTx era ⇒ Tx era → StrictMaybe ByteString Source #