| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.TxWits
Contents
Synopsis
- newtype Redeemers era where
- MkRedeemers (MemoBytes (RedeemersRaw era))
- pattern Redeemers ∷ ∀ era. AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era
- newtype RedeemersRaw era = RedeemersRaw {
- unRedeemersRaw ∷ Map (PlutusPurpose AsIx era) (Data era, ExUnits)
- 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)
- newtype TxDats era where
- newtype TxDatsRaw era = TxDatsRaw {
- unTxDatsRaw ∷ Map DataHash (Data era)
- newtype AlonzoTxWits era where
- MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era))
- 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 = AlonzoTxWitsRaw {
- atwrAddrTxWits ∷ !(Set (WitVKey 'Witness))
- atwrBootAddrTxWits ∷ !(Set BootstrapWitness)
- atwrScriptTxWits ∷ !(Map ScriptHash (Script era))
- atwrDatsTxWits ∷ !(TxDats era)
- atwrRdmrsTxWits ∷ !(Redeemers 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
- emptyTxWitsRaw ∷ AlonzoEraScript era ⇒ AlonzoTxWitsRaw era
- addScriptsTxWitsRaw ∷ Map ScriptHash (Script era) → AlonzoTxWitsRaw era → AlonzoTxWitsRaw era
- decodeAlonzoPlutusScript ∷ (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decode ('Closed 'Dense) (Map ScriptHash (Script era))
- asHashedScriptPair ∷ ∀ era. EraScript era ⇒ Script era → (ScriptHash, Script era)
Documentation
newtype Redeemers era 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.
Constructors
| MkRedeemers (MemoBytes (RedeemersRaw era)) |
Bundled Patterns
| pattern Redeemers ∷ ∀ era. AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era |
Instances
newtype RedeemersRaw era Source #
Constructors
| RedeemersRaw | |
Fields
| |
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
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 | Deprecated: In favor of |
Instances
newtype TxDatsRaw era Source #
Constructors
| TxDatsRaw | |
Fields
| |
Instances
| Generic (TxDatsRaw era) Source # | |
| Show (TxDatsRaw era) Source # | |
| Era era ⇒ DecCBOR (Annotator (TxDatsRaw era)) Source # | |
| 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.15.0.0-inplace" 'True) (C1 ('MetaCons "TxDatsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxDatsRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DataHash (Data era))))) | |
newtype AlonzoTxWits era Source #
Constructors
| MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era)) |
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 | Deprecated: In favor of |
Instances
data AlonzoTxWitsRaw era Source #
Internal AlonzoTxWits type, lacking serialised bytes.
Constructors
| AlonzoTxWitsRaw | |
Fields
| |
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 #
emptyTxWitsRaw ∷ AlonzoEraScript era ⇒ AlonzoTxWitsRaw era Source #
addScriptsTxWitsRaw ∷ Map ScriptHash (Script era) → AlonzoTxWitsRaw era → AlonzoTxWitsRaw era Source #
decodeAlonzoPlutusScript ∷ (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decode ('Closed 'Dense) (Map ScriptHash (Script era)) Source #
asHashedScriptPair ∷ ∀ era. EraScript era ⇒ Script era → (ScriptHash, Script era) Source #