cardano-ledger-babbage-1.8.2.1: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage.TxWits

Synopsis

Documentation

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.

upgradeRedeemers ∷ (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 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 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType AlonzoTxWits = (r ∷ TypeType) Source #

AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ Semigroup (AlonzoTxWits era) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Typeable era ⇒ ToCBOR (AlonzoTxWits era) 
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)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Era era ⇒ EncCBOR (AlonzoTxWits era)

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) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

eqRawAlonzoTxWits era → AlonzoTxWits era → Bool Source #

SafeToHash (AlonzoTxWits era) 
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) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfAlonzoTxWits era → () Source #

AlonzoEraScript era ⇒ Eq (AlonzoTxWits era) 
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) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType AlonzoTxWits 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

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

Orphan instances