{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UndecidableSuperClasses #-}
{-# OPTIONS_GHC -Wno-deprecations #-}

module Cardano.Ledger.Api.Tx.Body (
  -- | Building and inspecting transaction outputs
  module Cardano.Ledger.Api.Tx.Out,
  -- | Working with Timelock scripts and Plutus scripts
  module Cardano.Ledger.Api.Scripts,
  EraTxBody (TxBody),
  mkBasicTxBody,
  inputsTxBodyL,
  outputsTxBodyL,
  feeTxBodyL,
  withdrawalsTxBodyL,
  Withdrawals (..),
  auxDataHashTxBodyL,
  TxAuxDataHash (..),
  AuxiliaryDataHash,
  spendableInputsTxBodyF,
  allInputsTxBodyF,
  evalBalanceTxBody,
  txIdTxBody,

  -- * Any Era
  AnyEraTxBody (..),

  -- * Shelley Era
  ShelleyEraTxBody,
  ttlTxBodyL,
  updateTxBodyL,
  certsTxBodyL,

  -- * Allegra Era
  AllegraEraTxBody,
  vldtTxBodyL,
  ValidityInterval (..),
  invalidBeforeL,
  invalidHereAfterL,

  -- * Mary Era
  MaryEraTxBody,
  mintTxBodyL,
  mintValueTxBodyF,
  mintedTxBodyF,

  -- * Alonzo Era
  AlonzoEraTxBody,
  collateralInputsTxBodyL,
  reqSignerHashesTxBodyL,
  scriptIntegrityHashTxBodyL,
  ScriptIntegrityHash,
  networkIdTxBodyL,
  redeemerPointer,
  redeemerPointerInverse,

  -- * Babbage Era
  BabbageEraTxBody,
  sizedOutputsTxBodyL,
  referenceInputsTxBodyL,
  totalCollateralTxBodyL,
  collateralReturnTxBodyL,
  sizedCollateralReturnTxBodyL,
  allSizedOutputsTxBodyF,

  -- * Conway Era
  ConwayEraTxBody,
  votingProceduresTxBodyL,
  VotingProcedure (..),
  VotingProcedures (..),
  proposalProceduresTxBodyL,
  ProposalProcedure (..),
  currentTreasuryValueTxBodyL,
  treasuryDonationTxBodyL,

  -- * Dijstra Era
  DijkstraEraTxBody,
  guardsTxBodyL,

  -- * Upgrade
  binaryUpgradeTxBody,
  upgradeTxBody,
) where

import Cardano.Ledger.Address (Withdrawals (..))
import Cardano.Ledger.Allegra.Core (AllegraEraTxBody (..))
import Cardano.Ledger.Alonzo.TxBody (AlonzoEraTxBody (..), ScriptIntegrityHash)
import Cardano.Ledger.Api.Era
import Cardano.Ledger.Api.Scripts
import Cardano.Ledger.Api.Tx.Cert
import Cardano.Ledger.Api.Tx.Out
import Cardano.Ledger.AuxiliaryData (AuxiliaryDataHash)
import Cardano.Ledger.Babbage.TxBody (BabbageEraTxBody (..))
import Cardano.Ledger.BaseTypes (Network, SlotNo, StrictMaybe (..), strictMaybeToMaybe)
import Cardano.Ledger.Binary.Decoding (Sized)
import Cardano.Ledger.Coin (Coin)
import Cardano.Ledger.Conway.Governance (
  ProposalProcedure (..),
  VotingProcedure (..),
  VotingProcedures (..),
 )
import Cardano.Ledger.Conway.TxBody (ConwayEraTxBody (..))
import Cardano.Ledger.Core (
  EraTxBody (..),
  PParams,
  TxAuxDataHash (..),
  Value,
  binaryUpgradeTxBody,
  txIdTxBody,
 )
import Cardano.Ledger.Credential (Credential (KeyHashObj))
import Cardano.Ledger.Dijkstra.TxBody (DijkstraEraTxBody (..))
import Cardano.Ledger.Keys (KeyHash (..), KeyRole (..), coerceKeyRole)
import Cardano.Ledger.Mary.Core (MaryEraTxBody (..))
import Cardano.Ledger.Mary.Value (MultiAsset)
import Cardano.Ledger.Shelley.Core (ShelleyEraTxBody (..))
import Cardano.Ledger.Shelley.PParams (Update)
import Cardano.Ledger.Shelley.UTxO (getProducedValue)
import Cardano.Ledger.State (EraUTxO (getConsumedValue), UTxO)
import Cardano.Ledger.TxIn (TxIn)
import Cardano.Ledger.Val ((<->))
import Data.OSet.Strict (OSet)
import qualified Data.OSet.Strict as OSet (fromSet)
import Data.Sequence.Strict (StrictSeq)
import Data.Set (Set)
import qualified Data.Set as Set (map)
import Lens.Micro (Lens', SimpleGetter, lens, to)

class (EraTxBody era, AnyEraTxOut era, AnyEraTxCert era) => AnyEraTxBody era where
  updateTxBodyG :: SimpleGetter (TxBody era) (Maybe (Maybe (Update era)))
  updateTxBodyG = (TxBody era -> Maybe (Maybe (Update era)))
-> SimpleGetter (TxBody era) (Maybe (Maybe (Update era)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (Update era))
-> TxBody era -> Maybe (Maybe (Update era))
forall a b. a -> b -> a
const Maybe (Maybe (Update era))
forall a. Maybe a
Nothing)

  vldtTxBodyG :: SimpleGetter (TxBody era) ValidityInterval
  default vldtTxBodyG ::
    AllegraEraTxBody era => SimpleGetter (TxBody era) ValidityInterval
  vldtTxBodyG = (ValidityInterval -> Const r ValidityInterval)
-> TxBody era -> Const r (TxBody era)
forall era.
AllegraEraTxBody era =>
Lens' (TxBody era) ValidityInterval
Lens' (TxBody era) ValidityInterval
vldtTxBodyL

  mintTxBodyG :: SimpleGetter (TxBody era) (Maybe MultiAsset)
  default mintTxBodyG ::
    MaryEraTxBody era => SimpleGetter (TxBody era) (Maybe MultiAsset)
  mintTxBodyG = (MultiAsset -> Const r MultiAsset)
-> TxBody era -> Const r (TxBody era)
forall era. MaryEraTxBody era => Lens' (TxBody era) MultiAsset
Lens' (TxBody era) MultiAsset
mintTxBodyL ((MultiAsset -> Const r MultiAsset)
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe MultiAsset -> Const r (Maybe MultiAsset))
    -> MultiAsset -> Const r MultiAsset)
-> (Maybe MultiAsset -> Const r (Maybe MultiAsset))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (MultiAsset -> Maybe MultiAsset)
-> SimpleGetter MultiAsset (Maybe MultiAsset)
forall s a. (s -> a) -> SimpleGetter s a
to MultiAsset -> Maybe MultiAsset
forall a. a -> Maybe a
Just

  collateralInputsTxBodyG :: SimpleGetter (TxBody era) (Maybe (Set TxIn))
  default collateralInputsTxBodyG ::
    AlonzoEraTxBody era => SimpleGetter (TxBody era) (Maybe (Set TxIn))
  collateralInputsTxBodyG = (Set TxIn -> Const r (Set TxIn))
-> TxBody era -> Const r (TxBody era)
forall era. AlonzoEraTxBody era => Lens' (TxBody era) (Set TxIn)
Lens' (TxBody era) (Set TxIn)
collateralInputsTxBodyL ((Set TxIn -> Const r (Set TxIn))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Set TxIn) -> Const r (Maybe (Set TxIn)))
    -> Set TxIn -> Const r (Set TxIn))
-> (Maybe (Set TxIn) -> Const r (Maybe (Set TxIn)))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set TxIn -> Maybe (Set TxIn))
-> SimpleGetter (Set TxIn) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to Set TxIn -> Maybe (Set TxIn)
forall a. a -> Maybe a
Just

  scriptIntegrityHashTxBodyG ::
    SimpleGetter (TxBody era) (Maybe (Maybe ScriptIntegrityHash))
  default scriptIntegrityHashTxBodyG ::
    AlonzoEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (Maybe ScriptIntegrityHash))
  scriptIntegrityHashTxBodyG = (StrictMaybe ScriptIntegrityHash
 -> Const r (StrictMaybe ScriptIntegrityHash))
-> TxBody era -> Const r (TxBody era)
forall era.
AlonzoEraTxBody era =>
Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash)
Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash)
scriptIntegrityHashTxBodyL ((StrictMaybe ScriptIntegrityHash
  -> Const r (StrictMaybe ScriptIntegrityHash))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Maybe ScriptIntegrityHash)
     -> Const r (Maybe (Maybe ScriptIntegrityHash)))
    -> StrictMaybe ScriptIntegrityHash
    -> Const r (StrictMaybe ScriptIntegrityHash))
-> (Maybe (Maybe ScriptIntegrityHash)
    -> Const r (Maybe (Maybe ScriptIntegrityHash)))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe ScriptIntegrityHash
 -> Maybe (Maybe ScriptIntegrityHash))
-> SimpleGetter
     (StrictMaybe ScriptIntegrityHash)
     (Maybe (Maybe ScriptIntegrityHash))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe ScriptIntegrityHash -> Maybe (Maybe ScriptIntegrityHash)
forall a. a -> Maybe a
Just (Maybe ScriptIntegrityHash -> Maybe (Maybe ScriptIntegrityHash))
-> (StrictMaybe ScriptIntegrityHash -> Maybe ScriptIntegrityHash)
-> StrictMaybe ScriptIntegrityHash
-> Maybe (Maybe ScriptIntegrityHash)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe ScriptIntegrityHash -> Maybe ScriptIntegrityHash
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)

  networkIdTxBodyG :: SimpleGetter (TxBody era) (Maybe (Maybe Network))
  default networkIdTxBodyG ::
    AlonzoEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (Maybe Network))
  networkIdTxBodyG = (StrictMaybe Network -> Const r (StrictMaybe Network))
