cardano-ledger-alonzo-1.10.0.1: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Alonzo.Scripts

Synopsis

Documentation

newtype PlutusBinary Source #

Binary representation of a Plutus script.

Instances

Instances details
Generic PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Associated Types

type Rep PlutusBinaryTypeType Source #

Show PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

FromCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

ToCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

toCBORPlutusBinaryEncoding Source #

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

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

DecCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

EncCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

SafeToHash PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

NFData PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

rnfPlutusBinary → () Source #

Eq PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Ord PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

NoThunks PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

DecCBOR (Annotator PlutusBinary) 
Instance details

Defined in Cardano.Ledger.Plutus.Language

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.14.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 Timelock script or a Plutus script.

Constructors

TimelockScript !(Timelock era) 
PlutusScript !(PlutusScript era) 

Instances

Instances details
AlonzoEraScript era ⇒ ToJSON (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Generic (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoScript era) ∷ TypeType Source #

Methods

fromAlonzoScript era → Rep (AlonzoScript era) x Source #

toRep (AlonzoScript era) x → AlonzoScript era Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBORAlonzoScript 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

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAlonzoScript era → Encoding Source #

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

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

Eq (PlutusScript era) ⇒ EqRaw (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRawAlonzoScript era → AlonzoScript era → Bool Source #

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

Both constructors know their original bytes

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NFData (PlutusScript era) ⇒ NFData (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAlonzoScript era → () Source #

Eq (PlutusScript era) ⇒ Eq (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

(Era era, NoThunks (PlutusScript era)) ⇒ NoThunks (AlonzoScript era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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.10.0.1-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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 c) 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

validScript ∷ (HasCallStack, AlonzoEraScript era) ⇒ ProtVerScript 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.

eqAlonzoScriptRawEq (PlutusScript 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.

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 #

Associated Types

data PlutusScript era ∷ Type Source #

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

Methods

eraMaxLanguageLanguage Source #

Highest supported Plutus language version for this era.

toPlutusScriptScript era → Maybe (PlutusScript era) Source #

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

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

fromPlutusScriptPlutusScript era → Script era Source #

Convert a AlonzoEraScript to a wrapper type family Script

default fromPlutusScriptScript era ~ AlonzoScript era ⇒ PlutusScript era → Script era Source #

mkPlutusScriptPlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript era) Source #

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

withPlutusScriptPlutusScript era → (∀ l. PlutusLanguage l ⇒ Plutus l → a) → a Source #

Give a AlonzoEraScript 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 (EraCrypto era)) → PlutusPurpose f era Source #

toSpendingPurposePlutusPurpose f era → Maybe (f Word32 (TxIn (EraCrypto era))) Source #

mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto era)) → PlutusPurpose f era Source #

toMintingPurposePlutusPurpose f era → Maybe (f Word32 (PolicyID (EraCrypto era))) Source #

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

toCertifyingPurposePlutusPurpose f era → Maybe (f Word32 (TxCert era)) Source #

mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto era)) → PlutusPurpose f era Source #

toRewardingPurposePlutusPurpose f era → Maybe (f Word32 (RewardAccount (EraCrypto era))) Source #

upgradePlutusPurposeAsIxAlonzoEraScript (PreviousEra era) ⇒ PlutusPurpose AsIx (PreviousEra era) → PlutusPurpose AsIx era Source #

Instances

Instances details
Crypto c ⇒ AlonzoEraScript (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

data PlutusScript (AlonzoEra c) Source #

type PlutusPurpose f (AlonzoEra c) = (r ∷ Type) Source #

Methods

eraMaxLanguageLanguage Source #

toPlutusScriptScript (AlonzoEra c) → Maybe (PlutusScript (AlonzoEra c)) Source #

fromPlutusScriptPlutusScript (AlonzoEra c) → Script (AlonzoEra c) Source #

mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (AlonzoEra c)) Source #

withPlutusScriptPlutusScript (AlonzoEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

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

mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toSpendingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxIn (EraCrypto (AlonzoEra c)))) Source #

mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toMintingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (PolicyID (EraCrypto (AlonzoEra c)))) Source #

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

toCertifyingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxCert (AlonzoEra c))) Source #

mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toRewardingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (AlonzoEra c)))) Source #

upgradePlutusPurposeAsIxPlutusPurpose AsIx (PreviousEra (AlonzoEra c)) → PlutusPurpose AsIx (AlonzoEra c) Source #

withPlutusScriptLanguageAlonzoEraScript era ⇒ LanguagePlutusScript era → (∀ l. 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.

plutusScriptLanguageAlonzoEraScript era ⇒ PlutusScript era → Language Source #

Get value level plutus language of the plutus script

plutusScriptBinaryAlonzoEraScript era ⇒ PlutusScript era → PlutusBinary Source #

Extract binary representation of the script.

isValidPlutusScriptAlonzoEraScript era ⇒ VersionPlutusScript era → Bool Source #

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

toPlutusSLanguage ∷ ∀ l 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.

lookupPlutusScriptAlonzoEraScript era ⇒ ScriptHash (EraCrypto era) → Map (ScriptHash (EraCrypto era)) (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 SpendingPurposeAlonzoEraScript era ⇒ f Word32 (TxIn (EraCrypto era)) → PlutusPurpose f era Source #

pattern CertifyingPurposeAlonzoEraScript era ⇒ f Word32 (TxCert era) → PlutusPurpose f era Source #

data AlonzoPlutusPurpose f era Source #

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

Generic (AlonzoPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoPlutusPurpose f era) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Show (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

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

See note on the EncCBOR instace.

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ DecCBOR (AlonzoPlutusPurpose AsIx era) Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Note - serialization of AlonzoPlutusPurpose AsItem

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ EncCBOR (AlonzoPlutusPurpose AsIx era) Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ DecCBORGroup (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ EncCBORGroup (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAlonzoPlutusPurpose f era → () Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Eq (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Ord (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

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.10.0.1-inplace" 'False) ((C1 ('MetaCons "AlonzoSpending" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxIn (EraCrypto era))))) :+: C1 ('MetaCons "AlonzoMinting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (PolicyID (EraCrypto era)))))) :+: (C1 ('MetaCons "AlonzoCertifying" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))) :+: C1 ('MetaCons "AlonzoRewarding" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (RewardAccount (EraCrypto era)))))))

