{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Cardano.Ledger.Dijkstra.BlockBody where

import Cardano.Ledger.Alonzo.BlockBody
import Cardano.Ledger.Core
import Cardano.Ledger.Dijkstra.Era
import Cardano.Ledger.Dijkstra.Tx ()

instance EraBlockBody DijkstraEra where
  type BlockBody DijkstraEra = AlonzoBlockBody DijkstraEra
  mkBasicBlockBody :: BlockBody DijkstraEra
mkBasicBlockBody = BlockBody DijkstraEra
forall era.
(SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era,
 AlonzoEraTx era) =>
BlockBody era
mkBasicBlockBodyAlonzo
  txSeqBlockBodyL :: Lens' (BlockBody DijkstraEra) (StrictSeq (Tx DijkstraEra))
txSeqBlockBodyL = (StrictSeq (Tx DijkstraEra) -> f (StrictSeq (Tx DijkstraEra)))
-> BlockBody DijkstraEra -> f (BlockBody DijkstraEra)
forall era.
(SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era,
 AlonzoEraTx era) =>
Lens' (BlockBody era) (StrictSeq (Tx era))
Lens' (BlockBody DijkstraEra) (StrictSeq (Tx DijkstraEra))
txSeqBlockBodyAlonzoL
  hashBlockBody :: BlockBody DijkstraEra -> Hash HASH EraIndependentBlockBody
hashBlockBody = BlockBody DijkstraEra -> Hash HASH EraIndependentBlockBody
AlonzoBlockBody DijkstraEra -> Hash HASH EraIndependentBlockBody
forall era.
AlonzoBlockBody era -> Hash HASH EraIndependentBlockBody
alonzoBlockBodyHash
  numSegComponents :: Word64
numSegComponents = Word64
4