data AsType ByronUpdateProposal
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronUpdateProposal = AsByronUpdateProposal

Methods

proxyToAsType :: Proxy ByronUpdateProposal -> AsType ByronUpdateProposal Source #

HasTypeProxy ByronVote Source #

Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

Associated Types

data AsType ByronVote
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronVote = AsByronVote

Methods

proxyToAsType :: Proxy ByronVote -> AsType ByronVote Source #

HasTypeProxy DRepMetadata Source #

Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

Associated Types

data AsType DRepMetadata
Instance details Defined in Cardano.Api.Certificate.Internal.DRepMetadata data AsType DRepMetadata = AsDRepMetadata

Methods

proxyToAsType :: Proxy DRepMetadata -> AsType DRepMetadata Source #

HasTypeProxy OperationalCertificate Source #

Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

Associated Types

data AsType OperationalCertificate
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate

Methods

proxyToAsType :: Proxy OperationalCertificate -> AsType OperationalCertificate Source #

HasTypeProxy OperationalCertificateIssueCounter Source #

Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

Associated Types

data AsType OperationalCertificateIssueCounter
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter

Methods

proxyToAsType :: Proxy OperationalCertificateIssueCounter -> AsType OperationalCertificateIssueCounter Source #

HasTypeProxy StakePoolMetadata Source #

Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

Associated Types

data AsType StakePoolMetadata
Instance details Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata

Methods

proxyToAsType :: Proxy StakePoolMetadata -> AsType StakePoolMetadata Source #

HasTypeProxy AllegraEra Source #

Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType AllegraEra
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AllegraEra = AsAllegraEra

Methods

proxyToAsType :: Proxy AllegraEra -> AsType AllegraEra Source #

HasTypeProxy AlonzoEra Source #

Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType AlonzoEra
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AlonzoEra = AsAlonzoEra

Methods

proxyToAsType :: Proxy AlonzoEra -> AsType AlonzoEra Source #

HasTypeProxy BabbageEra Source #

Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType BabbageEra
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType BabbageEra = AsBabbageEra

Methods

proxyToAsType :: Proxy BabbageEra -> AsType BabbageEra Source #

HasTypeProxy ByronEra Source #

Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType ByronEra
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ByronEra = AsByronEra

Methods

proxyToAsType :: Proxy ByronEra -> AsType ByronEra Source #

HasTypeProxy ConwayEra Source #

Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType ConwayEra
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ConwayEra = AsConwayEra

Methods

proxyToAsType :: Proxy ConwayEra -> AsType ConwayEra Source #

HasTypeProxy MaryEra Source #

Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType MaryEra
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType MaryEra = AsMaryEra

Methods

proxyToAsType :: Proxy MaryEra -> AsType MaryEra Source #

HasTypeProxy ShelleyEra Source #

Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType ShelleyEra
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ShelleyEra = AsShelleyEra

Methods

proxyToAsType :: Proxy ShelleyEra -> AsType ShelleyEra Source #

HasTypeProxy GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Associated Types

data AsType GovernancePoll
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePoll = AsGovernancePoll

Methods

proxyToAsType :: Proxy GovernancePoll -> AsType GovernancePoll Source #

HasTypeProxy GovernancePollAnswer Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Associated Types

data AsType GovernancePollAnswer
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer

Methods

proxyToAsType :: Proxy GovernancePollAnswer -> AsType GovernancePollAnswer Source #

HasTypeProxy CommitteeColdExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeColdExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey

Methods

proxyToAsType :: Proxy CommitteeColdExtendedKey -> AsType CommitteeColdExtendedKey Source #

HasTypeProxy CommitteeColdKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeColdKey
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdKey = AsCommitteeColdKey

Methods

proxyToAsType :: Proxy CommitteeColdKey -> AsType CommitteeColdKey Source #

HasTypeProxy CommitteeHotExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeHotExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey

Methods

proxyToAsType :: Proxy CommitteeHotExtendedKey -> AsType CommitteeHotExtendedKey Source #

HasTypeProxy CommitteeHotKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeHotKey
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotKey = AsCommitteeHotKey

Methods

proxyToAsType :: Proxy CommitteeHotKey -> AsType CommitteeHotKey Source #

HasTypeProxy DRepExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType DRepExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepExtendedKey = AsDRepExtendedKey

Methods

