type Rep PlutusBinary
Instance details Defined in Cardano.Ledger.Plutus.Language type Rep PlutusBinary = D1 ('MetaData "PlutusBinary" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "PlutusBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPlutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

Methods

from ∷ PlutusBinary → Rep PlutusBinary x #

to ∷ Rep PlutusBinary x → PlutusBinary #

Show PlutusBinary

Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

showsPrec ∷ Int → PlutusBinary → ShowS #

show ∷ PlutusBinary → String #

showList ∷ [PlutusBinary] → ShowS #

Eq PlutusBinary

Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

(==) ∷ PlutusBinary → PlutusBinary → Bool #

(/=) ∷ PlutusBinary → PlutusBinary → Bool #

Ord PlutusBinary

Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

compare ∷ PlutusBinary → PlutusBinary → Ordering #

(<) ∷ PlutusBinary → PlutusBinary → Bool #

(<=) ∷ PlutusBinary → PlutusBinary → Bool #

(>) ∷ PlutusBinary → PlutusBinary → Bool #

(>=) ∷ PlutusBinary → PlutusBinary → Bool #

max ∷ PlutusBinary → PlutusBinary → PlutusBinary #

min ∷ PlutusBinary → PlutusBinary → PlutusBinary #

MemPack PlutusBinary

Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusBinary → Int Source #

packM ∷ PlutusBinary → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b PlutusBinary Source #

NoThunks PlutusBinary

Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

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

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

showTypeOf ∷ Proxy PlutusBinary → String Source #

DecCBOR (Annotator PlutusBinary)

Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

decCBOR ∷ Decoder s (Annotator PlutusBinary) Source #

dropCBOR ∷ Proxy (Annotator PlutusBinary) → Decoder s () Source #

label ∷ Proxy (Annotator PlutusBinary) → Text Source #

type Rep PlutusBinary

Instance details

Defined in Cardano.Ledger.Plutus.Language

type Rep PlutusBinary = D1 ('MetaData "PlutusBinary" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "PlutusBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPlutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

data AlonzoScript era Source #

Scripts in the Alonzo Era, Either a native script or a Plutus script.

Constructors

NativeScript !(NativeScript era)
PlutusScript !(PlutusScript era)

Instances

Instances details

AlonzoEraScript era ⇒ ToJSON (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AlonzoScript era → Value Source #

toEncoding ∷ AlonzoScript era → Encoding Source #

toJSONList ∷ [AlonzoScript era] → Value Source #

toEncodingList ∷ [AlonzoScript era] → Encoding Source #

omitField ∷ AlonzoScript era → Bool Source #

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR ∷ AlonzoScript era → Encoding Source #

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

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

AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoScript era)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

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

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AlonzoScript era → Encoding Source #

(SafeToHash (PlutusScript era), SafeToHash (NativeScript era)) ⇒ SafeToHash (AlonzoScript era) Source #

Both constructors know their original bytes

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ AlonzoScript era → ByteString Source #

originalBytesSize ∷ AlonzoScript era → Int Source #

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

(Eq (PlutusScript era), EqRaw (NativeScript era)) ⇒ EqRaw (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #

(NFData (PlutusScript era), NFData (NativeScript era)) ⇒ NFData (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AlonzoScript era → () #

Generic (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoScript era)

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

Methods

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

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

(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoScript era → ShowS #

show ∷ AlonzoScript era → String #

showList ∷ [AlonzoScript era] → ShowS #

(Eq (PlutusScript era), Eq (NativeScript era)) ⇒ Eq (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

(Era era, MemPack (PlutusScript era), MemPack (NativeScript era)) ⇒ MemPack (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ AlonzoScript era → Int Source #

packM ∷ AlonzoScript era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (AlonzoScript era) Source #

(Era era, NoThunks (PlutusScript era), NoThunks (NativeScript era)) ⇒ NoThunks (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

showTypeOf ∷ Proxy (AlonzoScript era) → String Source #

type Rep (AlonzoScript era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

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

Scripts which may lock transaction outputs in this era

Instances

Instances details

type Script AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script AllegraEra = Timelock AllegraEra
type Script AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type Script MaryEra
Instance details Defined in Cardano.Ledger.Mary.Scripts type Script MaryEra = Timelock MaryEra
type Script ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra

isPlutusScript ∷ AlonzoEraScript era ⇒ Script era → Bool Source #

validScript ∷ (HasCallStack, AlonzoEraScript era) ⇒ ProtVer → Script era → Bool Source #

Verify that every Script represents a valid script. Force native scripts to Normal Form, to ensure that there are no bottoms and deserialize Plutus scripts into a PlutusRunnable.

eqAlonzoScriptRaw ∷ (Eq (PlutusScript era), EqRaw (NativeScript era)) ⇒ AlonzoScript era → AlonzoScript era → Bool Source #

Check the equality of two underlying types, while ignoring their binary representation, which Eq instance normally does. This is used for testing.

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

eraMaxLanguage ∷ Language Source #

Highest supported Plutus language version for this era.

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

Attempt to extract a PlutusScript from a wrapper type family Script. Whenevr Script is a native script Nothing will be returned

default toPlutusScript ∷ Script era ~ AlonzoScript era ⇒ Script era → Maybe (PlutusScript era) Source #

fromPlutusScript ∷ PlutusScript era → Script era Source #

Convert a PlutusScript to a wrapper type family Script

default fromPlutusScript ∷ Script era ~ AlonzoScript era ⇒ PlutusScript era → Script era Source #

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

Returns Nothing, whenver plutus language is not supported for this era.

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

Give a PlutusScript apply a function that can handle Plutus scripts of all known versions.

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

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f era Source #

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

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f era Source #

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

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

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

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f era Source #

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

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

Instances

Instances details

AlonzoEraScript AlonzoEra Source #

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 #

eraLanguages ∷ AlonzoEraScript era ⇒ [Language] Source #

eraUnsupportedLanguage ∷ ∀ era (l ∷ Language) m proxy a. (Era era, PlutusLanguage l, MonadFail m) ⇒ proxy l → m a Source #

data family PlutusScript era Source #

Instances

Instances details

SafeToHash (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #

NFData (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ PlutusScript AlonzoEra → () #

Generic (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x #

to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #

Show (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Eq (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

Ord (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

(<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

MemPack (PlutusScript AlonzoEra) Source #

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript AlonzoEra) Source #

NoThunks (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

newtype PlutusScript AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)

type Rep (PlutusScript AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

withPlutusScriptLanguage ∷ AlonzoEraScript era ⇒ Language → PlutusScript era → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → Maybe a Source #

Apply a function to a plutus script, but only if it is of expected language version, otherwise it will return Nothing.

plutusScriptLanguage ∷ AlonzoEraScript era ⇒ PlutusScript era → Language Source #

Get value level plutus language of the plutus script

decodePlutusScript ∷ ∀ era (l ∷ Language) s. (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decoder s (PlutusScript era) Source #

plutusScriptBinary ∷ AlonzoEraScript era ⇒ PlutusScript era → PlutusBinary Source #

Extract binary representation of the script.

mkBinaryPlutusScript ∷ (MonadFail m, AlonzoEraScript era) ⇒ Language → PlutusBinary → m (PlutusScript era) Source #

isValidPlutusScript ∷ AlonzoEraScript era ⇒ Version → PlutusScript era → Bool Source #

Verifies whether Plutus script is well formed or not, which simply means whether it deserializes successfully or not.

toPlutusSLanguage ∷ ∀ (l ∷ Language) era. (PlutusLanguage l, AlonzoEraScript era) ⇒ SLanguage l → PlutusScript era → Maybe (Plutus l) Source #

Attempt to extract the version aware Plutus script, but only if it matches the language version supplied. This is useful whenever the version is known by some other means.

alonzoScriptPrefixTag ∷ (AlonzoEraScript era, AlonzoScript era ~ Script era) ⇒ Script era → ByteString Source #

lookupPlutusScript ∷ AlonzoEraScript era ⇒ ScriptHash → Map ScriptHash (Script era) → Maybe (PlutusScript era) Source #

Having a Map with scripts and a script hash, lookup the plutus script. Returns Nothing when script is missing or it is not a PlutusScript

Plutus Purpose

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 AlonzoPlutusPurpose (f ∷ Type → Type → Type) era Source #

Constructors

AlonzoSpending !(f Word32 TxIn)
AlonzoMinting !(f Word32 PolicyID)
AlonzoCertifying !(f Word32 (TxCert era))
AlonzoRewarding !(f Word32 RewardAccount)

Instances

Instances details

(∀ a b. (ToJSON a, ToJSON b) ⇒ ToJSON (f a b), ToJSON (TxCert era), Era era) ⇒ ToJSON (AlonzoPlutusPurpose f era) Source #

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) Source #

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) Source #

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) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORGroup ∷ AlonzoPlutusPurpose f era → Encoding Source #

listLen ∷ AlonzoPlutusPurpose f era → Word Source #

listLenBound ∷ 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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AlonzoPlutusPurpose f era → () #

Generic (AlonzoPlutusPurpose f era) Source #

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.15.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 "AlonzoRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 RewardAccount)))))

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) Source #

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) Source #

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) Source #

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) Source #

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) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord (AlonzoPlutusPurpose AsIx era) Source #

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 #

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsItem era) Source #

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) Source #

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) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoPlutusPurpose f era) = D1 ('MetaData "AlonzoPlutusPurpose" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.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 "AlonzoRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 RewardAccount)))))

newtype AsItem ix it Source #

Constructors

AsItem
Fields unAsItem ∷ it

Instances

Instances details

ToJSON it ⇒ ToJSON (AsItem ix it) Source #

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) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AsItem ix it → Encoding Source #

NFData it ⇒ NFData (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsItem ix it → () #

Generic it ⇒ Generic (AsItem ix it) Source #

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) Source #

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) Source #

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 #

Eq (TxCert era) ⇒ Eq (AlonzoPlutusPurpose AsItem era) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord it ⇒ Ord (AsItem ix it) Source #

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 #

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsItem era) Source #

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) Source #

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 #

type Rep (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsItem ix it) = Rep it

newtype AsIx ix it Source #

Constructors

AsIx
Fields unAsIx ∷ ix

Instances

Instances details

ToJSON ix ⇒ ToJSON (AsIx ix it) Source #

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) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AsIx ix it → Encoding Source #

NFData ix ⇒ NFData (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsIx ix it → () #

Generic ix ⇒ Generic (AsIx ix it) Source #

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) Source #

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) Source #

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 #

