{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}

{- HLINT ignore "Eta reduce" -}

-- TODO: Deprecate the remaining eon lenses (the validity-interval compatibility
-- lenses, adaAssetL and multiAssetL) once the ledger provides equivalents.

module Cardano.Api.Tx.Internal.Body.Lens
  ( -- * Types
    LedgerTxBody (..)

    -- * Constructors
  , mkAdaOnlyTxOut
  , mkAdaValue

    -- * Lenses
  , strictMaybeL
  , L.invalidBeforeL
  , L.invalidHereAfterL
  , invalidBeforeStrictL
  , invalidHereAfterStrictL
  , invalidBeforeTxBodyL
  , invalidHereAfterTxBodyL
  , ttlAsInvalidHereAfterTxBodyL
  , updateTxBodyL
  , txBodyL
  , mintTxBodyL
  , scriptIntegrityHashTxBodyL
  , collateralInputsTxBodyL
  , reqSignerHashesTxBodyL
  , referenceInputsTxBodyL
  , collateralReturnTxBodyL
  , totalCollateralTxBodyL
  , certsTxBodyL
  , votingProceduresTxBodyL
  , proposalProceduresTxBodyL
  , currentTreasuryValueTxBodyL
  , treasuryDonationTxBodyL
  , adaAssetL
  , multiAssetL
  , valueTxOutL
  , valueTxOutAdaAssetL
  )
where

import Cardano.Api.Era.Internal.Case
import Cardano.Api.Era.Internal.Eon.AllegraEraOnwards
import Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards
import Cardano.Api.Era.Internal.Eon.BabbageEraOnwards
import Cardano.Api.Era.Internal.Eon.Convert (Convert (convert))
import Cardano.Api.Era.Internal.Eon.ConwayEraOnwards
import Cardano.Api.Era.Internal.Eon.MaryEraOnwards
import Cardano.Api.Era.Internal.Eon.ShelleyBasedEra
import Cardano.Api.Era.Internal.Eon.ShelleyEraOnly
import Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra
import Cardano.Api.Experimental.Era (obtainCommonConstraints)
import Cardano.Api.Internal.Orphans ()

import Cardano.Ledger.Allegra.Core qualified as L
import Cardano.Ledger.Alonzo.Core qualified as L
import Cardano.Ledger.Api qualified as L
import Cardano.Ledger.BaseTypes (SlotNo, StrictMaybe (..))
import Cardano.Ledger.Coin qualified as L
import Cardano.Ledger.Mary.Value qualified as L
import Cardano.Ledger.Shelley.PParams qualified as L
import Cardano.Ledger.TxIn qualified as L
import Cardano.Ledger.Val qualified as L

import Data.OSet.Strict qualified as L
import Data.Sequence.Strict qualified as L
import Data.Set (Set)
import Lens.Micro

newtype LedgerTxBody era = LedgerTxBody
  { forall era. LedgerTxBody era -> TxBody TopTx (ShelleyLedgerEra era)
unTxBody :: L.TxBody L.TopTx (ShelleyLedgerEra era)
  }

strictMaybeL :: Lens' (StrictMaybe a) (Maybe a)
strictMaybeL :: forall a (f :: * -> *).
Functor f =>
(Maybe a -> f (Maybe a)) -> StrictMaybe a -> f (StrictMaybe a)
strictMaybeL = (StrictMaybe a -> Maybe a)
-> (StrictMaybe a -> Maybe a -> StrictMaybe a)
-> Lens (StrictMaybe a) (StrictMaybe a) (Maybe a) (Maybe a)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens StrictMaybe a -> Maybe a
forall a. StrictMaybe a -> Maybe a
g StrictMaybe a -> Maybe a -> StrictMaybe a
forall a. StrictMaybe a -> Maybe a -> StrictMaybe a
s
 where
  g :: StrictMaybe a -> Maybe a
  g :: forall a. StrictMaybe a -> Maybe a
g StrictMaybe a
SNothing = Maybe a
forall a. Maybe a
Nothing
  g (SJust a
x) = a -> Maybe a
forall a. a -> Maybe a
Just a
x

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

txBodyL :: Lens' (LedgerTxBody era) (L.TxBody L.TopTx (ShelleyLedgerEra era))
txBodyL :: forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL = (LedgerTxBody era -> TxBody TopTx (ShelleyLedgerEra era))
-> (LedgerTxBody era
    -> TxBody TopTx (ShelleyLedgerEra era) -> LedgerTxBody era)
-> Lens
     (LedgerTxBody era)
     (LedgerTxBody era)
     (TxBody TopTx (ShelleyLedgerEra era))
     (TxBody TopTx (ShelleyLedgerEra era))
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens LedgerTxBody era -> TxBody TopTx (ShelleyLedgerEra era)
forall era. LedgerTxBody era -> TxBody TopTx (ShelleyLedgerEra era)
unTxBody (\LedgerTxBody era
_ TxBody TopTx (ShelleyLedgerEra era)
x -> TxBody TopTx (ShelleyLedgerEra era) -> LedgerTxBody era
forall era. TxBody TopTx (ShelleyLedgerEra era) -> LedgerTxBody era
LedgerTxBody TxBody TopTx (ShelleyLedgerEra era)
x)

