cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.TxWits

Documentation

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