-> TxBody era -> Const r (TxBody era)
forall era.
AlonzoEraTxBody era =>
Lens' (TxBody era) (StrictMaybe Network)
Lens' (TxBody era) (StrictMaybe Network)
networkIdTxBodyL ((StrictMaybe Network -> Const r (StrictMaybe Network))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Maybe Network) -> Const r (Maybe (Maybe Network)))
    -> StrictMaybe Network -> Const r (StrictMaybe Network))
-> (Maybe (Maybe Network) -> Const r (Maybe (Maybe Network)))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe Network -> Maybe (Maybe Network))
-> SimpleGetter (StrictMaybe Network) (Maybe (Maybe Network))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Network -> Maybe (Maybe Network)
forall a. a -> Maybe a
Just (Maybe Network -> Maybe (Maybe Network))
-> (StrictMaybe Network -> Maybe Network)
-> StrictMaybe Network
-> Maybe (Maybe Network)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe Network -> Maybe Network
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)

  sizedOutputsTxBodyG :: SimpleGetter (TxBody era) (Maybe (StrictSeq (Sized (TxOut era))))
  default sizedOutputsTxBodyG ::
    BabbageEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (StrictSeq (Sized (TxOut era))))
  sizedOutputsTxBodyG = (StrictSeq (Sized (TxOut era))
 -> Const r (StrictSeq (Sized (TxOut era))))
-> TxBody era -> Const r (TxBody era)
forall era.
BabbageEraTxBody era =>
Lens' (TxBody era) (StrictSeq (Sized (TxOut era)))
Lens' (TxBody era) (StrictSeq (Sized (TxOut era)))
sizedOutputsTxBodyL ((StrictSeq (Sized (TxOut era))
  -> Const r (StrictSeq (Sized (TxOut era))))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (StrictSeq (Sized (TxOut era)))
     -> Const r (Maybe (StrictSeq (Sized (TxOut era)))))
    -> StrictSeq (Sized (TxOut era))
    -> Const r (StrictSeq (Sized (TxOut era))))
-> (Maybe (StrictSeq (Sized (TxOut era)))
    -> Const r (Maybe (StrictSeq (Sized (TxOut era)))))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictSeq (Sized (TxOut era))
 -> Maybe (StrictSeq (Sized (TxOut era))))
-> SimpleGetter
     (StrictSeq (Sized (TxOut era)))
     (Maybe (StrictSeq (Sized (TxOut era))))
forall s a. (s -> a) -> SimpleGetter s a
to StrictSeq (Sized (TxOut era))
-> Maybe (StrictSeq (Sized (TxOut era)))
forall a. a -> Maybe a
Just

  referenceInputsTxBodyG :: SimpleGetter (TxBody era) (Maybe (Set TxIn))
  default referenceInputsTxBodyG ::
    BabbageEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (Set TxIn))
  referenceInputsTxBodyG = (Set TxIn -> Const r (Set TxIn))
-> TxBody era -> Const r (TxBody era)
forall era. BabbageEraTxBody era => Lens' (TxBody era) (Set TxIn)
Lens' (TxBody era) (Set TxIn)
referenceInputsTxBodyL ((Set TxIn -> Const r (Set TxIn))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Set TxIn) -> Const r (Maybe (Set TxIn)))
    -> Set TxIn -> Const r (Set TxIn))
-> (Maybe (Set TxIn) -> Const r (Maybe (Set TxIn)))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set TxIn -> Maybe (Set TxIn))
-> SimpleGetter (Set TxIn) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to Set TxIn -> Maybe (Set TxIn)
forall a. a -> Maybe a
Just

  totalCollateralTxBodyG :: SimpleGetter (TxBody era) (Maybe (Maybe Coin))
  default totalCollateralTxBodyG ::
    BabbageEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (Maybe Coin))
  totalCollateralTxBodyG = (StrictMaybe Coin -> Const r (StrictMaybe Coin))
-> TxBody era -> Const r (TxBody era)
forall era.
BabbageEraTxBody era =>
Lens' (TxBody era) (StrictMaybe Coin)
Lens' (TxBody era) (StrictMaybe Coin)
totalCollateralTxBodyL ((StrictMaybe Coin -> Const r (StrictMaybe Coin))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Maybe Coin) -> Const r (Maybe (Maybe Coin)))
    -> StrictMaybe Coin -> Const r (StrictMaybe Coin))
-> (Maybe (Maybe Coin) -> Const r (Maybe (Maybe Coin)))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe Coin -> Maybe (Maybe Coin))
-> SimpleGetter (StrictMaybe Coin) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Coin -> Maybe (Maybe Coin)
forall a. a -> Maybe a
Just (Maybe Coin -> Maybe (Maybe Coin))
-> (StrictMaybe Coin -> Maybe Coin)
-> StrictMaybe Coin
-> Maybe (Maybe Coin)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe Coin -> Maybe Coin
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)

  collateralReturnTxBodyG :: SimpleGetter (TxBody era) (Maybe (Maybe (TxOut era)))
  default collateralReturnTxBodyG ::
    BabbageEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (Maybe (TxOut era)))
  collateralReturnTxBodyG = (StrictMaybe (TxOut era) -> Const r (StrictMaybe (TxOut era)))
-> TxBody era -> Const r (TxBody era)
forall era.
BabbageEraTxBody era =>
Lens' (TxBody era) (StrictMaybe (TxOut era))
Lens' (TxBody era) (StrictMaybe (TxOut era))
collateralReturnTxBodyL ((StrictMaybe (TxOut era) -> Const r (StrictMaybe (TxOut era)))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Maybe (TxOut era))
     -> Const r (Maybe (Maybe (TxOut era))))
    -> StrictMaybe (TxOut era) -> Const r (StrictMaybe (TxOut era)))
-> (Maybe (Maybe (TxOut era))
    -> Const r (Maybe (Maybe (TxOut era))))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (TxOut era) -> Maybe (Maybe (TxOut era)))
-> SimpleGetter
     (StrictMaybe (TxOut era)) (Maybe (Maybe (TxOut era)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (TxOut era) -> Maybe (Maybe (TxOut era))
forall a. a -> Maybe a
Just (Maybe (TxOut era) -> Maybe (Maybe (TxOut era)))
-> (StrictMaybe (TxOut era) -> Maybe (TxOut era))
-> StrictMaybe (TxOut era)
-> Maybe (Maybe (TxOut era))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe (TxOut era) -> Maybe (TxOut era)
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)

  sizedCollateralReturnTxBodyG :: SimpleGetter (TxBody era) (Maybe (Maybe (Sized (TxOut era))))
  default sizedCollateralReturnTxBodyG ::
    BabbageEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (Maybe (Sized (TxOut era))))
  sizedCollateralReturnTxBodyG = (StrictMaybe (Sized (TxOut era))
 -> Const r (StrictMaybe (Sized (TxOut era))))
-> TxBody era -> Const r (TxBody era)
forall era.
BabbageEraTxBody era =>
Lens' (TxBody era) (StrictMaybe (Sized (TxOut era)))
Lens' (TxBody era) (StrictMaybe (Sized (TxOut era)))
sizedCollateralReturnTxBodyL ((StrictMaybe (Sized (TxOut era))
  -> Const r (StrictMaybe (Sized (TxOut era))))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Maybe (Sized (TxOut era)))
     -> Const r (Maybe (Maybe (Sized (TxOut era)))))
    -> StrictMaybe (Sized (TxOut era))
    -> Const r (StrictMaybe (Sized (TxOut era))))
-> (Maybe (Maybe (Sized (TxOut era)))
    -> Const r (Maybe (Maybe (Sized (TxOut era)))))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (Sized (TxOut era))
 -> Maybe (Maybe (Sized (TxOut era))))
-> SimpleGetter
     (StrictMaybe (Sized (TxOut era)))
     (Maybe (Maybe (Sized (TxOut era))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Sized (TxOut era)) -> Maybe (Maybe (Sized (TxOut era)))
forall a. a -> Maybe a
Just (Maybe (Sized (TxOut era)) -> Maybe (Maybe (Sized (TxOut era))))
-> (StrictMaybe (Sized (TxOut era)) -> Maybe (Sized (TxOut era)))
-> StrictMaybe (Sized (TxOut era))
-> Maybe (Maybe (Sized (TxOut era)))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe (Sized (TxOut era)) -> Maybe (Sized (TxOut era))
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)

  currentTreasuryValueTxBodyG :: SimpleGetter (TxBody era) (Maybe (Maybe Coin))
  default currentTreasuryValueTxBodyG ::
    ConwayEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (Maybe Coin))
  currentTreasuryValueTxBodyG = (StrictMaybe Coin -> Const r (StrictMaybe Coin))
-> TxBody era -> Const r (TxBody era)
forall era.
ConwayEraTxBody era =>
Lens' (TxBody era) (StrictMaybe Coin)
Lens' (TxBody era) (StrictMaybe Coin)
currentTreasuryValueTxBodyL ((StrictMaybe Coin -> Const r (StrictMaybe Coin))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (Maybe Coin) -> Const r (Maybe (Maybe Coin)))
    -> StrictMaybe Coin -> Const r (StrictMaybe Coin))
-> (Maybe (Maybe Coin) -> Const r (Maybe (Maybe Coin)))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe Coin -> Maybe (Maybe Coin))
-> SimpleGetter (StrictMaybe Coin) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Coin -> Maybe (Maybe Coin)
forall a. a -> Maybe a
Just (Maybe Coin -> Maybe (Maybe Coin))
-> (StrictMaybe Coin -> Maybe Coin)
-> StrictMaybe Coin
-> Maybe (Maybe Coin)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe Coin -> Maybe Coin
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)

  votingProceduresTxBodyG :: SimpleGetter (TxBody era) (Maybe (VotingProcedures era))
  default votingProceduresTxBodyG ::
    ConwayEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (VotingProcedures era))
  votingProceduresTxBodyG = (VotingProcedures era -> Const r (VotingProcedures era))
