cardano-ledger-api-1.15.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
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)), NFData (TxWits era), ToJSON (TxWits era), FromJSON (TxWits era)) ⇒ EraTxWits era Source #

A collection of witnesses in a Tx

Minimal complete definition

addrTxWitsL, bootAddrTxWitsL, scriptTxWitsL

Associated Types

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

Instances

Instances details
EraTxWits AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

Associated Types

type TxWits AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits AllegraEra = ShelleyTxWits AllegraEra

Methods

mkBasicTxWits ∷ TxWits AllegraEra Source #

addrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AllegraEra) (Map ScriptHash (Script AllegraEra)) Source #

EraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type TxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

Methods

mkBasicTxWits ∷ TxWits AlonzoEra Source #

addrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AlonzoEra) (Map ScriptHash (Script AlonzoEra)) Source #

EraTxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

Associated Types

type TxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type TxWits BabbageEra = AlonzoTxWits BabbageEra

Methods

mkBasicTxWits ∷ TxWits BabbageEra Source #

addrTxWitsL ∷ Lens' (TxWits BabbageEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits BabbageEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits BabbageEra) (Map ScriptHash (Script BabbageEra)) Source #

EraTxWits ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

Associated Types

type TxWits ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

type TxWits ConwayEra = AlonzoTxWits ConwayEra

Methods

mkBasicTxWits ∷ TxWits ConwayEra Source #

addrTxWitsL ∷ Lens' (TxWits ConwayEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits ConwayEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits ConwayEra) (Map ScriptHash (Script ConwayEra)) Source #

EraTxWits DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxWits

Associated Types

type TxWits DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxWits

type TxWits DijkstraEra = AlonzoTxWits DijkstraEra

Methods

mkBasicTxWits ∷ TxWits DijkstraEra Source #

addrTxWitsL ∷ Lens' (TxWits DijkstraEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits DijkstraEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits DijkstraEra) (Map ScriptHash (Script DijkstraEra)) Source #

EraTxWits MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

Associated Types

type TxWits MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

type TxWits MaryEra = ShelleyTxWits MaryEra

Methods

mkBasicTxWits ∷ TxWits MaryEra Source #

addrTxWitsL ∷ Lens' (TxWits MaryEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits MaryEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits MaryEra) (Map ScriptHash (Script MaryEra)) Source #

EraTxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

Methods

mkBasicTxWits ∷ TxWits ShelleyEra Source #

addrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits ShelleyEra) (Map ScriptHash (Script ShelleyEra)) Source #

mkBasicTxWits ∷ EraTxWits era ⇒ TxWits era Source #

Address witness

addrTxWitsL ∷ EraTxWits era ⇒ Lens' (TxWits era) (Set (WitVKey 'Witness)) Source #

data KeyRole Source #

The role of a key.

All key roles are fixed and unique, except for the Witness role. In particular, keys can be cast to a Witness role with the help of asWitness, because same witness can be valid for many roles.

In fact, it is perfectly allowable for a key to be used in many roles by the end user; there is nothing prohibiting somebody using the same underlying key or a script as their payment and staking credential, as well as the key for their stake pool. However, in the ledger code mixing up keys with different roles could be catastrophic, that is why we have this separation.

Constructors

Witness 

WitVKey

data WitVKey (kr ∷ KeyRole) where Source #

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

Bundled Patterns

pattern WitVKey ∷ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr 

Instances

