Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
validateTimelock ∷ (EraTx era, AllegraEraTxBody era, AllegraEraScript era) ⇒ Tx era → NativeScript era → Bool Source #
Orphan instances
Crypto c ⇒ EraTx (AllegraEra c) Source # | |
type Tx (AllegraEra c) = (r ∷ Type) Source # type TxUpgradeError (AllegraEra c) Source # 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 # |