cardano-ledger-api-1.13.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.Scripts

Synopsis

Documentation

module Cardano.Ledger.Api.Scripts.Data

class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), ToCBOR (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) ⇒ EraScript era Source #

Typeclass for script data types. Allows for script validation and hashing. You must understand the role of SafeToHash and scriptPrefixTag to make new instances. scriptPrefixTag is a magic number representing the tag of the script language. For each new script language defined, a new tag is chosen and the tag is included in the script hash for a script. The safeToHash constraint ensures that Scripts are never reserialised.

Minimal complete definition

upgradeScript, scriptPrefixTag, getNativeScript, fromNativeScript

Associated Types

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

Scripts which may lock transaction outputs in this era

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

Instances

Instances details
EraScript AllegraEra

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Script AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra = Timelock AllegraEra
type NativeScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type NativeScript AllegraEra = Timelock AllegraEra

Methods

upgradeScript ∷ Script (PreviousEra AllegraEra) → Script AllegraEra Source #

scriptPrefixTag ∷ Script AllegraEra → ByteString Source #

getNativeScript ∷ Script AllegraEra → Maybe (NativeScript AllegraEra) Source #

fromNativeScript ∷ NativeScript AllegraEra → Script AllegraEra Source #

EraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Script AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script AlonzoEra = AlonzoScript AlonzoEra
type NativeScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type NativeScript AlonzoEra = Timelock AlonzoEra

Methods

upgradeScript ∷ Script (PreviousEra AlonzoEra) → Script AlonzoEra Source #

scriptPrefixTag ∷ Script AlonzoEra → ByteString Source #

getNativeScript ∷ Script AlonzoEra → Maybe (NativeScript AlonzoEra) Source #

fromNativeScript ∷ NativeScript AlonzoEra → Script AlonzoEra Source #

EraScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

type Script BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script BabbageEra = AlonzoScript BabbageEra
type NativeScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type NativeScript BabbageEra = Timelock BabbageEra

Methods

upgradeScript ∷ Script (PreviousEra BabbageEra) → Script BabbageEra Source #

scriptPrefixTag ∷ Script BabbageEra → ByteString Source #

getNativeScript ∷ Script BabbageEra → Maybe (NativeScript BabbageEra) Source #

fromNativeScript ∷ NativeScript BabbageEra → Script BabbageEra Source #

EraScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Script ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Script ConwayEra = AlonzoScript ConwayEra
type NativeScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type NativeScript ConwayEra = Timelock ConwayEra

Methods

upgradeScript ∷ Script (PreviousEra ConwayEra) → Script ConwayEra Source #

scriptPrefixTag ∷ Script ConwayEra → ByteString Source #

getNativeScript ∷ Script ConwayEra → Maybe (NativeScript ConwayEra) Source #

fromNativeScript ∷ NativeScript ConwayEra → Script ConwayEra Source #

EraScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

type Script DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type Script DijkstraEra = AlonzoScript DijkstraEra
type NativeScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type NativeScript DijkstraEra = DijkstraNativeScript DijkstraEra

Methods

upgradeScript ∷ Script (PreviousEra DijkstraEra) → Script DijkstraEra Source #

scriptPrefixTag ∷ Script DijkstraEra → ByteString Source #

getNativeScript ∷ Script DijkstraEra → Maybe (NativeScript DijkstraEra) Source #

fromNativeScript ∷ NativeScript DijkstraEra → Script DijkstraEra Source #

EraScript MaryEra

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Defined in Cardano.Ledger.Mary.Scripts

Associated Types

type Script MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script MaryEra = Timelock MaryEra
type NativeScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type NativeScript MaryEra = Timelock MaryEra

Methods

upgradeScript ∷ Script (PreviousEra MaryEra) → Script MaryEra Source #

scriptPrefixTag ∷ Script MaryEra → ByteString Source #

getNativeScript ∷ Script MaryEra → Maybe (NativeScript MaryEra) Source #

fromNativeScript ∷ NativeScript MaryEra → Script MaryEra Source #

EraScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type Script ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra = MultiSig ShelleyEra
type NativeScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type NativeScript ShelleyEra = MultiSig ShelleyEra

Methods

upgradeScript ∷ Script (PreviousEra ShelleyEra) → Script ShelleyEra Source #

scriptPrefixTag ∷ Script ShelleyEra → ByteString Source #

getNativeScript ∷ Script ShelleyEra → Maybe (NativeScript ShelleyEra) Source #

