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