proxyToAsType :: Proxy DRepExtendedKey -> AsType DRepExtendedKey Source #

HasTypeProxy DRepKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType DRepKey
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepKey = AsDRepKey

Methods

proxyToAsType :: Proxy DRepKey -> AsType DRepKey Source #

HasTypeProxy GenesisDelegateExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisDelegateExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey

Methods

proxyToAsType :: Proxy GenesisDelegateExtendedKey -> AsType GenesisDelegateExtendedKey Source #

HasTypeProxy GenesisDelegateKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisDelegateKey
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateKey = AsGenesisDelegateKey

Methods

proxyToAsType :: Proxy GenesisDelegateKey -> AsType GenesisDelegateKey Source #

HasTypeProxy GenesisExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisExtendedKey = AsGenesisExtendedKey

Methods

proxyToAsType :: Proxy GenesisExtendedKey -> AsType GenesisExtendedKey Source #

HasTypeProxy GenesisKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisKey
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisKey = AsGenesisKey

Methods

proxyToAsType :: Proxy GenesisKey -> AsType GenesisKey Source #

HasTypeProxy GenesisUTxOKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisUTxOKey
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisUTxOKey = AsGenesisUTxOKey

Methods

proxyToAsType :: Proxy GenesisUTxOKey -> AsType GenesisUTxOKey Source #

HasTypeProxy PaymentExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType PaymentExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentExtendedKey = AsPaymentExtendedKey

Methods

proxyToAsType :: Proxy PaymentExtendedKey -> AsType PaymentExtendedKey Source #

HasTypeProxy PaymentKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType PaymentKey
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentKey = AsPaymentKey

Methods

proxyToAsType :: Proxy PaymentKey -> AsType PaymentKey Source #

HasTypeProxy StakeExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakeExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeExtendedKey = AsStakeExtendedKey

Methods

proxyToAsType :: Proxy StakeExtendedKey -> AsType StakeExtendedKey Source #

HasTypeProxy StakeKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakeKey
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeKey = AsStakeKey

Methods

proxyToAsType :: Proxy StakeKey -> AsType StakeKey Source #

HasTypeProxy StakePoolExtendedKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakePoolExtendedKey
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolExtendedKey = AsStakePoolExtendedKey

Methods

proxyToAsType :: Proxy StakePoolExtendedKey -> AsType StakePoolExtendedKey Source #

HasTypeProxy StakePoolKey Source #

Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakePoolKey
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolKey = AsStakePoolKey

Methods

proxyToAsType :: Proxy StakePoolKey -> AsType StakePoolKey Source #

HasTypeProxy KesKey Source #

Instance details

Defined in Cardano.Api.Key.Internal.Praos

Associated Types

data AsType KesKey
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType KesKey = AsKesKey

Methods

proxyToAsType :: Proxy KesKey -> AsType KesKey Source #

HasTypeProxy VrfKey Source #

Instance details

Defined in Cardano.Api.Key.Internal.Praos

Associated Types

data AsType VrfKey
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType VrfKey = AsVrfKey

Methods

proxyToAsType :: Proxy VrfKey -> AsType VrfKey Source #

HasTypeProxy PlutusScriptV1 Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType PlutusScriptV1
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV1 = AsPlutusScriptV1

Methods

proxyToAsType :: Proxy PlutusScriptV1 -> AsType PlutusScriptV1 Source #

HasTypeProxy PlutusScriptV2 Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType PlutusScriptV2
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV2 = AsPlutusScriptV2

Methods

proxyToAsType :: Proxy PlutusScriptV2 -> AsType PlutusScriptV2 Source #

HasTypeProxy PlutusScriptV3 Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType PlutusScriptV3
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV3 = AsPlutusScriptV3

Methods

proxyToAsType :: Proxy PlutusScriptV3 -> AsType PlutusScriptV3 Source #

HasTypeProxy ScriptHash Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType ScriptHash
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptHash = AsScriptHash

Methods

proxyToAsType :: Proxy ScriptHash -> AsType ScriptHash Source #

HasTypeProxy ScriptInAnyLang Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType ScriptInAnyLang
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptInAnyLang = AsScriptInAnyLang

Methods

proxyToAsType :: Proxy ScriptInAnyLang -> AsType ScriptInAnyLang Source #