invalidBeforeTxBodyL :: AllegraEraOnwards era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
invalidBeforeTxBodyL :: forall era.
AllegraEraOnwards era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
invalidBeforeTxBodyL AllegraEraOnwards era
w = AllegraEraOnwards era
-> (AllegraEraOnwardsConstraints era =>
    (Maybe SlotNo -> f (Maybe SlotNo))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
AllegraEraOnwards era
-> (AllegraEraOnwardsConstraints era => a) -> a
allegraEraOnwardsConstraints AllegraEraOnwards era
w ((AllegraEraOnwardsConstraints era =>
  (Maybe SlotNo -> f (Maybe SlotNo))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (Maybe SlotNo -> f (Maybe SlotNo))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (AllegraEraOnwardsConstraints era =>
    (Maybe SlotNo -> f (Maybe SlotNo))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((Maybe SlotNo -> f (Maybe SlotNo))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ValidityInterval -> f ValidityInterval)
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era (l :: TxLevel).
AllegraEraTxBody era =>
Lens' (TxBody l era) ValidityInterval
forall (l :: TxLevel).
Lens' (TxBody l (ShelleyLedgerEra era)) ValidityInterval
L.vldtTxBodyL ((ValidityInterval -> f ValidityInterval)
 -> TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> ((Maybe SlotNo -> f (Maybe SlotNo))
    -> ValidityInterval -> f ValidityInterval)
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe SlotNo -> f (StrictMaybe SlotNo))
-> ValidityInterval -> f ValidityInterval
Lens' ValidityInterval (StrictMaybe SlotNo)
L.invalidBeforeL ((StrictMaybe SlotNo -> f (StrictMaybe SlotNo))
 -> ValidityInterval -> f ValidityInterval)
-> ((Maybe SlotNo -> f (Maybe SlotNo))
    -> StrictMaybe SlotNo -> f (StrictMaybe SlotNo))
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> ValidityInterval
-> f ValidityInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Maybe SlotNo -> f (Maybe SlotNo))
-> StrictMaybe SlotNo -> f (StrictMaybe SlotNo)
forall a (f :: * -> *).
Functor f =>
(Maybe a -> f (Maybe a)) -> StrictMaybe a -> f (StrictMaybe a)
strictMaybeL

-- | Compatibility lens that provides a consistent interface over 'ttlTxBodyL' and
-- 'vldtTxBodyL . invalidHereAfterStrictL' across all shelley based eras.
--
-- The ledger uses 'ttlTxBodyL' in 'Shelley' only and from Allegra onwards uses 'vldtTxBodyL' instead.
--
-- The former is a 'SlotNo' with no limit represented as 'maxBound'.
--
-- The latter is a 'ValidityInterval' which is a pair of 'SlotNo's that represent the lower and upper
-- bounds.
--
-- The upper bound field is similar t 'ttlTxBodyL' except it is a 'StrictMaybe SlotNo' type where
-- no bounds is represented by 'SNothing'.
--
-- 'invalidHereAfterTxBodyL' lens over both with a 'Maybe SlotNo' type representation.  Withing the
-- Shelley era, setting Nothing will set the ttl to 'maxBound' in the underlying ledger type.
invalidHereAfterTxBodyL :: ShelleyBasedEra era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
invalidHereAfterTxBodyL :: forall era.
ShelleyBasedEra era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
invalidHereAfterTxBodyL =
  (ShelleyEraOnlyConstraints era =>
 ShelleyEraOnly era
 -> (Maybe SlotNo -> f (Maybe SlotNo))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (AllegraEraOnwardsConstraints era =>
    AllegraEraOnwards era
    -> (Maybe SlotNo -> f (Maybe SlotNo))
    -> LedgerTxBody era
    -> f (LedgerTxBody era))
-> ShelleyBasedEra era
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
(ShelleyEraOnlyConstraints era => ShelleyEraOnly era -> a)
-> (AllegraEraOnwardsConstraints era => AllegraEraOnwards era -> a)
-> ShelleyBasedEra era
-> a
caseShelleyEraOnlyOrAllegraEraOnwards
    ShelleyEraOnlyConstraints era =>
ShelleyEraOnly era
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
ShelleyEraOnly era
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
ShelleyEraOnly era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
forall era.
ShelleyEraOnly era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
ttlAsInvalidHereAfterTxBodyL
    (((Maybe SlotNo -> f (Maybe SlotNo))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> AllegraEraOnwards era
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. a -> b -> a
const (((Maybe SlotNo -> f (Maybe SlotNo))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> AllegraEraOnwards era
 -> (Maybe SlotNo -> f (Maybe SlotNo))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> ((Maybe SlotNo -> f (Maybe SlotNo))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> AllegraEraOnwards era
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((Maybe SlotNo -> f (Maybe SlotNo))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ValidityInterval -> f ValidityInterval)
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era (l :: TxLevel).
AllegraEraTxBody era =>
Lens' (TxBody l era) ValidityInterval
forall (l :: TxLevel).
Lens' (TxBody l (ShelleyLedgerEra era)) ValidityInterval
L.vldtTxBodyL ((ValidityInterval -> f ValidityInterval)
 -> TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> ((Maybe SlotNo -> f (Maybe SlotNo))
    -> ValidityInterval -> f ValidityInterval)
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe SlotNo -> f (StrictMaybe SlotNo))
-> ValidityInterval -> f ValidityInterval
Lens' ValidityInterval (StrictMaybe SlotNo)
L.invalidHereAfterL ((StrictMaybe SlotNo -> f (StrictMaybe SlotNo))
 -> ValidityInterval -> f ValidityInterval)
-> ((Maybe SlotNo -> f (Maybe SlotNo))
    -> StrictMaybe SlotNo -> f (StrictMaybe SlotNo))
-> (Maybe SlotNo -> f (Maybe SlotNo))
-> ValidityInterval
-> f ValidityInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Maybe SlotNo -> f (Maybe SlotNo))
-> StrictMaybe SlotNo -> f (StrictMaybe SlotNo)
forall a (f :: * -> *).
Functor f =>
(Maybe a -> f (Maybe a)) -> StrictMaybe a -> f (StrictMaybe a)
strictMaybeL)

-- | Compatibility lens over 'ttlTxBodyL' which represents 'maxBound' as Nothing and all other values as 'Just'.
ttlAsInvalidHereAfterTxBodyL :: ShelleyEraOnly era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
ttlAsInvalidHereAfterTxBodyL :: forall era.
ShelleyEraOnly era -> Lens' (LedgerTxBody era) (Maybe SlotNo)
ttlAsInvalidHereAfterTxBodyL ShelleyEraOnly era
w = (LedgerTxBody era -> Maybe SlotNo)
-> (LedgerTxBody era -> Maybe SlotNo -> LedgerTxBody era)
-> Lens
     (LedgerTxBody era) (LedgerTxBody era) (Maybe SlotNo) (Maybe SlotNo)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (ShelleyEraOnly era -> LedgerTxBody era -> Maybe SlotNo
forall era. ShelleyEraOnly era -> LedgerTxBody era -> Maybe SlotNo
g ShelleyEraOnly era
w) (ShelleyEraOnly era
-> LedgerTxBody era -> Maybe SlotNo -> LedgerTxBody era
forall era.
ShelleyEraOnly era
-> LedgerTxBody era -> Maybe SlotNo -> LedgerTxBody era
s ShelleyEraOnly era
w)
 where
  g :: ShelleyEraOnly era -> LedgerTxBody era -> Maybe SlotNo
  g :: forall era. ShelleyEraOnly era -> LedgerTxBody era -> Maybe SlotNo
g ShelleyEraOnly era
w' LedgerTxBody era
txBody =
    ShelleyEraOnly era
-> (ShelleyEraOnlyConstraints era => Maybe SlotNo) -> Maybe SlotNo
forall era a.
ShelleyEraOnly era -> (ShelleyEraOnlyConstraints era => a) -> a
shelleyEraOnlyConstraints ShelleyEraOnly era
w' ((ShelleyEraOnlyConstraints era => Maybe SlotNo) -> Maybe SlotNo)
-> (ShelleyEraOnlyConstraints era => Maybe SlotNo) -> Maybe SlotNo
forall a b. (a -> b) -> a -> b
$
      let ttl :: SlotNo
ttl = LedgerTxBody era
txBody LedgerTxBody era
-> Getting SlotNo (LedgerTxBody era) SlotNo -> SlotNo
forall s a. s -> Getting a s a -> a
^. (TxBody TopTx (ShelleyLedgerEra era)
 -> Const SlotNo (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> Const SlotNo (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> Const SlotNo (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> Const SlotNo (LedgerTxBody era))
-> ((SlotNo -> Const SlotNo SlotNo)
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> Const SlotNo (TxBody TopTx (ShelleyLedgerEra era)))
-> Getting SlotNo (LedgerTxBody era) SlotNo
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (SlotNo -> Const SlotNo SlotNo)
-> TxBody TopTx (ShelleyLedgerEra era)
-> Const SlotNo (TxBody TopTx (ShelleyLedgerEra era))
forall era.
(ShelleyEraTxBody era, ExactEra ShelleyEra era) =>
Lens' (TxBody TopTx era) SlotNo
Lens' (TxBody TopTx (ShelleyLedgerEra era)) SlotNo
L.ttlTxBodyL in if SlotNo
ttl SlotNo -> SlotNo -> Bool
forall a. Eq a => a -> a -> Bool
== SlotNo
forall a. Bounded a => a
maxBound then Maybe SlotNo
forall a. Maybe a
Nothing else SlotNo -> Maybe SlotNo
forall a. a -> Maybe a
Just SlotNo
ttl

  s :: ShelleyEraOnly era -> LedgerTxBody era -> Maybe SlotNo -> LedgerTxBody era
  s :: forall era.
ShelleyEraOnly era
-> LedgerTxBody era -> Maybe SlotNo -> LedgerTxBody era
s ShelleyEraOnly era
w' LedgerTxBody era
txBody Maybe SlotNo
mSlotNo =
    ShelleyEraOnly era
-> (ShelleyEraOnlyConstraints era => LedgerTxBody era)
-> LedgerTxBody era
forall era a.
ShelleyEraOnly era -> (ShelleyEraOnlyConstraints era => a) -> a
shelleyEraOnlyConstraints ShelleyEraOnly era
w' ((ShelleyEraOnlyConstraints era => LedgerTxBody era)
 -> LedgerTxBody era)
-> (ShelleyEraOnlyConstraints era => LedgerTxBody era)
-> LedgerTxBody era
forall a b. (a -> b) -> a -> b
$
      case Maybe SlotNo
mSlotNo of
        Maybe SlotNo
Nothing -> LedgerTxBody era
txBody LedgerTxBody era
-> (LedgerTxBody era -> LedgerTxBody era) -> LedgerTxBody era
forall a b. a -> (a -> b) -> b
& (TxBody TopTx (ShelleyLedgerEra era)
 -> Identity (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> Identity (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> Identity (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> Identity (LedgerTxBody era))
-> ((SlotNo -> Identity SlotNo)
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> Identity (TxBody TopTx (ShelleyLedgerEra era)))
-> (SlotNo -> Identity SlotNo)
-> LedgerTxBody era
-> Identity (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (SlotNo -> Identity SlotNo)
-> TxBody TopTx (ShelleyLedgerEra era)
-> Identity (TxBody TopTx (ShelleyLedgerEra era))
forall era.
(ShelleyEraTxBody era, ExactEra ShelleyEra era) =>
Lens' (TxBody TopTx era) SlotNo
Lens' (TxBody TopTx (ShelleyLedgerEra era)) SlotNo
L.ttlTxBodyL ((SlotNo -> Identity SlotNo)
 -> LedgerTxBody era -> Identity (LedgerTxBody era))
-> SlotNo -> LedgerTxBody era -> LedgerTxBody era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ SlotNo
forall a. Bounded a => a
maxBound
        Just SlotNo
ttl -> LedgerTxBody era
txBody LedgerTxBody era
-> (LedgerTxBody era -> LedgerTxBody era) -> LedgerTxBody era
forall a b. a -> (a -> b) -> b
& (TxBody TopTx (ShelleyLedgerEra era)
 -> Identity (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> Identity (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> Identity (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> Identity (LedgerTxBody era))
-> ((SlotNo -> Identity SlotNo)
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> Identity (TxBody TopTx (ShelleyLedgerEra era)))
-> (SlotNo -> Identity SlotNo)
-> LedgerTxBody era
-> Identity (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (SlotNo -> Identity SlotNo)
-> TxBody TopTx (ShelleyLedgerEra era)
-> Identity (TxBody TopTx (ShelleyLedgerEra era))
forall era.
(ShelleyEraTxBody era, ExactEra ShelleyEra era) =>
Lens' (TxBody TopTx era) SlotNo
Lens' (TxBody TopTx (ShelleyLedgerEra era)) SlotNo
L.ttlTxBodyL ((SlotNo -> Identity SlotNo)
 -> LedgerTxBody era -> Identity (LedgerTxBody era))
-> SlotNo -> LedgerTxBody era -> LedgerTxBody era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ SlotNo
ttl

-- | Lens to access the 'invalidBefore' field of a 'ValidityInterval' as a 'StrictMaybe SlotNo'.
-- Ideally this should be defined in cardano-ledger
invalidBeforeStrictL :: Lens' L.ValidityInterval (StrictMaybe SlotNo)
invalidBeforeStrictL :: Lens' ValidityInterval (StrictMaybe SlotNo)
invalidBeforeStrictL = (ValidityInterval -> StrictMaybe SlotNo)
-> (ValidityInterval -> StrictMaybe SlotNo -> ValidityInterval)
-> Lens' ValidityInterval (StrictMaybe SlotNo)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens ValidityInterval -> StrictMaybe SlotNo
g ValidityInterval -> StrictMaybe SlotNo -> ValidityInterval
s
 where
  g :: L.ValidityInterval -> StrictMaybe SlotNo
  g :: ValidityInterval -> StrictMaybe SlotNo
g (L.ValidityInterval StrictMaybe SlotNo
a StrictMaybe SlotNo
_) = StrictMaybe SlotNo
a

  s :: L.ValidityInterval -> StrictMaybe SlotNo -> L.ValidityInterval
  s :: ValidityInterval -> StrictMaybe SlotNo -> ValidityInterval
s (L.ValidityInterval StrictMaybe SlotNo
_ StrictMaybe SlotNo
b) StrictMaybe SlotNo
a = StrictMaybe SlotNo -> StrictMaybe SlotNo -> ValidityInterval
L.ValidityInterval StrictMaybe SlotNo
a StrictMaybe SlotNo
b

-- | Lens to access the 'invalidHereAfter' field of a 'ValidityInterval' as a 'StrictMaybe SlotNo'.
-- Ideally this should be defined in cardano-ledger
invalidHereAfterStrictL :: Lens' L.ValidityInterval (StrictMaybe SlotNo)
invalidHereAfterStrictL :: Lens' ValidityInterval (StrictMaybe SlotNo)
invalidHereAfterStrictL = (ValidityInterval -> StrictMaybe SlotNo)
-> (ValidityInterval -> StrictMaybe SlotNo -> ValidityInterval)
-> Lens' ValidityInterval (StrictMaybe SlotNo)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens ValidityInterval -> StrictMaybe SlotNo
g ValidityInterval -> StrictMaybe SlotNo -> ValidityInterval
s
 where
  g :: L.ValidityInterval -> StrictMaybe SlotNo
  g :: ValidityInterval -> StrictMaybe SlotNo
g (L.ValidityInterval StrictMaybe SlotNo
_ StrictMaybe SlotNo
b) = StrictMaybe SlotNo
b

  s :: L.ValidityInterval -> StrictMaybe SlotNo -> L.ValidityInterval
  s :: ValidityInterval -> StrictMaybe SlotNo -> ValidityInterval
s (L.ValidityInterval StrictMaybe SlotNo
a StrictMaybe SlotNo
_) StrictMaybe SlotNo
b = StrictMaybe SlotNo -> StrictMaybe SlotNo -> ValidityInterval
L.ValidityInterval StrictMaybe SlotNo
a StrictMaybe SlotNo
b

{-# DEPRECATED
  updateTxBodyL
  "Use updateTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
updateTxBodyL
  :: ShelleyToBabbageEra era -> Lens' (LedgerTxBody era) (StrictMaybe (L.Update (ShelleyLedgerEra era)))
updateTxBodyL :: forall era.
ShelleyToBabbageEra era
-> Lens'
     (LedgerTxBody era) (StrictMaybe (Update (ShelleyLedgerEra era)))
updateTxBodyL ShelleyToBabbageEra era
w = ShelleyToBabbageEra era
-> (ShelleyToBabbageEraConstraints era =>
    (StrictMaybe (Update (ShelleyLedgerEra era))
     -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe (Update (ShelleyLedgerEra era))
    -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
ShelleyToBabbageEra era
-> (ShelleyToBabbageEraConstraints era => a) -> a
shelleyToBabbageEraConstraints ShelleyToBabbageEra era
w ((ShelleyToBabbageEraConstraints era =>
  (StrictMaybe (Update (ShelleyLedgerEra era))
   -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (StrictMaybe (Update (ShelleyLedgerEra era))
     -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (ShelleyToBabbageEraConstraints era =>
    (StrictMaybe (Update (ShelleyLedgerEra era))
     -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe (Update (ShelleyLedgerEra era))
    -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((StrictMaybe (Update (ShelleyLedgerEra era))
     -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (StrictMaybe (Update (ShelleyLedgerEra era))
    -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (Update (ShelleyLedgerEra era))
 -> f (StrictMaybe (Update (ShelleyLedgerEra era))))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era.
ShelleyEraTxBody era =>
Lens' (TxBody TopTx era) (StrictMaybe (Update era))
Lens'
  (TxBody TopTx (ShelleyLedgerEra era))
  (StrictMaybe (Update (ShelleyLedgerEra era)))
L.updateTxBodyL

{-# DEPRECATED
  mintTxBodyL
  "Use mintTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
mintTxBodyL :: MaryEraOnwards era -> Lens' (LedgerTxBody era) L.MultiAsset
mintTxBodyL :: forall era.
MaryEraOnwards era -> Lens' (LedgerTxBody era) MultiAsset
mintTxBodyL MaryEraOnwards era
w = MaryEraOnwards era
-> (MaryEraOnwardsConstraints era =>
    (MultiAsset -> f MultiAsset)
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (MultiAsset -> f MultiAsset)
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
MaryEraOnwards era -> (MaryEraOnwardsConstraints era => a) -> a
maryEraOnwardsConstraints MaryEraOnwards era
w ((MaryEraOnwardsConstraints era =>
  (MultiAsset -> f MultiAsset)
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (MultiAsset -> f MultiAsset)
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (MaryEraOnwardsConstraints era =>
    (MultiAsset -> f MultiAsset)
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (MultiAsset -> f MultiAsset)
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((MultiAsset -> f MultiAsset)
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (MultiAsset -> f MultiAsset)
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (MultiAsset -> f MultiAsset)
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era (l :: TxLevel).
MaryEraTxBody era =>
Lens' (TxBody l era) MultiAsset
forall (l :: TxLevel).
Lens' (TxBody l (ShelleyLedgerEra era)) MultiAsset
L.mintTxBodyL

{-# DEPRECATED
  scriptIntegrityHashTxBodyL
  "Use scriptIntegrityHashTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
scriptIntegrityHashTxBodyL
  :: AlonzoEraOnwards era -> Lens' (LedgerTxBody era) (StrictMaybe L.ScriptIntegrityHash)
scriptIntegrityHashTxBodyL :: forall era.
AlonzoEraOnwards era
-> Lens' (LedgerTxBody era) (StrictMaybe ScriptIntegrityHash)
scriptIntegrityHashTxBodyL AlonzoEraOnwards era
w = AlonzoEraOnwards era
-> (AlonzoEraOnwardsConstraints era =>
    (StrictMaybe ScriptIntegrityHash
     -> f (StrictMaybe ScriptIntegrityHash))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe ScriptIntegrityHash
    -> f (StrictMaybe ScriptIntegrityHash))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
AlonzoEraOnwards era -> (AlonzoEraOnwardsConstraints era => a) -> a
alonzoEraOnwardsConstraints AlonzoEraOnwards era
w ((AlonzoEraOnwardsConstraints era =>
  (StrictMaybe ScriptIntegrityHash
   -> f (StrictMaybe ScriptIntegrityHash))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (StrictMaybe ScriptIntegrityHash
     -> f (StrictMaybe ScriptIntegrityHash))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (AlonzoEraOnwardsConstraints era =>
    (StrictMaybe ScriptIntegrityHash
     -> f (StrictMaybe ScriptIntegrityHash))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe ScriptIntegrityHash
    -> f (StrictMaybe ScriptIntegrityHash))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((StrictMaybe ScriptIntegrityHash
     -> f (StrictMaybe ScriptIntegrityHash))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (StrictMaybe ScriptIntegrityHash
    -> f (StrictMaybe ScriptIntegrityHash))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe ScriptIntegrityHash
 -> f (StrictMaybe ScriptIntegrityHash))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era (l :: TxLevel).
AlonzoEraTxBody era =>
Lens' (TxBody l era) (StrictMaybe ScriptIntegrityHash)
forall (l :: TxLevel).
Lens'
  (TxBody l (ShelleyLedgerEra era)) (StrictMaybe ScriptIntegrityHash)
L.scriptIntegrityHashTxBodyL

{-# DEPRECATED
  collateralInputsTxBodyL
  "Use collateralInputsTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
collateralInputsTxBodyL
  :: AlonzoEraOnwards era -> Lens' (LedgerTxBody era) (Set L.TxIn)
collateralInputsTxBodyL :: forall era.
AlonzoEraOnwards era -> Lens' (LedgerTxBody era) (Set TxIn)
collateralInputsTxBodyL AlonzoEraOnwards era
w = AlonzoEraOnwards era
-> (AlonzoEraOnwardsConstraints era =>
    (Set TxIn -> f (Set TxIn))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Set TxIn -> f (Set TxIn))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
AlonzoEraOnwards era -> (AlonzoEraOnwardsConstraints era => a) -> a
alonzoEraOnwardsConstraints AlonzoEraOnwards era
w ((AlonzoEraOnwardsConstraints era =>
  (Set TxIn -> f (Set TxIn))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (Set TxIn -> f (Set TxIn))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (AlonzoEraOnwardsConstraints era =>
    (Set TxIn -> f (Set TxIn))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Set TxIn -> f (Set TxIn))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((Set TxIn -> f (Set TxIn))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (Set TxIn -> f (Set TxIn))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set TxIn -> f (Set TxIn))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era.
AlonzoEraTxBody era =>
Lens' (TxBody TopTx era) (Set TxIn)
Lens' (TxBody TopTx (ShelleyLedgerEra era)) (Set TxIn)
L.collateralInputsTxBodyL

{-# DEPRECATED
  reqSignerHashesTxBodyL
  "Use reqSignerHashesTxBodyL from Cardano.Api.Ledger (via txBodyL) instead, or reqSignerHashesTxBodyG for reads. The required-signer-hashes field does not exist in the Dijkstra era, which this lens excludes at the type level."
  #-}
reqSignerHashesTxBodyL
  :: L.AtMostEra "Conway" (ShelleyLedgerEra era)
  => AlonzoEraOnwards era
  -> Lens' (LedgerTxBody era) (Set (L.KeyHash L.Guard))
reqSignerHashesTxBodyL :: forall era.
AtMostEra "Conway" (ShelleyLedgerEra era) =>
AlonzoEraOnwards era
-> Lens' (LedgerTxBody era) (Set (KeyHash Guard))
reqSignerHashesTxBodyL AlonzoEraOnwards era
w = AlonzoEraOnwards era
-> (AlonzoEraOnwardsConstraints era =>
    (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
AlonzoEraOnwards era -> (AlonzoEraOnwardsConstraints era => a) -> a
alonzoEraOnwardsConstraints AlonzoEraOnwards era
w ((AlonzoEraOnwardsConstraints era =>
  (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (AlonzoEraOnwardsConstraints era =>
    (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set (KeyHash Guard) -> f (Set (KeyHash Guard)))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era (l :: TxLevel).
(AlonzoEraTxBody era, AtMostEra "Conway" era) =>
Lens' (TxBody l era) (Set (KeyHash Guard))
forall (l :: TxLevel).
AtMostEra "Conway" (ShelleyLedgerEra era) =>
Lens' (TxBody l (ShelleyLedgerEra era)) (Set (KeyHash Guard))
Lens' (TxBody TopTx (ShelleyLedgerEra era)) (Set (KeyHash Guard))
L.reqSignerHashesTxBodyL

{-# DEPRECATED
  referenceInputsTxBodyL
  "Use referenceInputsTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
referenceInputsTxBodyL
  :: BabbageEraOnwards era -> Lens' (LedgerTxBody era) (Set L.TxIn)
referenceInputsTxBodyL :: forall era.
BabbageEraOnwards era -> Lens' (LedgerTxBody era) (Set TxIn)
referenceInputsTxBodyL BabbageEraOnwards era
w = BabbageEraOnwards era
-> (BabbageEraOnwardsConstraints era =>
    (Set TxIn -> f (Set TxIn))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Set TxIn -> f (Set TxIn))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
BabbageEraOnwards era
-> (BabbageEraOnwardsConstraints era => a) -> a
babbageEraOnwardsConstraints BabbageEraOnwards era
w ((BabbageEraOnwardsConstraints era =>
  (Set TxIn -> f (Set TxIn))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (Set TxIn -> f (Set TxIn))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (BabbageEraOnwardsConstraints era =>
    (Set TxIn -> f (Set TxIn))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Set TxIn -> f (Set TxIn))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((Set TxIn -> f (Set TxIn))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (Set TxIn -> f (Set TxIn))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Set TxIn -> f (Set TxIn))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era (l :: TxLevel).
BabbageEraTxBody era =>
Lens' (TxBody l era) (Set TxIn)
forall (l :: TxLevel).
Lens' (TxBody l (ShelleyLedgerEra era)) (Set TxIn)
L.referenceInputsTxBodyL

{-# DEPRECATED
  collateralReturnTxBodyL
  "Use collateralReturnTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
collateralReturnTxBodyL
  :: BabbageEraOnwards era -> Lens' (LedgerTxBody era) (StrictMaybe (L.TxOut (ShelleyLedgerEra era)))
collateralReturnTxBodyL :: forall era.
BabbageEraOnwards era
-> Lens'
     (LedgerTxBody era) (StrictMaybe (TxOut (ShelleyLedgerEra era)))
collateralReturnTxBodyL BabbageEraOnwards era
w = BabbageEraOnwards era
-> (BabbageEraOnwardsConstraints era =>
    (StrictMaybe (TxOut (ShelleyLedgerEra era))
     -> f (StrictMaybe (TxOut (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe (TxOut (ShelleyLedgerEra era))
    -> f (StrictMaybe (TxOut (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
BabbageEraOnwards era
-> (BabbageEraOnwardsConstraints era => a) -> a
babbageEraOnwardsConstraints BabbageEraOnwards era
w ((BabbageEraOnwardsConstraints era =>
  (StrictMaybe (TxOut (ShelleyLedgerEra era))
   -> f (StrictMaybe (TxOut (ShelleyLedgerEra era))))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (StrictMaybe (TxOut (ShelleyLedgerEra era))
     -> f (StrictMaybe (TxOut (ShelleyLedgerEra era))))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (BabbageEraOnwardsConstraints era =>
    (StrictMaybe (TxOut (ShelleyLedgerEra era))
     -> f (StrictMaybe (TxOut (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe (TxOut (ShelleyLedgerEra era))
    -> f (StrictMaybe (TxOut (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((StrictMaybe (BabbageTxOut (ShelleyLedgerEra era))
     -> f (StrictMaybe (BabbageTxOut (ShelleyLedgerEra era))))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (StrictMaybe (BabbageTxOut (ShelleyLedgerEra era))
    -> f (StrictMaybe (BabbageTxOut (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe (TxOut (ShelleyLedgerEra era))
 -> f (StrictMaybe (TxOut (ShelleyLedgerEra era))))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
(StrictMaybe (BabbageTxOut (ShelleyLedgerEra era))
 -> f (StrictMaybe (BabbageTxOut (ShelleyLedgerEra era))))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era.
BabbageEraTxBody era =>
Lens' (TxBody TopTx era) (StrictMaybe (TxOut era))
Lens'
  (TxBody TopTx (ShelleyLedgerEra era))
  (StrictMaybe (TxOut (ShelleyLedgerEra era)))
L.collateralReturnTxBodyL

{-# DEPRECATED
  totalCollateralTxBodyL
  "Use totalCollateralTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
totalCollateralTxBodyL :: BabbageEraOnwards era -> Lens' (LedgerTxBody era) (StrictMaybe L.Coin)
totalCollateralTxBodyL :: forall era.
BabbageEraOnwards era
-> Lens' (LedgerTxBody era) (StrictMaybe Coin)
totalCollateralTxBodyL BabbageEraOnwards era
w = BabbageEraOnwards era
-> (BabbageEraOnwardsConstraints era =>
    (StrictMaybe Coin -> f (StrictMaybe Coin))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe Coin -> f (StrictMaybe Coin))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
BabbageEraOnwards era
-> (BabbageEraOnwardsConstraints era => a) -> a
babbageEraOnwardsConstraints BabbageEraOnwards era
w ((BabbageEraOnwardsConstraints era =>
  (StrictMaybe Coin -> f (StrictMaybe Coin))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (StrictMaybe Coin -> f (StrictMaybe Coin))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (BabbageEraOnwardsConstraints era =>
    (StrictMaybe Coin -> f (StrictMaybe Coin))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe Coin -> f (StrictMaybe Coin))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((StrictMaybe Coin -> f (StrictMaybe Coin))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (StrictMaybe Coin -> f (StrictMaybe Coin))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe Coin -> f (StrictMaybe Coin))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era.
BabbageEraTxBody era =>
Lens' (TxBody TopTx era) (StrictMaybe Coin)
Lens' (TxBody TopTx (ShelleyLedgerEra era)) (StrictMaybe Coin)
L.totalCollateralTxBodyL

{-# DEPRECATED
  certsTxBodyL
  "Use certsTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
certsTxBodyL
  :: ShelleyBasedEra era -> Lens' (LedgerTxBody era) (L.StrictSeq (L.TxCert (ShelleyLedgerEra era)))
certsTxBodyL :: forall era.
ShelleyBasedEra era
-> Lens'
     (LedgerTxBody era) (StrictSeq (TxCert (ShelleyLedgerEra era)))
certsTxBodyL ShelleyBasedEra era
w = ShelleyBasedEra era
-> (ShelleyBasedEraConstraints era =>
    (StrictSeq (TxCert (ShelleyLedgerEra era))
     -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictSeq (TxCert (ShelleyLedgerEra era))
    -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a.
ShelleyBasedEra era -> (ShelleyBasedEraConstraints era => a) -> a
shelleyBasedEraConstraints ShelleyBasedEra era
w ((ShelleyBasedEraConstraints era =>
  (StrictSeq (TxCert (ShelleyLedgerEra era))
   -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (StrictSeq (TxCert (ShelleyLedgerEra era))
     -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (ShelleyBasedEraConstraints era =>
    (StrictSeq (TxCert (ShelleyLedgerEra era))
     -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictSeq (TxCert (ShelleyLedgerEra era))
    -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (ShelleyLedgerEra era)
  -> f (TxBody TopTx (ShelleyLedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((StrictSeq (TxCert (ShelleyLedgerEra era))
     -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
    -> TxBody TopTx (ShelleyLedgerEra era)
    -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> (StrictSeq (TxCert (ShelleyLedgerEra era))
    -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictSeq (TxCert (ShelleyLedgerEra era))
 -> f (StrictSeq (TxCert (ShelleyLedgerEra era))))
-> TxBody TopTx (ShelleyLedgerEra era)
-> f (TxBody TopTx (ShelleyLedgerEra era))
forall era (l :: TxLevel).
EraTxBody era =>
Lens' (TxBody l era) (StrictSeq (TxCert era))
forall (l :: TxLevel).
Lens'
  (TxBody l (ShelleyLedgerEra era))
  (StrictSeq (TxCert (ShelleyLedgerEra era)))
L.certsTxBodyL

{-# DEPRECATED
  votingProceduresTxBodyL
  "Use votingProceduresTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
votingProceduresTxBodyL
  :: ConwayEraOnwards era -> Lens' (LedgerTxBody era) (L.VotingProcedures (ShelleyLedgerEra era))
votingProceduresTxBodyL :: forall era.
ConwayEraOnwards era
-> Lens'
     (LedgerTxBody era) (VotingProcedures (ShelleyLedgerEra era))
votingProceduresTxBodyL ConwayEraOnwards era
w = Era era
-> (EraCommonConstraints era =>
    (VotingProcedures (ShelleyLedgerEra era)
     -> f (VotingProcedures (ShelleyLedgerEra era)))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (VotingProcedures (ShelleyLedgerEra era)
    -> f (VotingProcedures (ShelleyLedgerEra era)))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a. Era era -> (EraCommonConstraints era => a) -> a
obtainCommonConstraints (ConwayEraOnwards era -> Era era
forall era. ConwayEraOnwards era -> Era era
forall a (f :: a -> *) (g :: a -> *) (era :: a).
Convert f g =>
f era -> g era
convert ConwayEraOnwards era
w) ((EraCommonConstraints era =>
  (VotingProcedures (ShelleyLedgerEra era)
   -> f (VotingProcedures (ShelleyLedgerEra era)))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (VotingProcedures (ShelleyLedgerEra era)
     -> f (VotingProcedures (ShelleyLedgerEra era)))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (EraCommonConstraints era =>
    (VotingProcedures (ShelleyLedgerEra era)
     -> f (VotingProcedures (ShelleyLedgerEra era)))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (VotingProcedures (ShelleyLedgerEra era)
    -> f (VotingProcedures (ShelleyLedgerEra era)))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
(TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((VotingProcedures (LedgerEra era)
     -> f (VotingProcedures (LedgerEra era)))
    -> TxBody TopTx (LedgerEra era)
    -> f (TxBody TopTx (LedgerEra era)))
-> (VotingProcedures (LedgerEra era)
    -> f (VotingProcedures (LedgerEra era)))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (VotingProcedures (LedgerEra era)
 -> f (VotingProcedures (LedgerEra era)))
-> TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era))
forall era (l :: TxLevel).
ConwayEraTxBody era =>
Lens' (TxBody l era) (VotingProcedures era)
forall (l :: TxLevel).
Lens' (TxBody l (LedgerEra era)) (VotingProcedures (LedgerEra era))
L.votingProceduresTxBodyL

{-# DEPRECATED
  proposalProceduresTxBodyL
  "Use proposalProceduresTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
proposalProceduresTxBodyL
  :: ConwayEraOnwards era
  -> Lens' (LedgerTxBody era) (L.OSet (L.ProposalProcedure (ShelleyLedgerEra era)))
proposalProceduresTxBodyL :: forall era.
ConwayEraOnwards era
-> Lens'
     (LedgerTxBody era)
     (OSet (ProposalProcedure (ShelleyLedgerEra era)))
proposalProceduresTxBodyL ConwayEraOnwards era
w = Era era
-> (EraCommonConstraints era =>
    (OSet (ProposalProcedure (ShelleyLedgerEra era))
     -> f (OSet (ProposalProcedure (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (OSet (ProposalProcedure (ShelleyLedgerEra era))
    -> f (OSet (ProposalProcedure (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a. Era era -> (EraCommonConstraints era => a) -> a
obtainCommonConstraints (ConwayEraOnwards era -> Era era
forall era. ConwayEraOnwards era -> Era era
forall a (f :: a -> *) (g :: a -> *) (era :: a).
Convert f g =>
f era -> g era
convert ConwayEraOnwards era
w) ((EraCommonConstraints era =>
  (OSet (ProposalProcedure (ShelleyLedgerEra era))
   -> f (OSet (ProposalProcedure (ShelleyLedgerEra era))))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (OSet (ProposalProcedure (ShelleyLedgerEra era))
     -> f (OSet (ProposalProcedure (ShelleyLedgerEra era))))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (EraCommonConstraints era =>
    (OSet (ProposalProcedure (ShelleyLedgerEra era))
     -> f (OSet (ProposalProcedure (ShelleyLedgerEra era))))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (OSet (ProposalProcedure (ShelleyLedgerEra era))
    -> f (OSet (ProposalProcedure (ShelleyLedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
(TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((OSet (ProposalProcedure (LedgerEra era))
     -> f (OSet (ProposalProcedure (LedgerEra era))))
    -> TxBody TopTx (LedgerEra era)
    -> f (TxBody TopTx (LedgerEra era)))
-> (OSet (ProposalProcedure (LedgerEra era))
    -> f (OSet (ProposalProcedure (LedgerEra era))))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (OSet (ProposalProcedure (LedgerEra era))
 -> f (OSet (ProposalProcedure (LedgerEra era))))
-> TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era))
forall era (l :: TxLevel).
ConwayEraTxBody era =>
Lens' (TxBody l era) (OSet (ProposalProcedure era))
forall (l :: TxLevel).
Lens'
  (TxBody l (LedgerEra era))
  (OSet (ProposalProcedure (LedgerEra era)))
L.proposalProceduresTxBodyL

{-# DEPRECATED
  currentTreasuryValueTxBodyL
  "Use currentTreasuryValueTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
currentTreasuryValueTxBodyL :: ConwayEraOnwards era -> Lens' (LedgerTxBody era) (StrictMaybe L.Coin)
currentTreasuryValueTxBodyL :: forall era.
ConwayEraOnwards era -> Lens' (LedgerTxBody era) (StrictMaybe Coin)
currentTreasuryValueTxBodyL ConwayEraOnwards era
w = Era era
-> (EraCommonConstraints era =>
    (StrictMaybe Coin -> f (StrictMaybe Coin))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe Coin -> f (StrictMaybe Coin))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a. Era era -> (EraCommonConstraints era => a) -> a
obtainCommonConstraints (ConwayEraOnwards era -> Era era
forall era. ConwayEraOnwards era -> Era era
forall a (f :: a -> *) (g :: a -> *) (era :: a).
Convert f g =>
f era -> g era
convert ConwayEraOnwards era
w) ((EraCommonConstraints era =>
  (StrictMaybe Coin -> f (StrictMaybe Coin))
  -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (StrictMaybe Coin -> f (StrictMaybe Coin))
 -> LedgerTxBody era
 -> f (LedgerTxBody era))
-> (EraCommonConstraints era =>
    (StrictMaybe Coin -> f (StrictMaybe Coin))
    -> LedgerTxBody era -> f (LedgerTxBody era))
-> (StrictMaybe Coin -> f (StrictMaybe Coin))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
(TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((StrictMaybe Coin -> f (StrictMaybe Coin))
    -> TxBody TopTx (LedgerEra era)
    -> f (TxBody TopTx (LedgerEra era)))
-> (StrictMaybe Coin -> f (StrictMaybe Coin))
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StrictMaybe Coin -> f (StrictMaybe Coin))
-> TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era))
forall era (l :: TxLevel).
ConwayEraTxBody era =>
Lens' (TxBody l era) (StrictMaybe Coin)
forall (l :: TxLevel).
Lens' (TxBody l (LedgerEra era)) (StrictMaybe Coin)
L.currentTreasuryValueTxBodyL

{-# DEPRECATED
  treasuryDonationTxBodyL
  "Use treasuryDonationTxBodyL from Cardano.Api.Ledger (via txBodyL) instead."
  #-}
treasuryDonationTxBodyL :: ConwayEraOnwards era -> Lens' (LedgerTxBody era) L.Coin
treasuryDonationTxBodyL :: forall era. ConwayEraOnwards era -> Lens' (LedgerTxBody era) Coin
treasuryDonationTxBodyL ConwayEraOnwards era
w = Era era
-> (EraCommonConstraints era =>
    (Coin -> f Coin) -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Coin -> f Coin)
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall era a. Era era -> (EraCommonConstraints era => a) -> a
obtainCommonConstraints (ConwayEraOnwards era -> Era era
forall era. ConwayEraOnwards era -> Era era
forall a (f :: a -> *) (g :: a -> *) (era :: a).
Convert f g =>
f era -> g era
convert ConwayEraOnwards era
w) ((EraCommonConstraints era =>
  (Coin -> f Coin) -> LedgerTxBody era -> f (LedgerTxBody era))
 -> (Coin -> f Coin) -> LedgerTxBody era -> f (LedgerTxBody era))
-> (EraCommonConstraints era =>
    (Coin -> f Coin) -> LedgerTxBody era -> f (LedgerTxBody era))
-> (Coin -> f Coin)
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall a b. (a -> b) -> a -> b
$ (TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
(TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
forall era (f :: * -> *).
Functor f =>
(TxBody TopTx (ShelleyLedgerEra era)
 -> f (TxBody TopTx (ShelleyLedgerEra era)))
-> LedgerTxBody era -> f (LedgerTxBody era)
txBodyL ((TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era)))
 -> LedgerTxBody era -> f (LedgerTxBody era))
-> ((Coin -> f Coin)
    -> TxBody TopTx (LedgerEra era)
    -> f (TxBody TopTx (LedgerEra era)))
-> (Coin -> f Coin)
-> LedgerTxBody era
-> f (LedgerTxBody era)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Coin -> f Coin)
-> TxBody TopTx (LedgerEra era) -> f (TxBody TopTx (LedgerEra era))
forall era (l :: TxLevel).
ConwayEraTxBody era =>
Lens' (TxBody l era) Coin
forall (l :: TxLevel). Lens' (TxBody l (LedgerEra era)) Coin
L.treasuryDonationTxBodyL

mkAdaOnlyTxOut
  :: ShelleyBasedEra era
  -> L.Addr
  -> L.Coin
  -> L.TxOut (ShelleyLedgerEra era)
mkAdaOnlyTxOut :: forall era.
ShelleyBasedEra era -> Addr -> Coin -> TxOut (ShelleyLedgerEra era)
mkAdaOnlyTxOut ShelleyBasedEra era
sbe Addr
addr Coin
coin =
  ShelleyBasedEra era
-> Addr
-> Value (ShelleyLedgerEra era)
-> TxOut (ShelleyLedgerEra era)
forall era.
ShelleyBasedEra era
-> Addr
-> Value (ShelleyLedgerEra era)
-> TxOut (ShelleyLedgerEra era)
mkBasicTxOut ShelleyBasedEra era
sbe Addr
addr (ShelleyBasedEra era -> Coin -> Value (ShelleyLedgerEra era)
forall era.
ShelleyBasedEra era -> Coin -> Value (ShelleyLedgerEra era)
mkAdaValue ShelleyBasedEra era
sbe Coin
coin)

mkBasicTxOut
  :: ShelleyBasedEra era
  -> L.Addr
  -> L.Value (ShelleyLedgerEra era)
  -> L.TxOut (ShelleyLedgerEra era)
mkBasicTxOut :: forall era.
ShelleyBasedEra era
-> Addr
-> Value (ShelleyLedgerEra era)
-> TxOut (ShelleyLedgerEra era)
mkBasicTxOut ShelleyBasedEra era
sbe Addr
addr Value (ShelleyLedgerEra era)
value =
  ShelleyBasedEra era
-> (ShelleyBasedEraConstraints era => TxOut (ShelleyLedgerEra era))
-> TxOut (ShelleyLedgerEra era)
forall era a.
ShelleyBasedEra era -> (ShelleyBasedEraConstraints era => a) -> a
shelleyBasedEraConstraints ShelleyBasedEra era
sbe ((ShelleyBasedEraConstraints era => TxOut (ShelleyLedgerEra era))
 -> TxOut (ShelleyLedgerEra era))
-> (ShelleyBasedEraConstraints era => TxOut (ShelleyLedgerEra era))
-> TxOut (ShelleyLedgerEra era)
forall a b. (a -> b) -> a -> b
$ Addr
-> Value (ShelleyLedgerEra era) -> TxOut (ShelleyLedgerEra era)
forall era.
(EraTxOut era, HasCallStack) =>
Addr -> Value era -> TxOut era
L.mkBasicTxOut Addr
addr Value (ShelleyLedgerEra era)
value

mkAdaValue :: ShelleyBasedEra era -> L.Coin -> L.Value (ShelleyLedgerEra era)
mkAdaValue :: forall era.
ShelleyBasedEra era -> Coin -> Value (ShelleyLedgerEra era)
mkAdaValue ShelleyBasedEra era
sbe Coin
coin =
  ShelleyBasedEra era
-> (ShelleyBasedEraConstraints era => Value (ShelleyLedgerEra era))
-> Value (ShelleyLedgerEra era)
forall era a.
ShelleyBasedEra era -> (ShelleyBasedEraConstraints era => a) -> a
shelleyBasedEraConstraints ShelleyBasedEra era
sbe ((ShelleyBasedEraConstraints era => Value (ShelleyLedgerEra era))
 -> Value (ShelleyLedgerEra era))
-> (ShelleyBasedEraConstraints era => Value (ShelleyLedgerEra era))
-> Value (ShelleyLedgerEra era)
forall a b. (a -> b) -> a -> b
$
    (Coin -> Coin)
-> Value (ShelleyLedgerEra era) -> Value (ShelleyLedgerEra era)
forall t. Val t => (Coin -> Coin) -> t -> t
L.modifyCoin (Coin -> Coin -> Coin
forall a b. a -> b -> a
const Coin
coin) Value (ShelleyLedgerEra era)
forall a. Monoid a => a
mempty

adaAssetL :: ShelleyBasedEra era -> Lens' (L.Value (ShelleyLedgerEra era)) L.Coin
adaAssetL :: forall era.
ShelleyBasedEra era -> Lens' (Value (ShelleyLedgerEra era)) Coin
adaAssetL ShelleyBasedEra era
sbe =
  ShelleyBasedEra era
-> (ShelleyBasedEraConstraints era =>
    (Coin -> f Coin)
    -> Value (ShelleyLedgerEra era)
    -> f (Value (ShelleyLedgerEra era)))
-> (Coin -> f Coin)
-> Value (ShelleyLedgerEra era)
-> f (Value (ShelleyLedgerEra era))
forall era a.
ShelleyBasedEra era -> (ShelleyBasedEraConstraints era => a) -> a
shelleyBasedEraConstraints ShelleyBasedEra era
sbe ((ShelleyBasedEraConstraints era =>
  (Coin -> f Coin)
  -> Value (ShelleyLedgerEra era)
  -> f (Value (ShelleyLedgerEra era)))
 -> (Coin -> f Coin)
 -> Value (ShelleyLedgerEra era)
 -> f (Value (ShelleyLedgerEra era)))
-> (ShelleyBasedEraConstraints era =>
    (Coin -> f Coin)
    -> Value (ShelleyLedgerEra era)
    -> f (Value (ShelleyLedgerEra era)))
-> (Coin -> f Coin)
-> Value (ShelleyLedgerEra era)
-> f (Value (ShelleyLedgerEra era))
forall a b. (a -> b) -> a -> b
$
    (Value (ShelleyLedgerEra era) -> Coin)
-> (Value (ShelleyLedgerEra era)
    -> Coin -> Value (ShelleyLedgerEra era))
-> Lens
     (Value (ShelleyLedgerEra era))
     (Value (ShelleyLedgerEra era))
     Coin
     Coin
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens
      Value (ShelleyLedgerEra era) -> Coin
forall t. Val t => t -> Coin
L.coin
      (\Value (ShelleyLedgerEra era)
v Coin
c -> (Coin -> Coin)
-> Value (ShelleyLedgerEra era) -> Value (ShelleyLedgerEra era)
forall t. Val t => (Coin -> Coin) -> t -> t
L.modifyCoin (Coin -> Coin -> Coin
forall a b. a -> b -> a
const Coin
c) Value (ShelleyLedgerEra era)
v)

multiAssetL
  :: MaryEraOnwards era -> Lens' L.MaryValue L.MultiAsset
multiAssetL :: forall era. MaryEraOnwards era -> Lens' MaryValue MultiAsset
multiAssetL MaryEraOnwards era
w =
  MaryEraOnwards era
-> (MaryEraOnwardsConstraints era =>
    (MultiAsset -> f MultiAsset) -> MaryValue -> f MaryValue)
-> (MultiAsset -> f MultiAsset)
-> MaryValue
-> f MaryValue
forall era a.
MaryEraOnwards era -> (MaryEraOnwardsConstraints era => a) -> a
maryEraOnwardsConstraints MaryEraOnwards era
w ((MaryEraOnwardsConstraints era =>
  (MultiAsset -> f MultiAsset) -> MaryValue -> f MaryValue)
 -> (MultiAsset -> f MultiAsset) -> MaryValue -> f MaryValue)
-> (MaryEraOnwardsConstraints era =>
    (MultiAsset -> f MultiAsset) -> MaryValue -> f MaryValue)
-> (MultiAsset -> f MultiAsset)
-> MaryValue
-> f MaryValue
forall a b. (a -> b) -> a -> b
$
    (MaryValue -> MultiAsset)
-> (MaryValue -> MultiAsset -> MaryValue)
-> Lens' MaryValue MultiAsset
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens
      (\(L.MaryValue Coin
_ MultiAsset
ma) -> MultiAsset
ma)
      (\(L.MaryValue Coin
c MultiAsset
_) MultiAsset
ma -> Coin -> MultiAsset -> MaryValue
L.MaryValue Coin
c MultiAsset
ma)

{-# DEPRECATED
  valueTxOutL
  "Use valueTxOutL from Cardano.Api.Ledger instead."
  #-}
valueTxOutL
  :: ShelleyBasedEra era -> Lens' (L.TxOut (ShelleyLedgerEra era)) (L.Value (ShelleyLedgerEra era))
valueTxOutL :: forall era.
ShelleyBasedEra era
-> Lens'
     (TxOut (ShelleyLedgerEra era)) (Value (ShelleyLedgerEra era))
valueTxOutL ShelleyBasedEra era
sbe = ShelleyBasedEra era
-> (ShelleyBasedEraConstraints era =>
    (Value (ShelleyLedgerEra era) -> f (Value (ShelleyLedgerEra era)))
    -> TxOut (ShelleyLedgerEra era)
    -> f (TxOut (ShelleyLedgerEra era)))
-> (Value (ShelleyLedgerEra era)
    -> f (Value (ShelleyLedgerEra era)))
-> TxOut (ShelleyLedgerEra era)
-> f (TxOut (ShelleyLedgerEra era))
forall era a.
ShelleyBasedEra era -> (ShelleyBasedEraConstraints era => a) -> a
shelleyBasedEraConstraints ShelleyBasedEra era
sbe ShelleyBasedEraConstraints era =>
(Value (ShelleyLedgerEra era) -> f (Value (ShelleyLedgerEra era)))
-> TxOut (ShelleyLedgerEra era) -> f (TxOut (ShelleyLedgerEra era))
(Value (ShelleyLedgerEra era) -> f (Value (ShelleyLedgerEra era)))
-> TxOut (ShelleyLedgerEra era) -> f (TxOut (ShelleyLedgerEra era))
forall era. EraTxOut era => Lens' (TxOut era) (Value era)
Lens' (TxOut (ShelleyLedgerEra era)) (Value (ShelleyLedgerEra era))
L.valueTxOutL

{-# DEPRECATED
  valueTxOutAdaAssetL
  "Use coinTxOutL from Cardano.Api.Ledger instead."
  #-}
valueTxOutAdaAssetL :: ShelleyBasedEra era -> Lens' (L.TxOut (ShelleyLedgerEra era)) L.Coin
valueTxOutAdaAssetL :: forall era.
ShelleyBasedEra era -> Lens' (TxOut (ShelleyLedgerEra era)) Coin
valueTxOutAdaAssetL ShelleyBasedEra era
sbe = ShelleyBasedEra era
-> Lens'
     (TxOut (ShelleyLedgerEra era)) (Value (ShelleyLedgerEra era))
forall era.
ShelleyBasedEra era
-> Lens'
     (TxOut (ShelleyLedgerEra era)) (Value (ShelleyLedgerEra era))
valueTxOutL ShelleyBasedEra era
sbe ((Value (ShelleyLedgerEra era) -> f (Value (ShelleyLedgerEra era)))
 -> TxOut (ShelleyLedgerEra era)
 -> f (TxOut (ShelleyLedgerEra era)))
-> ((Coin -> f Coin)
    -> Value (ShelleyLedgerEra era)
    -> f (Value (ShelleyLedgerEra era)))
-> (Coin -> f Coin)
-> TxOut (ShelleyLedgerEra era)
-> f (TxOut (ShelleyLedgerEra era))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShelleyBasedEra era -> Lens' (Value (ShelleyLedgerEra era)) Coin
forall era.
ShelleyBasedEra era -> Lens' (Value (ShelleyLedgerEra era)) Coin
adaAssetL ShelleyBasedEra era
sbe