-> TxBody era -> Const r (TxBody era)
forall era.
ConwayEraTxBody era =>
Lens' (TxBody era) (VotingProcedures era)
Lens' (TxBody era) (VotingProcedures era)
votingProceduresTxBodyL ((VotingProcedures era -> Const r (VotingProcedures era))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (VotingProcedures era)
     -> Const r (Maybe (VotingProcedures era)))
    -> VotingProcedures era -> Const r (VotingProcedures era))
-> (Maybe (VotingProcedures era)
    -> Const r (Maybe (VotingProcedures era)))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (VotingProcedures era -> Maybe (VotingProcedures era))
-> SimpleGetter
     (VotingProcedures era) (Maybe (VotingProcedures era))
forall s a. (s -> a) -> SimpleGetter s a
to VotingProcedures era -> Maybe (VotingProcedures era)
forall a. a -> Maybe a
Just

  proposalProceduresTxBodyG :: SimpleGetter (TxBody era) (Maybe (OSet (ProposalProcedure era)))
  default proposalProceduresTxBodyG ::
    ConwayEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (OSet (ProposalProcedure era)))
  proposalProceduresTxBodyG = (OSet (ProposalProcedure era)
 -> Const r (OSet (ProposalProcedure era)))
-> TxBody era -> Const r (TxBody era)
forall era.
ConwayEraTxBody era =>
Lens' (TxBody era) (OSet (ProposalProcedure era))
Lens' (TxBody era) (OSet (ProposalProcedure era))
proposalProceduresTxBodyL ((OSet (ProposalProcedure era)
  -> Const r (OSet (ProposalProcedure era)))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (OSet (ProposalProcedure era))
     -> Const r (Maybe (OSet (ProposalProcedure era))))
    -> OSet (ProposalProcedure era)
    -> Const r (OSet (ProposalProcedure era)))
-> (Maybe (OSet (ProposalProcedure era))
    -> Const r (Maybe (OSet (ProposalProcedure era))))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (OSet (ProposalProcedure era)
 -> Maybe (OSet (ProposalProcedure era)))
-> SimpleGetter
     (OSet (ProposalProcedure era))
     (Maybe (OSet (ProposalProcedure era)))
forall s a. (s -> a) -> SimpleGetter s a
to OSet (ProposalProcedure era)
-> Maybe (OSet (ProposalProcedure era))
forall a. a -> Maybe a
Just

  treasuryDonationTxBodyG :: SimpleGetter (TxBody era) (Maybe Coin)
  default treasuryDonationTxBodyG :: ConwayEraTxBody era => SimpleGetter (TxBody era) (Maybe Coin)
  treasuryDonationTxBodyG = (Coin -> Const r Coin) -> TxBody era -> Const r (TxBody era)
forall era. ConwayEraTxBody era => Lens' (TxBody era) Coin
Lens' (TxBody era) Coin
treasuryDonationTxBodyL ((Coin -> Const r Coin) -> TxBody era -> Const r (TxBody era))
-> ((Maybe Coin -> Const r (Maybe Coin)) -> Coin -> Const r Coin)
-> (Maybe Coin -> Const r (Maybe Coin))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Coin -> Maybe Coin) -> SimpleGetter Coin (Maybe Coin)
forall s a. (s -> a) -> SimpleGetter s a
to Coin -> Maybe Coin
forall a. a -> Maybe a
Just

  guardsTxBodyG :: SimpleGetter (TxBody era) (Maybe (OSet (Credential Guard)))
  default guardsTxBodyG ::
    DijkstraEraTxBody era =>
    SimpleGetter (TxBody era) (Maybe (OSet (Credential Guard)))
  guardsTxBodyG = (OSet (Credential 'Guard) -> Const r (OSet (Credential 'Guard)))
-> TxBody era -> Const r (TxBody era)
forall era.
DijkstraEraTxBody era =>
Lens' (TxBody era) (OSet (Credential 'Guard))
Lens' (TxBody era) (OSet (Credential 'Guard))
guardsTxBodyL ((OSet (Credential 'Guard) -> Const r (OSet (Credential 'Guard)))
 -> TxBody era -> Const r (TxBody era))
-> ((Maybe (OSet (Credential 'Guard))
     -> Const r (Maybe (OSet (Credential 'Guard))))
    -> OSet (Credential 'Guard) -> Const r (OSet (Credential 'Guard)))
-> (Maybe (OSet (Credential 'Guard))
    -> Const r (Maybe (OSet (Credential 'Guard))))
-> TxBody era
-> Const r (TxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard)))
-> SimpleGetter
     (OSet (Credential 'Guard)) (Maybe (OSet (Credential 'Guard)))
forall s a. (s -> a) -> SimpleGetter s a
to OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard))
forall a. a -> Maybe a
Just

instance AnyEraTxBody ShelleyEra where
  updateTxBodyG :: SimpleGetter
  (TxBody ShelleyEra) (Maybe (Maybe (Update ShelleyEra)))
updateTxBodyG = (StrictMaybe (Update ShelleyEra)
 -> Const r (StrictMaybe (Update ShelleyEra)))
-> TxBody ShelleyEra -> Const r (TxBody ShelleyEra)
forall era.
ShelleyEraTxBody era =>
Lens' (TxBody era) (StrictMaybe (Update era))
Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra))
updateTxBodyL ((StrictMaybe (Update ShelleyEra)
  -> Const r (StrictMaybe (Update ShelleyEra)))
 -> TxBody ShelleyEra -> Const r (TxBody ShelleyEra))
-> ((Maybe (Maybe (Update ShelleyEra))
     -> Const r (Maybe (Maybe (Update ShelleyEra))))
    -> StrictMaybe (Update ShelleyEra)
    -> Const r (StrictMaybe (Update ShelleyEra)))
-> (Maybe (Maybe (Update ShelleyEra))
    -> Const r (Maybe (Maybe (Update ShelleyEra))))
-> TxBody ShelleyEra
-> Const r (TxBody ShelleyEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (Update ShelleyEra)
 -> Maybe (Maybe (Update ShelleyEra)))
-> SimpleGetter
     (StrictMaybe (Update ShelleyEra))
     (Maybe (Maybe (Update ShelleyEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Update ShelleyEra) -> Maybe (Maybe (Update ShelleyEra))
forall a. a -> Maybe a
Just (Maybe (Update ShelleyEra) -> Maybe (Maybe (Update ShelleyEra)))
-> (StrictMaybe (Update ShelleyEra) -> Maybe (Update ShelleyEra))
-> StrictMaybe (Update ShelleyEra)
-> Maybe (Maybe (Update ShelleyEra))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe (Update ShelleyEra) -> Maybe (Update ShelleyEra)
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)
  vldtTxBodyG :: SimpleGetter (TxBody ShelleyEra) ValidityInterval
vldtTxBodyG = (SlotNo -> Const r SlotNo)
-> TxBody ShelleyEra -> Const r (TxBody ShelleyEra)
forall era.
(ShelleyEraTxBody era, ExactEra ShelleyEra era) =>
Lens' (TxBody era) SlotNo
Lens' (TxBody ShelleyEra) SlotNo
ttlTxBodyL ((SlotNo -> Const r SlotNo)
 -> TxBody ShelleyEra -> Const r (TxBody ShelleyEra))
-> ((ValidityInterval -> Const r ValidityInterval)
    -> SlotNo -> Const r SlotNo)
-> (ValidityInterval -> Const r ValidityInterval)
-> TxBody ShelleyEra
-> Const r (TxBody ShelleyEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (SlotNo -> ValidityInterval)
-> SimpleGetter SlotNo ValidityInterval
forall s a. (s -> a) -> SimpleGetter s a
to SlotNo -> ValidityInterval
ttlToValidityInterval
  mintTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe MultiAsset)
mintTxBodyG = (TxBody ShelleyEra -> Maybe MultiAsset)
-> SimpleGetter (TxBody ShelleyEra) (Maybe MultiAsset)
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe MultiAsset -> TxBody ShelleyEra -> Maybe MultiAsset
forall a b. a -> b -> a
const Maybe MultiAsset
forall a. Maybe a
Nothing)
  collateralInputsTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe (Set TxIn))
collateralInputsTxBodyG = (TxBody ShelleyEra -> Maybe (Set TxIn))
-> SimpleGetter (TxBody ShelleyEra) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Set TxIn) -> TxBody ShelleyEra -> Maybe (Set TxIn)
forall a b. a -> b -> a
const Maybe (Set TxIn)
forall a. Maybe a
Nothing)
  scriptIntegrityHashTxBodyG :: SimpleGetter
  (TxBody ShelleyEra) (Maybe (Maybe ScriptIntegrityHash))
scriptIntegrityHashTxBodyG = (TxBody ShelleyEra -> Maybe (Maybe ScriptIntegrityHash))
-> SimpleGetter
     (TxBody ShelleyEra) (Maybe (Maybe ScriptIntegrityHash))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe ScriptIntegrityHash)
-> TxBody ShelleyEra -> Maybe (Maybe ScriptIntegrityHash)
forall a b. a -> b -> a
const Maybe (Maybe ScriptIntegrityHash)
forall a. Maybe a
Nothing)
  networkIdTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Network))
networkIdTxBodyG = (TxBody ShelleyEra -> Maybe (Maybe Network))
-> SimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Network))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Network) -> TxBody ShelleyEra -> Maybe (Maybe Network)
forall a b. a -> b -> a
const Maybe (Maybe Network)
forall a. Maybe a
Nothing)
  sizedOutputsTxBodyG :: SimpleGetter
  (TxBody ShelleyEra) (Maybe (StrictSeq (Sized (TxOut ShelleyEra))))
