Modulecardano-api-11.7.0.0

Cardano.Api.Hash

2 types
2 classes
2 values

Packagecardano-api-11.7.0.0
Exports9
LicenceApache-2.0
SourceProxy.hs

valueasType :: HasTypeProxy t => AsType t

valuerenderSafeHashAsHex :: SafeHash tag -> Text

familydata family AsType t

Instances101Show, AsType, …

Typeable t => Show (AsType t)Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType ByteString
- AsByteString
Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType ByteString
- AsByteStringLazy
Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType AddressAny
- AsAddressAny
Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
data AsType ByronAddr
- AsByronAddr
Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
data AsType ShelleyAddr
- AsShelleyAddr
Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
data AsType StakeAddress
- AsStakeAddress
Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
data AsType BlockHeader
- AsBlockHeader
Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
data AsType ByronKey
- AsByronKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
data AsType ByronKeyLegacy
- AsByronKeyLegacy
Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
data AsType ByronUpdateProposal
- AsByronUpdateProposal
Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Proposal
data AsType ByronVote
- AsByronVote
Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Proposal
data AsType DRepMetadata
- AsDRepMetadata
Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.DRepMetadata
data AsType OperationalCertificate
- AsOperationalCertificate
Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.OperationalCertificate
data AsType OperationalCertificateIssueCounter
- AsOperationalCertificateIssueCounter
Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.OperationalCertificate
data AsType StakePoolMetadata
- AsStakePoolMetadata
Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.StakePoolMetadata
data AsType AllegraEra
- AsAllegraEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType AlonzoEra
- AsAlonzoEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType BabbageEra
- AsBabbageEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType ByronEra
- AsByronEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType ConwayEra
- AsConwayEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType DijkstraEra
- AsDijkstraEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType MaryEra
- AsMaryEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType ShelleyEra
- AsShelleyEra
Defined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
data AsType GovernancePoll
- AsGovernancePoll
Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
data AsType GovernancePollAnswer
- AsGovernancePollAnswer
Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
data AsType CommitteeColdExtendedKey
- AsCommitteeColdExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType CommitteeColdKey
- AsCommitteeColdKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType CommitteeHotExtendedKey
- AsCommitteeHotExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType CommitteeHotKey
- AsCommitteeHotKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType DRepExtendedKey
- AsDRepExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType DRepKey
- AsDRepKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType GenesisDelegateExtendedKey
- AsGenesisDelegateExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType GenesisDelegateKey
- AsGenesisDelegateKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType GenesisExtendedKey
- AsGenesisExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType GenesisKey
- AsGenesisKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType GenesisUTxOKey
- AsGenesisUTxOKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType PaymentExtendedKey
- AsPaymentExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType PaymentKey
- AsPaymentKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType StakeExtendedKey
- AsStakeExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType StakeKey
- AsStakeKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType StakePoolExtendedKey
- AsStakePoolExtendedKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType StakePoolKey
- AsStakePoolKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data AsType BlsKey
- AsBlsKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
data AsType BlsPossessionProof
- AsBlsPossessionProof
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
data AsType KesKey
- AsKesKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
data AsType VrfKey
- AsVrfKey
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
data AsType PlutusScriptV1
- AsPlutusScriptV1
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType PlutusScriptV2
- AsPlutusScriptV2
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType PlutusScriptV3
- AsPlutusScriptV3
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType PlutusScriptV4
- AsPlutusScriptV4
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType ScriptHash
- AsScriptHash
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType ScriptInAnyLang
- AsScriptInAnyLang
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType SimpleScript'
- AsSimpleScript
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType HashableScriptData
- AsHashableScriptData
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
data AsType ScriptData
- AsScriptData
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
data AsType PraosNonce
- AsPraosNonce
Defined in cardano-api-11.7.0.0 · Cardano.Api.ProtocolParameters
data AsType EraHistory
- AsEraHistory
Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
data AsType TextEnvelope
- AsTextEnvelope
Defined in cardano-api-11.7.0.0 · Cardano.Api.Serialise.TextEnvelope.Internal
data AsType TxId
- AsTxId
Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.TxIn
data AsType TxMetadata
- AsTxMetadata
Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.TxMetadata
data AsType AssetName
- AsAssetName
Defined in cardano-api-11.7.0.0 · Cardano.Api.Value.Internal
data AsType PolicyId
- AsPolicyId
Defined in cardano-api-11.7.0.0 · Cardano.Api.Value.Internal
data AsType GovActionId
- AsGovActionId
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType GovActionIx
- AsGovActionIx
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType Term
- AsTerm
Defined in cardano-api-11.7.0.0 · Cardano.Api.Serialise.Cbor.Canonical · orphan
data AsType Natural
- AsNatural
Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType Word16
- AsWord16
Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType Word32
- AsWord32
Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType Word64
- AsWord64
Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType Word8
- AsWord8
Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
data AsType (Address addrtype)
- AsAddress (AsType addrtype)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
data AsType (AddressInEra era)
- AsAddressInEra (AsType era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
data AsType (AnyScript era)
- AsAnyScript
Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScript
data AsType (PlutusScriptInEra lang era)
- AsPlutusScriptInEra (AsType (SLanguage lang))
Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script
data AsType (SimpleScript era)
- AsSimpleScriptEra (Proxy era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Simple.Script
data AsType (SignedTx era)
- AsSignedTx (AsType era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Tx
data AsType (Certificate era)
- AsCertificate
Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Tx.Internal.Certificate.Type
data AsType (UnsignedTx era)
- AsUnsignedTx (AsType (ToApiEra era))
Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Tx.Internal.Type
data AsType (Proposal era)
- AsProposal
Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Action.ProposalProcedure
data AsType (VotingProcedure era)
- AsVote
Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Action.VotingProcedure
data AsType (VotingProcedures era)
- AsVotingProcedures
Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Action.VotingProcedure
data AsType (Hash a)
- AsHash (AsType a)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Hash
data AsType (SigningKey a)
- AsSigningKey (AsType a)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Class
data AsType (VerificationKey a)
- AsVerificationKey (AsType a)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Class
data AsType (PlutusScript lang)
- AsPlutusScript (AsType lang)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType (PlutusScriptInEra era lang)
- AsPlutusScriptInEra (AsType lang)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType (Script lang)
- AsScript (AsType lang)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType (ScriptInEra era)
- AsScriptInEra (AsType era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
data AsType (UpdateProposal era)
- AsUpdateProposal
Defined in cardano-api-11.7.0.0 · Cardano.Api.ProtocolParameters
data AsType (TxOut ctx era)
- AsTxOut (AsType era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Output
data AsType (KeyWitness era)
- AsKeyWitness (AsType era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Sign
data AsType (Tx era)
- AsTx (AsType era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Sign
data AsType (TxBody era)
- AsTxBody (AsType era)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Sign
data AsType (Credential ColdCommitteeRole)
- AsColdCommitteeCredential
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType (Credential DRepRole)
- AsDrepCredential
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType (Credential HotCommitteeRole)
- AsHotCommitteeCredential
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType (SLanguage 'PlutusV1)
- AsPlutusScriptV1
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType (SLanguage 'PlutusV2)
- AsPlutusScriptV2
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType (SLanguage 'PlutusV3)
- AsPlutusScriptV3
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
data AsType (SLanguage 'PlutusV4)
- AsPlutusScriptV4
Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan

constructorAsHash (AsType a)

datadata FromSomeType (c :: Type -> Constraint) b where

Constructors

FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b

classclass Typeable t => HasTypeProxy t where

Methods

proxyToAsType :: Proxy t -> AsType t

Instances100HasTypeProxy, …

HasTypeProxy ByteStringDefined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
HasTypeProxy ByteStringDefined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
HasTypeProxy AddressAnyDefined in cardano-api-11.7.0.0 · Cardano.Api.Address
HasTypeProxy ByronAddrDefined in cardano-api-11.7.0.0 · Cardano.Api.Address
HasTypeProxy ShelleyAddrDefined in cardano-api-11.7.0.0 · Cardano.Api.Address
HasTypeProxy StakeAddressDefined in cardano-api-11.7.0.0 · Cardano.Api.Address
HasTypeProxy BlockHeaderDefined in cardano-api-11.7.0.0 · Cardano.Api.Block
HasTypeProxy ByronKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
HasTypeProxy ByronKeyLegacyDefined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
HasTypeProxy ByronUpdateProposalDefined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Proposal
HasTypeProxy ByronVoteDefined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Proposal
HasTypeProxy DRepMetadataDefined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.DRepMetadata
HasTypeProxy OperationalCertificateDefined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.OperationalCertificate
HasTypeProxy OperationalCertificateIssueCounterDefined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.OperationalCertificate
HasTypeProxy StakePoolMetadataDefined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.StakePoolMetadata
HasTypeProxy AllegraEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy AlonzoEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy BabbageEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy ByronEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy ConwayEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy DijkstraEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy MaryEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy ShelleyEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Era.Internal.Core
HasTypeProxy GovernancePollDefined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
HasTypeProxy GovernancePollAnswerDefined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
HasTypeProxy CommitteeColdExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy CommitteeColdKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy CommitteeHotExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy CommitteeHotKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy DRepExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy DRepKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy GenesisDelegateExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy GenesisDelegateKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy GenesisExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy GenesisKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy GenesisUTxOKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy PaymentExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy PaymentKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy StakeExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy StakeKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy StakePoolExtendedKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy StakePoolKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
HasTypeProxy BlsKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
HasTypeProxy BlsPossessionProofDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
HasTypeProxy KesKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
HasTypeProxy VrfKeyDefined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
HasTypeProxy PlutusScriptV1Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy PlutusScriptV2Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy PlutusScriptV3Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy PlutusScriptV4Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy ScriptHashDefined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy ScriptInAnyLangDefined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy SimpleScript'Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy HashableScriptDataDefined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
HasTypeProxy ScriptDataDefined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
HasTypeProxy PraosNonceDefined in cardano-api-11.7.0.0 · Cardano.Api.ProtocolParameters
HasTypeProxy EraHistoryDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
HasTypeProxy TextEnvelopeDefined in cardano-api-11.7.0.0 · Cardano.Api.Serialise.TextEnvelope.Internal
HasTypeProxy TxIdDefined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.TxIn
HasTypeProxy TxMetadataDefined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.TxMetadata
HasTypeProxy AssetNameDefined in cardano-api-11.7.0.0 · Cardano.Api.Value.Internal
HasTypeProxy PolicyIdDefined in cardano-api-11.7.0.0 · Cardano.Api.Value.Internal
HasTypeProxy GovActionIdDefined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy GovActionIxDefined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy TermDefined in cardano-api-11.7.0.0 · Cardano.Api.Serialise.Cbor.Canonical · orphan
HasTypeProxy NaturalDefined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
HasTypeProxy Word16Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
HasTypeProxy Word32Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
HasTypeProxy Word64Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
HasTypeProxy Word8Defined in cardano-api-11.7.0.0 · Cardano.Api.HasTypeProxy
HasTypeProxy (Credential ColdCommitteeRole)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy (Credential DRepRole)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy (Credential HotCommitteeRole)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy (SLanguage 'PlutusV1)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy (SLanguage 'PlutusV2)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy (SLanguage 'PlutusV3)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy (SLanguage 'PlutusV4)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
HasTypeProxy a => HasTypeProxy (Hash a)Defined in cardano-api-11.7.0.0 · Cardano.Api.Hash
HasTypeProxy a => HasTypeProxy (SigningKey a)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Class
HasTypeProxy a => HasTypeProxy (VerificationKey a)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Class
HasTypeProxy addrtype => HasTypeProxy (Address addrtype)Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
HasTypeProxy era => HasTypeProxy (AddressInEra era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Address
HasTypeProxy era => HasTypeProxy (SignedTx era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Tx
HasTypeProxy era => HasTypeProxy (Proposal era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Action.ProposalProcedure
HasTypeProxy era => HasTypeProxy (VotingProcedure era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Action.VotingProcedure
HasTypeProxy era => HasTypeProxy (VotingProcedures era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Action.VotingProcedure
HasTypeProxy era => HasTypeProxy (ScriptInEra era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy era => HasTypeProxy (KeyWitness era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Sign
HasTypeProxy era => HasTypeProxy (Tx era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Sign
HasTypeProxy era => HasTypeProxy (TxBody era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Sign
HasTypeProxy lang => HasTypeProxy (PlutusScript lang)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
HasTypeProxy lang => HasTypeProxy (Script lang)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
Era era => HasTypeProxy (AnyScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.AnyScript
Era era => HasTypeProxy (SimpleScript era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Simple.Script
Typeable era => HasTypeProxy (Certificate era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Tx.Internal.Certificate.Type
Typeable era => HasTypeProxy (UnsignedTx era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Tx.Internal.Type
Typeable era => HasTypeProxy (UpdateProposal era)Defined in cardano-api-11.7.0.0 · Cardano.Api.ProtocolParameters
(HasTypeProxy era, HasTypeProxy lang) => HasTypeProxy (PlutusScriptInEra era lang)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.Script
(Typeable ctx, IsShelleyBasedEra era) => HasTypeProxy (TxOut ctx era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Tx.Internal.Output
(Typeable era, Typeable lang, HasTypeProxy (SLanguage lang)) => HasTypeProxy (PlutusScriptInEra lang era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Experimental.Plutus.Internal.Script

classclass CastHash roleA roleB where

Methods

castHash :: Hash roleA -> Hash roleB

data familydata family Hash keyrole

Instances247Eq, Ord, Show, Pretty, FromJSON, FromJSONKey, …

Eq (Hash BlockHeader)Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
Eq (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Eq (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Eq (Hash DRepMetadata)Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.DRepMetadata
Eq (Hash StakePoolMetadata)Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.StakePoolMetadata
Eq (Hash GovernancePoll)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
Eq (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Eq (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
Eq (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Eq (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Eq (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
Ord (Hash BlockHeader)Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
Ord (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Ord (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Ord (Hash GovernancePoll)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
Ord (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Ord (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
Ord (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Ord (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Ord (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
Show (Hash BlockHeader)Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
Show (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Show (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Show (Hash DRepMetadata)Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.DRepMetadata
Show (Hash StakePoolMetadata)Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.StakePoolMetadata
Show (Hash GovernancePoll)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
Show (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Show (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
Show (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Show (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Show (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
Pretty (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Pretty (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
Pretty (Hash GovernancePoll)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
Pretty (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
Pretty (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
Pretty (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Pretty (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
Pretty (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
FromJSON (Hash BlockHeader)Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
FromJSON (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromJSON (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromJSON (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromJSON (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromJSON (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromJSON (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
FromJSONKey (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
ToJSON (Hash BlockHeader)Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
ToJSON (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSON (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSON (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSON (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSON (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSON (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
ToJSONKey (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSONKey (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSONKey (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSONKey (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSONKey (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToJSONKey (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
FromCBOR (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
FromCBOR (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
FromCBOR (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
FromCBOR (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
FromCBOR (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
FromCBOR (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
ToCBOR (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
ToCBOR (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
ToCBOR (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
ToCBOR (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
ToCBOR (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
ToCBOR (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
HasTypeProxy a => HasTypeProxy (Hash a)Defined in cardano-api-11.7.0.0 · Cardano.Api.Hash
SerialiseAsBech32 (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsBech32 (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsBech32 (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsBech32 (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsBech32 (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
SerialiseAsCBOR (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
SerialiseAsCBOR (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsCBOR (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
SerialiseAsCBOR (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
SerialiseAsCBOR (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
SerialiseAsRawBytes (Hash BlockHeader)Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
SerialiseAsRawBytes (Hash ByronKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
SerialiseAsRawBytes (Hash ByronKeyLegacy)Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
SerialiseAsRawBytes (Hash DRepMetadata)Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.DRepMetadata
SerialiseAsRawBytes (Hash StakePoolMetadata)Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.StakePoolMetadata
SerialiseAsRawBytes (Hash GovernancePoll)Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
SerialiseAsRawBytes (Hash CommitteeColdExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash CommitteeColdKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash CommitteeHotExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash CommitteeHotKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash DRepExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash DRepKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash GenesisDelegateKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash GenesisExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash GenesisKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash GenesisUTxOKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash PaymentExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash PaymentKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash StakeExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash StakeKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash StakePoolExtendedKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash StakePoolKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
SerialiseAsRawBytes (Hash BlsKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
SerialiseAsRawBytes (Hash KesKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
SerialiseAsRawBytes (Hash VrfKey)Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
SerialiseAsRawBytes (Hash ScriptData)Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData
data AsType (Hash a)
- AsHash (AsType a)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Hash
data Hash BlockHeader
- HeaderHash ShortByteString
Defined in cardano-api-11.7.0.0 · Cardano.Api.Block
data Hash ByronKey
- ByronKeyHash KeyHash
Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
data Hash ByronKeyLegacy
- ByronKeyHashLegacy KeyHash
Defined in cardano-api-11.7.0.0 · Cardano.Api.Byron.Internal.Key
data Hash DRepMetadata
- DRepMetadataHash (Hash HASH ByteString)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.DRepMetadata
data Hash StakePoolMetadata
- StakePoolMetadataHash (Hash HASH ByteString)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Certificate.Internal.StakePoolMetadata
data Hash GovernancePoll
- GovernancePollHashunGovernancePollHash :: Hash HASH GovernancePoll
Defined in cardano-api-11.7.0.0 · Cardano.Api.Governance.Internal.Poll
data Hash CommitteeColdExtendedKey
- CommitteeColdExtendedKeyHashunCommitteeColdExtendedKeyHash :: KeyHash ColdCommitteeRole
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash CommitteeColdKey
- CommitteeColdKeyHashunCommitteeColdKeyHash :: KeyHash ColdCommitteeRole
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash CommitteeHotExtendedKey
- CommitteeHotExtendedKeyHashunCommitteeHotExtendedKeyHash :: KeyHash HotCommitteeRole
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash CommitteeHotKey
- CommitteeHotKeyHashunCommitteeHotKeyHash :: KeyHash HotCommitteeRole
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash DRepExtendedKey
- DRepExtendedKeyHashunDRepExtendedKeyHash :: KeyHash DRepRole
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash DRepKey
- DRepKeyHashunDRepKeyHash :: KeyHash DRepRole
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash GenesisDelegateExtendedKey
- GenesisDelegateExtendedKeyHashunGenesisDelegateExtendedKeyHash :: KeyHash Staking
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash GenesisDelegateKey
- GenesisDelegateKeyHashunGenesisDelegateKeyHash :: KeyHash GenesisDelegate
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash GenesisExtendedKey
- GenesisExtendedKeyHashunGenesisExtendedKeyHash :: KeyHash Staking
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash GenesisKey
- GenesisKeyHashunGenesisKeyHash :: KeyHash GenesisRole
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash GenesisUTxOKey
- GenesisUTxOKeyHashunGenesisUTxOKeyHash :: KeyHash Payment
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash PaymentExtendedKey
- PaymentExtendedKeyHashunPaymentExtendedKeyHash :: KeyHash Payment
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash PaymentKey
- PaymentKeyHashunPaymentKeyHash :: KeyHash Payment
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash StakeExtendedKey
- StakeExtendedKeyHashunStakeExtendedKeyHash :: KeyHash Staking
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash StakeKey
- StakeKeyHashunStakeKeyHash :: KeyHash Staking
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash StakePoolExtendedKey
- StakePoolExtendedKeyHashunStakePoolExtendedKeyHash :: KeyHash StakePool
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash StakePoolKey
- StakePoolKeyHashunStakePoolKeyHash :: KeyHash StakePool
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal
data Hash BlsKey
- BlsKeyHash (Hash HASH (VerKeyDSIGN BLS12381MinSigDSIGN))
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Leios
data Hash KesKey
- KesKeyHash (Hash HASH (VerKeyKES (KES StandardCrypto)))
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
data Hash VrfKey
- VrfKeyHashunVrfKeyHash :: Hash HASH (VerKeyVRF (VRF StandardCrypto))
Defined in cardano-api-11.7.0.0 · Cardano.Api.Key.Internal.Praos
data Hash ScriptData
- ScriptDataHashunScriptDataHash :: DataHash
Defined in cardano-api-11.7.0.0 · Cardano.Api.Plutus.Internal.ScriptData

datadata Proxy (t :: k)

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.

Example1 expression

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

Proxy can even hold types of higher kinds,

Example1 expression

>>> Proxy :: Proxy EitherProxy

Example1 expression

>>> Proxy :: Proxy FunctorProxy

Example1 expression

>>> Proxy :: Proxy complicatedStructureProxy

Proxy

Instances97Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, RepeatWithIndex, SemialignWithIndex, …

Generic1 ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Generics
FoldableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
TraversableWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
RepeatWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.Internal
SemialignWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.Internal
ZipWithIndex Void ProxyDefined in semialign-1.4 · Data.Semialign.Internal
FilterableWithIndex Void ProxyDefined in witherable-0.5 · Witherable
WitherableWithIndex Void ProxyDefined in witherable-0.5 · Witherable
ApplicativeB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB
ConstraintsB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB
DistributiveB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB
FunctorB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
TraversableB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
EqP ProxyDefined in some-1.0.6 · Data.EqP
OrdP ProxyDefined in some-1.0.6 · Data.OrdP
Monad ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Functor ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Applicative ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Foldable ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Foldable
Traversable ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Traversable
Alternative ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
MonadPlus ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
MonadZip ProxyDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
Eq1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Ord1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Read1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Show1 ProxyDefined in base-4.22.0.0 · Data.Functor.Classes
Contravariant ProxyDefined in base-4.22.0.0 · Data.Functor.Contravariant
NFData1 ProxyDefined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary1 ProxyDefined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
Hashable1 ProxyDefined in hashable-1.5.1.0 · Data.Hashable.Class
Distributive ProxyDefined in distributive-0.6.3 · Data.Distributive
Decidable ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Alt ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Alt
Apply ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
Bind ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
Extend ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Extend
Conclude ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Conclude
Decide ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Decide
Divise ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
Plus ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Plus
Representable ProxyDefined in adjunctions-4.4.4 · Data.Functor.Rep
Representable ProxyDefined in adjunctions-4.4.4 · Data.Functor.Contravariant.Rep
Align ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Semialign ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Unalign ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Repeat ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Unzip ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Zip ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Filterable ProxyDefined in witherable-0.5 · Witherable
Witherable ProxyDefined in witherable-0.5 · Witherable
FromJSON1 ProxyDefined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON
ToJSON1 ProxyDefined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSON
Invariant ProxyDefined in invariant-0.6.5 · Data.Functor.Invariant
from Data.Proxy
CollectScopeInfo ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
EstablishScoping ProxyDefined in plutus-core-1.70.0.0 · PlutusCore.Check.Scoping
Selective ProxyDefined in selective-0.7.0.1 · Control.Selective
Cosieve Tagged ProxyDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Bounded (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Enum (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Eq (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Data t => Data (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Data
Ord (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Read (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Show (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Ix (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Generic (Proxy t)Defined in ghc-internal-9.1401.0 · GHC.Internal.Generics
Semigroup (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
Monoid (Proxy s)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Proxy
NFData (Proxy a)Defined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
CoArbitrary (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
Function (Proxy a)Defined in quickcheck-instances-0.4 · Test.QuickCheck.Instances.Tagged · orphan
Hashable (Proxy a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
FromJSON (Proxy a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON
ToJSON (Proxy a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSON
Default (Proxy a)Defined in data-default-0.8.0.2 · Data.Default.Internal
Serialise (Proxy a)Defined in serialise-0.2.6.1 · Codec.Serialise.Class
Boring (Proxy a)Defined in boring-0.2.2.1 · Data.Boring
Finite (Proxy a)Defined in universe-base-1.1.4 · Data.Universe.Class
Universe (Proxy a)Defined in universe-base-1.1.4 · Data.Universe.Class
MonoFoldable (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
MonoFunctor (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
MonoTraversable (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
MonoPointed (Proxy a)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable
ToExpr (Proxy a)Defined in tree-diff-0.4.1 · Data.TreeDiff.Class
Abelian (Proxy x)Defined in groups-0.5.3 · Data.Group
Cyclic (Proxy x)Defined in groups-0.5.3 · Data.Group
Group (Proxy x)Defined in groups-0.5.3 · Data.Group
Trivial group, Functor style.
type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) U1)Defined in ghc-internal-9.1401.0 · GHC.Internal.Generics
type Rep1 Proxy = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) U1)Defined in ghc-internal-9.1401.0 · GHC.Internal.Generics
type Rep Proxy = VoidDefined in adjunctions-4.4.4 · Data.Functor.Rep
type Rep Proxy = ()Defined in adjunctions-4.4.4 · Data.Functor.Contravariant.Rep
type AllB c Proxy = ()Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB
type Element (Proxy a) = aDefined in mono-traversable-1.0.21.0 · Data.MonoTraversable