fromNativeScript ∷ NativeScript ShelleyEra → Script ShelleyEra Source #

data ScriptHash Source #

Instances

Instances details
FromJSON ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

parseJSON ∷ Value → Parser ScriptHash Source #

parseJSONList ∷ Value → Parser [ScriptHash] Source #

omittedField ∷ Maybe ScriptHash Source #

FromJSONKey ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

fromJSONKey ∷ FromJSONKeyFunction ScriptHash Source #

fromJSONKeyList ∷ FromJSONKeyFunction [ScriptHash] Source #

ToJSON ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

toJSON ∷ ScriptHash → Value Source #

toEncoding ∷ ScriptHash → Encoding Source #

toJSONList ∷ [ScriptHash] → Value Source #

toEncodingList ∷ [ScriptHash] → Encoding Source #

omitField ∷ ScriptHash → Bool Source #

ToJSONKey ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

toJSONKey ∷ ToJSONKeyFunction ScriptHash Source #

toJSONKeyList ∷ ToJSONKeyFunction [ScriptHash] Source #

FromCBOR ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

fromCBOR ∷ Decoder s ScriptHash Source #

label ∷ Proxy ScriptHash → Text Source #

ToCBOR ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

toCBOR ∷ ScriptHash → Encoding Source #

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

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

DecCBOR ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

decCBOR ∷ Decoder s ScriptHash Source #

dropCBOR ∷ Proxy ScriptHash → Decoder s () Source #

label ∷ Proxy ScriptHash → Text Source #

EncCBOR ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

encCBOR ∷ ScriptHash → Encoding Source #

NFData ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

rnf ∷ ScriptHash → () #

Generic ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript))))

Methods

from ∷ ScriptHash → Rep ScriptHash x #

to ∷ Rep ScriptHash x → ScriptHash #

Show ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → ScriptHash → ShowS #

show ∷ ScriptHash → String #

showList ∷ [ScriptHash] → ShowS #

Eq ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ ScriptHash → ScriptHash → Bool #

(/=) ∷ ScriptHash → ScriptHash → Bool #

Ord ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ ScriptHash → ScriptHash → Ordering #

(<) ∷ ScriptHash → ScriptHash → Bool #

(<=) ∷ ScriptHash → ScriptHash → Bool #

(>) ∷ ScriptHash → ScriptHash → Bool #

(>=) ∷ ScriptHash → ScriptHash → Bool #

max ∷ ScriptHash → ScriptHash → ScriptHash #

min ∷ ScriptHash → ScriptHash → ScriptHash #

MemPack ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

typeName ∷ String Source #

packedByteCount ∷ ScriptHash → Int Source #

packM ∷ ScriptHash → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b ScriptHash Source #

NoThunks ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

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

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

showTypeOf ∷ Proxy ScriptHash → String Source #

Indexable ScriptHash GuardsScriptHashView 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Methods

indexOf ∷ AsItem Word32 ScriptHash → GuardsScriptHashView → StrictMaybe (AsIx Word32 ScriptHash) Source #

fromIndex ∷ AsIx Word32 ScriptHash → GuardsScriptHashView → StrictMaybe (AsIxItem Word32 ScriptHash) Source #

type Rep ScriptHash 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript))))

scriptPrefixTag ∷ EraScript era ⇒ Script era → ByteString Source #

upgradeScript ∷ EraScript era ⇒ Script (PreviousEra era) → Script era Source #

Every era, except Shelley, must be able to upgrade a Script from a previous era.

Warning - Important to note that any memoized binary representation will not be preserved. If you need to retain underlying bytes then you can use translateEraThroughCBOR

hashScript ∷ EraScript era ⇒ Script era → ScriptHash Source #

Compute ScriptHash of a Script for a particular era.

getNativeScript ∷ EraScript era ⇒ Script era → Maybe (NativeScript era) Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). EraTx era ⇒ Tx l era → NativeScript era → Bool Source #

Using information from the transaction validate the supplied native script.

isNativeScript ∷ EraScript era ⇒ Script era → Bool Source #

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Constructors

ValidityInterval 

Fields

Instances

Instances details
ToJSON ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

toJSON ∷ ValidityInterval → Value Source #

toEncoding ∷ ValidityInterval → Encoding Source #

toJSONList ∷ [ValidityInterval] → Value Source #

toEncodingList ∷ [ValidityInterval] → Encoding Source #