sizedOutputsTxBodyG = (TxBody ShelleyEra
 -> Maybe (StrictSeq (Sized (ShelleyTxOut ShelleyEra))))
-> SimpleGetter
     (TxBody ShelleyEra)
     (Maybe (StrictSeq (Sized (ShelleyTxOut ShelleyEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (StrictSeq (Sized (ShelleyTxOut ShelleyEra)))
-> TxBody ShelleyEra
-> Maybe (StrictSeq (Sized (ShelleyTxOut ShelleyEra)))
forall a b. a -> b -> a
const Maybe (StrictSeq (Sized (ShelleyTxOut ShelleyEra)))
forall a. Maybe a
Nothing)
  referenceInputsTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe (Set TxIn))
referenceInputsTxBodyG = (TxBody ShelleyEra -> Maybe (Set TxIn))
-> SimpleGetter (TxBody ShelleyEra) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Set TxIn) -> TxBody ShelleyEra -> Maybe (Set TxIn)
forall a b. a -> b -> a
const Maybe (Set TxIn)
forall a. Maybe a
Nothing)
  totalCollateralTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Coin))
totalCollateralTxBodyG = (TxBody ShelleyEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody ShelleyEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  collateralReturnTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe (Maybe (TxOut ShelleyEra)))
collateralReturnTxBodyG = (TxBody ShelleyEra -> Maybe (Maybe (ShelleyTxOut ShelleyEra)))
-> SimpleGetter
     (TxBody ShelleyEra) (Maybe (Maybe (ShelleyTxOut ShelleyEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (ShelleyTxOut ShelleyEra))
-> TxBody ShelleyEra -> Maybe (Maybe (ShelleyTxOut ShelleyEra))
forall a b. a -> b -> a
const Maybe (Maybe (ShelleyTxOut ShelleyEra))
forall a. Maybe a
Nothing)
  sizedCollateralReturnTxBodyG :: SimpleGetter
  (TxBody ShelleyEra) (Maybe (Maybe (Sized (TxOut ShelleyEra))))
sizedCollateralReturnTxBodyG = (TxBody ShelleyEra
 -> Maybe (Maybe (Sized (ShelleyTxOut ShelleyEra))))
-> SimpleGetter
     (TxBody ShelleyEra)
     (Maybe (Maybe (Sized (ShelleyTxOut ShelleyEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (Sized (ShelleyTxOut ShelleyEra)))
-> TxBody ShelleyEra
-> Maybe (Maybe (Sized (ShelleyTxOut ShelleyEra)))
forall a b. a -> b -> a
const Maybe (Maybe (Sized (ShelleyTxOut ShelleyEra)))
forall a. Maybe a
Nothing)
  currentTreasuryValueTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Coin))
currentTreasuryValueTxBodyG = (TxBody ShelleyEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody ShelleyEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  votingProceduresTxBodyG :: SimpleGetter
  (TxBody ShelleyEra) (Maybe (VotingProcedures ShelleyEra))
votingProceduresTxBodyG = (TxBody ShelleyEra -> Maybe (VotingProcedures ShelleyEra))
-> SimpleGetter
     (TxBody ShelleyEra) (Maybe (VotingProcedures ShelleyEra))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (VotingProcedures ShelleyEra)
-> TxBody ShelleyEra -> Maybe (VotingProcedures ShelleyEra)
forall a b. a -> b -> a
const Maybe (VotingProcedures ShelleyEra)
forall a. Maybe a
Nothing)
  proposalProceduresTxBodyG :: SimpleGetter
  (TxBody ShelleyEra) (Maybe (OSet (ProposalProcedure ShelleyEra)))
proposalProceduresTxBodyG = (TxBody ShelleyEra -> Maybe (OSet (ProposalProcedure ShelleyEra)))
-> SimpleGetter
     (TxBody ShelleyEra) (Maybe (OSet (ProposalProcedure ShelleyEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (ProposalProcedure ShelleyEra))
-> TxBody ShelleyEra -> Maybe (OSet (ProposalProcedure ShelleyEra))
forall a b. a -> b -> a
const Maybe (OSet (ProposalProcedure ShelleyEra))
forall a. Maybe a
Nothing)
  treasuryDonationTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe Coin)
treasuryDonationTxBodyG = (TxBody ShelleyEra -> Maybe Coin)
-> SimpleGetter (TxBody ShelleyEra) (Maybe Coin)
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Coin -> TxBody ShelleyEra -> Maybe Coin
forall a b. a -> b -> a
const Maybe Coin
forall a. Maybe a
Nothing)
  guardsTxBodyG :: SimpleGetter (TxBody ShelleyEra) (Maybe (OSet (Credential 'Guard)))
guardsTxBodyG = (TxBody ShelleyEra -> Maybe (OSet (Credential 'Guard)))
-> SimpleGetter
     (TxBody ShelleyEra) (Maybe (OSet (Credential 'Guard)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (Credential 'Guard))
-> TxBody ShelleyEra -> Maybe (OSet (Credential 'Guard))
forall a b. a -> b -> a
const Maybe (OSet (Credential 'Guard))
forall a. Maybe a
Nothing)

instance AnyEraTxBody AllegraEra where
  updateTxBodyG :: SimpleGetter
  (TxBody AllegraEra) (Maybe (Maybe (Update AllegraEra)))
updateTxBodyG = (StrictMaybe (Update AllegraEra)
 -> Const r (StrictMaybe (Update AllegraEra)))
-> TxBody AllegraEra -> Const r (TxBody AllegraEra)
forall era.
ShelleyEraTxBody era =>
Lens' (TxBody era) (StrictMaybe (Update era))
Lens' (TxBody AllegraEra) (StrictMaybe (Update AllegraEra))
updateTxBodyL ((StrictMaybe (Update AllegraEra)
  -> Const r (StrictMaybe (Update AllegraEra)))
 -> TxBody AllegraEra -> Const r (TxBody AllegraEra))
-> ((Maybe (Maybe (Update AllegraEra))
     -> Const r (Maybe (Maybe (Update AllegraEra))))
    -> StrictMaybe (Update AllegraEra)
    -> Const r (StrictMaybe (Update AllegraEra)))
-> (Maybe (Maybe (Update AllegraEra))
    -> Const r (Maybe (Maybe (Update AllegraEra))))
-> TxBody AllegraEra
-> Const r (TxBody AllegraEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (Update AllegraEra)
 -> Maybe (Maybe (Update AllegraEra)))
-> SimpleGetter
     (StrictMaybe (Update AllegraEra))
     (Maybe (Maybe (Update AllegraEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Update AllegraEra) -> Maybe (Maybe (Update AllegraEra))
forall a. a -> Maybe a
Just (Maybe (Update AllegraEra) -> Maybe (Maybe (Update AllegraEra)))
-> (StrictMaybe (Update AllegraEra) -> Maybe (Update AllegraEra))
-> StrictMaybe (Update AllegraEra)
-> Maybe (Maybe (Update AllegraEra))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe (Update AllegraEra) -> Maybe (Update AllegraEra)
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)
  mintTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe MultiAsset)
mintTxBodyG = (TxBody AllegraEra -> Maybe MultiAsset)
-> SimpleGetter (TxBody AllegraEra) (Maybe MultiAsset)
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe MultiAsset -> TxBody AllegraEra -> Maybe MultiAsset
forall a b. a -> b -> a
const Maybe MultiAsset
forall a. Maybe a
Nothing)
  collateralInputsTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe (Set TxIn))
collateralInputsTxBodyG = (TxBody AllegraEra -> Maybe (Set TxIn))
-> SimpleGetter (TxBody AllegraEra) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Set TxIn) -> TxBody AllegraEra -> Maybe (Set TxIn)
forall a b. a -> b -> a
const Maybe (Set TxIn)
forall a. Maybe a
Nothing)
  scriptIntegrityHashTxBodyG :: SimpleGetter
  (TxBody AllegraEra) (Maybe (Maybe ScriptIntegrityHash))
scriptIntegrityHashTxBodyG = (TxBody AllegraEra -> Maybe (Maybe ScriptIntegrityHash))
-> SimpleGetter
     (TxBody AllegraEra) (Maybe (Maybe ScriptIntegrityHash))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe ScriptIntegrityHash)
-> TxBody AllegraEra -> Maybe (Maybe ScriptIntegrityHash)
forall a b. a -> b -> a
const Maybe (Maybe ScriptIntegrityHash)
forall a. Maybe a
Nothing)
  networkIdTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe (Maybe Network))
networkIdTxBodyG = (TxBody AllegraEra -> Maybe (Maybe Network))
-> SimpleGetter (TxBody AllegraEra) (Maybe (Maybe Network))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Network) -> TxBody AllegraEra -> Maybe (Maybe Network)
forall a b. a -> b -> a
const Maybe (Maybe Network)
forall a. Maybe a
Nothing)
  sizedOutputsTxBodyG :: SimpleGetter
  (TxBody AllegraEra) (Maybe (StrictSeq (Sized (TxOut AllegraEra))))
sizedOutputsTxBodyG = (TxBody AllegraEra
 -> Maybe (StrictSeq (Sized (ShelleyTxOut AllegraEra))))
-> SimpleGetter
     (TxBody AllegraEra)
     (Maybe (StrictSeq (Sized (ShelleyTxOut AllegraEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (StrictSeq (Sized (ShelleyTxOut AllegraEra)))
-> TxBody AllegraEra
-> Maybe (StrictSeq (Sized (ShelleyTxOut AllegraEra)))
forall a b. a -> b -> a
const Maybe (StrictSeq (Sized (ShelleyTxOut AllegraEra)))
forall a. Maybe a
Nothing)
  referenceInputsTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe (Set TxIn))
referenceInputsTxBodyG = (TxBody AllegraEra -> Maybe (Set TxIn))
-> SimpleGetter (TxBody AllegraEra) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Set TxIn) -> TxBody AllegraEra -> Maybe (Set TxIn)
forall a b. a -> b -> a
const Maybe (Set TxIn)
forall a. Maybe a
Nothing)
  totalCollateralTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe (Maybe Coin))
