Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Babbage.TxWits
Contents
Documentation
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #
Instances
EraScript AlonzoEra ⇒ AlonzoEraTxWits AlonzoEra | |
AlonzoEraTxWits BabbageEra Source # | |
Defined in Cardano.Ledger.Babbage.TxWits Methods datsTxWitsL ∷ Lens' (TxWits BabbageEra) (TxDats BabbageEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits BabbageEra) (Redeemers BabbageEra) Source # |
newtype AlonzoTxWits era Source #
Constructors
MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era)) |
Bundled Patterns
pattern AlonzoTxWits ∷ AlonzoEraScript era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era | |
pattern AlonzoTxWits' ∷ Era era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era |
Instances
Orphan instances
AlonzoEraTxWits BabbageEra Source # | |
Methods datsTxWitsL ∷ Lens' (TxWits BabbageEra) (TxDats BabbageEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits BabbageEra) (Redeemers BabbageEra) Source # | |
EraTxWits BabbageEra Source # | |
Associated Types type TxWits BabbageEra = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits BabbageEra Source # addrTxWitsL ∷ Lens' (TxWits BabbageEra) (Set (WitVKey 'Witness)) Source # bootAddrTxWitsL ∷ Lens' (TxWits BabbageEra) (Set BootstrapWitness) Source # scriptTxWitsL ∷ Lens' (TxWits BabbageEra) (Map ScriptHash (Script BabbageEra)) Source # |