omitField ∷ ValidityInterval → Bool Source #

DecCBOR ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

decCBOR ∷ Decoder s ValidityInterval Source #

dropCBOR ∷ Proxy ValidityInterval → Decoder s () Source #

label ∷ Proxy ValidityInterval → Text Source #

EncCBOR ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

encCBOR ∷ ValidityInterval → Encoding Source #

NFData ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnf ∷ ValidityInterval → () #

Generic ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

Methods

from ∷ ValidityInterval → Rep ValidityInterval x #

to ∷ Rep ValidityInterval x → ValidityInterval #

Show ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

showsPrec ∷ Int → ValidityInterval → ShowS #

show ∷ ValidityInterval → String #

showList ∷ [ValidityInterval] → ShowS #

Eq ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

(==) ∷ ValidityInterval → ValidityInterval → Bool #

(/=) ∷ ValidityInterval → ValidityInterval → Bool #

Ord ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

compare ∷ ValidityInterval → ValidityInterval → Ordering #

(<) ∷ ValidityInterval → ValidityInterval → Bool #

(<=) ∷ ValidityInterval → ValidityInterval → Bool #

(>) ∷ ValidityInterval → ValidityInterval → Bool #

(>=) ∷ ValidityInterval → ValidityInterval → Bool #

max ∷ ValidityInterval → ValidityInterval → ValidityInterval #

min ∷ ValidityInterval → ValidityInterval → ValidityInterval #

NoThunks ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

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

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

showTypeOf ∷ Proxy ValidityInterval → String Source #

type Rep ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

Any era

class EraScript era ⇒ AnyEraScript era where Source #

Minimal complete definition

Nothing

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

default anyEraMaxLanguage ∷ AlonzoEraScript era ⇒ Maybe Language Source #

anyEraToPlutusScript ∷ Script era → Maybe (PlutusScript era) Source #

default anyEraToPlutusScript ∷ AlonzoEraScript era ⇒ Script era → Maybe (PlutusScript era) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 TxIn) Source #

default anyEraToSpendingPurpose ∷ AlonzoEraScript era ⇒ PlutusPurpose f era → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 PolicyID) Source #

default anyEraToMintingPurpose ∷ AlonzoEraScript era ⇒ PlutusPurpose f era → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (TxCert era)) Source #

default anyEraToCertifyingPurpose ∷ AlonzoEraScript era ⇒ PlutusPurpose f era → Maybe (f Word32 (TxCert era)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 RewardAccount) Source #

default anyEraToRewardingPurpose ∷ AlonzoEraScript era ⇒ PlutusPurpose f era → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 Voter) Source #

default anyEraToVotingPurpose ∷ ConwayEraScript era ⇒ PlutusPurpose f era → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (ProposalProcedure era)) Source #

default anyEraToProposingPurpose ∷ ConwayEraScript era ⇒ PlutusPurpose f era → Maybe (f Word32 (ProposalProcedure era)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 ScriptHash) Source #

default anyEraToGuardingPurpose ∷ DijkstraEraScript era ⇒ PlutusPurpose f era → Maybe (f Word32 ScriptHash) Source #

Instances

Instances details
AnyEraScript AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Scripts

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

anyEraToPlutusScript ∷ Script AllegraEra → Maybe (PlutusScript AllegraEra) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f AllegraEra → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f AllegraEra → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f AllegraEra → Maybe (f Word32 (TxCert AllegraEra)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f AllegraEra → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f AllegraEra → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f AllegraEra → Maybe (f Word32 (ProposalProcedure AllegraEra)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f AllegraEra → Maybe (f Word32 ScriptHash) Source #

AnyEraScript AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Scripts

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

anyEraToPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (TxCert AlonzoEra)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (ProposalProcedure AlonzoEra)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 ScriptHash) Source #

AnyEraScript BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Scripts

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

anyEraToPlutusScript ∷ Script BabbageEra → Maybe (PlutusScript BabbageEra) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 (TxCert BabbageEra)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 (ProposalProcedure BabbageEra)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 ScriptHash) Source #

AnyEraScript ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Scripts

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

anyEraToPlutusScript ∷ Script ConwayEra → Maybe (PlutusScript ConwayEra) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (TxCert ConwayEra)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (ProposalProcedure ConwayEra)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 ScriptHash) Source #

AnyEraScript DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Scripts

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

anyEraToPlutusScript ∷ Script DijkstraEra → Maybe (PlutusScript DijkstraEra) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (TxCert DijkstraEra)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (ProposalProcedure DijkstraEra)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 ScriptHash) Source #

