| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Api.Ledger.Lens
Contents
Synopsis
- newtype TxBody era = TxBody {
- unTxBody :: TxBody (ShelleyLedgerEra era)
- mkAdaOnlyTxOut :: ShelleyBasedEra era -> Addr (EraCrypto (ShelleyLedgerEra era)) -> Coin -> TxOut (ShelleyLedgerEra era)
- mkAdaValue :: ShelleyBasedEra era -> Coin -> Value (ShelleyLedgerEra era)
- strictMaybeL :: forall a f. Functor f => (Maybe a -> f (Maybe a)) -> StrictMaybe a -> f (StrictMaybe a)
- invalidBeforeL :: Lens' ValidityInterval (Maybe SlotNo)
- invalidHereAfterL :: Lens' ValidityInterval (Maybe SlotNo)
- invalidBeforeStrictL :: Lens' ValidityInterval (StrictMaybe SlotNo)
- invalidHereAfterStrictL :: Lens' ValidityInterval (StrictMaybe SlotNo)
- invalidBeforeTxBodyL :: AllegraEraOnwards era -> Lens' (TxBody era) (Maybe SlotNo)
- invalidHereAfterTxBodyL :: ShelleyBasedEra era -> Lens' (TxBody era) (Maybe SlotNo)
- ttlAsInvalidHereAfterTxBodyL :: ShelleyEraOnly era -> Lens' (TxBody era) (Maybe SlotNo)
- updateTxBodyL :: ShelleyToBabbageEra era -> Lens' (TxBody era) (StrictMaybe (Update (ShelleyLedgerEra era)))
- txBodyL :: forall era f. Functor f => (TxBody (ShelleyLedgerEra era) -> f (TxBody (ShelleyLedgerEra era))) -> TxBody era -> f (TxBody era)
- mintTxBodyL :: MaryEraOnwards era -> Lens' (TxBody era) (MultiAsset StandardCrypto)
- scriptIntegrityHashTxBodyL :: AlonzoEraOnwards era -> Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash StandardCrypto))
- collateralInputsTxBodyL :: AlonzoEraOnwards era -> Lens' (TxBody era) (Set (TxIn StandardCrypto))
- reqSignerHashesTxBodyL :: AlonzoEraOnwards era -> Lens' (TxBody era) (Set (KeyHash 'Witness StandardCrypto))
- referenceInputsTxBodyL :: BabbageEraOnwards era -> Lens' (TxBody era) (Set (TxIn StandardCrypto))
- collateralReturnTxBodyL :: BabbageEraOnwards era -> Lens' (TxBody era) (StrictMaybe (TxOut (ShelleyLedgerEra era)))
- totalCollateralTxBodyL :: BabbageEraOnwards era -> Lens' (TxBody era) (StrictMaybe Coin)
- certsTxBodyL :: ShelleyBasedEra era -> Lens' (TxBody era) (StrictSeq (TxCert (ShelleyLedgerEra era)))
- votingProceduresTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) (VotingProcedures (ShelleyLedgerEra era))
- proposalProceduresTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) (OSet (ProposalProcedure (ShelleyLedgerEra era)))
- currentTreasuryValueTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) (StrictMaybe Coin)
- treasuryDonationTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) Coin
- adaAssetL :: ShelleyBasedEra era -> Lens' (Value (ShelleyLedgerEra era)) Coin
- multiAssetL :: MaryEraOnwards era -> Lens' (MaryValue StandardCrypto) (MultiAsset StandardCrypto)
- valueTxOutL :: ShelleyBasedEra era -> Lens' (TxOut (ShelleyLedgerEra era)) (Value (ShelleyLedgerEra era))
- valueTxOutAdaAssetL :: ShelleyBasedEra era -> Lens' (TxOut (ShelleyLedgerEra era)) Coin
Types
Constructors
mkAdaOnlyTxOut :: ShelleyBasedEra era -> Addr (EraCrypto (ShelleyLedgerEra era)) -> Coin -> TxOut (ShelleyLedgerEra era) Source #
mkAdaValue :: ShelleyBasedEra era -> Coin -> Value (ShelleyLedgerEra era) Source #
Lenses
strictMaybeL :: forall a f. Functor f => (Maybe a -> f (Maybe a)) -> StrictMaybe a -> f (StrictMaybe a) Source #
invalidBeforeL :: Lens' ValidityInterval (Maybe SlotNo) Source #
Lens to access the invalidBefore field of a ValidityInterval as a 'Maybe SlotNo'.
invalidHereAfterL :: Lens' ValidityInterval (Maybe SlotNo) Source #
Lens to access the invalidHereAfter field of a ValidityInterval as a 'Maybe SlotNo'.
invalidBeforeStrictL :: Lens' ValidityInterval (StrictMaybe SlotNo) Source #
Lens to access the invalidBefore field of a ValidityInterval as a 'StrictMaybe SlotNo'.
Ideally this should be defined in cardano-ledger
invalidHereAfterStrictL :: Lens' ValidityInterval (StrictMaybe SlotNo) Source #
Lens to access the invalidHereAfter field of a ValidityInterval as a 'StrictMaybe SlotNo'.
Ideally this should be defined in cardano-ledger
invalidBeforeTxBodyL :: AllegraEraOnwards era -> Lens' (TxBody era) (Maybe SlotNo) Source #
invalidHereAfterTxBodyL :: ShelleyBasedEra era -> Lens' (TxBody era) (Maybe SlotNo) Source #
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 SlotNos 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.
ttlAsInvalidHereAfterTxBodyL :: ShelleyEraOnly era -> Lens' (TxBody era) (Maybe SlotNo) Source #
updateTxBodyL :: ShelleyToBabbageEra era -> Lens' (TxBody era) (StrictMaybe (Update (ShelleyLedgerEra era))) Source #
txBodyL :: forall era f. Functor f => (TxBody (ShelleyLedgerEra era) -> f (TxBody (ShelleyLedgerEra era))) -> TxBody era -> f (TxBody era) Source #
mintTxBodyL :: MaryEraOnwards era -> Lens' (TxBody era) (MultiAsset StandardCrypto) Source #
scriptIntegrityHashTxBodyL :: AlonzoEraOnwards era -> Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash StandardCrypto)) Source #
collateralInputsTxBodyL :: AlonzoEraOnwards era -> Lens' (TxBody era) (Set (TxIn StandardCrypto)) Source #
reqSignerHashesTxBodyL :: AlonzoEraOnwards era -> Lens' (TxBody era) (Set (KeyHash 'Witness StandardCrypto)) Source #
referenceInputsTxBodyL :: BabbageEraOnwards era -> Lens' (TxBody era) (Set (TxIn StandardCrypto)) Source #
collateralReturnTxBodyL :: BabbageEraOnwards era -> Lens' (TxBody era) (StrictMaybe (TxOut (ShelleyLedgerEra era))) Source #
totalCollateralTxBodyL :: BabbageEraOnwards era -> Lens' (TxBody era) (StrictMaybe Coin) Source #
certsTxBodyL :: ShelleyBasedEra era -> Lens' (TxBody era) (StrictSeq (TxCert (ShelleyLedgerEra era))) Source #
votingProceduresTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) (VotingProcedures (ShelleyLedgerEra era)) Source #
proposalProceduresTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) (OSet (ProposalProcedure (ShelleyLedgerEra era))) Source #
currentTreasuryValueTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) (StrictMaybe Coin) Source #
treasuryDonationTxBodyL :: ConwayEraOnwards era -> Lens' (TxBody era) Coin Source #
adaAssetL :: ShelleyBasedEra era -> Lens' (Value (ShelleyLedgerEra era)) Coin Source #
multiAssetL :: MaryEraOnwards era -> Lens' (MaryValue StandardCrypto) (MultiAsset StandardCrypto) Source #
valueTxOutL :: ShelleyBasedEra era -> Lens' (TxOut (ShelleyLedgerEra era)) (Value (ShelleyLedgerEra era)) Source #
valueTxOutAdaAssetL :: ShelleyBasedEra era -> Lens' (TxOut (ShelleyLedgerEra era)) Coin Source #