module Cardano.Ledger.Shelley.BlockBody (
  ShelleyBlockBody (ShelleyBlockBody),
  shelleyBlockBodyHash,
  shelleyBlockBodyTxs,
  auxDataSeqDecoder,
  hashShelleySegWits,
  bBodySize,
  slotToNonce,
  incrBlocks,
  coreAuxDataBytes,
) where

import Cardano.Crypto.Hash (Hash)
import Cardano.Ledger.Core (EraIndependentBlockBody, HASH, Tx)
import Cardano.Ledger.Shelley.BlockBody.Internal
import Data.Sequence.Strict (StrictSeq)

shelleyBlockBodyHash :: ShelleyBlockBody era -> Hash HASH EraIndependentBlockBody
shelleyBlockBodyHash :: forall era.
ShelleyBlockBody era -> Hash HASH EraIndependentBlockBody
shelleyBlockBodyHash = ShelleyBlockBody era -> Hash HASH EraIndependentBlockBody
forall era.
ShelleyBlockBody era -> Hash HASH EraIndependentBlockBody
sbbHash

shelleyBlockBodyTxs :: ShelleyBlockBody era -> StrictSeq (Tx era)
shelleyBlockBodyTxs :: forall era. ShelleyBlockBody era -> StrictSeq (Tx era)
shelleyBlockBodyTxs = ShelleyBlockBody era -> StrictSeq (Tx era)
forall era. ShelleyBlockBody era -> StrictSeq (Tx era)
sbbTxs