AnyEraScript MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Scripts

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

anyEraToPlutusScript ∷ Script MaryEra → Maybe (PlutusScript MaryEra) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f MaryEra → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f MaryEra → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f MaryEra → Maybe (f Word32 (TxCert MaryEra)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f MaryEra → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f MaryEra → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f MaryEra → Maybe (f Word32 (ProposalProcedure MaryEra)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f MaryEra → Maybe (f Word32 ScriptHash) Source #

AnyEraScript ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Scripts

Methods

anyEraMaxLanguage ∷ Maybe Language Source #

anyEraToPlutusScript ∷ Script ShelleyEra → Maybe (PlutusScript ShelleyEra) Source #

anyEraToSpendingPurpose ∷ PlutusPurpose f ShelleyEra → Maybe (f Word32 TxIn) Source #

anyEraToMintingPurpose ∷ PlutusPurpose f ShelleyEra → Maybe (f Word32 PolicyID) Source #

anyEraToCertifyingPurpose ∷ PlutusPurpose f ShelleyEra → Maybe (f Word32 (TxCert ShelleyEra)) Source #

anyEraToRewardingPurpose ∷ PlutusPurpose f ShelleyEra → Maybe (f Word32 RewardAccount) Source #

anyEraToVotingPurpose ∷ PlutusPurpose f ShelleyEra → Maybe (f Word32 Voter) Source #

anyEraToProposingPurpose ∷ PlutusPurpose f ShelleyEra → Maybe (f Word32 (ProposalProcedure ShelleyEra)) Source #

anyEraToGuardingPurpose ∷ PlutusPurpose f ShelleyEra → Maybe (f Word32 ScriptHash) Source #

pattern AnyEraSpendingPurpose ∷ AnyEraScript era ⇒ f Word32 TxIn → PlutusPurpose f era Source #

pattern AnyEraMintingPurpose ∷ AnyEraScript era ⇒ f Word32 PolicyID → PlutusPurpose f era Source #

pattern AnyEraCertifyingPurpose ∷ AnyEraScript era ⇒ f Word32 (TxCert era) → PlutusPurpose f era Source #

pattern AnyEraRewardingPurpose ∷ AnyEraScript era ⇒ f Word32 RewardAccount → PlutusPurpose f era Source #

pattern AnyEraVotingPurpose ∷ AnyEraScript era ⇒ f Word32 Voter → PlutusPurpose f era Source #

pattern AnyEraProposingPurpose ∷ AnyEraScript era ⇒ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #

pattern AnyEraGuardingPurpose ∷ AnyEraScript era ⇒ f Word32 ScriptHash → PlutusPurpose f era Source #

Alonzo

class (EraScript era, Eq (PlutusScript era), Ord (PlutusScript era), Show (PlutusScript era), NoThunks (PlutusScript era), NFData (PlutusScript era), SafeToHash (PlutusScript era), Eq (PlutusPurpose AsItem era), Show (PlutusPurpose AsItem era), EncCBOR (PlutusPurpose AsItem era), DecCBOR (PlutusPurpose AsItem era), NoThunks (PlutusPurpose AsItem era), NFData (PlutusPurpose AsItem era), Eq (PlutusPurpose AsIx era), Ord (PlutusPurpose AsIx era), Show (PlutusPurpose AsIx era), EncCBOR (PlutusPurpose AsIx era), DecCBOR (PlutusPurpose AsIx era), EncCBORGroup (PlutusPurpose AsIx era), DecCBORGroup (PlutusPurpose AsIx era), NoThunks (PlutusPurpose AsIx era), NFData (PlutusPurpose AsIx era), Eq (PlutusPurpose AsIxItem era), Show (PlutusPurpose AsIxItem era), NoThunks (PlutusPurpose AsIxItem era), NFData (PlutusPurpose AsIxItem era), AllegraEraScript era) ⇒ AlonzoEraScript era where Source #

Minimal complete definition

eraMaxLanguage, mkPlutusScript, withPlutusScript, hoistPlutusPurpose, mkSpendingPurpose, toSpendingPurpose, mkMintingPurpose, toMintingPurpose, mkCertifyingPurpose, toCertifyingPurpose, mkRewardingPurpose, toRewardingPurpose, upgradePlutusPurposeAsIx

Associated Types

data PlutusScript era Source #

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

Methods

toSpendingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 TxIn) Source #

toMintingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 PolicyID) Source #

toCertifyingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (TxCert era)) Source #

toRewardingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 RewardAccount) Source #

Instances

Instances details
AlonzoEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type PlutusPurpose f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source #

fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript AlonzoEra) Source #

withPlutusScript ∷ PlutusScript AlonzoEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g AlonzoEra → PlutusPurpose f AlonzoEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source #

toSpendingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source #

toMintingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert AlonzoEra) → PlutusPurpose f AlonzoEra Source #

toCertifyingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (TxCert AlonzoEra)) Source #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f AlonzoEra Source #

toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 RewardAccount) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #

AlonzoEraScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

data PlutusScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript BabbageEra
type PlutusPurpose f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script BabbageEra → Maybe (PlutusScript BabbageEra) Source #

fromPlutusScript ∷ PlutusScript BabbageEra → Script BabbageEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript BabbageEra) Source #

withPlutusScript ∷ PlutusScript BabbageEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g BabbageEra → PlutusPurpose f BabbageEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f BabbageEra Source #

toSpendingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f BabbageEra Source #

toMintingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert BabbageEra) → PlutusPurpose f BabbageEra Source #

toCertifyingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 (TxCert BabbageEra)) Source #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f BabbageEra Source #

toRewardingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 RewardAccount) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra BabbageEra) → PlutusPurpose AsIx BabbageEra Source #

AlonzoEraScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

data PlutusScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

data PlutusScript ConwayEra
type PlutusPurpose f ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script ConwayEra → Maybe (PlutusScript ConwayEra) Source #

fromPlutusScript ∷ PlutusScript ConwayEra → Script ConwayEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript ConwayEra) Source #

withPlutusScript ∷ PlutusScript ConwayEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g ConwayEra → PlutusPurpose f ConwayEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f ConwayEra Source #

toSpendingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f ConwayEra Source #

toMintingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert ConwayEra) → PlutusPurpose f ConwayEra Source #

toCertifyingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (TxCert ConwayEra)) Source #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f ConwayEra Source #

toRewardingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 RewardAccount) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra ConwayEra) → PlutusPurpose AsIx ConwayEra Source #

AlonzoEraScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Associated Types

data PlutusScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

data PlutusScript DijkstraEra
type PlutusPurpose f DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script DijkstraEra → Maybe (PlutusScript DijkstraEra) Source #

fromPlutusScript ∷ PlutusScript DijkstraEra → Script DijkstraEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript DijkstraEra) Source #

withPlutusScript ∷ PlutusScript DijkstraEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g DijkstraEra → PlutusPurpose f DijkstraEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f DijkstraEra Source #

toSpendingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f DijkstraEra Source #

toMintingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert DijkstraEra) → PlutusPurpose f DijkstraEra Source #

toCertifyingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (TxCert DijkstraEra)) Source #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f DijkstraEra Source #

toRewardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 RewardAccount) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra DijkstraEra) → PlutusPurpose AsIx DijkstraEra Source #

isPlutusScript ∷ AlonzoEraScript era ⇒ Script era → Bool Source #

pattern SpendingPurpose ∷ AlonzoEraScript era ⇒ f Word32 TxIn → PlutusPurpose f era Source #

pattern MintingPurpose ∷ AlonzoEraScript era ⇒ f Word32 PolicyID → PlutusPurpose f era Source #

pattern CertifyingPurpose ∷ AlonzoEraScript era ⇒ f Word32 (TxCert era) → PlutusPurpose f era Source #

pattern RewardingPurpose ∷ AlonzoEraScript era ⇒ f Word32 RewardAccount → PlutusPurpose f era Source #

data CostModels Source #

For a known version of Plutus, attempting to construct a cost model with too few parameters (depending on the version) will result in an error. CostModelApplyError exists to collect these errors in the CostModels type. The CostModels type itself needs to be flexible enough to accept any map of Word8 to '[Int64]', so that cost models can be placed in the protocol parameters ahead of changes to the Plutus evaluation context. In this way, serializing a cost model, updating software, and deserializing can result in errors going away.

Additionally, CostModels needs to be able to store cost models for future version of Plutus, which we cannot yet even validate. These are stored in costModelsUnknown.

Instances

Instances details
FromJSON CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

parseJSON ∷ Value → Parser CostModels Source #

parseJSONList ∷ Value → Parser [CostModels] Source #

omittedField ∷ Maybe CostModels Source #

ToJSON CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

