Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
validateTimelock ∷ (EraTx era, AllegraEraTxBody era, AllegraEraScript era) ⇒ Tx era → NativeScript era → Bool Source #
Orphan instances
EraTx AllegraEra Source # | |
type Tx AllegraEra = (r ∷ Type) Source # type TxUpgradeError AllegraEra Source # 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 # wireSizeTxF ∷ SimpleGetter (Tx AllegraEra) Word32 Source # validateNativeScript ∷ Tx AllegraEra → NativeScript AllegraEra → Bool Source # getMinFeeTx ∷ PParams AllegraEra → Tx AllegraEra → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra AllegraEra) → Either (TxUpgradeError AllegraEra) (Tx AllegraEra) Source # |