cardano-ledger-api-1.9.2.2: Public API for the cardano ledger codebase
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Api.Tx.Wits

Synopsis

Shelley onwards

class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era))) ⇒ EraTxWits era Source #

A collection of witnesses in a Tx

Associated Types

type TxWits era = (r ∷ Type) | r → era Source #

Address witness

data KeyRole Source #

The role of a key.

Note that a role is not _fixed_, nor is it unique. In particular, keys may variously be used as witnesses, and so in many case we will change the role of a key to the Witness role.

It is also perfectly allowable for a key to be used in many roles; there is nothing prohibiting somebody using the same underlying key as their payment and staking key, as well as the key for their stake pool. So these roles are more intended for two purposes:

  • To make explicit how we are using a key in the specifications
  • To provide a guide to downstream implementors, for whom the profusion of keys may be confusing.

Constructors

Witness 

Instances

Instances details
Show KeyRole 
Instance details

Defined in Cardano.Ledger.Keys.Internal

WitVKey

data WitVKey (kr ∷ KeyRole) c where Source #

Proof/Witness that a transaction is authorized by the given key holder.

Bundled Patterns

pattern WitVKey ∷ (Typeable kr, Crypto c) ⇒ VKey kr c → SignedDSIGN c (Hash c EraIndependentTxBody) → WitVKey kr c 

Instances

Instances details
(Typeable kr, Crypto c) ⇒ DecCBOR (Annotator (WitVKey kr c)) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

decCBORDecoder s (Annotator (WitVKey kr c)) Source #

dropCBORProxy (Annotator (WitVKey kr c)) → Decoder s () Source #

labelProxy (Annotator (WitVKey kr c)) → Text Source #

Generic (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Associated Types

type Rep (WitVKey kr c) ∷ TypeType Source #

Methods

fromWitVKey kr c → Rep (WitVKey kr c) x Source #

toRep (WitVKey kr c) x → WitVKey kr c Source #

Crypto c ⇒ Show (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

showsPrecIntWitVKey kr c → ShowS Source #

showWitVKey kr c → String Source #

showList ∷ [WitVKey kr c] → ShowS Source #

(Typeable kr, Crypto c) ⇒ ToCBOR (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

toCBORWitVKey kr c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr c) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr c] → Size Source #

(Typeable kr, Crypto c) ⇒ EncCBOR (WitVKey kr c)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

encCBORWitVKey kr c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr c] → Size Source #

