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 #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Allegra.Tx
Contents
validateTimelock ∷ (EraTx era, AllegraEraTxBody era, AllegraEraScript era) ⇒ Tx era → NativeScript era → Bool Source #