Eq (AlonzoPlutusPurpose AsIx era) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord (AlonzoPlutusPurpose AsIx era) Source #

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) Source #

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 #

NoThunks (AlonzoPlutusPurpose AsIx era) Source #

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) Source #

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 #

type Rep (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIx ix it) = Rep ix

data AsIxItem ix it Source #

Constructors

AsIxItem
Fields asIndex ∷ !ix asItem ∷ !it

Instances

Instances details

(ToJSON ix, ToJSON it) ⇒ ToJSON (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AsIxItem ix it → Value Source #

toEncoding ∷ AsIxItem ix it → Encoding Source #

toJSONList ∷ [AsIxItem ix it] → Value Source #

toEncodingList ∷ [AsIxItem ix it] → Encoding Source #

omitField ∷ AsIxItem ix it → Bool Source #

(NFData ix, NFData it) ⇒ NFData (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsIxItem ix it → () #

Generic (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsIxItem ix it)

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIxItem ix it) = D1 ('MetaData "AsIxItem" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AsIxItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "asIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ix) :*: S1 ('MetaSel ('Just "asItem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 it)))

Methods

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

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

Show (TxCert era) ⇒ Show (AlonzoPlutusPurpose AsIxItem era) Source #

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 #

(Show ix, Show it) ⇒ Show (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AsIxItem ix it → ShowS #

show ∷ AsIxItem ix it → String #

showList ∷ [AsIxItem ix it] → ShowS #

Eq (TxCert era) ⇒ Eq (AlonzoPlutusPurpose AsIxItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

(Eq ix, Eq it) ⇒ Eq (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

(Ord ix, Ord it) ⇒ Ord (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AsIxItem ix it → AsIxItem ix it → Ordering #

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

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

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

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

max ∷ AsIxItem ix it → AsIxItem ix it → AsIxItem ix it #

min ∷ AsIxItem ix it → AsIxItem ix it → AsIxItem ix it #

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsIxItem era) Source #

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 #

(NoThunks ix, NoThunks it) ⇒ NoThunks (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

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

type Rep (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIxItem ix it) = D1 ('MetaData "AsIxItem" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AsIxItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "asIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ix) :*: S1 ('MetaSel ('Just "asItem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 it)))

toAsItem ∷ AsIxItem ix it → AsItem ix it Source #

toAsIx ∷ AsIxItem ix it → AsIx ix it Source #

Re-exports

module Cardano.Ledger.Plutus.CostModels

module Cardano.Ledger.Plutus.ExUnits

Orphan instances

AllegraEraScript AlonzoEra Source #

Instance details

Methods

mkTimeStart ∷ SlotNo → NativeScript AlonzoEra Source #

getTimeStart ∷ NativeScript AlonzoEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript AlonzoEra Source #

getTimeExpire ∷ NativeScript AlonzoEra → Maybe SlotNo Source #

EraScript AlonzoEra Source #

Instance details

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 #

ShelleyEraScript AlonzoEra Source #

Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AlonzoEra Source #

getRequireSignature ∷ NativeScript AlonzoEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireAllOf ∷ NativeScript AlonzoEra → Maybe (StrictSeq (NativeScript AlonzoEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireAnyOf ∷ NativeScript AlonzoEra → Maybe (StrictSeq (NativeScript AlonzoEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireMOf ∷ NativeScript AlonzoEra → Maybe (Int, StrictSeq (NativeScript AlonzoEra)) Source #