cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Experimental.AnyScript

Synopsis

Documentation

data AnyScript era where Source #

Constructors

AnySimpleScript :: forall era. SimpleScript era -> AnyScript era 
AnyPlutusScript :: forall (lang :: Language) era. (PlutusLanguage lang, Typeable lang) => PlutusScriptInEra lang era -> AnyScript era 

Instances

Instances details
Era era => HasTypeProxy (AnyScript era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScript

Associated Types

data AsType (AnyScript era) 
Instance details

Defined in Cardano.Api.Experimental.AnyScript

data AsType (AnyScript era) = AsAnyScript

Methods

proxyToAsType :: Proxy (AnyScript era) -> AsType (AnyScript era) Source #

AlonzoEraScript era => SerialiseAsCBOR (AnyScript era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScript

Methods

serialiseToCBOR :: AnyScript era -> ByteString Source #

deserialiseFromCBOR :: AsType (AnyScript era) -> ByteString -> Either DecoderError (AnyScript era) Source #

Show (AnyScript era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScript

Methods

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

show :: AnyScript era -> String Source #

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

Eq (AnyScript era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScript

Methods

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

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

data AsType (AnyScript era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScript

data AsType (AnyScript era) = AsAnyScript

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details
Typeable t => Show (AsType t) Source #

Generalised show instance for all singletons of AsType displaying the type.

Instance details

Defined in Cardano.Api.HasTypeProxy

Methods

showsPrec :: Int -> AsType t -> ShowS Source #

show :: AsType t -> String Source #

showList :: [AsType t] -> ShowS Source #

data AsType ByteString Source # 
Instance details

Defined in Cardano.Api.HasTypeProxy

data AsType ByteString = AsByteString
data AsType ByteString Source # 
Instance details

Defined in Cardano.Api.HasTypeProxy

data AsType ByteString = AsByteStringLazy
data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType BlockHeader = AsBlockHeader
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronVote = AsByronVote
data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ByronEra = AsByronEra
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ConwayEra = AsConwayEra
data AsType DijkstraEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType DijkstraEra = AsDijkstraEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeKey = AsStakeKey
data AsType StakePoolExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolExtendedKey = AsStakePoolExtendedKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolKey = AsStakePoolKey
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType KesKey = AsKesKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType VrfKey = AsVrfKey
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType PlutusScriptV4 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV4 = AsPlutusScriptV4
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType ScriptData = AsScriptData
data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal
data AsType EraHistory Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

data AsType EraHistory = AsEraHistory
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.Serialise.TextEnvelope.Internal

data AsType TextEnvelope = AsTextEnvelope
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType PolicyId = AsPolicyId
data AsType GovActionId Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType GovActionId = AsGovActionId
data AsType GovActionIx Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType GovActionIx = AsGovActionIx
data AsType Term Source # 
Instance details

Defined in Cardano.Api.Serialise.Cbor.Canonical

data AsType Term = AsTerm
data AsType Word16 Source # 
Instance details

Defined in Cardano.Api.HasTypeProxy

data AsType Word16 = AsWord16
data AsType Word32 Source # 
Instance details

Defined in Cardano.Api.HasTypeProxy

data AsType Word32 = AsWord32
data AsType Word64 Source # 
Instance details

Defined in Cardano.Api.HasTypeProxy

data AsType Word64 = AsWord64
data AsType Word8 Source # 
Instance details

Defined in Cardano.Api.HasTypeProxy

data AsType Word8 = AsWord8
data AsType Natural Source # 
Instance details

Defined in Cardano.Api.HasTypeProxy

data AsType Natural = AsNatural
data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal

data AsType (Certificate era) = AsCertificate
data AsType (AnyScript era) Source # 
Instance details

Defined in Cardano.Api.Experimental.AnyScript

data AsType (AnyScript era) = AsAnyScript
data AsType (SimpleScript era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Simple.Script

data AsType (SimpleScript era) = AsSimpleScriptEra (Proxy era)
data AsType (SignedTx era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Tx

data AsType (SignedTx era) = AsSignedTx (AsType era)
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Tx.Internal.Certificate.Type

data AsType (Certificate era) = AsCertificate
data AsType (UnsignedTx era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Tx.Internal.Type

data AsType (UnsignedTx era) = AsUnsignedTx (AsType (ToApiEra era))
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (Credential 'ColdCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential
data AsType (Credential 'DRepRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'DRepRole) = AsDrepCredential
data AsType (Credential 'HotCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential
data AsType (SLanguage 'PlutusV1) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (SLanguage 'PlutusV1) = AsPlutusScriptV1
data AsType (SLanguage 'PlutusV2) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (SLanguage 'PlutusV2) = AsPlutusScriptV2
data AsType (SLanguage 'PlutusV3) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (SLanguage 'PlutusV3) = AsPlutusScriptV3
data AsType (SLanguage 'PlutusV4) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (SLanguage 'PlutusV4) = AsPlutusScriptV4
data AsType (PlutusScriptInEra lang era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Plutus.Internal.Script

data AsType (PlutusScriptInEra lang era) = AsPlutusScriptInEra (AsType (SLanguage lang))
data AsType (PlutusScriptInEra era lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)
data AsType (TxOut ctx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Output

data AsType (TxOut ctx era) = AsTxOut (AsType era)

deserialiseAnyPlutusScriptOfLanguage :: forall era (lang :: Language). (IsEra era, PlutusLanguage lang, HasTypeProxy (SLanguage lang)) => ByteString -> SLanguage lang -> Either DecoderError (AnyScript (LedgerEra era)) Source #

deserialiseAnySimpleScript :: IsEra era => ByteString -> Either DecoderError (AnyScript (LedgerEra era)) Source #

hashAnyScript :: IsEra era => AnyScript (LedgerEra era) -> ScriptHash Source #