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 #
Instances
Orphan instances
EraTx AllegraEra Source # | |
Associated Types data Tx AllegraEra 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 # | |
Generic (Tx AllegraEra) Source # | |
Show (Tx AllegraEra) Source # | |
ToCBOR (Tx AllegraEra) Source # | |
DecCBOR (Annotator (Tx AllegraEra)) Source # | |
EncCBOR (Tx AllegraEra) Source # | |
EqRaw (Tx AllegraEra) Source # | |
Methods eqRaw ∷ Tx AllegraEra → Tx AllegraEra → Bool Source # | |
NFData (Tx AllegraEra) Source # | |
Methods rnf ∷ Tx AllegraEra → () # | |
Eq (Tx AllegraEra) Source # | |
NoThunks (Tx AllegraEra) Source # | |