Instances details
Typeable kr ⇒ FromJSON (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

parseJSON ∷ Value → Parser (WitVKey kr) Source #

parseJSONList ∷ Value → Parser [WitVKey kr] Source #

omittedField ∷ Maybe (WitVKey kr) Source #

ToJSON (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

toJSON ∷ WitVKey kr → Value Source #

toEncoding ∷ WitVKey kr → Encoding Source #

toJSONList ∷ [WitVKey kr] → Value Source #

toEncodingList ∷ [WitVKey kr] → Encoding Source #

omitField ∷ WitVKey kr → Bool Source #

Typeable kr ⇒ DecCBOR (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

decCBOR ∷ Decoder s (WitVKey kr) Source #

dropCBOR ∷ Proxy (WitVKey kr) → Decoder s () Source #

label ∷ Proxy (WitVKey kr) → Text Source #

EncCBOR (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

encCBOR ∷ WitVKey kr → Encoding Source #

NFData (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

rnf ∷ WitVKey kr → () #

Generic (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Associated Types

type Rep (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

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

Methods

from ∷ WitVKey kr → Rep (WitVKey kr) x #

to ∷ Rep (WitVKey kr) x → WitVKey kr #

Show (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

showsPrec ∷ Int → WitVKey kr → ShowS #

show ∷ WitVKey kr → String #

showList ∷ [WitVKey kr] → ShowS #

Eq (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

(==) ∷ WitVKey kr → WitVKey kr → Bool #

(/=) ∷ WitVKey kr → WitVKey kr → Bool #

Typeable kr ⇒ Ord (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

compare ∷ WitVKey kr → WitVKey kr → Ordering #

(<) ∷ WitVKey kr → WitVKey kr → Bool #

(<=) ∷ WitVKey kr → WitVKey kr → Bool #

(>) ∷ WitVKey kr → WitVKey kr → Bool #

(>=) ∷ WitVKey kr → WitVKey kr → Bool #

max ∷ WitVKey kr → WitVKey kr → WitVKey kr #

min ∷ WitVKey kr → WitVKey kr → WitVKey kr #

Typeable kr ⇒ NoThunks (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

noThunks ∷ Context → WitVKey kr → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → WitVKey kr → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (WitVKey kr) → String Source #

type Rep (WitVKey kr) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

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

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

Access computed hash. Evaluated lazily

Byron address witness

bootAddrTxWitsL ∷ EraTxWits era ⇒ Lens' (TxWits era) (Set BootstrapWitness) Source #

data BootstrapWitness Source #

Instances

Instances details
FromJSON BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

parseJSON ∷ Value → Parser BootstrapWitness Source #

parseJSONList ∷ Value → Parser [BootstrapWitness] Source #

omittedField ∷ Maybe BootstrapWitness Source #

ToJSON BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

toJSON ∷ BootstrapWitness → Value Source #

toEncoding ∷ BootstrapWitness → Encoding Source #

toJSONList ∷ [BootstrapWitness] → Value Source #

toEncodingList ∷ [BootstrapWitness] → Encoding Source #

omitField ∷ BootstrapWitness → Bool Source #

DecCBOR BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

decCBOR ∷ Decoder s BootstrapWitness Source #

dropCBOR ∷ Proxy BootstrapWitness → Decoder s () Source #

label ∷ Proxy BootstrapWitness → Text Source #

EncCBOR BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

encCBOR ∷ BootstrapWitness → Encoding Source #

NFData BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

rnf ∷ BootstrapWitness → () #

Generic BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

type Rep BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey 'Witness)) :*: S1 ('MetaSel ('Just "bwSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChainCode) :*: S1 ('MetaSel ('Just "bwAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray))))

Methods

from ∷ BootstrapWitness → Rep BootstrapWitness x #

to ∷ Rep BootstrapWitness x → BootstrapWitness #

Show BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

showsPrec ∷ Int → BootstrapWitness → ShowS #

show ∷ BootstrapWitness → String #

showList ∷ [BootstrapWitness] → ShowS #

Eq BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

(==) ∷ BootstrapWitness → BootstrapWitness → Bool #

(/=) ∷ BootstrapWitness → BootstrapWitness → Bool #

Ord BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

compare ∷ BootstrapWitness → BootstrapWitness → Ordering #

(<) ∷ BootstrapWitness → BootstrapWitness → Bool #

(<=) ∷ BootstrapWitness → BootstrapWitness → Bool #

(>) ∷ BootstrapWitness → BootstrapWitness → Bool #

(>=) ∷ BootstrapWitness → BootstrapWitness → Bool #

max ∷ BootstrapWitness → BootstrapWitness → BootstrapWitness #

min ∷ BootstrapWitness → BootstrapWitness → BootstrapWitness #

NoThunks BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

noThunks ∷ Context → BootstrapWitness → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BootstrapWitness → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy BootstrapWitness → String Source #

type Rep BootstrapWitness 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey 'Witness)) :*: S1 ('MetaSel ('Just "bwSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChainCode) :*: S1 ('MetaSel ('Just "bwAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray))))

Script witness

scriptTxWitsL ∷ EraTxWits era ⇒ Lens' (TxWits era) (Map ScriptHash (Script era)) Source #

hashScriptTxWitsL ∷ EraTxWits era ⇒ Lens (TxWits era) (TxWits era) (Map ScriptHash (Script era)) [Script era] Source #

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

Any era

class (EraTxWits era, AnyEraScript era) ⇒ AnyEraTxWits era where Source #

Minimal complete definition

Nothing

Methods

datsTxWitsG ∷ SimpleGetter (TxWits era) (Maybe (TxDats era)) Source #

default datsTxWitsG ∷ AlonzoEraTxWits era ⇒ SimpleGetter (TxWits era) (Maybe (TxDats era)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits era) (Maybe (Redeemers era)) Source #

default rdmrsTxWitsG ∷ AlonzoEraTxWits era ⇒ SimpleGetter (TxWits era) (Maybe (Redeemers era)) Source #

Instances

Instances details
AnyEraTxWits AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Wits

Methods

datsTxWitsG ∷ SimpleGetter (TxWits AllegraEra) (Maybe (TxDats AllegraEra)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits AllegraEra) (Maybe (Redeemers AllegraEra)) Source #

AnyEraTxWits AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Wits

Methods

datsTxWitsG ∷ SimpleGetter (TxWits AlonzoEra) (Maybe (TxDats AlonzoEra)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits AlonzoEra) (Maybe (Redeemers AlonzoEra)) Source #

AnyEraTxWits BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Wits

Methods

datsTxWitsG ∷ SimpleGetter (TxWits BabbageEra) (Maybe (TxDats BabbageEra)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits BabbageEra) (Maybe (Redeemers BabbageEra)) Source #

AnyEraTxWits ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Wits

Methods

datsTxWitsG ∷ SimpleGetter (TxWits ConwayEra) (Maybe (TxDats ConwayEra)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits ConwayEra) (Maybe (Redeemers ConwayEra)) Source #

AnyEraTxWits DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Wits

Methods

datsTxWitsG ∷ SimpleGetter (TxWits DijkstraEra) (Maybe (TxDats DijkstraEra)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits DijkstraEra) (Maybe (Redeemers DijkstraEra)) Source #

AnyEraTxWits MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Wits

Methods

datsTxWitsG ∷ SimpleGetter (TxWits MaryEra) (Maybe (TxDats MaryEra)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits MaryEra) (Maybe (Redeemers MaryEra)) Source #

AnyEraTxWits ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Wits

Methods

datsTxWitsG ∷ SimpleGetter (TxWits ShelleyEra) (Maybe (TxDats ShelleyEra)) Source #

rdmrsTxWitsG ∷ SimpleGetter (TxWits ShelleyEra) (Maybe (Redeemers ShelleyEra)) Source #

Alonzo onwards

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

Minimal complete definition

datsTxWitsL, rdmrsTxWitsL

Instances

Instances details
AlonzoEraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #

AlonzoEraTxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits BabbageEra) (TxDats BabbageEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits BabbageEra) (Redeemers BabbageEra) Source #

AlonzoEraTxWits ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits ConwayEra) (TxDats ConwayEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits ConwayEra) (Redeemers ConwayEra) Source #

AlonzoEraTxWits DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits DijkstraEra) (TxDats DijkstraEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits DijkstraEra) (Redeemers DijkstraEra) Source #

datsTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens' (TxWits era) (TxDats era) 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.

newtype TxDats era 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.

Constructors

MkTxDats (MemoBytes (TxDatsRaw era)) 

Bundled Patterns

pattern TxDats ∷ Era era ⇒ Map DataHash (Data era) → TxDats era 

Instances

Instances details
(Era era, FromJSON (Data era)) ⇒ FromJSON (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

parseJSON ∷ Value → Parser (TxDats era) Source #

parseJSONList ∷ Value → Parser [TxDats era] Source #

omittedField ∷ Maybe (TxDats era) Source #

(Era era, ToJSON (Data era)) ⇒ ToJSON (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toJSON ∷ TxDats era → Value Source #

toEncoding ∷ TxDats era → Encoding Source #

toJSONList ∷ [TxDats era] → Value Source #

toEncodingList ∷ [TxDats era] → Encoding Source #

omitField ∷ TxDats era → Bool Source #

Typeable era ⇒ ToCBOR (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBOR ∷ TxDats 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

Methods

decCBOR ∷ Decoder s (Annotator (TxDats era)) Source #

dropCBOR ∷ Proxy (Annotator (TxDats era)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxDats era)) → Text Source #

Era era ⇒ EncCBOR (TxDats era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ TxDats era → Encoding Source #

SafeToHash (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

originalBytes ∷ TxDats era → ByteString Source #

originalBytesSize ∷ TxDats era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxDats era → SafeHash i Source #

Memoized (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (TxDats era) = TxDatsRaw era

Methods

getMemoBytes ∷ TxDats era → MemoBytes (RawType (TxDats era))

wrapMemoBytes ∷ MemoBytes (RawType (TxDats era)) → TxDats era

NFData (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ TxDats era → () #

Era era ⇒ Monoid (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

mempty ∷ TxDats era #

mappend ∷ TxDats era → TxDats era → TxDats era #

mconcat ∷ [TxDats era] → TxDats era #

Era era ⇒ Semigroup (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

sconcat ∷ NonEmpty (TxDats era) → TxDats era #

stimes ∷ Integral b ⇒ b → TxDats era → TxDats era #

Generic (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

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.17.0.0-inplace" 'True) (C1 ('MetaCons "MkTxDats" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TxDatsRaw era)))))

Methods

from ∷ TxDats era → Rep (TxDats era) x #

to ∷ Rep (TxDats era) x → TxDats era #

Show (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → TxDats era → ShowS #

show ∷ TxDats era → String #

showList ∷ [TxDats era] → ShowS #

Eq (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

Typeable era ⇒ NoThunks (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

noThunks ∷ Context → TxDats era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxDats era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxDats era) → String Source #

type RawType (TxDats era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (TxDats era) = TxDatsRaw era
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.17.0.0-inplace" 'True) (C1 ('MetaCons "MkTxDats" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TxDatsRaw era)))))

unTxDats ∷ TxDats era → Map DataHash (Data era) Source #

unTxDatsL ∷ Era era ⇒ Lens' (TxDats era) (Map DataHash (Data era)) Source #

rdmrsTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens' (TxWits era) (Redeemers era) Source #

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

Instances

Instances details
(AlonzoEraScript era, FromJSON (Data era), FromJSON (PlutusPurpose AsIx era)) ⇒ FromJSON (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

parseJSON ∷ Value → Parser (Redeemers era) Source #

parseJSONList ∷ Value → Parser [Redeemers era] Source #

omittedField ∷ Maybe (Redeemers era) Source #

(AlonzoEraScript era, ToJSON (Data era), ToJSON (PlutusPurpose AsIx era)) ⇒ ToJSON (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toJSON ∷ Redeemers era → Value Source #

toEncoding ∷ Redeemers era → Encoding Source #

toJSONList ∷ [Redeemers era] → Value Source #

toEncodingList ∷ [Redeemers era] → Encoding Source #

omitField ∷ Redeemers era → Bool Source #

Typeable era ⇒ ToCBOR (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBOR ∷ Redeemers 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

Methods

decCBOR ∷ Decoder s (Annotator (Redeemers era)) Source #

dropCBOR ∷ Proxy (Annotator (Redeemers era)) → Decoder s () Source #

label ∷ Proxy (Annotator (Redeemers era)) → Text Source #

AlonzoEraScript era ⇒ EncCBOR (Redeemers era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ Redeemers era → Encoding Source #

SafeToHash (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

originalBytes ∷ Redeemers era → ByteString Source #

originalBytesSize ∷ Redeemers era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → Redeemers era → SafeHash i Source #

Memoized (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (Redeemers era) = RedeemersRaw era

Methods

getMemoBytes ∷ Redeemers era → MemoBytes (RawType (Redeemers era))

wrapMemoBytes ∷ MemoBytes (RawType (Redeemers era)) → Redeemers era

AlonzoEraScript era ⇒ NFData (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ Redeemers era → () #

AlonzoEraScript era ⇒ Monoid (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

mempty ∷ Redeemers era #

mappend ∷ Redeemers era → Redeemers era → Redeemers era #

mconcat ∷ [Redeemers era] → Redeemers era #

AlonzoEraScript era ⇒ Semigroup (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

sconcat ∷ NonEmpty (Redeemers era) → Redeemers era #

stimes ∷ Integral b ⇒ b → Redeemers era → Redeemers era #

Generic (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))

Methods

from ∷ Redeemers era → Rep (Redeemers era) x #

to ∷ Rep (Redeemers era) x → Redeemers era #

AlonzoEraScript era ⇒ Show (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → Redeemers era → ShowS #

show ∷ Redeemers era → String #

showList ∷ [Redeemers era] → ShowS #

AlonzoEraScript era ⇒ Eq (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

AlonzoEraScript era ⇒ NoThunks (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

noThunks ∷ Context → Redeemers era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Redeemers era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Redeemers era) → String Source #

type RawType (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (Redeemers era) = RedeemersRaw era
type Rep (Redeemers era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))

unRedeemers ∷ Redeemers era → Map (PlutusPurpose AsIx era) (Data era, ExUnits) Source #

unRedeemersL ∷ AlonzoEraScript era ⇒ Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits)) Source #

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

Instances

Instances details
type PlutusPurpose f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra
type PlutusPurpose f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra
type PlutusPurpose f ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra
type PlutusPurpose f DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEra

data AlonzoPlutusPurpose (f ∷ Type → Type → Type) era Source #

Constructors

AlonzoSpending !(f Word32 TxIn) 
AlonzoMinting !(f Word32 PolicyID) 
AlonzoCertifying !(f Word32 (TxCert era)) 
AlonzoWithdrawing !(f Word32 AccountAddress) 

Bundled Patterns

pattern AlonzoRewarding ∷ f Word32 AccountAddress → AlonzoPlutusPurpose f era 

Instances

Instances details
(FromJSON (f Word32 TxIn), FromJSON (f Word32 PolicyID), FromJSON (f Word32 (TxCert era)), FromJSON (f Word32 AccountAddress), Era era) ⇒ FromJSON (AlonzoPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

parseJSON ∷ Value → Parser (AlonzoPlutusPurpose f era) Source #

parseJSONList ∷ Value → Parser [AlonzoPlutusPurpose f era] Source #

omittedField ∷ Maybe (AlonzoPlutusPurpose f era) Source #

(∀ 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

Methods

toJSON ∷ AlonzoPlutusPurpose f era → Value Source #

toEncoding ∷ AlonzoPlutusPurpose f era → Encoding Source #

toJSONList ∷ [AlonzoPlutusPurpose f era] → Value Source #

toEncodingList ∷ [AlonzoPlutusPurpose f era] → Encoding Source #

omitField ∷ AlonzoPlutusPurpose f era → Bool Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBOR ∷ Decoder s (AlonzoPlutusPurpose f era) Source #

dropCBOR ∷ Proxy (AlonzoPlutusPurpose f era) → Decoder s () Source #

label ∷ Proxy (AlonzoPlutusPurpose f era) → Text Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AlonzoPlutusPurpose f era → Encoding Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBORGroup ∷ Decoder s (AlonzoPlutusPurpose f era) Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORGroup ∷ AlonzoPlutusPurpose f era → Encoding Source #

listLen ∷ Proxy (AlonzoPlutusPurpose f era) → Word Source #

(∀ 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

rnf ∷ AlonzoPlutusPurpose f era → () #

Generic (AlonzoPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

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.17.0.0-inplace" 'False) ((C1 ('MetaCons "AlonzoSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: C1 ('MetaCons "AlonzoMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID)))) :+: (C1 ('MetaCons "AlonzoCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))) :+: C1 ('MetaCons "AlonzoWithdrawing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress)))))

Methods

from ∷ AlonzoPlutusPurpose f era → Rep (AlonzoPlutusPurpose f era) x #

to ∷ Rep (AlonzoPlutusPurpose f era) x → AlonzoPlutusPurpose f era #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsItem era → ShowS #

show ∷ AlonzoPlutusPurpose AsItem era → String #

showList ∷ [AlonzoPlutusPurpose AsItem era] → ShowS #

Show (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsIx era → ShowS #

show ∷ AlonzoPlutusPurpose AsIx era → String #

showList ∷ [AlonzoPlutusPurpose AsIx era] → ShowS #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsIxItem era → ShowS #

show ∷ AlonzoPlutusPurpose AsIxItem era → String #

showList ∷ [AlonzoPlutusPurpose AsIxItem era] → ShowS #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

Eq (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Ordering #

(<) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(<=) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(>) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(>=) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

max ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era #

min ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era #

Ord (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Ordering #

(<) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(<=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(>) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(>=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

max ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era #

min ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Ordering #

(<) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

(<=) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

(>) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

(>=) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

max ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era #

min ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsItem era) → String Source #

NoThunks (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsIx era) → String Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsIxItem era) → String Source #

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.17.0.0-inplace" 'False) ((C1 ('MetaCons "AlonzoSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: C1 ('MetaCons "AlonzoMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID)))) :+: (C1 ('MetaCons "AlonzoCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))) :+: C1 ('MetaCons "AlonzoWithdrawing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress)))))

newtype AsIx ix it Source #

Constructors

AsIx 

Fields

Instances

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

parseJSON ∷ Value → Parser (AsIx ix it) Source #

parseJSONList ∷ Value → Parser [AsIx ix it] Source #

omittedField ∷ Maybe (AsIx ix it) Source #

ToJSON ix ⇒ ToJSON (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AsIx ix it → Value Source #

toEncoding ∷ AsIx ix it → Encoding Source #

toJSONList ∷ [AsIx ix it] → Value Source #

toEncodingList ∷ [AsIx ix it] → Encoding Source #

omitField ∷ AsIx ix it → Bool Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBOR ∷ Decoder s (AsIx ix it) Source #

dropCBOR ∷ Proxy (AsIx ix it) → Decoder s () Source #

label ∷ Proxy (AsIx ix it) → Text Source #

EncCBOR ix ⇒ EncCBOR (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AsIx ix it → Encoding Source #

NFData ix ⇒ NFData (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsIx ix it → () #

(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ DijkstraPlutusPurpose AsIx era → () #

Generic ix ⇒ Generic (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIx ix it) = Rep ix

Methods

from ∷ AsIx ix it → Rep (AsIx ix it) x #

to ∷ Rep (AsIx ix it) x → AsIx ix it #

Show (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsIx era → ShowS #

show ∷ AlonzoPlutusPurpose AsIx era → String #

showList ∷ [AlonzoPlutusPurpose AsIx era] → ShowS #

Show ix ⇒ Show (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AsIx ix it → ShowS #

show ∷ AsIx ix it → String #

showList ∷ [AsIx ix it] → ShowS #

Show (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsIx era → ShowS #

show ∷ ConwayPlutusPurpose AsIx era → String #

showList ∷ [ConwayPlutusPurpose AsIx era] → ShowS #

(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → DijkstraPlutusPurpose AsIx era → ShowS #

show ∷ DijkstraPlutusPurpose AsIx era → String #

showList ∷ [DijkstraPlutusPurpose AsIx era] → ShowS #

Eq (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

Eq ix ⇒ Eq (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Eq (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(/=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(/=) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

Ord (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Ordering #

(<) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(<=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(>) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(>=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

max ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era #

min ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era #

Ord ix ⇒ Ord (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AsIx ix it → AsIx ix it → Ordering #

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

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

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

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

max ∷ AsIx ix it → AsIx ix it → AsIx ix it #

min ∷ AsIx ix it → AsIx ix it → AsIx ix it #

Ord (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Ordering #

(<) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(<=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(>) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(>=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

max ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era #

min ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era #

(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Ordering #

(<) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(<=) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(>) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

(>=) ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → Bool #

max ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era #

min ∷ DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era → DijkstraPlutusPurpose AsIx era #

NoThunks (AlonzoPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsIx era) → String Source #

NoThunks ix ⇒ NoThunks (AsIx ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AsIx ix it → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AsIx ix it → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AsIx ix it) → String Source #

NoThunks (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

noThunks ∷ Context → ConwayPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsIx era) → String Source #

(EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → DijkstraPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraPlutusPurpose AsIx era) → String Source #

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
FromJSON it ⇒ FromJSON (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

parseJSON ∷ Value → Parser (AsItem ix it) Source #

parseJSONList ∷ Value → Parser [AsItem ix it] Source #

omittedField ∷ Maybe (AsItem ix it) Source #

ToJSON it ⇒ ToJSON (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AsItem ix it → Value Source #

toEncoding ∷ AsItem ix it → Encoding Source #

toJSONList ∷ [AsItem ix it] → Value Source #

toEncodingList ∷ [AsItem ix it] → Encoding Source #

omitField ∷ AsItem ix it → Bool Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBOR ∷ Decoder s (AsItem ix it) Source #

dropCBOR ∷ Proxy (AsItem ix it) → Decoder s () Source #

label ∷ Proxy (AsItem ix it) → Text Source #

EncCBOR it ⇒ EncCBOR (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AsItem ix it → Encoding Source #

NFData it ⇒ NFData (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsItem ix it → () #

(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

rnf ∷ DijkstraPlutusPurpose AsItem era → () #

Generic it ⇒ Generic (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsItem ix it) = Rep it

Methods

from ∷ AsItem ix it → Rep (AsItem ix it) x #

to ∷ Rep (AsItem ix it) x → AsItem ix it #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsItem era → ShowS #

show ∷ AlonzoPlutusPurpose AsItem era → String #

showList ∷ [AlonzoPlutusPurpose AsItem era] → ShowS #

Show it ⇒ Show (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AsItem ix it → ShowS #

show ∷ AsItem ix it → String #

showList ∷ [AsItem ix it] → ShowS #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsItem era → ShowS #

show ∷ ConwayPlutusPurpose AsItem era → String #

showList ∷ [ConwayPlutusPurpose AsItem era] → ShowS #

(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

showsPrec ∷ Int → DijkstraPlutusPurpose AsItem era → ShowS #

show ∷ DijkstraPlutusPurpose AsItem era → String #

showList ∷ [DijkstraPlutusPurpose AsItem era] → ShowS #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

Eq it ⇒ Eq (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(/=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

(==) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(/=) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Ordering #

(<) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(<=) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(>) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(>=) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

max ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era #

min ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era #

Ord it ⇒ Ord (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AsItem ix it → AsItem ix it → Ordering #

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

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

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

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

max ∷ AsItem ix it → AsItem ix it → AsItem ix it #

min ∷ AsItem ix it → AsItem ix it → AsItem ix it #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Ordering #

(<) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(<=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(>) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(>=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

max ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era #

min ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era #

(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsItem era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

compare ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Ordering #

(<) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(<=) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(>) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

(>=) ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → Bool #

max ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era #

min ∷ DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era → DijkstraPlutusPurpose AsItem era #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsItem era) → String Source #

NoThunks it ⇒ NoThunks (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AsItem ix it → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AsItem ix it → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AsItem ix it) → String Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

noThunks ∷ Context → ConwayPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsItem era) → String Source #

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

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

noThunks ∷ Context → DijkstraPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraPlutusPurpose AsItem era) → String Source #

type Rep (AsItem ix it) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsItem ix it) = Rep it

Conway

data ConwayPlutusPurpose (f ∷ Type → Type → Type) era Source #

Constructors

ConwaySpending !(f Word32 TxIn) 
ConwayMinting !(f Word32 PolicyID) 
ConwayCertifying !(f Word32 (TxCert era)) 
ConwayWithdrawing !(f Word32 AccountAddress) 
ConwayVoting !(f Word32 Voter) 
ConwayProposing !(f Word32 (ProposalProcedure era)) 

Bundled Patterns

pattern ConwayRewarding ∷ f Word32 AccountAddress → ConwayPlutusPurpose f era 

Instances

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

parseJSON ∷ Value → Parser (ConwayPlutusPurpose f era) Source #

parseJSONList ∷ Value → Parser [ConwayPlutusPurpose f era] Source #

omittedField ∷ Maybe (ConwayPlutusPurpose f era) Source #

(∀ 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

Methods

toJSON ∷ ConwayPlutusPurpose f era → Value Source #

toEncoding ∷ ConwayPlutusPurpose f era → Encoding Source #

toJSONList ∷ [ConwayPlutusPurpose f era] → Value Source #

toEncodingList ∷ [ConwayPlutusPurpose f era] → Encoding Source #

omitField ∷ ConwayPlutusPurpose f era → Bool Source #

(∀ 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

Methods

decCBOR ∷ Decoder s (ConwayPlutusPurpose f era) Source #

dropCBOR ∷ Proxy (ConwayPlutusPurpose f era) → Decoder s () Source #

label ∷ Proxy (ConwayPlutusPurpose f era) → Text Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

encCBOR ∷ ConwayPlutusPurpose f era → Encoding 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

Methods

decCBORGroup ∷ Decoder s (ConwayPlutusPurpose f era) Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

encCBORGroup ∷ ConwayPlutusPurpose f era → Encoding Source #

listLen ∷ Proxy (ConwayPlutusPurpose f era) → Word Source #

(∀ 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

rnf ∷ ConwayPlutusPurpose f era → () #

Generic (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

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.24.0.0-inplace" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayWithdrawing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))

Methods

from ∷ ConwayPlutusPurpose f era → Rep (ConwayPlutusPurpose f era) x #

to ∷ Rep (ConwayPlutusPurpose f era) x → ConwayPlutusPurpose f era #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsItem era → ShowS #

show ∷ ConwayPlutusPurpose AsItem era → String #

showList ∷ [ConwayPlutusPurpose AsItem era] → ShowS #

Show (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsIx era → ShowS #

show ∷ ConwayPlutusPurpose AsIx era → String #

showList ∷ [ConwayPlutusPurpose AsIx era] → ShowS #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsIxItem era → ShowS #

show ∷ ConwayPlutusPurpose AsIxItem era → String #

showList ∷ [ConwayPlutusPurpose AsIxItem era] → ShowS #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(/=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

Eq (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(/=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(/=) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Ordering #

(<) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(<=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(>) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(>=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

max ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era #

min ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era #

Ord (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Ordering #

(<) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(<=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(>) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(>=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

max ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era #

min ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Ordering #

(<) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(<=) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(>) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(>=) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

max ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era #

min ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

noThunks ∷ Context → ConwayPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsItem era) → String Source #

NoThunks (ConwayPlutusPurpose AsIx era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

noThunks ∷ Context → ConwayPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsIx era) → String Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

noThunks ∷ Context → ConwayPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsIxItem era) → String Source #

Inject (ConwayPlutusPurpose f era) (DijkstraPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

inject ∷ ConwayPlutusPurpose f era → DijkstraPlutusPurpose f era Source #

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.24.0.0-inplace" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayWithdrawing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))

Upgrade

binaryUpgradeTxWits ∷ (Era era, ToCBOR (TxWits (PreviousEra era)), DecCBOR (Annotator (TxWits era))) ⇒ TxWits (PreviousEra era) → Except DecoderError (TxWits era) Source #

Translate tx witnesses through its binary representation from previous to current era.

upgradeTxWits ∷ EraApi era ⇒ TxWits (PreviousEra era) → TxWits era Source #

Upgrade txWits from the previous era. Warning - This may not preserve the underlying binary representation. Use binaryUpgradeTxWits instead, if you need to preserve the serialised form.