HasTypeProxy SimpleScript' Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType SimpleScript'
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType SimpleScript' = AsSimpleScript

Methods

proxyToAsType :: Proxy SimpleScript' -> AsType SimpleScript' Source #

HasTypeProxy HashableScriptData Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Associated Types

data AsType HashableScriptData
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType HashableScriptData = AsHashableScriptData

Methods

proxyToAsType :: Proxy HashableScriptData -> AsType HashableScriptData Source #

HasTypeProxy ScriptData Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Associated Types

data AsType ScriptData
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType ScriptData = AsScriptData

Methods

proxyToAsType :: Proxy ScriptData -> AsType ScriptData Source #

HasTypeProxy PraosNonce Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType PraosNonce
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce

Methods

proxyToAsType :: Proxy PraosNonce -> AsType PraosNonce Source #

HasTypeProxy UpdateProposal Source #

Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType UpdateProposal
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal

Methods

proxyToAsType :: Proxy UpdateProposal -> AsType UpdateProposal Source #

HasTypeProxy EraHistory Source #

Instance details

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

Associated Types

data AsType EraHistory
Instance details Defined in Cardano.Api.Query.Internal.Type.QueryInMode data AsType EraHistory = AsEraHistory

Methods

proxyToAsType :: Proxy EraHistory -> AsType EraHistory Source #

HasTypeProxy TextEnvelope Source #

Instance details

Defined in Cardano.Api.Serialise.TextEnvelope.Internal

Associated Types

data AsType TextEnvelope
Instance details Defined in Cardano.Api.Serialise.TextEnvelope.Internal data AsType TextEnvelope = AsTextEnvelope

Methods

proxyToAsType :: Proxy TextEnvelope -> AsType TextEnvelope Source #

HasTypeProxy TxId Source #

Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

Associated Types

data AsType TxId
Instance details Defined in Cardano.Api.Tx.Internal.TxIn data AsType TxId = AsTxId

Methods

proxyToAsType :: Proxy TxId -> AsType TxId Source #

HasTypeProxy TxMetadata Source #

Instance details

Defined in Cardano.Api.Tx.Internal.TxMetadata

Associated Types

data AsType TxMetadata
Instance details Defined in Cardano.Api.Tx.Internal.TxMetadata data AsType TxMetadata = AsTxMetadata

Methods

proxyToAsType :: Proxy TxMetadata -> AsType TxMetadata Source #

HasTypeProxy AssetName Source #

Instance details

Defined in Cardano.Api.Value.Internal

Associated Types

data AsType AssetName
Instance details Defined in Cardano.Api.Value.Internal data AsType AssetName = AsAssetName

Methods

proxyToAsType :: Proxy AssetName -> AsType AssetName Source #

HasTypeProxy PolicyId Source #

Instance details

Defined in Cardano.Api.Value.Internal

Associated Types

data AsType PolicyId
Instance details Defined in Cardano.Api.Value.Internal data AsType PolicyId = AsPolicyId

Methods

proxyToAsType :: Proxy PolicyId -> AsType PolicyId Source #

HasTypeProxy GovActionId Source #

Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType GovActionId
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType GovActionId = AsGovActionId

Methods

proxyToAsType :: Proxy GovActionId -> AsType GovActionId Source #

HasTypeProxy GovActionIx Source #

Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType GovActionIx
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType GovActionIx = AsGovActionIx

Methods

proxyToAsType :: Proxy GovActionIx -> AsType GovActionIx Source #

HasTypeProxy Term Source #

Instance details

Defined in Cardano.Api.Serialise.Cbor.Canonical

Associated Types

data AsType Term
Instance details Defined in Cardano.Api.Serialise.Cbor.Canonical data AsType Term = AsTerm

Methods

proxyToAsType :: Proxy Term -> AsType Term Source #

HasTypeProxy Word16 Source #

Instance details

Defined in Cardano.Api.HasTypeProxy

Associated Types

data AsType Word16
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Word16 = AsWord16

Methods

proxyToAsType :: Proxy Word16 -> AsType Word16 Source #

HasTypeProxy Word8 Source #

Instance details

Defined in Cardano.Api.HasTypeProxy

Associated Types

data AsType Word8
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Word8 = AsWord8

Methods

proxyToAsType :: Proxy Word8 -> AsType Word8 Source #

HasTypeProxy addrtype => HasTypeProxy (Address addrtype) Source #

Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType (Address addrtype)
Instance details Defined in Cardano.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)