totalCollateralTxBodyG = (TxBody AllegraEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody AllegraEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody AllegraEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  collateralReturnTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe (Maybe (TxOut AllegraEra)))
collateralReturnTxBodyG = (TxBody AllegraEra -> Maybe (Maybe (ShelleyTxOut AllegraEra)))
-> SimpleGetter
     (TxBody AllegraEra) (Maybe (Maybe (ShelleyTxOut AllegraEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (ShelleyTxOut AllegraEra))
-> TxBody AllegraEra -> Maybe (Maybe (ShelleyTxOut AllegraEra))
forall a b. a -> b -> a
const Maybe (Maybe (ShelleyTxOut AllegraEra))
forall a. Maybe a
Nothing)
  sizedCollateralReturnTxBodyG :: SimpleGetter
  (TxBody AllegraEra) (Maybe (Maybe (Sized (TxOut AllegraEra))))
sizedCollateralReturnTxBodyG = (TxBody AllegraEra
 -> Maybe (Maybe (Sized (ShelleyTxOut AllegraEra))))
-> SimpleGetter
     (TxBody AllegraEra)
     (Maybe (Maybe (Sized (ShelleyTxOut AllegraEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (Sized (ShelleyTxOut AllegraEra)))
-> TxBody AllegraEra
-> Maybe (Maybe (Sized (ShelleyTxOut AllegraEra)))
forall a b. a -> b -> a
const Maybe (Maybe (Sized (ShelleyTxOut AllegraEra)))
forall a. Maybe a
Nothing)
  currentTreasuryValueTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe (Maybe Coin))
currentTreasuryValueTxBodyG = (TxBody AllegraEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody AllegraEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody AllegraEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  votingProceduresTxBodyG :: SimpleGetter
  (TxBody AllegraEra) (Maybe (VotingProcedures AllegraEra))
votingProceduresTxBodyG = (TxBody AllegraEra -> Maybe (VotingProcedures AllegraEra))
-> SimpleGetter
     (TxBody AllegraEra) (Maybe (VotingProcedures AllegraEra))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (VotingProcedures AllegraEra)
-> TxBody AllegraEra -> Maybe (VotingProcedures AllegraEra)
forall a b. a -> b -> a
const Maybe (VotingProcedures AllegraEra)
forall a. Maybe a
Nothing)
  proposalProceduresTxBodyG :: SimpleGetter
  (TxBody AllegraEra) (Maybe (OSet (ProposalProcedure AllegraEra)))
proposalProceduresTxBodyG = (TxBody AllegraEra -> Maybe (OSet (ProposalProcedure AllegraEra)))
-> SimpleGetter
     (TxBody AllegraEra) (Maybe (OSet (ProposalProcedure AllegraEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (ProposalProcedure AllegraEra))
-> TxBody AllegraEra -> Maybe (OSet (ProposalProcedure AllegraEra))
forall a b. a -> b -> a
const Maybe (OSet (ProposalProcedure AllegraEra))
forall a. Maybe a
Nothing)
  treasuryDonationTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe Coin)
treasuryDonationTxBodyG = (TxBody AllegraEra -> Maybe Coin)
-> SimpleGetter (TxBody AllegraEra) (Maybe Coin)
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Coin -> TxBody AllegraEra -> Maybe Coin
forall a b. a -> b -> a
const Maybe Coin
forall a. Maybe a
Nothing)
  guardsTxBodyG :: SimpleGetter (TxBody AllegraEra) (Maybe (OSet (Credential 'Guard)))
guardsTxBodyG = (TxBody AllegraEra -> Maybe (OSet (Credential 'Guard)))
-> SimpleGetter
     (TxBody AllegraEra) (Maybe (OSet (Credential 'Guard)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (Credential 'Guard))
-> TxBody AllegraEra -> Maybe (OSet (Credential 'Guard))
forall a b. a -> b -> a
const Maybe (OSet (Credential 'Guard))
forall a. Maybe a
Nothing)

instance AnyEraTxBody MaryEra where
  updateTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Maybe (Update MaryEra)))
updateTxBodyG = (StrictMaybe (Update MaryEra)
 -> Const r (StrictMaybe (Update MaryEra)))
-> TxBody MaryEra -> Const r (TxBody MaryEra)
forall era.
ShelleyEraTxBody era =>
Lens' (TxBody era) (StrictMaybe (Update era))
Lens' (TxBody MaryEra) (StrictMaybe (Update MaryEra))
updateTxBodyL ((StrictMaybe (Update MaryEra)
  -> Const r (StrictMaybe (Update MaryEra)))
 -> TxBody MaryEra -> Const r (TxBody MaryEra))
-> ((Maybe (Maybe (Update MaryEra))
     -> Const r (Maybe (Maybe (Update MaryEra))))
    -> StrictMaybe (Update MaryEra)
    -> Const r (StrictMaybe (Update MaryEra)))
-> (Maybe (Maybe (Update MaryEra))
    -> Const r (Maybe (Maybe (Update MaryEra))))
-> TxBody MaryEra
-> Const r (TxBody MaryEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (Update MaryEra) -> Maybe (Maybe (Update MaryEra)))
-> SimpleGetter
     (StrictMaybe (Update MaryEra)) (Maybe (Maybe (Update MaryEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Update MaryEra) -> Maybe (Maybe (Update MaryEra))
forall a. a -> Maybe a
Just (Maybe (Update MaryEra) -> Maybe (Maybe (Update MaryEra)))
-> (StrictMaybe (Update MaryEra) -> Maybe (Update MaryEra))
-> StrictMaybe (Update MaryEra)
-> Maybe (Maybe (Update MaryEra))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe (Update MaryEra) -> Maybe (Update MaryEra)
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)
  collateralInputsTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Set TxIn))
collateralInputsTxBodyG = (TxBody MaryEra -> Maybe (Set TxIn))
-> SimpleGetter (TxBody MaryEra) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Set TxIn) -> TxBody MaryEra -> Maybe (Set TxIn)
forall a b. a -> b -> a
const Maybe (Set TxIn)
forall a. Maybe a
Nothing)
  scriptIntegrityHashTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Maybe ScriptIntegrityHash))
scriptIntegrityHashTxBodyG = (TxBody MaryEra -> Maybe (Maybe ScriptIntegrityHash))
-> SimpleGetter
     (TxBody MaryEra) (Maybe (Maybe ScriptIntegrityHash))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe ScriptIntegrityHash)
-> TxBody MaryEra -> Maybe (Maybe ScriptIntegrityHash)
forall a b. a -> b -> a
const Maybe (Maybe ScriptIntegrityHash)
forall a. Maybe a
Nothing)
  networkIdTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Maybe Network))
networkIdTxBodyG = (TxBody MaryEra -> Maybe (Maybe Network))
-> SimpleGetter (TxBody MaryEra) (Maybe (Maybe Network))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Network) -> TxBody MaryEra -> Maybe (Maybe Network)
forall a b. a -> b -> a
const Maybe (Maybe Network)
forall a. Maybe a
Nothing)
  sizedOutputsTxBodyG :: SimpleGetter
  (TxBody MaryEra) (Maybe (StrictSeq (Sized (TxOut MaryEra))))
sizedOutputsTxBodyG = (TxBody MaryEra
 -> Maybe (StrictSeq (Sized (ShelleyTxOut MaryEra))))
-> SimpleGetter
     (TxBody MaryEra) (Maybe (StrictSeq (Sized (ShelleyTxOut MaryEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (StrictSeq (Sized (ShelleyTxOut MaryEra)))
-> TxBody MaryEra
-> Maybe (StrictSeq (Sized (ShelleyTxOut MaryEra)))
forall a b. a -> b -> a
const Maybe (StrictSeq (Sized (ShelleyTxOut MaryEra)))
forall a. Maybe a
Nothing)
  referenceInputsTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Set TxIn))
referenceInputsTxBodyG = (TxBody MaryEra -> Maybe (Set TxIn))
-> SimpleGetter (TxBody MaryEra) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Set TxIn) -> TxBody MaryEra -> Maybe (Set TxIn)
forall a b. a -> b -> a
const Maybe (Set TxIn)
forall a. Maybe a
Nothing)
  totalCollateralTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Maybe Coin))
