| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.TxWits
Contents
Synopsis
- data Redeemers era where
- pattern Redeemers ∷ ∀ era. AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era
- data RedeemersRaw era
- unRedeemersL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits))
- unRedeemers ∷ Redeemers era → Map (PlutusPurpose AsIx era) (Data era, ExUnits)
- nullRedeemers ∷ Redeemers era → Bool
- lookupRedeemer ∷ Ord (PlutusPurpose AsIx era) ⇒ PlutusPurpose AsIx era → Redeemers era → Maybe (Data era, ExUnits)
- upgradeRedeemers ∷ ∀ era. (AlonzoEraScript (PreviousEra era), AlonzoEraScript era) ⇒ Redeemers (PreviousEra era) → Redeemers era
- data TxDats era where
- data TxDatsRaw era
- upgradeTxDats ∷ (Era era1, Era era2) ⇒ TxDats era1 → TxDats era2
- data AlonzoTxWits era where
- pattern AlonzoTxWits ∷ ∀ era. 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
- data AlonzoTxWitsRaw era
- addrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set (WitVKey 'Witness))
- bootAddrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set BootstrapWitness)
- scriptAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Map ScriptHash (Script era))
- datsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (TxDats era)
- rdmrsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Redeemers era)
- class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where
- datsTxWitsL ∷ Lens' (TxWits era) (TxDats era)
- rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era)
- hashDataTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens (TxWits era) (TxWits era) (TxDats era) [Data era]
- unTxDats ∷ TxDats era → Map DataHash (Data era)
- unTxDatsL ∷ ∀ era. Era era ⇒ Lens' (TxDats era) (Map DataHash (Data era))
- nullDats ∷ TxDats era → Bool
- alonzoEqTxWitsRaw ∷ AlonzoEraTxWits era ⇒ TxWits era → TxWits era → Bool
Documentation
data Redeemers era where Source #
Note that Redeemers are based on MemoBytes since we must preserve
the original bytes for the ScriptIntegrity.
Since the Redeemers exist outside of the transaction body,
this is how we ensure that they are not manipulated.
Bundled Patterns
| pattern Redeemers ∷ ∀ era. AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era |
Instances
data RedeemersRaw era Source #
Instances
unRedeemersL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits)) Source #
unRedeemers ∷ Redeemers era → Map (PlutusPurpose AsIx era) (Data era, ExUnits) Source #
nullRedeemers ∷ Redeemers era → Bool Source #
Deprecated: In favor of unRedeemersL
lookupRedeemer ∷ Ord (PlutusPurpose AsIx era) ⇒ PlutusPurpose AsIx era → Redeemers era → Maybe (Data era, ExUnits) Source #
Deprecated: In favor of unRedeemersL
upgradeRedeemers ∷ ∀ era. (AlonzoEraScript (PreviousEra era), AlonzoEraScript era) ⇒ Redeemers (PreviousEra era) → Redeemers era Source #
Upgrade redeemers from one era to another. The underlying data structure will remain identical, but the memoised serialisation may change to reflect the versioned serialisation of the new era.
data TxDats era where Source #
Note that TxDats are based on MemoBytes since we must preserve
the original bytes for the ScriptIntegrity.
Since the TxDats exist outside of the transaction body,
this is how we ensure that they are not manipulated.
Bundled Patterns
| pattern TxDats ∷ ∀ era. Era era ⇒ Map DataHash (Data era) → TxDats era | |
| pattern TxDats' ∷ Map DataHash (Data era) → TxDats era |
Instances
Instances
| Generic (TxDatsRaw era) Source # | |
| Show (TxDatsRaw era) Source # | |
| Era era ⇒ DecCBOR (TxDatsRaw era) Source # | |
| Era era ⇒ DecCBOR (Annotator (TxDatsRaw era)) Source # | |
| (Typeable era, EncCBOR (Data era)) ⇒ EncCBOR (TxDatsRaw era) Source # | |
| NFData (TxDatsRaw era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| Eq (TxDatsRaw era) Source # | |
| Typeable era ⇒ NoThunks (TxDatsRaw era) Source # | |
| type Rep (TxDatsRaw era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxWits type Rep (TxDatsRaw era) = D1 ('MetaData "TxDatsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.13.0.1-inplace" 'True) (C1 ('MetaCons "TxDatsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxDatsRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DataHash (Data era))))) | |
upgradeTxDats ∷ (Era era1, Era era2) ⇒ TxDats era1 → TxDats era2 Source #
Upgrade TxDats from one era to another. The underlying data structure
will remain identical, but the memoised serialisation may change to reflect
the versioned serialisation of the new era.
data AlonzoTxWits era where Source #
Bundled Patterns
| pattern AlonzoTxWits ∷ ∀ era. 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
data AlonzoTxWitsRaw era Source #
Internal AlonzoTxWits type, lacking serialised bytes.
Instances
addrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set (WitVKey 'Witness)) Source #
bootAddrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set BootstrapWitness) Source #
scriptAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Map ScriptHash (Script era)) Source #
datsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (TxDats era) Source #
rdmrsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Redeemers era) Source #
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #
hashDataTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens (TxWits era) (TxWits era) (TxDats era) [Data era] Source #
This is a convenience Lens that will hash the Data when it is being added to the
TxWits. See datsTxWitsL for a version that aloows setting TxDats instead.
alonzoEqTxWitsRaw ∷ AlonzoEraTxWits era ⇒ TxWits era → TxWits era → Bool Source #
Orphan instances
| EraScript AlonzoEra ⇒ EraTxWits AlonzoEra Source # | |
Methods mkBasicTxWits ∷ TxWits AlonzoEra Source # addrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set (WitVKey 'Witness)) Source # bootAddrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set BootstrapWitness) Source # scriptTxWitsL ∷ Lens' (TxWits AlonzoEra) (Map ScriptHash (Script AlonzoEra)) Source # upgradeTxWits ∷ TxWits (PreviousEra AlonzoEra) → TxWits AlonzoEra Source # | |