Methods

proxyToAsType :: Proxy (Address addrtype) -> AsType (Address addrtype) Source #

HasTypeProxy era => HasTypeProxy (AddressInEra era) Source #

Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType (AddressInEra era)
Instance details Defined in Cardano.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)

Methods

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

Typeable era => HasTypeProxy (Certificate era) Source #

Instance details

Defined in Cardano.Api.Certificate.Internal

Associated Types

data AsType (Certificate era)
Instance details Defined in Cardano.Api.Certificate.Internal data AsType (Certificate era) = AsCertificate

Methods

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

HasTypeProxy era => HasTypeProxy (SignedTx era) Source #

Instance details

Defined in Cardano.Api.Experimental.Tx

Associated Types

data AsType (SignedTx era)
Instance details Defined in Cardano.Api.Experimental.Tx data AsType (SignedTx era) = AsSignedTx (AsType era)

Methods

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

HasTypeProxy era => HasTypeProxy (UnsignedTx era) Source #

Instance details

Defined in Cardano.Api.Experimental.Tx

Associated Types

data AsType (UnsignedTx era)
Instance details Defined in Cardano.Api.Experimental.Tx data AsType (UnsignedTx era) = AsUnsignedTx (AsType era)

Methods

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

HasTypeProxy era => HasTypeProxy (Proposal era) Source #

Instance details

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

Associated Types

data AsType (Proposal era)
Instance details Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure data AsType (Proposal era) = AsProposal

Methods

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

HasTypeProxy era => HasTypeProxy (VotingProcedure era) Source #

Instance details

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

Associated Types

data AsType (VotingProcedure era)
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedure era) = AsVote

Methods

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

HasTypeProxy era => HasTypeProxy (VotingProcedures era) Source #

Instance details

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

Associated Types

data AsType (VotingProcedures era)
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures

Methods

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

HasTypeProxy a => HasTypeProxy (Hash a) Source #

Instance details

Defined in Cardano.Api.Hash

Associated Types

data AsType (Hash a)
Instance details Defined in Cardano.Api.Hash data AsType (Hash a) = AsHash (AsType a)

Methods

proxyToAsType :: Proxy (Hash a) -> AsType (Hash a) Source #

HasTypeProxy a => HasTypeProxy (SigningKey a) Source #

Instance details

Defined in Cardano.Api.Key.Internal.Class

Associated Types

data AsType (SigningKey a)
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (SigningKey a) = AsSigningKey (AsType a)

Methods

proxyToAsType :: Proxy (SigningKey a) -> AsType (SigningKey a) Source #

HasTypeProxy a => HasTypeProxy (VerificationKey a) Source #

Instance details

Defined in Cardano.Api.Key.Internal.Class

Associated Types

data AsType (VerificationKey a)
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)

Methods

proxyToAsType :: Proxy (VerificationKey a) -> AsType (VerificationKey a) Source #

HasTypeProxy lang => HasTypeProxy (PlutusScript lang) Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (PlutusScript lang)
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)

Methods

proxyToAsType :: Proxy (PlutusScript lang) -> AsType (PlutusScript lang) Source #

HasTypeProxy lang => HasTypeProxy (Script lang) Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (Script lang)
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (Script lang) = AsScript (AsType lang)

Methods

proxyToAsType :: Proxy (Script lang) -> AsType (Script lang) Source #

HasTypeProxy era => HasTypeProxy (ScriptInEra era) Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (ScriptInEra era)
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)

Methods

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

HasTypeProxy era => HasTypeProxy (KeyWitness era) Source #

Instance details

Defined in Cardano.Api.Tx.Internal.Sign

Associated Types

data AsType (KeyWitness era)
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)

Methods

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

HasTypeProxy era => HasTypeProxy (Tx era) Source #

Instance details

Defined in Cardano.Api.Tx.Internal.Sign

Associated Types

data AsType (Tx era)
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (Tx era) = AsTx (AsType era)

Methods

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

HasTypeProxy era => HasTypeProxy (TxBody era) Source #

Instance details

Defined in Cardano.Api.Tx.Internal.Sign

Associated Types

data AsType (TxBody era)
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (TxBody era) = AsTxBody (AsType era)

Methods

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

