Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Modulecardano-ledger-babbage-1.14.0.0

Cardano.Ledger.Babbage.Collateral

Synopsis

value collAdaBalance
value collOuts
value mkCollateralTxIn

Packagecardano-ledger-babbage-1.14.0.0
Exports3
LicenceApache-2.0

valuecollAdaBalance

:: BabbageEraTxBody era
=> TxBody TopTx era
-> Map TxIn (TxOut era)
-> DeltaCoin

valuecollOuts :: BabbageEraTxBody era => TxBody TopTx era -> UTxO era

valuemkCollateralTxIn :: EraTxBody era => TxBody l era -> TxIn