toJSON ∷ CostModels → Value Source #

toEncoding ∷ CostModels → Encoding Source #

toJSONList ∷ [CostModels] → Value Source #

toEncodingList ∷ [CostModels] → Encoding Source #

omitField ∷ CostModels → Bool Source #

DecCBOR CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

decCBOR ∷ Decoder s CostModels Source #

dropCBOR ∷ Proxy CostModels → Decoder s () Source #

label ∷ Proxy CostModels → Text Source #

EncCBOR CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

encCBOR ∷ CostModels → Encoding Source #

ToPlutusData CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ CostModels → Data Source #

fromPlutusData ∷ Data → Maybe CostModels Source #

NFData CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

rnf ∷ CostModels → () #

Monoid CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

mempty ∷ CostModels #

mappend ∷ CostModels → CostModels → CostModels #

mconcat ∷ [CostModels] → CostModels #

Semigroup CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

(<>) ∷ CostModels → CostModels → CostModels #

sconcat ∷ NonEmpty CostModels → CostModels #

stimes ∷ Integral b ⇒ b → CostModels → CostModels #

Generic CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Associated Types

type Rep CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

type Rep CostModels = D1 ('MetaData "CostModels" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "CostModels" 'PrefixI 'True) (S1 ('MetaSel ('Just "_costModelsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language CostModel)) :*: S1 ('MetaSel ('Just "_costModelsUnknown") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word8 [Int64]))))

Methods

from ∷ CostModels → Rep CostModels x #

to ∷ Rep CostModels x → CostModels #

Show CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

showsPrec ∷ Int → CostModels → ShowS #

show ∷ CostModels → String #

showList ∷ [CostModels] → ShowS #

Eq CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

(==) ∷ CostModels → CostModels → Bool #

(/=) ∷ CostModels → CostModels → Bool #

Ord CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

compare ∷ CostModels → CostModels → Ordering #

(<) ∷ CostModels → CostModels → Bool #

(<=) ∷ CostModels → CostModels → Bool #

(>) ∷ CostModels → CostModels → Bool #

(>=) ∷ CostModels → CostModels → Bool #

max ∷ CostModels → CostModels → CostModels #

min ∷ CostModels → CostModels → CostModels #

NoThunks CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

Methods

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

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

showTypeOf ∷ Proxy CostModels → String Source #

type Rep CostModels 
Instance details

Defined in Cardano.Ledger.Plutus.CostModels

type Rep CostModels = D1 ('MetaData "CostModels" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "CostModels" 'PrefixI 'True) (S1 ('MetaSel ('Just "_costModelsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language CostModel)) :*: S1 ('MetaSel ('Just "_costModelsUnknown") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word8 [Int64]))))

Conway

class AlonzoEraScript era ⇒ ConwayEraScript era where Source #

Minimal complete definition

mkVotingPurpose, toVotingPurpose, mkProposingPurpose, toProposingPurpose

Methods

toVotingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 Voter) Source #

toProposingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (ProposalProcedure era)) Source #

Instances

Instances details
ConwayEraScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source #

toVotingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure ConwayEra) → PlutusPurpose f ConwayEra Source #

toProposingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (ProposalProcedure ConwayEra)) Source #

ConwayEraScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f DijkstraEra Source #

toVotingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure DijkstraEra) → PlutusPurpose f DijkstraEra Source #

toProposingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (ProposalProcedure DijkstraEra)) Source #

pattern VotingPurpose ∷ ConwayEraScript era ⇒ f Word32 Voter → PlutusPurpose f era Source #

pattern ProposingPurpose ∷ ConwayEraScript era ⇒ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #

Dijkstra

class ConwayEraScript era ⇒ DijkstraEraScript era where Source #

Minimal complete definition

mkGuardingPurpose, toGuardingPurpose, mkRequireGuard, getRequireGuard

Methods

toGuardingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 ScriptHash) Source #

Instances

Instances details
DijkstraEraScript DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Scripts

Methods

mkGuardingPurpose ∷ f Word32 ScriptHash → PlutusPurpose f DijkstraEra Source #

toGuardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 ScriptHash) Source #

mkRequireGuard ∷ Credential 'Guard → NativeScript DijkstraEra Source #

getRequireGuard ∷ NativeScript DijkstraEra → Maybe (Credential 'Guard) Source #

pattern GuardingPurpose ∷ DijkstraEraScript era ⇒ f Word32 ScriptHash → PlutusPurpose f era Source #