Cardano.Api.Experimental.Plutus · cardano-api-11.7.0.0

valueconstructRedeeemerPointerMap

:: AlonzoEraScript era
=> [AnyIndexedPlutusScriptWitness era]
-> Redeemers era

#

valuecreateIndexedPlutusScriptWitnesses

:: AlonzoEraScript era
=> [(Witnessable witnessable era, AnyWitness era)]
-> [AnyIndexedPlutusScriptWitness era]

#

valuegetAnyWitnessRedeemerPointerMap

:: AlonzoEraScript era
=> [(Witnessable witnessable era, AnyWitness era)]
-> Redeemers era

#

valueobtainAlonzoScriptPurposeConstraints

:: AlonzoEraOnwards era
-> AlonzoEraScript (ShelleyLedgerEra era) => a
-> a

#

valuetoPlutusScriptPurpose

:: Word32
-> Witnessable thing era
-> PlutusPurpose AsIx era

#

valuetoPlutusScriptPurposeIndex

:: ShelleyBasedEra era
-> PlutusPurpose AsIx (ShelleyLedgerEra era)
-> (PlutusScriptPurpose, Word32)

#

valuedecodeAnyPlutusScript

:: Era era
=> ByteString
-> AnyPlutusScriptLanguage
-> Either DecoderError (AnyPlutusScript era)

#

valuedeserialiseAnyPlutusScriptFromTextEnvelope

:: Era era
=> TextEnvelope
-> Either TextEnvelopeError (AnyPlutusScript era)

#

valuedeserialisePlutusScriptInEra

:: (PlutusLanguage lang, HasTypeProxy (SLanguage lang), Era era)
=> SLanguage lang
-> ByteString
-> Either DecoderError (PlutusScriptInEra lang era)

#

valuehashPlutusScriptInEra

:: IsEra era
=> PlutusScriptInEra lang (LedgerEra era)
-> ScriptHash

#

valueobtainLangConstraints

:: SLanguage lang
-> (PlutusLanguage lang, Typeable lang, HasTypeProxy (SLanguage lang)) => a
-> a

#

valueplutusLanguageToText :: AnyPlutusScriptLanguage -> Text

#

valueplutusScriptInEraLanguage

:: PlutusLanguage lang
=> PlutusScriptInEra lang era
-> Language

#

valueplutusScriptInEraSLanguage

:: PlutusLanguage lang
=> PlutusScriptInEra lang era
-> SLanguage lang

#

valueplutusScriptInEraToScript

:: AlonzoEraScript era
=> PlutusScriptInEra lang era
-> Script era

#

valueserialiseAnyPlutusScriptToTextEnvelope

#

valuetextToPlutusLanguage :: Text -> Maybe AnyPlutusScriptLanguage

#

valuegetPlutusScriptWitnessLanguage

:: PlutusScriptWitness lang purpose era
-> Language

#

valuefromPlutusSLanguage

:: SLanguage lang
-> PlutusScriptVersion (FromLedgerPlutusLanguage lang)

#

valuelegacyWitnessConversion

:: AlonzoEraOnwards era
-> [(Witnessable witnessable (ShelleyLedgerEra era), BuildTxWith BuildTx (Witness ctx era))]
-> Either DecoderError [(Witnessable witnessable (ShelleyLedgerEra era), AnyWitness (ShelleyLedgerEra era))]

#

valuelegacyWitnessToScriptRequirements

:: AlonzoEraOnwards era
-> [(Witnessable witnessable (ShelleyLedgerEra era), BuildTxWith BuildTx (Witness ctx era))]
-> Either DecoderError (TxScriptWitnessRequirements (ShelleyLedgerEra era))

#

valuemkLegacyPolicyId :: IsEra era => Script (LedgerEra era) -> PolicyId

#

valuetoPlutusSLanguage

:: PlutusScriptVersion lang
-> SLanguage (ToLedgerPlutusLanguage lang)

#

datadata AnyIndexedPlutusScriptWitness era where

#

Constructors

AnyIndexedPlutusScriptWitness :: IndexedPlutusScriptWitness witnessable lang purpose era -> AnyIndexedPlutusScriptWitness era

Instances1Show