HasTypeProxy (Credential 'ColdCommitteeRole) Source #

Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType (Credential 'ColdCommitteeRole)
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential

Methods

proxyToAsType :: Proxy (Credential 'ColdCommitteeRole) -> AsType (Credential 'ColdCommitteeRole) Source #

HasTypeProxy (Credential 'DRepRole) Source #

Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType (Credential 'DRepRole)
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'DRepRole) = AsDrepCredential

Methods

proxyToAsType :: Proxy (Credential 'DRepRole) -> AsType (Credential 'DRepRole) Source #

HasTypeProxy (Credential 'HotCommitteeRole) Source #

Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType (Credential 'HotCommitteeRole)
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential

Methods

proxyToAsType :: Proxy (Credential 'HotCommitteeRole) -> AsType (Credential 'HotCommitteeRole) Source #

(HasTypeProxy era, HasTypeProxy lang) => HasTypeProxy (PlutusScriptInEra era lang) Source #

Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (PlutusScriptInEra era lang)
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

Methods

proxyToAsType :: Proxy (PlutusScriptInEra era lang) -> AsType (PlutusScriptInEra era lang) Source #

asType :: HasTypeProxy t => AsType t Source #

Provide type proxy from the already existing HasTypeProxy instance

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

data AsType ByteString Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType ByteString = AsByteString
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 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 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 Word8 Source #
Instance details Defined in Cardano.Api.HasTypeProxy data AsType Word8 = AsWord8
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 (SignedTx era) Source #
Instance details Defined in Cardano.Api.Experimental.Tx data AsType (SignedTx era) = AsSignedTx (AsType era)
data AsType (UnsignedTx era) Source #
Instance details Defined in Cardano.Api.Experimental.Tx data AsType (UnsignedTx era) = AsUnsignedTx (AsType 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 (PlutusScriptInEra era lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

data Proxy (t :: k) Source #

Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one).

Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.

>>> Proxy :: Proxy (Void, Int -> Int)
Proxy

Proxy can even hold types of higher kinds,

>>> Proxy :: Proxy Either
Proxy

>>> Proxy :: Proxy Functor
Proxy

>>> Proxy :: Proxy complicatedStructure
Proxy

Constructors

Proxy

Instances

Instances details

ApplicativeB (Proxy :: (k -> Type) -> Type)

Instance details

Defined in Barbies.Internal.ApplicativeB

Methods

bpure :: (forall (a :: k). f a) -> Proxy f

bprod :: forall (f :: k -> Type) (g :: k -> Type). Proxy f -> Proxy g -> Proxy (Product f g)

ConstraintsB (Proxy :: (k -> Type) -> Type)

Instance details

Defined in Barbies.Internal.ConstraintsB

Methods

baddDicts :: forall (c :: k -> Constraint) (f :: k -> Type). AllB c (Proxy :: (k -> Type) -> Type) => Proxy f -> Proxy (Product (Dict c) f)

DistributiveB (Proxy :: (k -> Type) -> Type)

Instance details

Defined in Barbies.Internal.DistributiveB

Methods

bdistribute :: forall f (g :: k -> Type). Functor f => f (Proxy g) -> Proxy (Compose f g)

FunctorB (Proxy :: (k -> Type) -> Type)

Instance details

Defined in Barbies.Internal.FunctorB

Methods

bmap :: (forall (a :: k). f a -> g a) -> Proxy f -> Proxy g

TraversableB (Proxy :: (k -> Type) -> Type)

Instance details

Defined in Barbies.Internal.TraversableB

Methods

btraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> Proxy f -> e (Proxy g)

Generic1 (Proxy :: k -> Type)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (Proxy :: k -> Type)	Since: base-4.6.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (Proxy :: k -> Type) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: k -> Type))

Methods

from1 :: forall (a :: k). Proxy a -> Rep1 (Proxy :: k -> Type) a Source #

to1 :: forall (a :: k). Rep1 (Proxy :: k -> Type) a -> Proxy a Source #

Representable (Proxy :: Type -> Type)

Instance details

Defined in Data.Functor.Rep

Associated Types

type Rep (Proxy :: Type -> Type)
Instance details Defined in Data.Functor.Rep type Rep (Proxy :: Type -> Type) = Void

Methods

tabulate :: (Rep (Proxy :: Type -> Type) -> a) -> Proxy a

index :: Proxy a -> Rep (Proxy :: Type -> Type) -> a

FromJSON1 (Proxy :: Type -> Type)

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Proxy a)

liftParseJSONList :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Proxy a]

liftOmittedField :: Maybe a -> Maybe (Proxy a)

ToJSON1 (Proxy :: Type -> Type)

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> Proxy a -> Value

liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [Proxy a] -> Value

liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> Proxy a -> Encoding

liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [Proxy a] -> Encoding

liftOmitField :: (a -> Bool) -> Proxy a -> Bool

MonadZip (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Control.Monad.Zip

Methods

mzip :: Proxy a -> Proxy b -> Proxy (a, b) Source #

mzipWith :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source #

munzip :: Proxy (a, b) -> (Proxy a, Proxy b) Source #

Eq1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> Proxy a -> Proxy b -> Bool Source #

Ord1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare :: (a -> b -> Ordering) -> Proxy a -> Proxy b -> Ordering Source #

Read1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Proxy a) Source #

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Proxy a] Source #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Proxy a) Source #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Proxy a] Source #

Show1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Proxy a -> ShowS Source #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Proxy a] -> ShowS Source #

Contravariant (Proxy :: Type -> Type)

Instance details

Defined in Data.Functor.Contravariant

Methods

contramap :: (a' -> a) -> Proxy a -> Proxy a' Source #

(>$) :: b -> Proxy b -> Proxy a Source #

NFData1 (Proxy :: Type -> Type)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

liftRnf :: (a -> ()) -> Proxy a -> () Source #

Alternative (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

empty :: Proxy a Source #

(<|>) :: Proxy a -> Proxy a -> Proxy a Source #

some :: Proxy a -> Proxy [a] Source #

many :: Proxy a -> Proxy [a] Source #

Applicative (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

pure :: a -> Proxy a Source #

(<*>) :: Proxy (a -> b) -> Proxy a -> Proxy b Source #

liftA2 :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source #

(*>) :: Proxy a -> Proxy b -> Proxy b Source #

(<*) :: Proxy a -> Proxy b -> Proxy a Source #

Functor (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

fmap :: (a -> b) -> Proxy a -> Proxy b Source #

(<$) :: a -> Proxy b -> Proxy a Source #

Monad (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

(>>=) :: Proxy a -> (a -> Proxy b) -> Proxy b Source #

(>>) :: Proxy a -> Proxy b -> Proxy b Source #

return :: a -> Proxy a Source #

MonadPlus (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

mzero :: Proxy a Source #

mplus :: Proxy a -> Proxy a -> Proxy a Source #

Foldable (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => Proxy m -> m Source #

foldMap :: Monoid m => (a -> m) -> Proxy a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Proxy a -> m Source #

foldr :: (a -> b -> b) -> b -> Proxy a -> b Source #

foldr' :: (a -> b -> b) -> b -> Proxy a -> b Source #

foldl :: (b -> a -> b) -> b -> Proxy a -> b Source #

foldl' :: (b -> a -> b) -> b -> Proxy a -> b Source #

foldr1 :: (a -> a -> a) -> Proxy a -> a Source #

foldl1 :: (a -> a -> a) -> Proxy a -> a Source #

toList :: Proxy a -> [a] Source #

null :: Proxy a -> Bool Source #

length :: Proxy a -> Int Source #

elem :: Eq a => a -> Proxy a -> Bool Source #

maximum :: Ord a => Proxy a -> a Source #

minimum :: Ord a => Proxy a -> a Source #

sum :: Num a => Proxy a -> a Source #

product :: Num a => Proxy a -> a Source #

Traversable (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> Proxy a -> f (Proxy b) Source #

sequenceA :: Applicative f => Proxy (f a) -> f (Proxy a) Source #

mapM :: Monad m => (a -> m b) -> Proxy a -> m (Proxy b) Source #

sequence :: Monad m => Proxy (m a) -> m (Proxy a) Source #

Hashable1 (Proxy :: Type -> Type)

Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Proxy a -> Int

CollectScopeInfo (Proxy :: Type -> Type)

Instance details

Defined in PlutusCore.Check.Scoping

Methods

collectScopeInfo :: Proxy NameAnn -> ScopeErrorOrInfo Source #

EstablishScoping (Proxy :: Type -> Type)

Instance details

Defined in PlutusCore.Check.Scoping

Methods

establishScoping :: Proxy ann -> Quote (Proxy NameAnn) Source #

FromJSON (Proxy a)

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Proxy a) #

parseJSONList :: Value -> Parser [Proxy a] #

omittedField :: Maybe (Proxy a) #

ToJSON (Proxy a)

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Proxy a -> Value #

toEncoding :: Proxy a -> Encoding #

toJSONList :: [Proxy a] -> Value #

toEncodingList :: [Proxy a] -> Encoding #

omitField :: Proxy a -> Bool #

Default (Proxy a)

Instance details

Defined in Data.Default.Internal

Methods

def :: Proxy a #

NFData (Proxy a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnf :: Proxy a -> () Source #

Monoid (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

mempty :: Proxy s Source #

mappend :: Proxy s -> Proxy s -> Proxy s Source #

mconcat :: [Proxy s] -> Proxy s Source #

Semigroup (Proxy s)

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

(<>) :: Proxy s -> Proxy s -> Proxy s Source #

sconcat :: NonEmpty (Proxy s) -> Proxy s Source #

stimes :: Integral b => b -> Proxy s -> Proxy s Source #

Data t => Data (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Proxy t -> c (Proxy t) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Proxy t) Source #

toConstr :: Proxy t -> Constr Source #

dataTypeOf :: Proxy t -> DataType Source #

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Proxy t)) Source #

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Proxy t)) Source #

gmapT :: (forall b. Data b => b -> b) -> Proxy t -> Proxy t Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Proxy t -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Proxy t -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source #

Bounded (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

minBound :: Proxy t Source #

maxBound :: Proxy t Source #

Enum (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

succ :: Proxy s -> Proxy s Source #

pred :: Proxy s -> Proxy s Source #

toEnum :: Int -> Proxy s Source #

fromEnum :: Proxy s -> Int Source #

enumFrom :: Proxy s -> [Proxy s] Source #

enumFromThen :: Proxy s -> Proxy s -> [Proxy s] Source #

enumFromTo :: Proxy s -> Proxy s -> [Proxy s] Source #

enumFromThenTo :: Proxy s -> Proxy s -> Proxy s -> [Proxy s] Source #

Generic (Proxy t)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (Proxy t)	Since: base-4.6.0.0
Instance details Defined in GHC.Internal.Generics type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Proxy t -> Rep (Proxy t) x Source #

to :: Rep (Proxy t) x -> Proxy t Source #

Ix (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

range :: (Proxy s, Proxy s) -> [Proxy s] Source #

index :: (Proxy s, Proxy s) -> Proxy s -> Int Source #

unsafeIndex :: (Proxy s, Proxy s) -> Proxy s -> Int Source #

inRange :: (Proxy s, Proxy s) -> Proxy s -> Bool Source #

rangeSize :: (Proxy s, Proxy s) -> Int Source #

unsafeRangeSize :: (Proxy s, Proxy s) -> Int Source #

Read (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

readsPrec :: Int -> ReadS (Proxy t) Source #

readList :: ReadS [Proxy t] Source #

readPrec :: ReadPrec (Proxy t) Source #

readListPrec :: ReadPrec [Proxy t] Source #

Show (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

showsPrec :: Int -> Proxy s -> ShowS Source #

show :: Proxy s -> String Source #

showList :: [Proxy s] -> ShowS Source #

Eq (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

(==) :: Proxy s -> Proxy s -> Bool Source #

(/=) :: Proxy s -> Proxy s -> Bool Source #

Ord (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Methods

compare :: Proxy s -> Proxy s -> Ordering Source #

(<) :: Proxy s -> Proxy s -> Bool Source #

(<=) :: Proxy s -> Proxy s -> Bool Source #

(>) :: Proxy s -> Proxy s -> Bool Source #

(>=) :: Proxy s -> Proxy s -> Bool Source #

max :: Proxy s -> Proxy s -> Proxy s Source #

min :: Proxy s -> Proxy s -> Proxy s Source #

Abelian (Proxy x)

Instance details

Defined in Data.Group

Cyclic (Proxy x)

Instance details

Defined in Data.Group

Methods

generator :: Proxy x

Group (Proxy x)

Instance details

Defined in Data.Group

Methods

invert :: Proxy x -> Proxy x

(~~) :: Proxy x -> Proxy x -> Proxy x

pow :: Integral x0 => Proxy x -> x0 -> Proxy x

Hashable (Proxy a)

Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Proxy a -> Int

hash :: Proxy a -> Int

MonoFoldable (Proxy a)

Instance details

Defined in Data.MonoTraversable

Methods

ofoldMap :: Monoid m => (Element (Proxy a) -> m) -> Proxy a -> m

ofoldr :: (Element (Proxy a) -> b -> b) -> b -> Proxy a -> b

ofoldl' :: (a0 -> Element (Proxy a) -> a0) -> a0 -> Proxy a -> a0

otoList :: Proxy a -> [Element (Proxy a)]

oall :: (Element (Proxy a) -> Bool) -> Proxy a -> Bool

oany :: (Element (Proxy a) -> Bool) -> Proxy a -> Bool

onull :: Proxy a -> Bool

olength :: Proxy a -> Int

olength64 :: Proxy a -> Int64

ocompareLength :: Integral i => Proxy a -> i -> Ordering

otraverse_ :: Applicative f => (Element (Proxy a) -> f b) -> Proxy a -> f ()

ofor_ :: Applicative f => Proxy a -> (Element (Proxy a) -> f b) -> f ()

omapM_ :: Applicative m => (Element (Proxy a) -> m ()) -> Proxy a -> m ()

oforM_ :: Applicative m => Proxy a -> (Element (Proxy a) -> m ()) -> m ()

ofoldlM :: Monad m => (a0 -> Element (Proxy a) -> m a0) -> a0 -> Proxy a -> m a0

ofoldMap1Ex :: Semigroup m => (Element (Proxy a) -> m) -> Proxy a -> m

ofoldr1Ex :: (Element (Proxy a) -> Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Element (Proxy a)

ofoldl1Ex' :: (Element (Proxy a) -> Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Element (Proxy a)

headEx :: Proxy a -> Element (Proxy a)

lastEx :: Proxy a -> Element (Proxy a)

unsafeHead :: Proxy a -> Element (Proxy a)

unsafeLast :: Proxy a -> Element (Proxy a)

maximumByEx :: (Element (Proxy a) -> Element (Proxy a) -> Ordering) -> Proxy a -> Element (Proxy a)

minimumByEx :: (Element (Proxy a) -> Element (Proxy a) -> Ordering) -> Proxy a -> Element (Proxy a)

oelem :: Element (Proxy a) -> Proxy a -> Bool

onotElem :: Element (Proxy a) -> Proxy a -> Bool

MonoFunctor (Proxy a)

Instance details

Defined in Data.MonoTraversable

Methods

omap :: (Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Proxy a

MonoPointed (Proxy a)

Instance details

Defined in Data.MonoTraversable

Methods

opoint :: Element (Proxy a) -> Proxy a

MonoTraversable (Proxy a)

Instance details

Defined in Data.MonoTraversable

Methods

otraverse :: Applicative f => (Element (Proxy a) -> f (Element (Proxy a))) -> Proxy a -> f (Proxy a)

omapM :: Applicative m => (Element (Proxy a) -> m (Element (Proxy a))) -> Proxy a -> m (Proxy a)

Serialise (Proxy a)

Instance details

Defined in Codec.Serialise.Class

Methods

encode :: Proxy a -> Encoding

decode :: Decoder s (Proxy a)

encodeList :: [Proxy a] -> Encoding

decodeList :: Decoder s [Proxy a]

type AllB (c :: k -> Constraint) (Proxy :: (k -> Type) -> Type)

Instance details

Defined in Barbies.Internal.ConstraintsB

type AllB (c :: k -> Constraint) (Proxy :: (k -> Type) -> Type) = ()

type Rep1 (Proxy :: k -> Type)

Since: base-4.6.0.0

Instance details

Defined in GHC.Internal.Generics

type Rep1 (Proxy :: k -> Type) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: k -> Type))

type Rep (Proxy :: Type -> Type)

Instance details

Defined in Data.Functor.Rep

type Rep (Proxy :: Type -> Type) = Void

type Rep (Proxy t)

Since: base-4.6.0.0

Instance details

Defined in GHC.Internal.Generics

type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: Type -> Type))

type Element (Proxy a)

Instance details

Defined in Data.MonoTraversable

type Element (Proxy a) = a

data FromSomeType (c :: Type -> Constraint) b where Source #

Constructors

FromSomeType :: forall (c :: Type -> Constraint) a b. c a => AsType a -> (a -> b) -> FromSomeType c b