Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-api-11.7.0.0

Cardano.Api.Experimental.AnyScriptWitness

3 types
10 values

Packagecardano-api-11.7.0.0
Exports13
LicenceApache-2.0

valuecreatePlutusSpendingScriptWitness

:: SLanguage lang
-> PlutusScriptWitness lang 'SpendingScript era
-> PlutusSpendingScriptWitness era

valuegetAnyPlutusScriptData

:: Era era
=> AnyPlutusScriptWitness lang purpose era
-> TxDats era

valuegetAnyPlutusScriptWitnessExecutionUnits

:: AnyPlutusScriptWitness lang purpose era
-> ExecutionUnits

valuegetAnyPlutusScriptWitnessLanguage

:: AnyPlutusScriptWitness lang purpose era
-> Language

valuegetAnyPlutusScriptWitnessRedeemer

:: AnyPlutusScriptWitness lang purpose era
-> ScriptRedeemer

valuegetAnyPlutusScriptWitnessReferenceInput

:: AnyPlutusScriptWitness lang purpose era
-> Maybe TxIn

valuegetAnyPlutusWitnessPlutusScript

:: AlonzoEraScript era
=> AnyPlutusScriptWitness lang purpose era
-> Maybe (Script era)

valuegetAnyScriptWitnessReferenceInput :: AnyScriptWitness era -> Maybe TxIn

valuelangTypeEquality

:: (Typeable langA, Typeable langB)
=> PlutusScriptWitness langA purpose era
-> PlutusScriptWitness langB purpose era
-> Maybe (langA :~: langB)

valueupdatePlutusScriptWitnessExecutionUnits

:: ExecutionUnits
-> AnyPlutusScriptWitness lang purpose era
-> AnyPlutusScriptWitness lang purpose era

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

Constructors

AnyPlutusSpendingScriptWitness :: PlutusSpendingScriptWitness era -> AnyPlutusScriptWitness lang 'SpendingScript era
AnyPlutusMintingScriptWitness :: Typeable lang => PlutusScriptWitness lang 'MintingScript era -> AnyPlutusScriptWitness lang 'MintingScript era
AnyPlutusWithdrawingScriptWitness :: Typeable lang => PlutusScriptWitness lang 'WithdrawingScript era -> AnyPlutusScriptWitness lang 'WithdrawingScript era
AnyPlutusCertifyingScriptWitness :: Typeable lang => PlutusScriptWitness lang 'CertifyingScript era -> AnyPlutusScriptWitness lang 'CertifyingScript era
AnyPlutusProposingScriptWitness :: Typeable lang => PlutusScriptWitness lang 'ProposingScript era -> AnyPlutusScriptWitness lang 'ProposingScript era
AnyPlutusVotingScriptWitness :: Typeable lang => PlutusScriptWitness lang 'VotingScript era -> AnyPlutusScriptWitness lang 'VotingScript era

Instances2Eq, Show

Eq (AnyPlutusScriptWitness lang purpose era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScriptWitness
Show (AnyPlutusScriptWitness lang purpose era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScriptWitness

datadata AnyScriptWitness era where

Constructors

AnyScriptWitnessSimple :: SimpleScriptOrReferenceInput era -> AnyScriptWitness era
AnyScriptWitnessPlutus :: AnyPlutusScriptWitness lang purpose era -> AnyScriptWitness era

Instances2Eq, Show

Eq (AnyScriptWitness era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScriptWitness
Show (AnyScriptWitness era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScriptWitness

datadata PlutusSpendingScriptWitness era

Constructors

PlutusSpendingScriptWitnessV1 (PlutusScriptWitness 'PlutusV1 'SpendingScript era)
PlutusSpendingScriptWitnessV2 (PlutusScriptWitness 'PlutusV2 'SpendingScript era)
PlutusSpendingScriptWitnessV3 (PlutusScriptWitness 'PlutusV3 'SpendingScript era)
PlutusSpendingScriptWitnessV4 (PlutusScriptWitness 'PlutusV4 'SpendingScript era)

Instances2Eq, Show

Eq (PlutusSpendingScriptWitness era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScriptWitness
Show (PlutusSpendingScriptWitness era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScriptWitness