| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Allegra.Tx
Contents
Documentation
validateTimelock ∷ (EraTx era, AllegraEraTxBody era, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ Tx era → NativeScript era → Bool Source #
Orphan instances
| EraTx AllegraEra Source # | |
Associated Types type Tx AllegraEra = (r ∷ Type) Source # Methods mkBasicTx ∷ TxBody AllegraEra → Tx AllegraEra Source # bodyTxL ∷ Lens' (Tx AllegraEra) (TxBody AllegraEra) Source # witsTxL ∷ Lens' (Tx AllegraEra) (TxWits AllegraEra) Source # auxDataTxL ∷ Lens' (Tx AllegraEra) (StrictMaybe (TxAuxData AllegraEra)) Source # sizeTxF ∷ SimpleGetter (Tx AllegraEra) Integer Source # sizeTxForFeeCalculation ∷ Tx AllegraEra → Integer Source # validateNativeScript ∷ Tx AllegraEra → NativeScript AllegraEra → Bool Source # getMinFeeTx ∷ PParams AllegraEra → Tx AllegraEra → Int → Coin Source # | |