newtype AsItem ix it Source #

Constructors

AsItem 

Fields

Instances

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSONAsItem ix it → Value Source #

toEncodingAsItem ix it → Encoding Source #

toJSONList ∷ [AsItem ix it] → Value Source #

toEncodingList ∷ [AsItem ix it] → Encoding Source #

omitFieldAsItem ix it → Bool Source #

Generic it ⇒ Generic (AsItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsItem ix it) ∷ TypeType Source #

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Scripts

Show it ⇒ Show (AsItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrecIntAsItem ix it → ShowS Source #

showAsItem ix it → String Source #

showList ∷ [AsItem ix it] → ShowS Source #

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

See note on the EncCBOR instace.

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBORDecoder s (AsItem ix it) Source #

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

labelProxy (AsItem ix it) → Text Source #

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

Note - serialization of AlonzoPlutusPurpose AsItem

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAsItem ix it → Encoding Source #

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

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

NFData it ⇒ NFData (AsItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAsItem ix it → () Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Eq it ⇒ Eq (AsItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord it ⇒ Ord (AsItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compareAsItem ix it → AsItem ix it → Ordering Source #

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

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

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

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

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

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

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

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks it ⇒ NoThunks (AsItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunksContextAsItem ix it → IO (Maybe ThunkInfo) Source #

wNoThunksContextAsItem ix it → IO (Maybe ThunkInfo) Source #

showTypeOfProxy (AsItem ix it) → String Source #

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

Instances

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSONAsIx ix it → Value Source #

toEncodingAsIx ix it → Encoding Source #

toJSONList ∷ [AsIx ix it] → Value Source #

toEncodingList ∷ [AsIx ix it] → Encoding Source #

omitFieldAsIx ix it → Bool Source #

Generic ix ⇒ Generic (AsIx ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsIx ix it) ∷ TypeType Source #

Methods

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

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

Show (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show ix ⇒ Show (AsIx ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrecIntAsIx ix it → ShowS Source #

showAsIx ix it → String Source #

showList ∷ [AsIx ix it] → ShowS Source #

Era era ⇒ DecCBOR (AlonzoPlutusPurpose AsIx era) Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBORDecoder s (AsIx ix it) Source #

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

labelProxy (AsIx ix it) → Text Source #

Era era ⇒ EncCBOR (AlonzoPlutusPurpose AsIx era) Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAsIx ix it → Encoding Source #

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

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

Era era ⇒ DecCBORGroup (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Era era ⇒ EncCBORGroup (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NFData ix ⇒ NFData (AsIx ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAsIx ix it → () Source #

Eq (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq ix ⇒ Eq (AsIx ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Ord (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord ix ⇒ Ord (AsIx ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compareAsIx ix it → AsIx ix it → Ordering Source #

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

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

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

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

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

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

NoThunks (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks ix ⇒ NoThunks (AsIx ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunksContextAsIx ix it → IO (Maybe ThunkInfo) Source #

wNoThunksContextAsIx ix it → IO (Maybe ThunkInfo) Source #

showTypeOfProxy (AsIx ix it) → String Source #

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

Instances

Instances details
(ToJSON ix, ToJSON it) ⇒ ToJSON (AsIxItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Generic (AsIxItem ix it) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsIxItem ix it) ∷ TypeType Source #

Methods

fromAsIxItem ix it → Rep (AsIxItem ix it) x Source #

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

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

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrecIntAsIxItem ix it → ShowS Source #

showAsIxItem ix it → String Source #

showList ∷ [AsIxItem ix it] → ShowS Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAsIxItem ix it → () Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

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

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

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compareAsIxItem ix it → AsIxItem ix it → Ordering Source #

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

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

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

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

maxAsIxItem ix it → AsIxItem ix it → AsIxItem ix it Source #

minAsIxItem ix it → AsIxItem ix it → AsIxItem ix it Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

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.10.0.1-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)))

toAsItemAsIxItem ix it → AsItem ix it Source #

toAsIxAsIxItem ix it → AsIx ix it Source #

Re-exports

Orphan instances

Crypto c ⇒ AllegraEraScript (AlonzoEra c) Source # 
Instance details

Crypto c ⇒ EraScript (AlonzoEra c) Source # 
Instance details

Associated Types

type Script (AlonzoEra c) = (r ∷ Type) Source #

type NativeScript (AlonzoEra c) = (r ∷ Type) Source #

Crypto c ⇒ ShelleyEraScript (AlonzoEra c) Source # 
Instance details