(Crypto c, Typeable kr) ⇒ EqRaw (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

eqRawWitVKey kr c → WitVKey kr c → Bool Source #

NFData (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

rnfWitVKey kr c → () Source #

Crypto c ⇒ Eq (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

(==)WitVKey kr c → WitVKey kr c → Bool Source #

(/=)WitVKey kr c → WitVKey kr c → Bool Source #

(Typeable kr, Crypto c) ⇒ Ord (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

compareWitVKey kr c → WitVKey kr c → Ordering Source #

(<)WitVKey kr c → WitVKey kr c → Bool Source #

(<=)WitVKey kr c → WitVKey kr c → Bool Source #

(>)WitVKey kr c → WitVKey kr c → Bool Source #

(>=)WitVKey kr c → WitVKey kr c → Bool Source #

maxWitVKey kr c → WitVKey kr c → WitVKey kr c Source #

minWitVKey kr c → WitVKey kr c → WitVKey kr c Source #

(Crypto c, Typeable kr) ⇒ NoThunks (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

type Rep (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

type Rep (WitVKey kr c) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr c)) :*: S1 ('MetaSel ('Just "wvkSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness c)) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

witVKeyBytes ∷ ∀ (kr ∷ KeyRole) c. WitVKey kr c → ByteString Source #

Access CBOR encoded representation of the witness. Evaluated lazily

witVKeyHash ∷ ∀ (kr ∷ KeyRole) c. WitVKey kr c → KeyHash 'Witness c Source #

Access computed hash. Evaluated lazily

Byron address witness

data BootstrapWitness c Source #

Instances

Instances details
Generic (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

type Rep (BootstrapWitness c) ∷ TypeType Source #

Crypto c ⇒ Show (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ ToCBOR (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

toCBORBootstrapWitness c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (BootstrapWitness c) → Size Source #

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

Crypto c ⇒ DecCBOR (Annotator (BootstrapWitness c)) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ EncCBOR (BootstrapWitness c)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ EqRaw (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

(Crypto era, NFData (VerKeyDSIGN (DSIGN era)), NFData (SigDSIGN (DSIGN era))) ⇒ NFData (BootstrapWitness era) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

rnfBootstrapWitness era → () Source #

Crypto c ⇒ Eq (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ Ord (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ NoThunks (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep (BootstrapWitness c) 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep (BootstrapWitness c) = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness c)) :*: S1 ('MetaSel ('Just "bwSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainCode) :*: (S1 ('MetaSel ('Just "bwAttributes'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "bwBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

Script witness

hashScriptTxWitsLEraTxWits era ⇒ Lens (TxWits era) (TxWits era) (Map (ScriptHash (EraCrypto era)) (Script era)) [Script era] Source #

This is a helper lens that will hash the scripts when adding as witnesses.

Alonzo onwards

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

Minimal complete definition

datsTxWitsL, rdmrsTxWitsL

Instances

Instances details
(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c) 
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.

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

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType TxDats = (r ∷ TypeType) Source #

Era era ⇒ Monoid (TxDats era) 
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) 
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) 
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) 
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) 
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)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Era era ⇒ EncCBOR (TxDats era)

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

Defined in Cardano.Ledger.Alonzo.TxWits

NFData (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfTxDats era → () Source #

Eq (TxDats era) 
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) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType TxDats 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

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

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

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 RedeemersAlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era 

Instances

Instances details
Memoized Redeemers 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType Redeemers = (r ∷ TypeType) Source #

AlonzoEraScript era ⇒ Monoid (Redeemers era) 
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) 
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) 
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) 
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) 
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)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ EncCBOR (Redeemers era)

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

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraScript era ⇒ NFData (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnfRedeemers era → () Source #

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

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType Redeemers 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type family PlutusPurpose (f ∷ TypeTypeType) era = (r ∷ Type) | r → era Source #

Instances

Instances details
type PlutusPurpose f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type PlutusPurpose f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type PlutusPurpose f (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

data AlonzoPlutusPurpose (f ∷ TypeTypeType) era Source #

Instances

Instances details
(∀ a b. (ToJSON a, ToJSON b) ⇒ ToJSON (f a b), ToJSON (TxCert era), Era era) ⇒ ToJSON (AlonzoPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Generic (AlonzoPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoPlutusPurpose f era) ∷ TypeType Source #

Show (TxCert era) ⇒ Show (AlonzoPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show (TxCert era) ⇒ Show (AlonzoPlutusPurpose AsIxItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

(Era era, DecCBOR (TxCert era)) ⇒ DecCBOR (AlonzoPlutusPurpose AsItem era)

See note on the EncCBOR instace.

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ DecCBOR (AlonzoPlutusPurpose AsIx era)

Incorrect CBOR implementation. Missing length encoding. Must keep it for backwards compatibility

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

(Era era, EncCBOR (TxCert era)) ⇒ EncCBOR (AlonzoPlutusPurpose AsItem era)

Note - serialization of AlonzoPlutusPurpose AsItem

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ EncCBOR (AlonzoPlutusPurpose AsIx era)

Incorrect CBOR implementation. Missing length encoding. Must keep it for backwards compatibility

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ DecCBORGroup (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ EncCBORGroup (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

(∀ a b. (NFData a, NFData b) ⇒ NFData (f a b), NFData (TxCert era), Era era) ⇒ NFData (AlonzoPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAlonzoPlutusPurpose f era → () Source #

Eq (TxCert era) ⇒ Eq (AlonzoPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq (TxCert era) ⇒ Eq (AlonzoPlutusPurpose AsIxItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsIxItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoPlutusPurpose f era) = D1 ('MetaData "AlonzoPlutusPurpose" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.10.0.1-inplace" 'False) ((C1 ('MetaCons "AlonzoSpending" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxIn (EraCrypto era))))) :+: C1 ('MetaCons "AlonzoMinting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (PolicyID (EraCrypto era)))))) :+: (C1 ('MetaCons "AlonzoCertifying" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))) :+: C1 ('MetaCons "AlonzoRewarding" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (RewardAccount (EraCrypto era)))))))

newtype AsIx ix it Source #

Constructors

AsIx 

Fields

Instances

Instances details
ToJSON ix ⇒ ToJSON (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSONAsIx ix it → Value Source #

toEncodingAsIx ix it → Encoding Source #

toJSONList ∷ [AsIx ix it] → Value Source #

toEncodingList ∷ [AsIx ix it] → Encoding Source #

omitFieldAsIx ix it → Bool Source #

Generic ix ⇒ Generic (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsIx ix it) ∷ TypeType Source #

Methods

fromAsIx ix it → Rep (AsIx ix it) x Source #

toRep (AsIx ix it) x → AsIx ix it Source #

Show (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show ix ⇒ Show (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrecIntAsIx ix it → ShowS Source #

showAsIx ix it → String Source #

showList ∷ [AsIx ix it] → ShowS Source #

Show (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Era era ⇒ DecCBOR (AlonzoPlutusPurpose AsIx era)

Incorrect CBOR implementation. Missing length encoding. Must keep it for backwards compatibility

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

(Typeable it, DecCBOR ix) ⇒ DecCBOR (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBORDecoder s (AsIx ix it) Source #

dropCBORProxy (AsIx ix it) → Decoder s () Source #

labelProxy (AsIx ix it) → Text Source #

Era era ⇒ EncCBOR (AlonzoPlutusPurpose AsIx era)

Incorrect CBOR implementation. Missing length encoding. Must keep it for backwards compatibility

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

(Typeable it, EncCBOR ix) ⇒ EncCBOR (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAsIx ix it → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AsIx ix it) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AsIx ix it] → Size Source #

Era era ⇒ DecCBORGroup (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ EncCBORGroup (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NFData ix ⇒ NFData (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAsIx ix it → () Source #

Eq (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq ix ⇒ Eq (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==)AsIx ix it → AsIx ix it → Bool Source #

(/=)AsIx ix it → AsIx ix it → Bool Source #

Eq (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Ord (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord ix ⇒ Ord (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compareAsIx ix it → AsIx ix it → Ordering Source #

(<)AsIx ix it → AsIx ix it → Bool Source #

(<=)AsIx ix it → AsIx ix it → Bool Source #

(>)AsIx ix it → AsIx ix it → Bool Source #

(>=)AsIx ix it → AsIx ix it → Bool Source #

maxAsIx ix it → AsIx ix it → AsIx ix it Source #

minAsIx ix it → AsIx ix it → AsIx ix it Source #

Ord (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

NoThunks (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks ix ⇒ NoThunks (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunksContextAsIx ix it → IO (Maybe ThunkInfo) Source #

wNoThunksContextAsIx ix it → IO (Maybe ThunkInfo) Source #

showTypeOfProxy (AsIx ix it) → String Source #

NoThunks (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIx ix it) = Rep ix

newtype AsItem ix it Source #

Constructors

AsItem 

Fields

Instances

Instances details
ToJSON it ⇒ ToJSON (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSONAsItem ix it → Value Source #

toEncodingAsItem ix it → Encoding Source #

toJSONList ∷ [AsItem ix it] → Value Source #

toEncodingList ∷ [AsItem ix it] → Encoding Source #

omitFieldAsItem ix it → Bool Source #

Generic it ⇒ Generic (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsItem ix it) ∷ TypeType Source #

Methods

fromAsItem ix it → Rep (AsItem ix it) x Source #

toRep (AsItem ix it) x → AsItem ix it Source #

Show (TxCert era) ⇒ Show (AlonzoPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show it ⇒ Show (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrecIntAsItem ix it → ShowS Source #

showAsItem ix it → String Source #

showList ∷ [AsItem ix it] → ShowS Source #

(Show (TxCert era), EraPParams era) ⇒ Show (ConwayPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(Era era, DecCBOR (TxCert era)) ⇒ DecCBOR (AlonzoPlutusPurpose AsItem era)

See note on the EncCBOR instace.

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

(Typeable ix, DecCBOR it) ⇒ DecCBOR (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBORDecoder s (AsItem ix it) Source #

dropCBORProxy (AsItem ix it) → Decoder s () Source #

labelProxy (AsItem ix it) → Text Source #

(Era era, EncCBOR (TxCert era)) ⇒ EncCBOR (AlonzoPlutusPurpose AsItem era)

Note - serialization of AlonzoPlutusPurpose AsItem

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

(Typeable ix, EncCBOR it) ⇒ EncCBOR (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAsItem ix it → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AsItem ix it) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AsItem ix it] → Size Source #

NFData it ⇒ NFData (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAsItem ix it → () Source #

Eq (TxCert era) ⇒ Eq (AlonzoPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq it ⇒ Eq (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==)AsItem ix it → AsItem ix it → Bool Source #

(/=)AsItem ix it → AsItem ix it → Bool Source #

(Eq (TxCert era), EraPParams era) ⇒ Eq (ConwayPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Ord it ⇒ Ord (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compareAsItem ix it → AsItem ix it → Ordering Source #

(<)AsItem ix it → AsItem ix it → Bool Source #

(<=)AsItem ix it → AsItem ix it → Bool Source #

(>)AsItem ix it → AsItem ix it → Bool Source #

(>=)AsItem ix it → AsItem ix it → Bool Source #

maxAsItem ix it → AsItem ix it → AsItem ix it Source #

minAsItem ix it → AsItem ix it → AsItem ix it Source #

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks it ⇒ NoThunks (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunksContextAsItem ix it → IO (Maybe ThunkInfo) Source #

wNoThunksContextAsItem ix it → IO (Maybe ThunkInfo) Source #

showTypeOfProxy (AsItem ix it) → String Source #

(NoThunks (TxCert era), EraPParams era) ⇒ NoThunks (ConwayPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsItem ix it) = Rep it

Conway

data ConwayPlutusPurpose (f ∷ TypeTypeType) era Source #

Instances

Instances details
(∀ a b. (ToJSON a, ToJSON b) ⇒ ToJSON (f a b), ToJSON (TxCert era), EraPParams era) ⇒ ToJSON (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Generic (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (ConwayPlutusPurpose f era) ∷ TypeType Source #

(Show (TxCert era), EraPParams era) ⇒ Show (ConwayPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Show (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(Show (TxCert era), EraPParams era) ⇒ Show (ConwayPlutusPurpose AsIxItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), ∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), EraPParams era, Typeable f, EncCBOR (TxCert era), DecCBOR (TxCert era)) ⇒ DecCBOR (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraPParams era, Typeable f, EncCBOR (TxCert era)) ⇒ EncCBOR (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

encCBORConwayPlutusPurpose f era → Encoding Source #

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

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

(∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), EraPParams era, Typeable f, DecCBOR (TxCert era)) ⇒ DecCBORGroup (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraPParams era, Typeable f, EncCBOR (TxCert era)) ⇒ EncCBORGroup (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(∀ a b. (NFData a, NFData b) ⇒ NFData (f a b), NFData (TxCert era), EraPParams era) ⇒ NFData (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnfConwayPlutusPurpose f era → () Source #

(Eq (TxCert era), EraPParams era) ⇒ Eq (ConwayPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Eq (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(Eq (TxCert era), EraPParams era) ⇒ Eq (ConwayPlutusPurpose AsIxItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Ord (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(NoThunks (TxCert era), EraPParams era) ⇒ NoThunks (ConwayPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

NoThunks (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

(NoThunks (TxCert era), EraPParams era) ⇒ NoThunks (ConwayPlutusPurpose AsIxItem era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (ConwayPlutusPurpose f era) = D1 ('MetaData "ConwayPlutusPurpose" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.16.0.1-inplace" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxIn (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (PolicyID (EraCrypto era))))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayRewarding" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (RewardAccount (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (Voter (EraCrypto era))))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))