Show (AnyIndexedPlutusScriptWitness era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.IndexedPlutusScriptWitness

data

data IndexedPlutusScriptWitness (witnessable :: WitnessableItem) (lang :: Language) (purpose :: PlutusScriptPurpose) era where

#

Constructors

IndexedPlutusScriptWitness :: AlonzoEraScript era => Witnessable witnessable era -> PlutusPurpose AsIx era -> AnyPlutusScriptWitness lang purpose era -> IndexedPlutusScriptWitness witnessable lang purpose era

Instances1Show

Show (IndexedPlutusScriptWitness witnessable lang purpose era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.IndexedPlutusScriptWitness

datadata Witnessable (thing :: WitnessableItem) era where

#

Constructors

WitTxIn :: AlonzoEraScript era => TxIn -> Witnessable 'TxInItem era
WitTxCert :: (EraTxCert era, AlonzoEraScript era) => TxCert era -> Witnessable 'CertItem era
WitMint :: AlonzoEraScript era => PolicyId -> PolicyAssets -> Witnessable 'MintItem era
WitWithdrawal :: AlonzoEraScript era => StakeAddress -> Coin -> Witnessable 'WithdrawalItem era
WitVote :: ConwayEraScript era => Voter -> Witnessable 'VoterItem era
WitProposal :: (ConwayEraScript era, EraPParams era) => ProposalProcedure era -> Witnessable 'ProposalItem era

Instances2Eq, Show

Eq (Witnessable thing era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.IndexedPlutusScriptWitness
Show (Witnessable thing era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.IndexedPlutusScriptWitness

datadata WitnessableItem

#

TxInItem CertItem MintItem WithdrawalItem VoterItem ProposalItem

datadata AnyPlutusScript era where

#

Constructors

AnyPlutusScript :: (Era era, Typeable lang, PlutusLanguage lang) => PlutusScriptInEra lang era -> AnyPlutusScript era

Instances2Eq, Show

Eq (AnyPlutusScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
Show (AnyPlutusScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script

datadata AnyPlutusScriptLanguage where

#

Constructors

AnyPlutusScriptLanguage :: PlutusLanguage lang => SLanguage lang -> AnyPlutusScriptLanguage

Instances1Show

Show AnyPlutusScriptLanguageDefined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script

datadata PlutusScriptInEra (lang :: Language) era where

#

Constructors

PlutusScriptInEra :: PlutusLanguage lang => PlutusRunnable lang -> PlutusScriptInEra lang era

Instances6Eq, Show, HasTypeProxy, SerialiseAsCBOR, HasTextEnvelope, AsType

Eq (PlutusScriptInEra lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
Show (PlutusScriptInEra lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
(Typeable era, Typeable lang, HasTypeProxy (SLanguage lang)) => HasTypeProxy (PlutusScriptInEra lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
(Era era, Typeable era, Typeable lang, PlutusLanguage lang, HasTypeProxy (SLanguage lang)) => SerialiseAsCBOR (PlutusScriptInEra lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
(PlutusLanguage lang, Era era, HasTypeProxy (SLanguage lang)) => HasTextEnvelope (PlutusScriptInEra lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
data AsType (PlutusScriptInEra lang era)
- AsPlutusScriptInEra (AsType (SLanguage lang))
Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script

datadata PlutusScriptOrReferenceInput (lang :: Language) era

#

Instances2Eq, Show

Eq (PlutusScriptOrReferenceInput lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
Show (PlutusScriptOrReferenceInput lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script

datadata NoScriptDatum

#

Instances2Eq, Show

Eq NoScriptDatumDefined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Show NoScriptDatumDefined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness

datadata PlutusScriptDatum (lang :: Language) (purpose :: PlutusScriptPurpose) where

#

Constructors

SpendingScriptDatum :: PlutusScriptDatumF lang 'SpendingScript -> PlutusScriptDatum lang 'SpendingScript
InlineDatum :: PlutusScriptDatum lang purpose
NoScriptDatum :: PlutusScriptDatum lang purpose

Instances7Eq, Show, …

Eq (PlutusScriptDatum lang 'CertifyingScript)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptDatum lang 'MintingScript)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptDatum lang 'ProposingScript)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptDatum lang 'VotingScript)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptDatum lang 'WithdrawingScript)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptDatumF lang 'SpendingScript) => Eq (PlutusScriptDatum lang 'SpendingScript)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Show (PlutusScriptDatum lang purpose)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness

datadata PlutusScriptPurpose

#

SpendingScript MintingScript WithdrawingScript CertifyingScript ProposingScript VotingScript GuardingScript

Instances3Eq, Ord, Show

Eq PlutusScriptPurposeDefined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Ord PlutusScriptPurposeDefined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Show PlutusScriptPurposeDefined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness

datadata PlutusScriptWitness (lang :: Language) (purpose :: PlutusScriptPurpose) era where

#

Constructors

PlutusScriptWitness :: SLanguage lang -> PlutusScriptOrReferenceInput lang era -> PlutusScriptDatum lang purpose -> ScriptRedeemer -> ExecutionUnits -> PlutusScriptWitness lang purpose era

Instances10Eq, Show, …

Eq (PlutusScriptWitness 'PlutusV1 'SpendingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness 'PlutusV2 'SpendingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness 'PlutusV3 'SpendingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness 'PlutusV4 'SpendingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness lang 'CertifyingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness lang 'MintingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness lang 'ProposingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness lang 'VotingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Eq (PlutusScriptWitness lang 'WithdrawingScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
Show (PlutusScriptWitness lang purpose era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.ScriptWitness

typetype ScriptRedeemer = HashableScriptData

#