totalCollateralTxBodyG = (TxBody MaryEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody MaryEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody MaryEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  collateralReturnTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Maybe (TxOut MaryEra)))
collateralReturnTxBodyG = (TxBody MaryEra -> Maybe (Maybe (ShelleyTxOut MaryEra)))
-> SimpleGetter
     (TxBody MaryEra) (Maybe (Maybe (ShelleyTxOut MaryEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (ShelleyTxOut MaryEra))
-> TxBody MaryEra -> Maybe (Maybe (ShelleyTxOut MaryEra))
forall a b. a -> b -> a
const Maybe (Maybe (ShelleyTxOut MaryEra))
forall a. Maybe a
Nothing)
  sizedCollateralReturnTxBodyG :: SimpleGetter
  (TxBody MaryEra) (Maybe (Maybe (Sized (TxOut MaryEra))))
sizedCollateralReturnTxBodyG = (TxBody MaryEra -> Maybe (Maybe (Sized (ShelleyTxOut MaryEra))))
-> SimpleGetter
     (TxBody MaryEra) (Maybe (Maybe (Sized (ShelleyTxOut MaryEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (Sized (ShelleyTxOut MaryEra)))
-> TxBody MaryEra -> Maybe (Maybe (Sized (ShelleyTxOut MaryEra)))
forall a b. a -> b -> a
const Maybe (Maybe (Sized (ShelleyTxOut MaryEra)))
forall a. Maybe a
Nothing)
  currentTreasuryValueTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (Maybe Coin))
currentTreasuryValueTxBodyG = (TxBody MaryEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody MaryEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody MaryEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  votingProceduresTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (VotingProcedures MaryEra))
votingProceduresTxBodyG = (TxBody MaryEra -> Maybe (VotingProcedures MaryEra))
-> SimpleGetter (TxBody MaryEra) (Maybe (VotingProcedures MaryEra))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (VotingProcedures MaryEra)
-> TxBody MaryEra -> Maybe (VotingProcedures MaryEra)
forall a b. a -> b -> a
const Maybe (VotingProcedures MaryEra)
forall a. Maybe a
Nothing)
  proposalProceduresTxBodyG :: SimpleGetter
  (TxBody MaryEra) (Maybe (OSet (ProposalProcedure MaryEra)))
proposalProceduresTxBodyG = (TxBody MaryEra -> Maybe (OSet (ProposalProcedure MaryEra)))
-> SimpleGetter
     (TxBody MaryEra) (Maybe (OSet (ProposalProcedure MaryEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (ProposalProcedure MaryEra))
-> TxBody MaryEra -> Maybe (OSet (ProposalProcedure MaryEra))
forall a b. a -> b -> a
const Maybe (OSet (ProposalProcedure MaryEra))
forall a. Maybe a
Nothing)
  treasuryDonationTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe Coin)
treasuryDonationTxBodyG = (TxBody MaryEra -> Maybe Coin)
-> SimpleGetter (TxBody MaryEra) (Maybe Coin)
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Coin -> TxBody MaryEra -> Maybe Coin
forall a b. a -> b -> a
const Maybe Coin
forall a. Maybe a
Nothing)
  guardsTxBodyG :: SimpleGetter (TxBody MaryEra) (Maybe (OSet (Credential 'Guard)))
guardsTxBodyG = (TxBody MaryEra -> Maybe (OSet (Credential 'Guard)))
-> SimpleGetter (TxBody MaryEra) (Maybe (OSet (Credential 'Guard)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (Credential 'Guard))
-> TxBody MaryEra -> Maybe (OSet (Credential 'Guard))
forall a b. a -> b -> a
const Maybe (OSet (Credential 'Guard))
forall a. Maybe a
Nothing)

instance AnyEraTxBody AlonzoEra where
  updateTxBodyG :: SimpleGetter (TxBody AlonzoEra) (Maybe (Maybe (Update AlonzoEra)))
updateTxBodyG = (StrictMaybe (Update AlonzoEra)
 -> Const r (StrictMaybe (Update AlonzoEra)))
-> TxBody AlonzoEra -> Const r (TxBody AlonzoEra)
forall era.
ShelleyEraTxBody era =>
Lens' (TxBody era) (StrictMaybe (Update era))
Lens' (TxBody AlonzoEra) (StrictMaybe (Update AlonzoEra))
updateTxBodyL ((StrictMaybe (Update AlonzoEra)
  -> Const r (StrictMaybe (Update AlonzoEra)))
 -> TxBody AlonzoEra -> Const r (TxBody AlonzoEra))
-> ((Maybe (Maybe (Update AlonzoEra))
     -> Const r (Maybe (Maybe (Update AlonzoEra))))
    -> StrictMaybe (Update AlonzoEra)
    -> Const r (StrictMaybe (Update AlonzoEra)))
-> (Maybe (Maybe (Update AlonzoEra))
    -> Const r (Maybe (Maybe (Update AlonzoEra))))
-> TxBody AlonzoEra
-> Const r (TxBody AlonzoEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (Update AlonzoEra)
 -> Maybe (Maybe (Update AlonzoEra)))
-> SimpleGetter
     (StrictMaybe (Update AlonzoEra)) (Maybe (Maybe (Update AlonzoEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Update AlonzoEra) -> Maybe (Maybe (Update AlonzoEra))
forall a. a -> Maybe a
Just (Maybe (Update AlonzoEra) -> Maybe (Maybe (Update AlonzoEra)))
-> (StrictMaybe (Update AlonzoEra) -> Maybe (Update AlonzoEra))
-> StrictMaybe (Update AlonzoEra)
-> Maybe (Maybe (Update AlonzoEra))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe (Update AlonzoEra) -> Maybe (Update AlonzoEra)
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)
  sizedOutputsTxBodyG :: SimpleGetter
  (TxBody AlonzoEra) (Maybe (StrictSeq (Sized (TxOut AlonzoEra))))
sizedOutputsTxBodyG = (TxBody AlonzoEra
 -> Maybe (StrictSeq (Sized (AlonzoTxOut AlonzoEra))))
-> SimpleGetter
     (TxBody AlonzoEra)
     (Maybe (StrictSeq (Sized (AlonzoTxOut AlonzoEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (StrictSeq (Sized (AlonzoTxOut AlonzoEra)))
-> TxBody AlonzoEra
-> Maybe (StrictSeq (Sized (AlonzoTxOut AlonzoEra)))
forall a b. a -> b -> a
const Maybe (StrictSeq (Sized (AlonzoTxOut AlonzoEra)))
forall a. Maybe a
Nothing)
  referenceInputsTxBodyG :: SimpleGetter (TxBody AlonzoEra) (Maybe (Set TxIn))
referenceInputsTxBodyG = (TxBody AlonzoEra -> Maybe (Set TxIn))
-> SimpleGetter (TxBody AlonzoEra) (Maybe (Set TxIn))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Set TxIn) -> TxBody AlonzoEra -> Maybe (Set TxIn)
forall a b. a -> b -> a
const Maybe (Set TxIn)
forall a. Maybe a
Nothing)
  totalCollateralTxBodyG :: SimpleGetter (TxBody AlonzoEra) (Maybe (Maybe Coin))
totalCollateralTxBodyG = (TxBody AlonzoEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody AlonzoEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody AlonzoEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  collateralReturnTxBodyG :: SimpleGetter (TxBody AlonzoEra) (Maybe (Maybe (TxOut AlonzoEra)))
collateralReturnTxBodyG = (TxBody AlonzoEra -> Maybe (Maybe (AlonzoTxOut AlonzoEra)))
-> SimpleGetter
     (TxBody AlonzoEra) (Maybe (Maybe (AlonzoTxOut AlonzoEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (AlonzoTxOut AlonzoEra))
-> TxBody AlonzoEra -> Maybe (Maybe (AlonzoTxOut AlonzoEra))
forall a b. a -> b -> a
const Maybe (Maybe (AlonzoTxOut AlonzoEra))
forall a. Maybe a
Nothing)
  sizedCollateralReturnTxBodyG :: SimpleGetter
  (TxBody AlonzoEra) (Maybe (Maybe (Sized (TxOut AlonzoEra))))
sizedCollateralReturnTxBodyG = (TxBody AlonzoEra -> Maybe (Maybe (Sized (AlonzoTxOut AlonzoEra))))
-> SimpleGetter
     (TxBody AlonzoEra) (Maybe (Maybe (Sized (AlonzoTxOut AlonzoEra))))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe (Sized (AlonzoTxOut AlonzoEra)))
-> TxBody AlonzoEra
-> Maybe (Maybe (Sized (AlonzoTxOut AlonzoEra)))
forall a b. a -> b -> a
const Maybe (Maybe (Sized (AlonzoTxOut AlonzoEra)))
forall a. Maybe a
Nothing)
  currentTreasuryValueTxBodyG :: SimpleGetter (TxBody AlonzoEra) (Maybe (Maybe Coin))
currentTreasuryValueTxBodyG = (TxBody AlonzoEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody AlonzoEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody AlonzoEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  votingProceduresTxBodyG :: SimpleGetter
  (TxBody AlonzoEra) (Maybe (VotingProcedures AlonzoEra))
votingProceduresTxBodyG = (TxBody AlonzoEra -> Maybe (VotingProcedures AlonzoEra))
-> SimpleGetter
     (TxBody AlonzoEra) (Maybe (VotingProcedures AlonzoEra))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (VotingProcedures AlonzoEra)
-> TxBody AlonzoEra -> Maybe (VotingProcedures AlonzoEra)
forall a b. a -> b -> a
const Maybe (VotingProcedures AlonzoEra)
forall a. Maybe a
Nothing)
  proposalProceduresTxBodyG :: SimpleGetter
  (TxBody AlonzoEra) (Maybe (OSet (ProposalProcedure AlonzoEra)))
proposalProceduresTxBodyG = (TxBody AlonzoEra -> Maybe (OSet (ProposalProcedure AlonzoEra)))
-> SimpleGetter
     (TxBody AlonzoEra) (Maybe (OSet (ProposalProcedure AlonzoEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (ProposalProcedure AlonzoEra))
-> TxBody AlonzoEra -> Maybe (OSet (ProposalProcedure AlonzoEra))
forall a b. a -> b -> a
const Maybe (OSet (ProposalProcedure AlonzoEra))
forall a. Maybe a
Nothing)
  treasuryDonationTxBodyG :: SimpleGetter (TxBody AlonzoEra) (Maybe Coin)
treasuryDonationTxBodyG = (TxBody AlonzoEra -> Maybe Coin)
-> SimpleGetter (TxBody AlonzoEra) (Maybe Coin)
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Coin -> TxBody AlonzoEra -> Maybe Coin
forall a b. a -> b -> a
const Maybe Coin
forall a. Maybe a
Nothing)
  guardsTxBodyG :: SimpleGetter (TxBody AlonzoEra) (Maybe (OSet (Credential 'Guard)))
guardsTxBodyG =
    -- TODO: switch reqSignerHashesTxBodyL to `Guard` from `Witness`, thus getting rid of
    -- coerceKeyRole: https://github.com/IntersectMBO/cardano-ledger/issues/5315
    Getting r (TxBody AlonzoEra) (Set (KeyHash 'Witness))
forall era.
AlonzoEraTxBody era =>
SimpleGetter (TxBody era) (Set (KeyHash 'Witness))
SimpleGetter (TxBody AlonzoEra) (Set (KeyHash 'Witness))
reqSignerHashesTxBodyG Getting r (TxBody AlonzoEra) (Set (KeyHash 'Witness))
-> ((Maybe (OSet (Credential 'Guard))
     -> Const r (Maybe (OSet (Credential 'Guard))))
    -> Set (KeyHash 'Witness) -> Const r (Set (KeyHash 'Witness)))
-> (Maybe (OSet (Credential 'Guard))
    -> Const r (Maybe (OSet (Credential 'Guard))))
-> TxBody AlonzoEra
-> Const r (TxBody AlonzoEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set (KeyHash 'Witness) -> Maybe (OSet (Credential 'Guard)))
-> SimpleGetter
     (Set (KeyHash 'Witness)) (Maybe (OSet (Credential 'Guard)))
forall s a. (s -> a) -> SimpleGetter s a
to (OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard))
forall a. a -> Maybe a
Just (OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard)))
-> (Set (KeyHash 'Witness) -> OSet (Credential 'Guard))
-> Set (KeyHash 'Witness)
-> Maybe (OSet (Credential 'Guard))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Set (Credential 'Guard) -> OSet (Credential 'Guard)
forall a. Set a -> OSet a
OSet.fromSet (Set (Credential 'Guard) -> OSet (Credential 'Guard))
-> (Set (KeyHash 'Witness) -> Set (Credential 'Guard))
-> Set (KeyHash 'Witness)
-> OSet (Credential 'Guard)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (KeyHash 'Witness -> Credential 'Guard)
-> Set (KeyHash 'Witness) -> Set (Credential 'Guard)
forall b a. Ord b => (a -> b) -> Set a -> Set b
Set.map (KeyHash 'Guard -> Credential 'Guard
forall (kr :: KeyRole). KeyHash kr -> Credential kr
KeyHashObj (KeyHash 'Guard -> Credential 'Guard)
-> (KeyHash 'Witness -> KeyHash 'Guard)
-> KeyHash 'Witness
-> Credential 'Guard
forall b c a. (b -> c) -> (a -> b) -> a -> c
. KeyHash 'Witness -> KeyHash 'Guard
forall (r :: KeyRole) (r' :: KeyRole). KeyHash r -> KeyHash r'
forall (a :: KeyRole -> *) (r :: KeyRole) (r' :: KeyRole).
HasKeyRole a =>
a r -> a r'
coerceKeyRole))

instance AnyEraTxBody BabbageEra where
  updateTxBodyG :: SimpleGetter
  (TxBody BabbageEra) (Maybe (Maybe (Update BabbageEra)))
updateTxBodyG = (StrictMaybe (Update BabbageEra)
 -> Const r (StrictMaybe (Update BabbageEra)))
-> TxBody BabbageEra -> Const r (TxBody BabbageEra)
forall era.
ShelleyEraTxBody era =>
Lens' (TxBody era) (StrictMaybe (Update era))
Lens' (TxBody BabbageEra) (StrictMaybe (Update BabbageEra))
updateTxBodyL ((StrictMaybe (Update BabbageEra)
  -> Const r (StrictMaybe (Update BabbageEra)))
 -> TxBody BabbageEra -> Const r (TxBody BabbageEra))
-> ((Maybe (Maybe (Update BabbageEra))
     -> Const r (Maybe (Maybe (Update BabbageEra))))
    -> StrictMaybe (Update BabbageEra)
    -> Const r (StrictMaybe (Update BabbageEra)))
-> (Maybe (Maybe (Update BabbageEra))
    -> Const r (Maybe (Maybe (Update BabbageEra))))
-> TxBody BabbageEra
-> Const r (TxBody BabbageEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (Update BabbageEra)
 -> Maybe (Maybe (Update BabbageEra)))
-> SimpleGetter
     (StrictMaybe (Update BabbageEra))
     (Maybe (Maybe (Update BabbageEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Update BabbageEra) -> Maybe (Maybe (Update BabbageEra))
forall a. a -> Maybe a
Just (Maybe (Update BabbageEra) -> Maybe (Maybe (Update BabbageEra)))
-> (StrictMaybe (Update BabbageEra) -> Maybe (Update BabbageEra))
-> StrictMaybe (Update BabbageEra)
-> Maybe (Maybe (Update BabbageEra))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe (Update BabbageEra) -> Maybe (Update BabbageEra)
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe)
  currentTreasuryValueTxBodyG :: SimpleGetter (TxBody BabbageEra) (Maybe (Maybe Coin))
currentTreasuryValueTxBodyG = (TxBody BabbageEra -> Maybe (Maybe Coin))
-> SimpleGetter (TxBody BabbageEra) (Maybe (Maybe Coin))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (Maybe Coin) -> TxBody BabbageEra -> Maybe (Maybe Coin)
forall a b. a -> b -> a
const Maybe (Maybe Coin)
forall a. Maybe a
Nothing)
  votingProceduresTxBodyG :: SimpleGetter
  (TxBody BabbageEra) (Maybe (VotingProcedures BabbageEra))
votingProceduresTxBodyG = (TxBody BabbageEra -> Maybe (VotingProcedures BabbageEra))
-> SimpleGetter
     (TxBody BabbageEra) (Maybe (VotingProcedures BabbageEra))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (VotingProcedures BabbageEra)
-> TxBody BabbageEra -> Maybe (VotingProcedures BabbageEra)
forall a b. a -> b -> a
const Maybe (VotingProcedures BabbageEra)
forall a. Maybe a
Nothing)
  proposalProceduresTxBodyG :: SimpleGetter
  (TxBody BabbageEra) (Maybe (OSet (ProposalProcedure BabbageEra)))
proposalProceduresTxBodyG = (TxBody BabbageEra -> Maybe (OSet (ProposalProcedure BabbageEra)))
-> SimpleGetter
     (TxBody BabbageEra) (Maybe (OSet (ProposalProcedure BabbageEra)))
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe (OSet (ProposalProcedure BabbageEra))
-> TxBody BabbageEra -> Maybe (OSet (ProposalProcedure BabbageEra))
forall a b. a -> b -> a
const Maybe (OSet (ProposalProcedure BabbageEra))
forall a. Maybe a
Nothing)
  treasuryDonationTxBodyG :: SimpleGetter (TxBody BabbageEra) (Maybe Coin)
treasuryDonationTxBodyG = (TxBody BabbageEra -> Maybe Coin)
-> SimpleGetter (TxBody BabbageEra) (Maybe Coin)
forall s a. (s -> a) -> SimpleGetter s a
to (Maybe Coin -> TxBody BabbageEra -> Maybe Coin
forall a b. a -> b -> a
const Maybe Coin
forall a. Maybe a
Nothing)
  guardsTxBodyG :: SimpleGetter (TxBody BabbageEra) (Maybe (OSet (Credential 'Guard)))
guardsTxBodyG =
    Getting r (TxBody BabbageEra) (Set (KeyHash 'Witness))
forall era.
AlonzoEraTxBody era =>
SimpleGetter (TxBody era) (Set (KeyHash 'Witness))
SimpleGetter (TxBody BabbageEra) (Set (KeyHash 'Witness))
reqSignerHashesTxBodyG Getting r (TxBody BabbageEra) (Set (KeyHash 'Witness))
-> ((Maybe (OSet (Credential 'Guard))
     -> Const r (Maybe (OSet (Credential 'Guard))))
    -> Set (KeyHash 'Witness) -> Const r (Set (KeyHash 'Witness)))
-> (Maybe (OSet (Credential 'Guard))
    -> Const r (Maybe (OSet (Credential 'Guard))))
-> TxBody BabbageEra
-> Const r (TxBody BabbageEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set (KeyHash 'Witness) -> Maybe (OSet (Credential 'Guard)))
-> SimpleGetter
     (Set (KeyHash 'Witness)) (Maybe (OSet (Credential 'Guard)))
forall s a. (s -> a) -> SimpleGetter s a
to (OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard))
forall a. a -> Maybe a
Just (OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard)))
-> (Set (KeyHash 'Witness) -> OSet (Credential 'Guard))
-> Set (KeyHash 'Witness)
-> Maybe (OSet (Credential 'Guard))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Set (Credential 'Guard) -> OSet (Credential 'Guard)
forall a. Set a -> OSet a
OSet.fromSet (Set (Credential 'Guard) -> OSet (Credential 'Guard))
-> (Set (KeyHash 'Witness) -> Set (Credential 'Guard))
-> Set (KeyHash 'Witness)
-> OSet (Credential 'Guard)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (KeyHash 'Witness -> Credential 'Guard)
-> Set (KeyHash 'Witness) -> Set (Credential 'Guard)
forall b a. Ord b => (a -> b) -> Set a -> Set b
Set.map (KeyHash 'Guard -> Credential 'Guard
forall (kr :: KeyRole). KeyHash kr -> Credential kr
KeyHashObj (KeyHash 'Guard -> Credential 'Guard)
-> (KeyHash 'Witness -> KeyHash 'Guard)
-> KeyHash 'Witness
-> Credential 'Guard
forall b c a. (b -> c) -> (a -> b) -> a -> c
. KeyHash 'Witness -> KeyHash 'Guard
forall (r :: KeyRole) (r' :: KeyRole). KeyHash r -> KeyHash r'
forall (a :: KeyRole -> *) (r :: KeyRole) (r' :: KeyRole).
HasKeyRole a =>
a r -> a r'
coerceKeyRole))

instance AnyEraTxBody ConwayEra where
  guardsTxBodyG :: SimpleGetter (TxBody ConwayEra) (Maybe (OSet (Credential 'Guard)))
guardsTxBodyG =
    Getting r (TxBody ConwayEra) (Set (KeyHash 'Witness))
forall era.
AlonzoEraTxBody era =>
SimpleGetter (TxBody era) (Set (KeyHash 'Witness))
SimpleGetter (TxBody ConwayEra) (Set (KeyHash 'Witness))
reqSignerHashesTxBodyG Getting r (TxBody ConwayEra) (Set (KeyHash 'Witness))
-> ((Maybe (OSet (Credential 'Guard))
     -> Const r (Maybe (OSet (Credential 'Guard))))
    -> Set (KeyHash 'Witness) -> Const r (Set (KeyHash 'Witness)))
-> (Maybe (OSet (Credential 'Guard))
    -> Const r (Maybe (OSet (Credential 'Guard))))
-> TxBody ConwayEra
-> Const r (TxBody ConwayEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set (KeyHash 'Witness) -> Maybe (OSet (Credential 'Guard)))
-> SimpleGetter
     (Set (KeyHash 'Witness)) (Maybe (OSet (Credential 'Guard)))
forall s a. (s -> a) -> SimpleGetter s a
to (OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard))
forall a. a -> Maybe a
Just (OSet (Credential 'Guard) -> Maybe (OSet (Credential 'Guard)))
-> (Set (KeyHash 'Witness) -> OSet (Credential 'Guard))
-> Set (KeyHash 'Witness)
-> Maybe (OSet (Credential 'Guard))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Set (Credential 'Guard) -> OSet (Credential 'Guard)
forall a. Set a -> OSet a
OSet.fromSet (Set (Credential 'Guard) -> OSet (Credential 'Guard))
-> (Set (KeyHash 'Witness) -> Set (Credential 'Guard))
-> Set (KeyHash 'Witness)
-> OSet (Credential 'Guard)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (KeyHash 'Witness -> Credential 'Guard)
-> Set (KeyHash 'Witness) -> Set (Credential 'Guard)
forall b a. Ord b => (a -> b) -> Set a -> Set b
Set.map (KeyHash 'Guard -> Credential 'Guard
forall (kr :: KeyRole). KeyHash kr -> Credential kr
KeyHashObj (KeyHash 'Guard -> Credential 'Guard)
-> (KeyHash 'Witness -> KeyHash 'Guard)
-> KeyHash 'Witness
-> Credential 'Guard
forall b c a. (b -> c) -> (a -> b) -> a -> c
. KeyHash 'Witness -> KeyHash 'Guard
forall (r :: KeyRole) (r' :: KeyRole). KeyHash r -> KeyHash r'
forall (a :: KeyRole -> *) (r :: KeyRole) (r' :: KeyRole).
HasKeyRole a =>
a r -> a r'
coerceKeyRole))

instance AnyEraTxBody DijkstraEra

-- | Evaluate the difference between the value currently being consumed by a transaction
-- and the total value being produced. This value will be zero for a valid transaction.
--
-- In case when full `Cardano.Ledger.CertState` is available then this can be simplified to:
--
-- > let lookupRefund = lookupDepositDState (certDState dpState)
-- > let isRegPoolId = (`Map.member` psStakePools (certPState dpState))
-- > evalBalanceTxBody pp lookupRefund isRegPoolId utxo txBody
evalBalanceTxBody ::
  EraUTxO era =>
  -- | Current protocol parameters
  PParams era ->
  -- | Lookup current deposit amount for a registered stake credential delegation. This
  -- function must produce valid answer for all of the stake credentials present in any of
  -- the `DeRegKey` delegation certificates in the supplied `TxBody`. In other words,
  -- there is no requirement to know about all of the delegation certificates in the
  -- ledger state, just the ones this transaction cares about.
  (Credential 'Staking -> Maybe Coin) ->
  -- | Lookup current deposit amount for a registered DRep credential. This
  -- function must produce valid answer for all of the DRep credentials present in any of
  -- the `UnRegDRep` certificates in the supplied `TxBody`. In other words,
  -- there is no requirement to know about all of the DRep registrations in the
  -- ledger state, just the ones this transaction cares about.
  (Credential 'DRepRole -> Maybe Coin) ->
  -- | Check whether a pool with a supplied PoolStakeId is already registered. There is no
  -- requirement to answer this question for all stake pool credentials, just for the ones
  -- that have the registration certificates included in the supplied `TxBody`
  (KeyHash 'StakePool -> Bool) ->
  -- | The UTxO relevant to the transaction.
  UTxO era ->
  -- | The transaction being evaluated for balance.
  TxBody era ->
  -- | The difference between what the transaction consumes and what it produces.
  Value era
evalBalanceTxBody :: forall era.
EraUTxO era =>
PParams era
-> (Credential 'Staking -> Maybe Coin)
-> (Credential 'DRepRole -> Maybe Coin)
-> (KeyHash 'StakePool -> Bool)
-> UTxO era
-> TxBody era
-> Value era
evalBalanceTxBody PParams era
pp Credential 'Staking -> Maybe Coin
lookupKeyRefund Credential 'DRepRole -> Maybe Coin
lookupDRepRefund KeyHash 'StakePool -> Bool
isRegPoolId UTxO era
utxo TxBody era
txBody =
  PParams era
-> (Credential 'Staking -> Maybe Coin)
-> (Credential 'DRepRole -> Maybe Coin)
-> UTxO era
-> TxBody era
-> Value era
forall era.
EraUTxO era =>
PParams era
-> (Credential 'Staking -> Maybe Coin)
-> (Credential 'DRepRole -> Maybe Coin)
-> UTxO era
-> TxBody era
-> Value era
getConsumedValue PParams era
pp Credential 'Staking -> Maybe Coin
lookupKeyRefund Credential 'DRepRole -> Maybe Coin
lookupDRepRefund UTxO era
utxo TxBody era
txBody
    Value era -> Value era -> Value era
forall t. Val t => t -> t -> t
<-> PParams era
-> (KeyHash 'StakePool -> Bool) -> TxBody era -> Value era
forall era.
EraUTxO era =>
PParams era
-> (KeyHash 'StakePool -> Bool) -> TxBody era -> Value era
getProducedValue PParams era
pp KeyHash 'StakePool -> Bool
isRegPoolId TxBody era
txBody

-- | Lens to access the 'invalidBefore' field of a 'ValidityInterval' as a 'Maybe SlotNo'.
invalidBeforeL :: Lens' ValidityInterval (Maybe SlotNo)
invalidBeforeL :: Lens' ValidityInterval (Maybe SlotNo)
invalidBeforeL = (ValidityInterval -> Maybe SlotNo)
-> (ValidityInterval -> Maybe SlotNo -> ValidityInterval)
-> Lens' ValidityInterval (Maybe SlotNo)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens ValidityInterval -> Maybe SlotNo
g ValidityInterval -> Maybe SlotNo -> ValidityInterval
s
  where
    g :: ValidityInterval -> Maybe SlotNo
    g :: ValidityInterval -> Maybe SlotNo
g (ValidityInterval StrictMaybe SlotNo
ma StrictMaybe SlotNo
_) =
      case StrictMaybe SlotNo
ma of
        StrictMaybe SlotNo
SNothing -> Maybe SlotNo
forall a. Maybe a
Nothing
        SJust SlotNo
a -> SlotNo -> Maybe SlotNo
forall a. a -> Maybe a
Just SlotNo
a

    s :: ValidityInterval -> Maybe SlotNo -> ValidityInterval
    s :: ValidityInterval -> Maybe SlotNo -> ValidityInterval
s (ValidityInterval StrictMaybe SlotNo
_ StrictMaybe SlotNo
b) Maybe SlotNo
a = StrictMaybe SlotNo -> StrictMaybe SlotNo -> ValidityInterval
ValidityInterval (StrictMaybe SlotNo
-> (SlotNo -> StrictMaybe SlotNo)
-> Maybe SlotNo
-> StrictMaybe SlotNo
forall b a. b -> (a -> b) -> Maybe a -> b
maybe StrictMaybe SlotNo
forall a. StrictMaybe a
SNothing SlotNo -> StrictMaybe SlotNo
forall a. a -> StrictMaybe a
SJust Maybe SlotNo
a) StrictMaybe SlotNo
b

-- | Lens to access the 'invalidHereAfter' field of a 'ValidityInterval' as a 'Maybe SlotNo'.
invalidHereAfterL :: Lens' ValidityInterval (Maybe SlotNo)
invalidHereAfterL :: Lens' ValidityInterval (Maybe SlotNo)
invalidHereAfterL = (ValidityInterval -> Maybe SlotNo)
-> (ValidityInterval -> Maybe SlotNo -> ValidityInterval)
-> Lens' ValidityInterval (Maybe SlotNo)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens ValidityInterval -> Maybe SlotNo
g ValidityInterval -> Maybe SlotNo -> ValidityInterval
s
  where
    g :: ValidityInterval -> Maybe SlotNo
    g :: ValidityInterval -> Maybe SlotNo
g (ValidityInterval StrictMaybe SlotNo
_ StrictMaybe SlotNo
mb) =
      case StrictMaybe SlotNo
mb of
        StrictMaybe SlotNo
SNothing -> Maybe SlotNo
forall a. Maybe a
Nothing
        SJust SlotNo
b -> SlotNo -> Maybe SlotNo
forall a. a -> Maybe a
Just SlotNo
b

    s :: ValidityInterval -> Maybe SlotNo -> ValidityInterval
    s :: ValidityInterval -> Maybe SlotNo -> ValidityInterval
s (ValidityInterval StrictMaybe SlotNo
ma StrictMaybe SlotNo
_) = StrictMaybe SlotNo -> StrictMaybe SlotNo -> ValidityInterval
ValidityInterval StrictMaybe SlotNo
ma (StrictMaybe SlotNo -> ValidityInterval)
-> (Maybe SlotNo -> StrictMaybe SlotNo)
-> Maybe SlotNo
-> ValidityInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe SlotNo
-> (SlotNo -> StrictMaybe SlotNo)
-> Maybe SlotNo
-> StrictMaybe SlotNo
forall b a. b -> (a -> b) -> Maybe a -> b
maybe StrictMaybe SlotNo
forall a. StrictMaybe a
SNothing SlotNo -> StrictMaybe SlotNo
forall a. a -> StrictMaybe a
SJust