cardano-ledger-alonzo-1.12.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Alonzo.TxWits

Synopsis

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

Instances details
Memoized Redeemers Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType Redeemers = (r ∷ TypeType) Source #

AlonzoEraScript era ⇒ Monoid (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

memptyRedeemers era Source #

mappendRedeemers era → Redeemers era → Redeemers era Source #

mconcat ∷ [Redeemers era] → Redeemers era Source #

AlonzoEraScript era ⇒ Semigroup (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(<>)Redeemers era → Redeemers era → Redeemers era Source #

sconcatNonEmpty (Redeemers era) → Redeemers era Source #

stimesIntegral b ⇒ b → Redeemers era → Redeemers era Source #

Generic (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (Redeemers era) ∷ TypeType Source #

Methods

fromRedeemers era → Rep (Redeemers era) x Source #

toRep (Redeemers era) x → Redeemers era Source #

AlonzoEraScript era ⇒ Show (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrecIntRedeemers era → ShowS Source #

showRedeemers era → String Source #

showList ∷ [Redeemers era] → ShowS Source #

Typeable era ⇒ ToCBOR (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBORRedeemers era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Redeemers era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Redeemers era] → Size Source #

AlonzoEraScript era ⇒ DecCBOR (Annotator (Redeemers era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ EncCBOR (Redeemers era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBORRedeemers era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Redeemers era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Redeemers era] → Size Source #

SafeToHash (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ NFData (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfRedeemers era → () Source #

AlonzoEraScript era ⇒ Eq (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(==)Redeemers era → Redeemers era → Bool Source #

(/=)Redeemers era → Redeemers era → Bool Source #

AlonzoEraScript era ⇒ NoThunks (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType Redeemers Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (Redeemers era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

data RedeemersRaw era Source #

Instances

Instances details
Generic (RedeemersRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (RedeemersRaw era) ∷ TypeType Source #

Methods

fromRedeemersRaw era → Rep (RedeemersRaw era) x Source #

toRep (RedeemersRaw era) x → RedeemersRaw era Source #

AlonzoEraScript era ⇒ Show (RedeemersRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ DecCBOR (Annotator (RedeemersRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ EncCBOR (RedeemersRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBORRedeemersRaw era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RedeemersRaw era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RedeemersRaw era] → Size Source #

AlonzoEraScript era ⇒ NFData (RedeemersRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfRedeemersRaw era → () Source #

AlonzoEraScript era ⇒ Eq (RedeemersRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(==)RedeemersRaw era → RedeemersRaw era → Bool Source #

(/=)RedeemersRaw era → RedeemersRaw era → Bool Source #

AlonzoEraScript era ⇒ NoThunks (RedeemersRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (RedeemersRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (RedeemersRaw era) = D1 ('MetaData "RedeemersRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "RedeemersRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRedeemersRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (PlutusPurpose AsIx era) (Data era, ExUnits)))))

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 TxDatsEra era ⇒ Map (DataHash (EraCrypto era)) (Data era) → TxDats era 
pattern TxDats'Map (DataHash (EraCrypto era)) (Data era) → TxDats era 

Instances

Instances details
Memoized TxDats Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType TxDats = (r ∷ TypeType) Source #

Era era ⇒ Monoid (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

memptyTxDats era Source #

mappendTxDats era → TxDats era → TxDats era Source #

mconcat ∷ [TxDats era] → TxDats era Source #

Era era ⇒ Semigroup (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(<>)TxDats era → TxDats era → TxDats era Source #

sconcatNonEmpty (TxDats era) → TxDats era Source #

stimesIntegral b ⇒ b → TxDats era → TxDats era Source #

Generic (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (TxDats era) ∷ TypeType Source #

Methods

fromTxDats era → Rep (TxDats era) x Source #

toRep (TxDats era) x → TxDats era Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrecIntTxDats era → ShowS Source #

showTxDats era → String Source #

showList ∷ [TxDats era] → ShowS Source #

Typeable era ⇒ ToCBOR (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBORTxDats era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxDats era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxDats era] → Size Source #

Era era ⇒ DecCBOR (Annotator (TxDats era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Era era ⇒ EncCBOR (TxDats era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBORTxDats era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxDats era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxDats era] → Size Source #

SafeToHash (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

NFData (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfTxDats era → () Source #

Eq (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(==)TxDats era → TxDats era → Bool Source #

(/=)TxDats era → TxDats era → Bool Source #

Typeable era ⇒ NoThunks (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType TxDats Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (TxDats era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (TxDats era) = D1 ('MetaData "TxDats" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "TxDatsConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes TxDatsRaw era))))

data TxDatsRaw era Source #

Instances

Instances details
Generic (TxDatsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (TxDatsRaw era) ∷ TypeType Source #

Methods

fromTxDatsRaw era → Rep (TxDatsRaw era) x Source #

toRep (TxDatsRaw era) x → TxDatsRaw era Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (TxDatsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrecIntTxDatsRaw era → ShowS Source #

showTxDatsRaw era → String Source #

showList ∷ [TxDatsRaw era] → ShowS Source #

Era era ⇒ DecCBOR (Annotator (TxDatsRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

(Typeable era, EncCBOR (Data era)) ⇒ EncCBOR (TxDatsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBORTxDatsRaw era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxDatsRaw era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxDatsRaw era] → Size Source #

NFData (TxDatsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfTxDatsRaw era → () Source #

Eq (TxDatsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(==)TxDatsRaw era → TxDatsRaw era → Bool Source #

(/=)TxDatsRaw era → TxDatsRaw era → Bool Source #

Typeable era ⇒ NoThunks (TxDatsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (TxDatsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (TxDatsRaw era) = D1 ('MetaData "TxDatsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "TxDatsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxDatsRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (DataHash (EraCrypto era)) (Data era)))))

upgradeTxDats ∷ (Era era1, Era era2, EraCrypto era1 ~ EraCrypto 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 AlonzoTxWitsAlonzoEraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era 
pattern AlonzoTxWits'Era era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era 

Instances

Instances details
Memoized AlonzoTxWits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType AlonzoTxWits = (r ∷ TypeType) Source #

AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ Semigroup (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(<>)AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era Source #

sconcatNonEmpty (AlonzoTxWits era) → AlonzoTxWits era Source #

stimesIntegral b ⇒ b → AlonzoTxWits era → AlonzoTxWits era Source #

Generic (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (AlonzoTxWits era) ∷ TypeType Source #

Methods

fromAlonzoTxWits era → Rep (AlonzoTxWits era) x Source #

toRep (AlonzoTxWits era) x → AlonzoTxWits era Source #

AlonzoEraScript era ⇒ Show (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Typeable era ⇒ ToCBOR (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBORAlonzoTxWits era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWits era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWits era] → Size Source #

AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoTxWits era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Era era ⇒ EncCBOR (AlonzoTxWits era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBORAlonzoTxWits era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWits era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWits era] → Size Source #

(TxWits era ~ AlonzoTxWits era, AlonzoEraTxWits era) ⇒ EqRaw (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

eqRawAlonzoTxWits era → AlonzoTxWits era → Bool Source #

SafeToHash (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era), NFData (SigDSIGN (DSIGN (EraCrypto era))), NFData (VerKeyDSIGN (DSIGN (EraCrypto era)))) ⇒ NFData (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfAlonzoTxWits era → () Source #

AlonzoEraScript era ⇒ Eq (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(==)AlonzoTxWits era → AlonzoTxWits era → Bool Source #

(/=)AlonzoTxWits era → AlonzoTxWits era → Bool Source #

AlonzoEraScript era ⇒ NoThunks (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType AlonzoTxWits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWits era) = D1 ('MetaData "AlonzoTxWits" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.12.0.0-inplace" 'True) (C1 ('MetaCons "TxWitnessConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxWitsRaw era))))

data AlonzoTxWitsRaw era Source #

Internal AlonzoTxWits type, lacking serialised bytes.

Instances

Instances details
Generic (AlonzoTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (AlonzoTxWitsRaw era) ∷ TypeType Source #

AlonzoEraScript era ⇒ Show (AlonzoTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

(AlonzoEraScript era, EncCBOR (Data era)) ⇒ DecCBOR (Annotator (AlonzoTxWitsRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ EncCBOR (AlonzoTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBORAlonzoTxWitsRaw era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWitsRaw era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWitsRaw era] → Size Source #

(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era), NFData (SigDSIGN (DSIGN (EraCrypto era))), NFData (VerKeyDSIGN (DSIGN (EraCrypto era)))) ⇒ NFData (AlonzoTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfAlonzoTxWitsRaw era → () Source #

AlonzoEraScript era ⇒ Eq (AlonzoTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ NoThunks (AlonzoTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWitsRaw era) = D1 ('MetaData "AlonzoTxWitsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxWitsRaw" 'PrefixI 'True) ((S1 ('MetaSel ('Just "atwrAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness (EraCrypto era)))) :*: S1 ('MetaSel ('Just "atwrBootAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (BootstrapWitness (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "atwrScriptTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (ScriptHash (EraCrypto era)) (Script era))) :*: (S1 ('MetaSel ('Just "atwrDatsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :*: S1 ('MetaSel ('Just "atwrRdmrsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era))))))

class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #

Instances

Instances details
(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

hashDataTxWitsLAlonzoEraTxWits 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.

unTxDatsTxDats era → Map (DataHash (EraCrypto era)) (Data era) Source #

Orphan instances