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 # | |
(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.14.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 #