cardano-cli
Safe HaskellNone
LanguageHaskell2010

Cardano.CLI.EraBased.Script.Type

Synopsis

Documentation

data AnyPlutusScript where Source #

Constructors

AnyPlutusScript :: forall lang. IsPlutusScriptLanguage lang => PlutusScriptVersion lang -> PlutusScript lang -> AnyPlutusScript 

New experimental api

data ScriptRequirements (witnessable :: WitnessableItem) where Source #

Encapsulates the requirements for a simple or plutus script being read from disk.

Constructors

OnDiskSimpleScript :: forall (witnessable :: WitnessableItem). File ScriptInAnyLang 'In -> ScriptRequirements witnessable 
OnDiskPlutusScript :: forall (witnessable :: WitnessableItem). OnDiskPlutusScriptCliArgs witnessable -> ScriptRequirements witnessable 
PlutusReferenceScript :: forall (witnessable :: WitnessableItem). PlutusRefScriptCliArgs witnessable -> ScriptRequirements witnessable 
SimpleReferenceScript :: forall (witnessable :: WitnessableItem). SimpleRefScriptCliArgs witnessable -> ScriptRequirements witnessable 

Instances

Instances details
Show (ScriptRequirements 'CertItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> ScriptRequirements 'CertItem -> ShowS Source #

show :: ScriptRequirements 'CertItem -> String Source #

showList :: [ScriptRequirements 'CertItem] -> ShowS Source #

Show (ScriptRequirements 'MintItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> ScriptRequirements 'MintItem -> ShowS Source #

show :: ScriptRequirements 'MintItem -> String Source #

showList :: [ScriptRequirements 'MintItem] -> ShowS Source #

Show (ScriptRequirements 'ProposalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> ScriptRequirements 'ProposalItem -> ShowS Source #

show :: ScriptRequirements 'ProposalItem -> String Source #

showList :: [ScriptRequirements 'ProposalItem] -> ShowS Source #

Show (ScriptRequirements 'TxInItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> ScriptRequirements 'TxInItem -> ShowS Source #

show :: ScriptRequirements 'TxInItem -> String Source #

showList :: [ScriptRequirements 'TxInItem] -> ShowS Source #

Show (ScriptRequirements 'VoterItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> ScriptRequirements 'VoterItem -> ShowS Source #

show :: ScriptRequirements 'VoterItem -> String Source #

showList :: [ScriptRequirements 'VoterItem] -> ShowS Source #

Show (ScriptRequirements 'WithdrawalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> ScriptRequirements 'WithdrawalItem -> ShowS Source #

show :: ScriptRequirements 'WithdrawalItem -> String Source #

showList :: [ScriptRequirements 'WithdrawalItem] -> ShowS Source #

data OnDiskPlutusScriptCliArgs (witnessable :: WitnessableItem) where Source #

Constructors

OnDiskPlutusScriptCliArgs 

Fields

Instances

Instances details
Show (OnDiskPlutusScriptCliArgs 'CertItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> OnDiskPlutusScriptCliArgs 'CertItem -> ShowS Source #

show :: OnDiskPlutusScriptCliArgs 'CertItem -> String Source #

showList :: [OnDiskPlutusScriptCliArgs 'CertItem] -> ShowS Source #

Show (OnDiskPlutusScriptCliArgs 'MintItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> OnDiskPlutusScriptCliArgs 'MintItem -> ShowS Source #

show :: OnDiskPlutusScriptCliArgs 'MintItem -> String Source #

showList :: [OnDiskPlutusScriptCliArgs 'MintItem] -> ShowS Source #

Show (OnDiskPlutusScriptCliArgs 'ProposalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> OnDiskPlutusScriptCliArgs 'ProposalItem -> ShowS Source #

show :: OnDiskPlutusScriptCliArgs 'ProposalItem -> String Source #

showList :: [OnDiskPlutusScriptCliArgs 'ProposalItem] -> ShowS Source #

Show (OnDiskPlutusScriptCliArgs 'TxInItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> OnDiskPlutusScriptCliArgs 'TxInItem -> ShowS Source #

show :: OnDiskPlutusScriptCliArgs 'TxInItem -> String Source #

showList :: [OnDiskPlutusScriptCliArgs 'TxInItem] -> ShowS Source #

Show (OnDiskPlutusScriptCliArgs 'VoterItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> OnDiskPlutusScriptCliArgs 'VoterItem -> ShowS Source #

show :: OnDiskPlutusScriptCliArgs 'VoterItem -> String Source #

showList :: [OnDiskPlutusScriptCliArgs 'VoterItem] -> ShowS Source #

Show (OnDiskPlutusScriptCliArgs 'WithdrawalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> OnDiskPlutusScriptCliArgs 'WithdrawalItem -> ShowS Source #

show :: OnDiskPlutusScriptCliArgs 'WithdrawalItem -> String Source #

showList :: [OnDiskPlutusScriptCliArgs 'WithdrawalItem] -> ShowS Source #

data PlutusRefScriptCliArgs (witnessable :: WitnessableItem) where Source #

Constructors

PlutusRefScriptCliArgs 

Fields

Instances

Instances details
Show (PlutusRefScriptCliArgs 'CertItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> PlutusRefScriptCliArgs 'CertItem -> ShowS Source #

show :: PlutusRefScriptCliArgs 'CertItem -> String Source #

showList :: [PlutusRefScriptCliArgs 'CertItem] -> ShowS Source #

Show (PlutusRefScriptCliArgs 'MintItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> PlutusRefScriptCliArgs 'MintItem -> ShowS Source #

show :: PlutusRefScriptCliArgs 'MintItem -> String Source #

showList :: [PlutusRefScriptCliArgs 'MintItem] -> ShowS Source #

Show (PlutusRefScriptCliArgs 'ProposalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> PlutusRefScriptCliArgs 'ProposalItem -> ShowS Source #

show :: PlutusRefScriptCliArgs 'ProposalItem -> String Source #

showList :: [PlutusRefScriptCliArgs 'ProposalItem] -> ShowS Source #

Show (PlutusRefScriptCliArgs 'TxInItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> PlutusRefScriptCliArgs 'TxInItem -> ShowS Source #

show :: PlutusRefScriptCliArgs 'TxInItem -> String Source #

showList :: [PlutusRefScriptCliArgs 'TxInItem] -> ShowS Source #

Show (PlutusRefScriptCliArgs 'VoterItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> PlutusRefScriptCliArgs 'VoterItem -> ShowS Source #

show :: PlutusRefScriptCliArgs 'VoterItem -> String Source #

showList :: [PlutusRefScriptCliArgs 'VoterItem] -> ShowS Source #

Show (PlutusRefScriptCliArgs 'WithdrawalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> PlutusRefScriptCliArgs 'WithdrawalItem -> ShowS Source #

show :: PlutusRefScriptCliArgs 'WithdrawalItem -> String Source #

showList :: [PlutusRefScriptCliArgs 'WithdrawalItem] -> ShowS Source #

type family MintPolicyId (a :: WitnessableItem) where ... Source #

Equations

MintPolicyId 'TxInItem = NoPolicyId 
MintPolicyId 'CertItem = NoPolicyId 
MintPolicyId 'MintItem = PolicyId 
MintPolicyId 'WithdrawalItem = NoPolicyId 
MintPolicyId 'VoterItem = NoPolicyId 
MintPolicyId 'ProposalItem = NoPolicyId 

data NoPolicyId Source #

Constructors

NoPolicyId 

Instances

Instances details
Show NoPolicyId Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> NoPolicyId -> ShowS Source #

show :: NoPolicyId -> String Source #

showList :: [NoPolicyId] -> ShowS Source #

type family OptionalDatum (a :: WitnessableItem) where ... Source #

Equations

OptionalDatum 'TxInItem = ScriptDatumOrFileSpending 
OptionalDatum 'CertItem = NoScriptDatum 
OptionalDatum 'MintItem = NoScriptDatum 
OptionalDatum 'WithdrawalItem = NoScriptDatum 
OptionalDatum 'VoterItem = NoScriptDatum 
OptionalDatum 'ProposalItem = NoScriptDatum 

data SimpleRefScriptCliArgs (witnessable :: WitnessableItem) where Source #

Constructors

SimpleRefScriptArgs :: forall (witnessable :: WitnessableItem). TxIn -> MintPolicyId witnessable -> SimpleRefScriptCliArgs witnessable 

Instances

Instances details
Show (SimpleRefScriptCliArgs 'CertItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> SimpleRefScriptCliArgs 'CertItem -> ShowS Source #

show :: SimpleRefScriptCliArgs 'CertItem -> String Source #

showList :: [SimpleRefScriptCliArgs 'CertItem] -> ShowS Source #

Show (SimpleRefScriptCliArgs 'MintItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> SimpleRefScriptCliArgs 'MintItem -> ShowS Source #

show :: SimpleRefScriptCliArgs 'MintItem -> String Source #

showList :: [SimpleRefScriptCliArgs 'MintItem] -> ShowS Source #

Show (SimpleRefScriptCliArgs 'ProposalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> SimpleRefScriptCliArgs 'ProposalItem -> ShowS Source #

show :: SimpleRefScriptCliArgs 'ProposalItem -> String Source #

showList :: [SimpleRefScriptCliArgs 'ProposalItem] -> ShowS Source #

Show (SimpleRefScriptCliArgs 'TxInItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> SimpleRefScriptCliArgs 'TxInItem -> ShowS Source #

show :: SimpleRefScriptCliArgs 'TxInItem -> String Source #

showList :: [SimpleRefScriptCliArgs 'TxInItem] -> ShowS Source #

Show (SimpleRefScriptCliArgs 'VoterItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> SimpleRefScriptCliArgs 'VoterItem -> ShowS Source #

show :: SimpleRefScriptCliArgs 'VoterItem -> String Source #

showList :: [SimpleRefScriptCliArgs 'VoterItem] -> ShowS Source #

Show (SimpleRefScriptCliArgs 'WithdrawalItem) Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> SimpleRefScriptCliArgs 'WithdrawalItem -> ShowS Source #

show :: SimpleRefScriptCliArgs 'WithdrawalItem -> String Source #

showList :: [SimpleRefScriptCliArgs 'WithdrawalItem] -> ShowS Source #

data ScriptDatumOrFileSpending Source #

Constructors

PotentialDatum (Maybe ScriptDataOrFile) 
InlineDatum 

Instances

Instances details
Show ScriptDatumOrFileSpending Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> ScriptDatumOrFileSpending -> ShowS Source #

show :: ScriptDatumOrFileSpending -> String Source #

showList :: [ScriptDatumOrFileSpending] -> ShowS Source #

Errors

data CliScriptWitnessError Source #

Constructors

PlutusScriptWitnessLanguageNotSupportedInEra AnyPlutusScriptVersion AnyShelleyBasedEra 

Instances

Instances details
Show CliScriptWitnessError Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

showsPrec :: Int -> CliScriptWitnessError -> ShowS Source #

show :: CliScriptWitnessError -> String Source #

showList :: [CliScriptWitnessError] -> ShowS Source #

Error CliScriptWitnessError Source # 
Instance details

Defined in Cardano.CLI.EraBased.Script.Type

Methods

prettyError :: CliScriptWitnessError -> Doc ann Source #