Documentation

isTwoPhaseScriptAddress :: forall era. ( ValidateScript era, ExtendedUTxO era) => Tx era -> UTxO era -> Addr ( Crypto era) -> Bool Source #

collBalance :: forall era. ( Era era, HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)), HasField "collateral" ( TxBody era) ( Set ( TxIn ( Crypto era)))) => TxBody era -> UTxO era -> Value era Source #

collOuts :: ( Era era, TxBody era ~ TxBody era, TxOut era ~ TxOut era) => TxBody era -> UTxO era Source #