cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Experimental.AnyScriptWitness

Documentation

data AnyScriptWitness era where Source #

Constructors

AnyScriptWitnessSimple :: forall era. SimpleScriptOrReferenceInput era -> AnyScriptWitness era 
AnyScriptWitnessPlutus :: forall (lang :: Language) (purpose :: PlutusScriptPurpose) era. AnyPlutusScriptWitness lang purpose era -> AnyScriptWitness era 

Instances

Instances details
Show (AnyScriptWitness era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScriptWitness

Methods

showsPrec :: Int -> AnyScriptWitness era -> ShowS Source #

show :: AnyScriptWitness era -> String Source #

showList :: [AnyScriptWitness era] -> ShowS Source #

Eq (AnyScriptWitness era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScriptWitness

Methods

(==) :: AnyScriptWitness era -> AnyScriptWitness era -> Bool Source #

(/=) :: AnyScriptWitness era -> AnyScriptWitness era -> Bool Source #

data AnyPlutusScriptWitness (lang :: Language) (purpose :: PlutusScriptPurpose) era where Source #

Constructors

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

Instances

Instances details
Show (AnyPlutusScriptWitness lang purpose era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScriptWitness

Methods

showsPrec :: Int -> AnyPlutusScriptWitness lang purpose era -> ShowS Source #

show :: AnyPlutusScriptWitness lang purpose era -> String Source #

showList :: [AnyPlutusScriptWitness lang purpose era] -> ShowS Source #

Eq (AnyPlutusScriptWitness lang purpose era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScriptWitness

Methods

(==) :: AnyPlutusScriptWitness lang purpose era -> AnyPlutusScriptWitness lang purpose era -> Bool Source #

(/=) :: AnyPlutusScriptWitness lang purpose era -> AnyPlutusScriptWitness lang purpose era -> Bool Source #

data PlutusSpendingScriptWitness era Source #

Constructors

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

Instances

Instances details
Show (PlutusSpendingScriptWitness era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScriptWitness

Methods

showsPrec :: Int -> PlutusSpendingScriptWitness era -> ShowS Source #

show :: PlutusSpendingScriptWitness era -> String Source #

showList :: [PlutusSpendingScriptWitness era] -> ShowS Source #

Eq (PlutusSpendingScriptWitness era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScriptWitness

Methods

(==) :: PlutusSpendingScriptWitness era -> PlutusSpendingScriptWitness era -> Bool Source #

(/=) :: PlutusSpendingScriptWitness era -> PlutusSpendingScriptWitness era -> Bool Source #

createPlutusSpendingScriptWitness :: forall (lang :: Language) era. SLanguage lang -> PlutusScriptWitness lang 'SpendingScript era -> PlutusSpendingScriptWitness era Source #

getAnyPlutusScriptData :: forall era (lang :: Language) (purpose :: PlutusScriptPurpose). Era era => AnyPlutusScriptWitness lang purpose era -> TxDats era Source #

getAnyPlutusScriptWitnessExecutionUnits :: forall (lang :: Language) (purpose :: PlutusScriptPurpose) era. AnyPlutusScriptWitness lang purpose era -> ExecutionUnits Source #

getAnyPlutusScriptWitnessRedeemer :: forall (lang :: Language) (purpose :: PlutusScriptPurpose) era. AnyPlutusScriptWitness lang purpose era -> ScriptRedeemer Source #

getAnyPlutusScriptWitnessReferenceInput :: forall (lang :: Language) (purpose :: PlutusScriptPurpose) era. AnyPlutusScriptWitness lang purpose era -> Maybe TxIn Source #

getAnyPlutusWitnessPlutusScript :: forall era (lang :: Language) (purpose :: PlutusScriptPurpose). AlonzoEraScript era => AnyPlutusScriptWitness lang purpose era -> Maybe (Script era) Source #

getAnyPlutusScriptWitnessLanguage :: forall (lang :: Language) (purpose :: PlutusScriptPurpose) era. AnyPlutusScriptWitness lang purpose era -> Language Source #

langTypeEquality :: forall (langA :: Language) (langB :: Language) (purpose :: PlutusScriptPurpose) era. (Typeable langA, Typeable langB) => PlutusScriptWitness langA purpose era -> PlutusScriptWitness langB purpose era -> Maybe (langA :~: langB) Source #

updatePlutusScriptWitnessExecutionUnits :: forall (lang :: Language) (purpose :: PlutusScriptPurpose) era. ExecutionUnits -> AnyPlutusScriptWitness lang purpose era -> AnyPlutusScriptWitness lang purpose era Source #